##  [Théorème de Représentation de Stone](/fr/node/60303) 

 Définition

Théorème affirmant que toute algèbre de Boole est isomorphe à une algèbre d'ensembles : concrètement, elle est isomorphe à l'algèbre des parties clopen (à la fois fermées et ouvertes) d'un espace topologique compact, totalement discontinu et de Hausdorff (l'espace de Stone de l'algèbre).

 

 

 

 

 

 





## Principe

Principe

Les opérations d'une algèbre de Boole se représentent par des opérations sur des parties clopen d'un espace canonique compact ; les identités algébriques correspondent à des propriétés topologiques et réciproquement, établissant une dualité entre algèbre et topologie dans le cas booléen.

 

 

 

 

 





## Démonstration

Démonstration

Exemple : une algèbre de Boole finie à n atomes est isomorphe à l'algèbre des parties d'un espace discret à n points ; de façon générale, les ultrafiltre d'une algèbre de Boole servent de points de son espace de Stone et les parties clopen correspondent aux éléments de l'algèbre.

 

 

 

 

## Mauvaise application

Mauvaise application

Confondre la représentation de Stone avec des représentations pour des treillis non booléens ou supposer que la représentation par parties clopen fonctionne sans compacité ni total désconnexion est un abus. De même, confondre la dualité de Stone avec une représentation métrique ou portant mesure mêle des théories distinctes.

 

 

 

 

 





## Conséquence

Conséquence

Permet de traduire des problèmes algébriques en questions topologiques et inversement, fournit des modèles en ensembles pour des algèbres de Boole abstraites et sous-tend des constructions en logique, en topologie et en analyse à valeurs booléennes.

 

 

 

 

## Inversion

Inversion

Un treillis non booléen (par exemple un treillis non distributif) ne peut en général pas être représenté par des parties clopen d'un espace de Stone ; inverser la correspondance montre la nécessité des lois booléennes (distributivité, compléments) pour cette représentation.

 

 

 

 

 





## Limite

Limite

S'applique spécifiquement aux algèbres de Boole ; les hypothèses incluent les opérations booléennes et l'existence de compléments. Ne s'applique pas aux treillis arbitraires, aux algèbres sans compléments, et ne fournit pas automatiquement de métrique, de mesure ou d'autres structures supplémentaires sur l'espace de Stone.

 

 

 

 

 





## Tension sémantique

Tension sémantique

Tension entre la description algébrique abstraite et l'image topologique concrète : une même identité algébrique se lit comme une propriété topologique de l'espace de Stone, et il faut choisir le point de vue le plus adapté au problème.

 

 

 

 

 





## Synthèse

Synthèse

Le théorème de représentation de Stone construit un pont entre algèbre de Boole et topologie : toute algèbre de Boole se réalise comme l'algèbre des parties clopen d'un espace compact totalement discontinu de Hausdorff, permettant d'étudier les questions algébriques via des méthodes topologiques.