Espace extrêmement discontinu

La mise en forme de cet article est à améliorer (août 2024).

La mise en forme du texte ne suit pas les recommandations de Wikipédia : il faut le « wikifier ».

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.

• Tout espace discret est extrêmement discontinu.
• Le compactifié de Stone-Čech d’un espace discret est extrêmement discontinu.
• Le spectre d’une algèbre de von Neumann abélienne est extrêmement discontinu.
• Tout espace infini muni de la topologie cofinie est en même temps extrêmement discontinu et connexe. Plus généralement, tout espace irréductible est extrêmement discontinu.
• L'espace sur trois points dont la topologie est engendrée par ${\displaystyle \{\{x,y\},\{x,y,z\}\}}$ fournit un exemple fini d’un espace à la fois extrêmement discontinu et connexe. Un autre exemple est donné par l' espace de Sierpinski, puisqu'il est fini, connexe et irréductible.

• L'ensemble de Cantor n'est pas extrêmement discontinu, bien qu'il soit totalement discontinu.

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].

• Espace totalement discontinu

• A. V. Arkhangelskii, "Extremally-disconnected space", Encyclopædia_of_Mathematics, EMS Press

• (en) Peter T. JohnstonePeter Johnstone, Stone spaces, Cambridge University Press, 1982, rééd. 1986

• John Rainwater, « A Note on Projective Resolutions », Proceedings of the American Mathematical Society, vol. 10, n^o 5,‎ 1959, p. 734–735 (DOI 10.2307/2033466 , JSTOR 2033466)

• Portail des mathématiques