PROFILPELAJAR.COM

En mathématiques, un espace dénombrablement compact est un espace topologique dont tout recouvrement par une famille dénombrable d'ouverts possède un sous-recouvrement fini^[1]. La notion de compacité dénombrable entretient des rapports étroits avec celles de quasi-compacité et compacité et celle de compacité séquentielle. Pour un espace métrisable, ces quatre notions sont équivalentes.

Définitions équivalentes

Dans un espace topologique (non nécessairement séparé), les propriétés suivantes sont équivalentes. Un espace qui les vérifie est dit dénombrablement compact^[2].

Tout recouvrement dénombrable de l'espace par des ouverts possède un sous-recouvrement fini ;
Tout ensemble dénombrable de fermés d'intersection vide possède un sous-ensemble fini d'intersection vide ;
Toute suite décroissante de fermés non-vides a une intersection non-vide ;
Toute suite a au moins une valeur d'adhérence ;
Toute partie infinie a un point d'accumulation^[3].

Équivalence des définitions^[4]

(1) ⟺ (2) est immédiat car les fermés sont, par définition, les complémentaires des ouverts.

(2) ⇒ (3) : Soit une suite décroissante de fermés non-vides $(F_{n})$ . Supposons $\bigcap _{n\in \mathbb {N} }=\emptyset$ . Par (2), il existe $N$ tel que $\bigcap _{n\leq N}F_{n}=\emptyset$ . Mais puisque $(F_{n})$ est décroissante, $\bigcap _{n\leq N}F_{n}=F_{N}$ , donc $F_{N}=\emptyset$ , absurde par hypothèse.

(3) ⇒ (2) : Soit $(F_{n})_{n\in \mathbb {N} }$ une famille dénombrable de fermés d'intersection vide. La suite $(F'_{n})$ définie par $F'_{n}=\bigcap _{k\leq n}F_{n}$ est une suite décroissante de fermés dont l'intersection est vide, donc par contraposition du (3), l'un des $F'_{n}$ est vide.

(3) ⇒ (4) : Par définition, une valeur d'adhérence de $(u_{n})$ est un élément de $\bigcap _{N\in \mathbb {N} }{\overline {\{u_{n},n\geq N\}}}$ , qui est l'intersection d'une suite décroissante de fermés non-vides.

(4) ⇒ (3) : Soit $(F_{n})$ une suite décroissante de fermés non-vides. Choisissons dans chaque $F_{n}$ un élément $u_{n}$ . Par le (4), la suite $(u_{n})$ admet une valeur d'adhérence $u$ . Alors $u$ est un élément de $\bigcap _{n\in \mathbb {N} }F_{n}$ . En effet, soit $N\in \mathbb {N}$ et supposons $u\not \in F_{N}$ . La suite $(F_{n})$ étant décroissante, on a $u\not \in F_{n}$ pour tout $n\geq N$ . Mais l'ensemble ${}^{c}F_{n}$ est un ouvert qui contient $u$ , c'est-à-dire un voisinage de $u$ . Par définition d'une valeur d'adhérence, il contient une infinité des $(u_{n})$ , d'où une contradiction.

(4) ⇒ (5) : Toute valeur d'adhérence d'une suite injective est point d'accumulation de son image.

(5) ⇒ (4) : Par contraposée car si une suite n'a pas de valeur d'adhérence alors l'ensemble de ses valeurs est infini (puisque chaque valeur n'est prise qu'un nombre fini de fois) et n'a pas de point d'accumulation.

Lien avec d'autres notions de compacité

Un espace est dit :

quasi-compact si tout recouvrement de l'espace par des ouverts possède un sous-recouvrement fini (compact s'il est quasi-compact et séparé) ;
de Lindelöf si tout recouvrement de X par des ouverts possède un sous-recouvrement dénombrable.

On a donc trivialement, avec la définition (1) ci-dessus :

Un espace est quasi-compact si et seulement s'il est à la fois de Lindelöf et dénombrablement compact.

Quant à la définition (4) ci-dessus, elle ressemble beaucoup à la caractérisation suivante de la quasi-compacité, à une grosse différence près : on remplace les suites par des suites généralisées^[5] : un espace est quasi-compact si et seulement si toute suite généralisée a au moins une valeur d'adhérence.

De même que la compacité, la compacité dénombrable est préservée par sous-espaces fermés et images continues^[6].

De la préservation par sous-espaces fermés, on déduit une condition suffisante (et évidemment nécessaire si l'espace est séparé)^[7]^,^[8] de convergence d'une suite :

Dans un espace dénombrablement compact, si l'ensemble (non vide) des valeurs d'adhérences d'une suite est réduit à un singleton {y}, alors cette suite converge vers y.

Démonstration

Notons F_n l'adhérence de l'ensemble des termes d'indices supérieurs à n de cette suite. Par hypothèse, l'intersection de ces fermés est réduite à {y} donc pour tout ouvert O contenant y, les fermés F_n\O forment une suite décroissante d'intersection vide. L'un d'eux est donc vide, c'est-à-dire que O contient un F_n et a fortiori, tous les termes de la suite d'indices supérieurs à n.

De la préservation par images continues, on déduit une propriété des compacts (qui généralise le théorème des bornes), souvent citée mais ne leur est pas spécifique : tout espace dénombrablement compact X est pseudo-compact (en), c'est-à-dire que toute fonction continue de X dans ℝ est bornée. La réciproque est vraie pour un espace normal. Un espace est compact si et seulement s'il est pseudo-compact et si c'est un espace de Hewitt-Nachbin (en) (ou, ce qui est équivalent : un fermé d'une puissance – éventuellement infinie – de ℝ).
Les espaces dénombrablement compacts vérifient même une propriété strictement plus forte que cette pseudo-compacité^[6] :

Si X est dénombrablement compact et si f : X → ℝ est semi-continue supérieurement, alors f est majorée et atteint sa borne supérieure.

Contrairement à la quasi-compacité (cf. Théorème de Tykhonov), la compacité dénombrable n'est pas préservée par produits, même finis^[9] (la propriété d'être de Lindelöf non plus). Également, une partie dénombrablement compacte ou de Lindelöf d'un espace séparé n'est pas toujours fermée, alors qu'une partie compacte l'est^[6].

Lien avec la compacité séquentielle

Un espace X est dit séquentiellement compact si toute suite dans X possède une sous-suite convergente.

Il est donc clair, avec la deuxième des trois définitions équivalentes ci-dessus, que

Tout espace séquentiellement compact est dénombrablement compact et la réciproque est vraie pour les espaces à bases dénombrables de voisinages^[4].

La réciproque est aussi vraie sous une autre hypothèse :

Pour tout espace séparé^[10]^,^[11]^,^[12] (ou même seulement T₁^[13]^,^[14]) et séquentiel, la compacité séquentielle équivaut à la compacité dénombrable.

Cas métrisable

Les équivalences suivantes fournissent entre autres une preuve alternative naturelle du théorème de Bolzano-Weierstrass :

Pour tout espace métrisable,
compact ⇔ quasi-compact ⇔ dénombrablement compact ⇔ séquentiellement compact.

Démonstration

Soit X un espace métrique (donc séparé et à bases dénombrables de voisinages). D'après ce qui précède, on sait déjà que pour X,

compact ⇔ quasi-compact ⇒ dénombrablement compact ⇔ séquentiellement compact.

Il ne reste donc plus qu'à montrer que si X est dénombrablement (« et » séquentiellement) compact, alors il est de Lindelöf (donc quasi-compact), ce qui résulte de l'enchaînement suivant : tout métrique séquentiellement compact est précompact de façon évidente, donc séparable, donc de Lindelöf.

Espaces angéliques

Une partie A d'un espace topologique X est dite relativement dénombrablement compacte si toute suite dans A possède une valeur d'adhérence dans X. (Dans un espace normal, l'adhérence d'une telle partie est dénombrablement compacte, mais dans un espace de Tychonoff pas toujours, comme le montre l'exemple du sous-espace [0, ω₁[×[0, ω] de la planche de Tychonoff [0, ω₁]×[0, ω].)

Un espace séparé est dit angélique^[15] si, pour toute partie A relativement dénombrablement compacte, l'adhérence de A est compacte et réduite à la fermeture séquentielle de A.

Les espaces métrisables sont donc un premier exemple d'espaces angéliques. Les propriétés suivantes^[15]^,^[16] permettent de montrer que les espaces vectoriels normés, munis de la topologie faible, en sont un autre^[16] (voir Théorème d'Eberlein-Šmulian) :

dans tout espace angélique, les parties dénombrablement compactes, séquentiellement compactes et compactes sont les mêmes, et de même pour les trois notions relatives ;
tout sous-espace d'un angélique est angélique ;
sur un espace angélique, toute topologie régulière plus fine est encore angélique ;
l'espace des fonctions continues d'un espace compact dans un espace métrisable, muni de la topologie de la convergence simple, est angélique.

En particulier, les compacts d'Eberlein (en)^[17], c'est-à-dire les parties faiblement compactes d'un espace de Banach, sont angéliques. Plus généralement, tout compact de Corson^[18] est angélique.

La notion de g-espace permet par ailleurs de formuler deux caractérisations des espaces angéliques^[15] :

Un espace séparé est un g-espace si toutes ses parties relativement dénombrablement compactes sont relativement compactes.
Un espace séparé est angélique si et seulement si c'est un g-espace dont tous les compacts sont de Fréchet-Urysohn.
Les espaces angéliques sont exactement les g-espaces « héréditaires » (c'est-à-dire dont tout sous-espace est encore un g-espace).

Contre-exemples dans le cas général

En général, on a seulement « quasi-compact ⇒ dénombrablement compact » et « séquentiellement compact ⇒ dénombrablement compact ».

Les deux espaces séparés suivants fournissent des contre-exemples aux quatre autres implications entre ces trois notions :

l'ordinal ω₁ muni de la topologie de l'ordre est séquentiellement compact mais non compact ;
inversement, le produit d'une infinité non dénombrable de copies du segment [0, 1] est compact mais non séquentiellement compact.

Espace faiblement dénombrablement compact

Il existe une variante de la troisième des définitions de la compacité dénombrable, plus faible en général mais équivalente dès que X est T₁ : X est faiblement dénombrablement compact (ou « compact par points limites », ou « Fréchet-compact »^[19]) si toute partie infinie Y de X admet un point limite, c'est-à-dire un point x de X dont tout voisinage rencontre Y\{x}.

Notes et références

↑ (en) Steven A. Gaal (en), Point Set Topology, Academic Press, 1964, 316 p. (ISBN 978-0-08-087328-2, lire en ligne), p. 128.
↑ (en) Angelo Bella et Peter Nyikos, « Sequential Compactness vs. Countable Compactness », Colloquium Mathematicum, vol. 120, n^o 2,‎ 2010, p. 165-189 (lire en ligne)
↑ Gaal 1964, p. 129, dit alors que l'espace possède la « propriété de Bolzano-Weierstrass ».
↑ ^{a et b} Voir aussi Gaal 1964, p. 128-129.
↑ (ps) Raymond Mortini, Topologie, théorème 7.2 p. 32 (Mortini emploie, comme les anglophones, le mot « compact » pour désigner nos quasi-compacts).
↑ ^{a b et c} (en) Yao-Liang Yu, Various Notions of Compactness, University of Alberta, 2012 (lire en ligne).
↑ Cf. N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], p. IX.93, ex. 24, pour les espaces séparés et dénombrablement compacts, qu'il appelle « semi-compacts »
↑ Gustave Choquet, Cours d'analyse, tome II : Topologie, p. 34-35 et Hervé Queffélec, Topologie, Dunod, 2007, 3^e éd., p. 70, démontré seulement dans le cas des espaces compacts et pour une suite, mais avec évocation de la généralisation naturelle pour un filtre, sous cette hypothèse plus forte de quasi-compacité.
↑ (en) Thomas W. Rishel, « Products of countably compact spaces », Proc. Amer. Math. Soc., vol. 58,‎ 1976, p. 329-330 (lire en ligne).
↑ (en) S. P. Franklin, « Spaces in Which Sequences Suffice », Fund. Math., vol. 57,‎ 1965, p. 107-115 (lire en ligne).
↑ (en) « Sequentially compact spaces, II », sur Dan Ma's Topology Blog.
↑ (en) Ryszard Engelking, General Topology, Heldermann (de), 1989.
↑ (en) Jun-iti Nagata, Modern General Topology, Elsevier, 1985, 3^e éd., 521 p. (ISBN 978-0-08-093379-5, lire en ligne), p. 187 (exercice 24).
↑ (en) Anthony Goreham, « Sequential Convergence in Topological Spaces », Topology Atlas Preprint, n^o 547,‎ 2004 (lire en ligne), Prop. 3.2 p. 12, revendique (p. 3) de n'utiliser aucune hypothèse de séparation mais sa preuve semble incomplète sans cette hypothèse. Il dit s'inspirer du théorème 3.10.31 de Engelking 1989 mais selon Bella et Nyikos 2010, p. 2, les « espaces dénombrablement compacts » d'Engelking sont par définition séparés. La version anglophone de l'article « Compacité séquentielle » ne mentionne pas non plus cette hypothèse, donnant comme références le même théorème de Engelking 1989 ainsi que l'exposé de synthèse (en) P. Simon, « Fréchet and Sequential Spaces », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne). Ce dernier omet effectivement toute hypothèse de séparation.
↑ ^{a b et c} (en) Montserrat Bruguera, Elena Martín-Peinador et Vaja Tarieladze, « Eberlein-Šmulian Theorem for topological Abelian groups », J. London Math. Soc., vol. 70,‎ 2004, p. 341-355 (lire en ligne).
↑ ^{a et b} (en) D. H. Fremlin, Measure Theory, vol. 4, Torres Fremlin, 2000, 945 p. (ISBN 978-0-9538129-4-3, lire en ligne), chap. 46 (« Pointwise compact sets of measurable functions »), p. 21-22.
↑ (en) A. V. Arhangelíski, « Eberlein Compacta », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne).
↑ (en) A.V. Arhangelíski, « Corson Compacta », dans Encyclopedia of General Topology (lire en ligne).
↑ (en) James Munkres, Topology, Prentice Hall, 2000, 2^e éd. (lire en ligne), p. 178-179.

Portail des mathématiques

[Gaal128-1] (en) Steven A. Gaal (en), Point Set Topology, Academic Press, 1964, 316 p. (ISBN 978-0-08-087328-2, lire en ligne), p. 128.

[2] (en) Angelo Bella et Peter Nyikos, « Sequential Compactness vs. Countable Compactness », Colloquium Mathematicum, vol. 120, n^o 2,‎ 2010, p. 165-189 (lire en ligne)

[3] Gaal 1964, p. 129, dit alors que l'espace possède la « propriété de Bolzano-Weierstrass ».

[Gaal128129-4] {a et b} Voir aussi Gaal 1964, p. 128-129.

[5] (ps) Raymond Mortini, Topologie, théorème 7.2 p. 32 (Mortini emploie, comme les anglophones, le mot « compact » pour désigner nos quasi-compacts).

[Yu-6] {a b et c} (en) Yao-Liang Yu, Various Notions of Compactness, University of Alberta, 2012 (lire en ligne).

[7] Cf. N. Bourbaki, Éléments de mathématique, livre III : Topologie générale [détail des éditions], p. IX.93, ex. 24, pour les espaces séparés et dénombrablement compacts, qu'il appelle « semi-compacts »

[8] Gustave Choquet, Cours d'analyse, tome II : Topologie, p. 34-35 et Hervé Queffélec, Topologie, Dunod, 2007, 3^e éd., p. 70, démontré seulement dans le cas des espaces compacts et pour une suite, mais avec évocation de la généralisation naturelle pour un filtre, sous cette hypothèse plus forte de quasi-compacité.

[9] (en) Thomas W. Rishel, « Products of countably compact spaces », Proc. Amer. Math. Soc., vol. 58,‎ 1976, p. 329-330 (lire en ligne).

[10] (en) S. P. Franklin, « Spaces in Which Sequences Suffice », Fund. Math., vol. 57,‎ 1965, p. 107-115 (lire en ligne).

[11] (en) « Sequentially compact spaces, II », sur Dan Ma's Topology Blog.

[12] (en) Ryszard Engelking, General Topology, Heldermann (de), 1989.

[13] (en) Jun-iti Nagata, Modern General Topology, Elsevier, 1985, 3^e éd., 521 p. (ISBN 978-0-08-093379-5, lire en ligne), p. 187 (exercice 24).

[14] (en) Anthony Goreham, « Sequential Convergence in Topological Spaces », Topology Atlas Preprint, n^o 547,‎ 2004 (lire en ligne), Prop. 3.2 p. 12, revendique (p. 3) de n'utiliser aucune hypothèse de séparation mais sa preuve semble incomplète sans cette hypothèse. Il dit s'inspirer du théorème 3.10.31 de Engelking 1989 mais selon Bella et Nyikos 2010, p. 2, les « espaces dénombrablement compacts » d'Engelking sont par définition séparés. La version anglophone de l'article « Compacité séquentielle » ne mentionne pas non plus cette hypothèse, donnant comme références le même théorème de Engelking 1989 ainsi que l'exposé de synthèse (en) P. Simon, « Fréchet and Sequential Spaces », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne). Ce dernier omet effectivement toute hypothèse de séparation.

[Bruguera-15] {a b et c} (en) Montserrat Bruguera, Elena Martín-Peinador et Vaja Tarieladze, « Eberlein-Šmulian Theorem for topological Abelian groups », J. London Math. Soc., vol. 70,‎ 2004, p. 341-355 (lire en ligne).

[Fremlin-16] {a et b} (en) D. H. Fremlin, Measure Theory, vol. 4, Torres Fremlin, 2000, 945 p. (ISBN 978-0-9538129-4-3, lire en ligne), chap. 46 (« Pointwise compact sets of measurable functions »), p. 21-22.

[17] (en) A. V. Arhangelíski, « Eberlein Compacta », dans K. P. Hart, J.-I. Nagata et J. E. Vaughan, Encyclopedia of General Topology, Elsevier, 2003 (ISBN 978-0-08053086-4, lire en ligne).

[18] (en) A.V. Arhangelíski, « Corson Compacta », dans Encyclopedia of General Topology (lire en ligne).

[19] (en) James Munkres, Topology, Prentice Hall, 2000, 2^e éd. (lire en ligne), p. 178-179.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

PROFILPELAJAR.COM

Espace dénombrablement compact

Définitions équivalentes

Lien avec d'autres notions de compacité

Lien avec la compacité séquentielle

Cas métrisable

Espaces angéliques

Contre-exemples dans le cas général

Espace faiblement dénombrablement compact

Notes et références

Read other articles:

中国人民解放军陆军第十四集团军炮兵旅

Kota setingkat prefektur

Rakai Panaraban

Unexploded ordnance

Boyamin Saiman

ABC Futebol Clube

All-Russia State Television and Radio Broadcasting Company

Hemsworth

Willow Run Air Force Station

Wurdi Youang

Progress M-55

Голубянки

Save You (Kelly Clarkson song)

1806 en science

Mosca (Russia)

Luxor

مجزرة عدرا

Evacuations of civilians in Japan during World War II

Sophia (Radio France)

Fußball-Bundesliga 2007-2008