Compactification de Stone-Čech

Une tentative de construction du compactifié de Stone-Čech de X est de prendre l'adhérence de l'image de X dans ∏C, où le produit est pris sur l'ensemble de toutes les applications continues de X vers des espaces compacts C. Cette construction, sous cette forme, échoue, parce que cette collection d'applications est une classe propre et non un ensemble ; il est cependant possible de la rendre correcte, par exemple en restreignant les compacts C à l'ensemble des couples (Y,T), où Y=P(P(X)) (l'ensemble des parties de l'ensemble des parties de X), et où T est une des topologies rendant Y compact. Y est choisi suffisamment grand pour que son cardinal majore celui de tout compact C pour lequel il existe une application continue de X dans C d'image dense.

Considérons l'application F de X vers [0, 1]^C, définie par

${\displaystyle x\mapsto F(x)=(f(x))_{f\in C}}$

où C est l'ensemble de toutes les applications continues de X vers [0, 1]. On voit que F est continue, si l'on munit [0, 1]^C de la topologie produit. D'après le théorème de Tychonov, on sait que [0, 1]^C est compact puisque [0, 1] l'est, donc l'adhérence de F(X) dans [0, 1]^C est une compactification de X.

Pour montrer qu'on obtient bien le compactifié de Stone-Čech, il faut contrôler la propriété universelle. On le vérifie d'abord pour K = [0, 1], où l'extension cherchée de f : X → [0,1] est la projection sur la « f-ième » coordonnée dans [0, 1]^C. pour généraliser cela à un compact K quelconque, on remarque que K peut (comme tout espace complètement régulier) être plongé dans un cube (un produit de la forme [0, 1]^I), on étend comme précédemment chacune des fonctions coordonnées, et on prend le produit de ces extensions.

Cette construction réussit parce que l'intervalle unité est un cogénérateur de la catégorie des espaces compacts : cela veut dire que si f et g sont deux applications (continues) distinctes entre deux compacts A et B, il existe une application h de B vers [0,1] telle que hf et hg sont distinctes. Tout autre cogénérateur pourrait être utilisé pour la même construction.

Si X est discret, on peut construire βX comme l'ensemble de tous les ultrafiltres sur X, muni de la topologie dite topologie de Stone[4]. X est identifié au sous-ensemble de βX formé des ultrafiltres triviaux.

Pour vérifier la propriété universelle dans ce cas, on remarque que pour f : X → K avec K compact et F un ultrafiltre sur X, on a un ultrafiltre f(F) sur K, qui converge vers un élément (unique) x, puisque K est compact ; on définit alors βf(F) = x, qui est une extension continue de f pour la topologie de Stone.

Cette construction est un cas particulier de celle de l'espace de Stone d'une algèbre de Boole, appliquée ici à l'algèbre de l'ensemble des parties de X. Elle peut être généralisée à des espaces de Tychonov arbitraires en utilisant des filtres maximaux d'ensembles de zéros de fonctions continues de X vers ℝ, ou simplement des filtres maximaux de fermés si l'espace est normal.

Dans le cas où X est un espace de Tychonov, le compactifié de Stone-Čech peut être identifié avec le spectre (en) de la C*-algèbre C_b(X) des fonctions continues bornées sur X, munie de la norme sup.

Dans le cas où X est localement compact, par exemple ℕ (pour la topologie discrète) ou ℝ, c'est un sous-espace ouvert de βX et d'ailleurs de toute compactification (cette condition est également nécessaire, car tout ouvert d'un compact est localement compact). Dans ce cas, on s'intéresse souvent à l'espace complémentaire βX\X. Cet ensemble est un fermé de βX, et donc un compact. Pour ℕ muni de la topologie discrète, on note βℕ\ℕ = ℕ* (mais cette notation n'est pas utilisée dans le cas d'un X général).

On peut voir βℕ comme l'ensemble des ultrafiltres sur ℕ, muni de la topologie engendrée par les ensembles de la forme { F | U ∉ F } pour U ⊂ ℕ. ℕ correspond à l'ensemble des ultrafiltres triviaux, et ℕ* à l'ensemble des ultrafiltres libres ; cette construction a été décrite (et généralisée à des espaces de Tychonov quelconques) dans la section #À l'aide d'ultrafiltres ci-dessus.

L'étude de βℕ, en particulier de ℕ*, est un domaine important de la topologie générale moderne. Les résultats principaux motivant cette étude sont les théorèmes de Parovicenko qui, pour l'essentiel, caractérisent ℕ* si l'on admet l'hypothèse du continu ; il s'agit des théorèmes suivants :

• Tout compact admettant une base formée d'au plus ℵ₁ ouverts (voir aleph) est image de ℕ* par une fonction continue (ce résultat n'utilise pas l'hypothèse du continu, mais est moins intéressant en son absence).
• En admettant l'hypothèse du continu, ℕ* est (à isomorphisme près) le seul espace de Parovicenko (en).

Ces résultats furent d'abord démontrés en considérant des algèbres de Boole et en utilisant la dualité de Stone (en).

Le compactifié βℕ peut être utilisé pour caractériser ℓ^∞(ℕ) (l'espace de Banach formé des suites bornées à valeurs réelles ou complexes, muni de la norme sup), ainsi que son dual topologique.

Étant donnée une suite bornée a ∈ ℓ^∞(ℕ), il existe une boule fermée B (du corps des scalaires ℝ ou ℂ) qui contient l'image de a ; a est donc une application de ℕ vers B. Comme ℕ est discret, a est continue. Comme B est compacte, il existe donc (d'après la propriété universelle) une extension unique βa : βℕ → B, qui ne dépend pas du choix de B.

Cette extension est donc une application de l'espace des suites (de scalaires) bornées vers l'espace des fonctions continues allant de βℕ vers les scalaires, ℓ^∞(ℕ) → C(βℕ).

Cette application est surjective, puisque toute application de C(βℕ) est bornée, et peut donc être restreinte à une suite bornée. Elle est de plus injective, car si nous munissons les deux espaces de la norme sup, c'est même une isométrie ; en effet, en prenant dans la construction précédente la plus petite boule B possible, on voit que la norme de la suite étendue ne peut grandir (l'image de cette fonction, bien que pouvant contenir des scalaires qui ne font pas partie de la suite, reste incluse dans la boule).

Ainsi, ℓ^∞(ℕ) peut être identifié avec C(βℕ). Ceci nous permet d'utiliser le théorème de représentation de Riesz, qui montre que le dual topologique de ℓ^∞(ℕ) peut être identifié à l'espace des mesures de Borel finies sur βℕ.

Enfin, il faut remarquer que cette technique se généralise à l'espace L^∞ d'un espace mesuré arbitraire X. Cependant, au lieu de simplement considérer l'espace βX des ultrafiltres sur X, la construction appropriée utilise l'espace de Stone Y de l'algèbre des mesures sur X^[pas clair] : les espaces C(Y) et L^∞(X) sont isomorphes en tant que C*-algèbres tant que X vérifie la condition (satisfaite dès que la mesure est σ-finie) que tout ensemble de mesure positive contienne un sous-ensemble de mesure positive finie.

Les entiers (positifs) forment un monoïde pour l'addition. Il se trouve que cette opération peut être prolongée (mais non de manière unique) à βℕ, transformant cet espace également en monoïde, quoique, de manière assez surprenante, en un monoïde non commutatif.

Pour tout sous-ensemble A ⊂ ℕ et tout n ∈ ℕ, posons

${\displaystyle A-n=\{k\in \mathbb {N} \mid k+n\in A\}.}$

Étant donnés deux ultrafiltres F et G sur ℕ, on définit leur somme par

${\displaystyle F+G={\Big \{}A\subset \mathbb {N} \mid \{n\in \mathbb {N} \mid A-n\in F\}\in G{\Big \}}~;}$ cet ensemble est encore un ultrafiltre, et l'opération + est associative (mais non commutative) sur βℕ et prolonge l'addition de ℕ ; 0 (ou plus exactement l'ultrafiltre trivial contenant {0}) étant élément neutre pour + sur βℕ. Cette addition est également continue à droite, au sens où pour tout ultrafiltre F, l'application de βℕ vers βℕ définie par G ↦ F + G est continue.

Compactifié d'Alexandroff

(en) Dror Bar-Natan (en), « Ultrafilters, Compactness, and the Stone–Čech compactification », université de Toronto

• Portail des mathématiques