Un théorème établissant une équivalence duale entre la catégorie des algèbres de Boole et la catégorie des espaces compacts hausdorffiens zéro-dimensionnels (espaces de Stone) en représentant chaque algèbre de Boole comme l'algèbre des parties à la fois ouvertes et fermées d'un espace compact canonique d'ultrafiltres.

Principe

Toute algèbre de Boole peut être réalisée concrètement comme l'algèbre des ensembles ouverts et fermés d'un espace compact hausdorffien zéro-dimension construit naturellement ; réciproquement tout tel espace topologique fournit une algèbre de Boole de ses clopens, et ces constructions sont inverses à isomorphisme naturel près.

Démonstration

Pour une algèbre de Boole B, on construit l'espace X des ultrafiltres sur B muni de la topologie engendrée par les ensembles {U ∈ X : a ∈ U} pour a ∈ B ; ces ensembles de base sont clopens et l'application qui envoie a ∈ B sur ce clopen de X est un isomorphisme d'algèbres de Boole de B vers l'algèbre des clopens de X. Par exemple, l'algèbre des parties finies ou cofinies d'un ensemble dénombrable donne un espace de Stone homéomorphe à la compactification à un point d'un espace discret.

Mauvaise application

Appliquer le résultat à des treillis qui ne sont pas des algèbres de Boole (par exemple des treillis distributifs sans complément) ou à des espaces non zéro-dimensionnels ou non compacts ; attendre une représentation bijective sans vérifier la zéro-dimensionnalité et la compacité conduit à des erreurs.

Conséquence

Fournit un pont puissant entre algèbre et topologie : des problèmes algébriques sur les algèbres de Boole se traduisent en problèmes topologiques sur les espaces de Stone et inversement, permettant le transfert d'invariants et de constructions (par exemple homomorphismes ↔ applications continues, idéaux ↔ partitions clopen).

Inversion

En regardant la dualité dans l'autre sens, tout espace compact hausdorffien zéro-dimensionnel est entièrement déterminé (à homéomorphisme près) par son algèbre de parties clopen ; la construction inverse recouvre l'algèbre initiale à partir de la topologie.

Limite

S'applique aux algèbres de Boole et aux espaces compacts hausdorffiens zéro-dimensionnels ; elle ne s'étend pas sans modification aux treillis distributifs généraux (la dualité de Priestley traite ce cas), aux espaces non compacts ou non hausdorffiens, ni aux structures sans complément.

Tension sémantique

On la confond parfois avec d'autres théorèmes portant le nom de Stone (par exemple la compactification de Stone–Čech ou Stone–Weierstrass) ; la tension est entre la représentation de Stone (algèbres de Boole ↔ espaces zéro-dimensionnels compacts) et d'autres dualités reliant d'autres structures algébriques à d'autres classes d'espaces.

Synthèse

Le Théorème de Représentation de Stone affirme précisément que la structure d'algèbre de Boole et la topologie des espaces de Stone (clopens) codent la même information en langages duals, ce qui permet des traductions algèbre ↔ topologie via la construction des ultrafiltres.