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

• 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 $\{\{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.

Caractérisations

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

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

Voir aussi

• Espace totalement discontinu

Notes et références

• Modèle:Ouvrage

• Modèle:En Peter T. Johnstone, Stone spaces, Cambridge University Press, 1982, rééd. 1986

• Modèle:Article

Modèle:Portail