Espace de Stone

Un espace de Stone est un espace topologique compact, de Hausdorff et totalement discontinu qui apparaît comme l’espace des ultrafiltrés d’une algèbre de Boole ou, en théorie des modèles, comme l’espace des types complets en n variables muni de la topologie engendrée par les ensembles de types contenant une formule donnée ; les points correspondent aux ultrafiltrés/types complets et les ouverts fe

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.