En mathématiques, plus précisément en topologie, un espace de Stone, ou espace profini, 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.

Un ensemble fini de points isolés les uns des autres est un exemple d'espace de Stone.

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[1],[2].

Définition

modifier

Un espace de Stone est un espace compact totalement discontinu.

Exemples

modifier

Théorème de représentation de Stone pour les algèbres de Boole

modifier

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).

Propriétés

modifier
  • 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 (c'est-à-dire si l'adhérence de tout ouvert de l'espace est ouverte).
  • Un espace topologique est un espace de Stone si et seulement si c'est une limite projective d'un système projectif d'espaces finis discrets[3].

Mathématiques condensées

modifier

La catégorie des espaces de Stone est équivalente à la catégorie des pro-objets (en) de la catégorie des ensembles finis, ce qui explique l'appellation "espaces profinis". Ces espaces sont au centre du projet de mathématiques condensées (en), qui cherche à remplacer un espace topologique X par le foncteur qui à un espace profini S associe l'ensemble des applications continues de S dans X [4].

Notes et références

modifier
  1. (en) Marshall H. Stone, « The Theory of Representations of Boolean Algebras », Trans. Amer. Math. Soc., no 40,‎ , p. 37-111 (JSTOR 1989664).
  2. (en) Roman Sikorski, Boolean algebras, Springer, .
  3. Régine et Adrien Douady, Algèbre et théories galoisiennes, Cassini, .
  4. (en) Peter Scholze, « Liquid tensor experiment », sur Xena,

Bibliographie

modifier