Espace extrêmement discontinu

En mathématiques, un espace extrêmement discontinu est un espace topologique dans lequel l'adhérence d'un ouvert est ouverte.

Un espace extrêmement discontinu qui est de plus compact est parfois appelé un espace Stonéen. C'est un cas particulier d'espace Stone, qui est un espace compact totalement discontinu. Dans la dualité entre espaces de Stone et les algèbres de Boole, les espaces Stonéen correspondent aux algèbres booléennes complètes.

Exemples et contre-exemples

modifier

Caractérisations

modifier

Les objets projectifs de la catégorie des espaces compacts sont exactement les espaces compacts extrêmement discontinus[1].

Un espace compact est extrêmement discontinu si et seulement si c'est un retract du compactifié de Stone-Čech d'un espace discret [2].

Voir aussi

modifier

Notes et références

modifier
  1. (en) Andrew Gleason, « Projective topological spaces », Illinois Journal of Mathematics, vol. 2, no 4A,‎ , p. 482–489 (DOI 10.1215/ijm/1255454110  , MR 0121775).
  2. (en) Zbigniew Semadeni, Banach spaces of continuous functions. Vol. I, PWN---Polish Scientific Publishers, Warsaw, (MR 0296671) (Thm. 24.7.1).