Espace dénombrablement engendré

En mathématiques, un espace topologique est dit dénombrablement engendré si sa topologie est déterminée en fonction de ses parties dénombrables, de même que la topologie d'un espace séquentiel est déterminée par ses suites convergentes.

Les espaces dénombrablement engendrés sont ceux dont l'étroitesse est dénombrable ; on les appelle donc aussi espaces dénombrablement étroits.

Définition modifier

Un espace topologique X est dit dénombrablement engendré, ou dénombrablement étroit, si tout point adhérent à une partie A de X est adhérent à un sous-ensemble dénombrable de A.

Propriétés modifier

  • X est dénombrablement étroit si et seulement si l'adhérence de toute partie A de X est réduite à la réunion des adhérences des parties dénombrables de A.
  • X est dénombrablement étroit si et seulement si[1], pour qu'une partie F de X soit fermée, il suffit que pour tout sous-espace dénombrable D de X, l'ensemble F D soit fermé dans D.
  • L'étroitesse dénombrable est préservée par quotients et par sommes. Dans la catégorie des espaces topologiques, la sous-catégorie des espaces dénombrablement engendrés est donc coréflexive (en)[2], c'est-à-dire que le foncteur d'inclusion a un adjoint à gauche. C'est la plus petite sous-catégorie coréflexive contenant tous les espaces dénombrables.
  • L'étroitesse dénombrable est aussi préservée par sous-espaces.

Exemples modifier

Les exemples les plus simples d'espaces dénombrablement étroits sont les espaces à bases dénombrables de voisinages (en particulier les espaces métrisables).

Plus généralement, tout espace séquentiel est dénombrablement étroit[3].

Tout espace de Banach, muni de sa topologie faible, est dénombrablement étroit[4] alors qu'il n'est jamais à bases dénombrables de voisinages[5] (sauf bien sûr s'il de dimension finie) et qu'il n'est parfois (comme ℓ2) même pas séquentiel.

Un autre exemple d'espace qui, bien que non séquentiel, est dénombrablement étroit est l'espace d'Arens-Fort, qui est même dénombrable.

Sous l'hypothèse ♢ (en), il existe même des compacts dénombrablement étroits mais non séquentiels[6]. Cependant, sous l'hypothèse du forcing propre (en), il n'en existe pas[7].

Notes et références modifier

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Countably generated space » (voir la liste des auteurs).
  1. (en) « Several ways to define countably tight spaces », sur Dan Ma's Topology Blog, .
  2. (de) Horst Herrlich, Topologische Reflexionen und Coreflexionen, Springer, coll. « Lecture Notes in Math. » (no 78), .
  3. (en) D. H. Fremlin, Measure Theory, vol. 4, Torres Fremlin, , 945 p. (ISBN 978-0-9538129-4-3, lire en ligne), chap. 4A2 (« Appendix, § General topology »), p. 331.
  4. (en) Gottfried Köthe, Topological vector spaces, x24.1.6.
  5. (en) Charalambos D. Aliprantis et Kim C. Border, Infinite Dimensional Analysis : A Hitchhiker's Guide, Springer, , 3e éd., 703 p. (ISBN 978-3-540-32696-0, lire en ligne), p. 237.
  6. (en) V. V. Fedorcuk, « Fully closed mappings and the consistency of some theorems of general topology with the axioms of set theory », Math. USSR, vol. 28,‎ , p. 1-26.
  7. (en) Zoltan Balogh (en), « On compact Hausdorff spaces of countable tightness », Proc. Amer. Math. Soc., vol. 105, no 3,‎ (lire en ligne).

Voir aussi modifier

Articles connexes modifier

Liens externes modifier