Un espace topologique compact, de Hausdorff et zéro-dimensionnel (totalement discontinu) qui apparaît comme l'objet dual d'une algèbre de Boole via la dualité de Stone ; les points correspondent aux ultrafiltre et les ensembles clopens correspondent aux éléments algébriques.

Principe

Dualité de Stone : correspondance entre algèbres de Boole et espaces compacts hausdorffiens zéro-dimensionnels, donnée par B ↦ ensemble des ultrafiltres de B muni de la topologie engendrée par les parties {U : a ∈ U} et X ↦ algèbre des parties clopen de X.

Démonstration

Pour une algèbre de Boole B, l'ensemble de ses ultrafiltres muni de la topologie engendrée par {U ∈ Ult(B) : a ∈ U} (a ∈ B) est un espace de Stone ; réciproquement, les parties clopen d'un espace de Stone forment une algèbre de Boole isomorphe à B.

Mauvaise application

Considérer comme espace de Stone un espace compact Hausdorff quelconque dépourvu de base de clopens, ou appliquer la dualité de Stone sans vérifier la condition zéro-dimensionnelle.

Conséquence

Les propriétés algébriques d'une algèbre de Boole (atomes, complétude, homomorphismes) se traduisent en propriétés topologiques (points isolés, extrême disconnexité, applications continues) de son espace de Stone, permettant le transfert des problèmes entre algèbre et topologie.

Inversion

À partir d'un espace de Stone X on récupère l'algèbre de ses parties clopen ; inverser la dualité convertit les questions topologiques sur X en questions algébriques sur cette algèbre.

Limite

Nécessite compacité, propriété de Hausdorff et zéro-dimensionnalité (existence d'une base de clopens) ; les espaces connexes ou simplement T1 non compacts ne sont pas, en général, des espaces de Stone.

Tension sémantique

On confond souvent avec d'autres constructions portant le nom de Stone (par exemple la compactification de Stone–Čech) ; ici l'espace de Stone désigne spécifiquement le dual zéro-dimensionnel compact hausdorffien d'une algèbre de Boole.

Synthèse

Un espace de Stone est le reflet topologique d'une algèbre de Boole : un espace compact Hausdorff muni d'une base de clopens dont les points sont des ultrafiltre, de sorte que la structure topologique et l'algèbre de Boole se déterminent mutuellement par la dualité.