Espace de Stone
# Espace de Stone

En mathématiques, plus précisément en topologie, un espace de Stone est un espace topologique compact qui est « le moins connexe possible », au sens où l'ensemble vide et les singletons sont ses seules parties connexes.

Le concept d'espace de Stone et ses propriétés de base ont été découverts et étudiés par Marshall Stone en $1936^,.$

## Définition

Un espace de Stone est un espace compact totalement discontinu.

## Exemples

* Tout espace fini discret est de Stone.
* L'espace de Cantor $\{0,1\}^{\mathbb {N} }$est l'espace de Stone d'une algèbre de Boole (qui est dénombrable et sans atome).
* Plus généralement, on peut prendre n'importe quel cardinal au lieu de celui de $\mathbb {N}$ (noté ). Autrement dit, pour tout cardinal κ, l'espace de Cantor généralisé {0, $1}^κ$ est l'espace de Stone de l'algèbre de Boole libre (en) à κ générateurs.
* Un groupe compact est profini si et seulement si c'est un espace de Stone.

## Premières propriétés

* Comme c'est le cas pour tout espace topologique, l'algèbre des ouverts-fermés d'un espace de Stone est une algèbre de Boole. Inversement, le théorème de représentation de Stone pour les algèbres de Boole établit que toute algèbre de Boole est isomorphe à l'algèbre des ouverts-fermés d'un espace de Stone. Ceci établit une équivalence entre la catégorie des algèbres de Boole et la catégorie des espaces de Stone, qui est un cas particulier de dualité de Stone (en).
* L'espace de Stone d'une algèbre de Boole est métrisable si et seulement si l'algèbre de Boole est dénombrable.
* Une algèbre de Boole est complète si et seulement si son espace de Stone est extrêmement discontinu (en) (c'est-à-dire si l'adhérence de tout ouvert de l'espace est ouverte).
