Espace dénombrablement compact

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.

Trois définitions équivalentes

Soit X un espace topologique (non supposé séparé). Si l'une des trois propriétés suivantes est vérifiée alors toutes trois le sont et X est dit dénombrablement compact[2] :

  1. tout recouvrement dénombrable de X par des ouverts possède un sous-recouvrement fini (ou encore : l'intersection de toute suite décroissante de fermés non vides est non vide) ;
  2. dans X, toute suite a au moins une valeur d'adhérence ;
  3. toute partie infinie a un point d'accumulation[3].

Cet énoncé fait appel à deux définitions auxiliaires[1] : un point x de X est :

  • valeur d'adhérence d'une suite u si, pour tout voisinage V de x, il existe une infinité d'indices n tels que le terme un appartienne à V, autrement dit si x appartient à l'intersection de la suite décroissante de fermés non vides
     ;
  • point d'accumulation d'une partie Y de X si tout voisinage de x contient une infinité de points de Y.
Équivalence des trois définitions[4]
  • 1. ⇒ 2. est immédiat.
  • 2. ⇒ 1. car pour toute suite décroissante (Fn) de fermés non vides, si l'on choisit un point un dans chaque Fn alors toute valeur d'adhérence de la suite u appartient à l'intersection des Fn.
  • 2. ⇒ 3. car toute valeur d'adhérence d'une suite injective est point d'accumulation de son image.
  • 3. ⇒ 2. 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 la quasi-compacité et la compacité

Un espace X est dit :

  • quasi-compact si tout recouvrement de X 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 première des trois définitions équivalentes ci-dessus :

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

Quant à la deuxième des trois définitions 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] : X est quasi-compact si et seulement si, dans X, 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 Fn 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 Fn\O forment une suite décroissante d'intersection vide. L'un d'eux est donc vide, c'est-à-dire que O contient un Fn 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 T1[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, ω1[×[0, ω] de la planche de Tychonoff [0, ω1]×[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 ω1 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 T1 : 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
  1. (en) Steven A. Gaal (en), Point Set Topology, Academic Press, , 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, no 2,‎ , p. 165-189 (lire en ligne).
  3. Gaal 1964, p. 129, dit alors que X possède la « propriété de Bolzano-Weierstrass ».
  4. 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).
  6. (en) Yao-Liang Yu, Various Notions of Compactness, University of Alberta, (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, , 3e é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,‎ , p. 329-330 (lire en ligne).
  10. (en) S. P. Franklin, « Spaces in Which Sequences Suffice », Fund. Math., vol. 57,‎ , 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), .
  13. (en) Jun-iti Nagata, Modern General Topology, Elsevier, , 3e é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, no 547,‎ (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, (ISBN 978-0-08053086-4, lire en ligne). Ce dernier omet effectivement toute hypothèse de séparation.
  15. (en) Montserrat Bruguera, Elena Martín-Peinador et Vaja Tarieladze, « Eberlein-Šmulian Theorem for topological Abelian groups », J. London Math. Soc., vol. 70,‎ , p. 341-355 (lire en ligne).
  16. (en) D. H. Fremlin, Measure Theory, vol. 4, Torres Fremlin, , 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, (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, , 2e éd. (lire en ligne), p. 178-179.
  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.