Stone space

Stone spaceMain

Community hub

Stone space

7 pages, 0 posts

0 subscribers

Recent from talks

Be the first to start a discussion here.

Recent from talks

Be the first to start a discussion here.

Contribute something

About hubMembersContent overviewUpdatesRules

Main reference articles

Stone space

View on Wikipedia

from Wikipedia

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Stone space" – news · newspapers · books · scholar · JSTOR (December 2024) (Learn how and when to remove this message)

In topology and related areas of mathematics, a Stone space, also known as a profinite space^[1] or profinite set, is a compact Hausdorff totally disconnected space.^[2] Stone spaces are named after Marshall Harvey Stone who introduced and studied them in the 1930s in the course of his investigation of Boolean algebras, which culminated in his representation theorem for Boolean algebras.

Equivalent conditions

[edit]

The following conditions on the topological space $X$ are equivalent:^[2]^[1]

$X$ is a Stone space;
$X$ is homeomorphic to the projective limit (in the category of topological spaces) of an inverse system of finite discrete spaces;
$X$ is compact and totally separated;
$X$ is compact, T₀, and zero-dimensional (in the sense of the small inductive dimension);
$X$ is coherent and Hausdorff.

Examples

[edit]

Important examples of Stone spaces include finite discrete spaces, the Cantor set and the space $\mathbb {Z} _{p}$ of $p$ -adic integers, where $p$ is any prime number. Generalizing these examples, any product of arbitrarily many finite discrete spaces is a Stone space, and the topological space underlying any profinite group is a Stone space. The Stone–Čech compactification of the natural numbers with the discrete topology, or indeed of any discrete space, is a Stone space.

Stone's representation theorem for Boolean algebras

[edit]

To every Boolean algebra $B$ we can associate a Stone space $S(B)$ as follows: the elements of $S(B)$ are the ultrafilters on $B,$ and the topology on $S(B),$ called the Stone topology, is generated by the sets of the form $\{F\in S(B):b\in F\},$ where $b\in B.$

Stone's representation theorem for Boolean algebras states that every Boolean algebra is isomorphic to the Boolean algebra of clopen sets of the Stone space $S(B)$ ; and furthermore, every Stone space $X$ is homeomorphic to the Stone space belonging to the Boolean algebra of clopen sets of $X.$ These assignments are functorial, and we obtain a category-theoretic duality between the category of Boolean algebras (with homomorphisms as morphisms) and the category of Stone spaces (with continuous maps as morphisms).

Stone's theorem gave rise to a number of similar dualities, now collectively known as Stone dualities.

Condensed mathematics

[edit]

The category of Stone spaces with continuous maps is equivalent to the pro-category of the category of finite sets, which explains the term "profinite sets". The profinite sets are at the heart of the project of condensed mathematics, which aims to replace topological spaces with "condensed sets", where a topological space X is replaced by the functor that takes a profinite set S to the set of continuous maps from S to X.^[3]

References

[edit]

^ ^a ^b Stone space at the nLab
^ ^a ^b "Stone space", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
^ Scholze, Peter (2020-12-05). "Liquid tensor experiment". Xena.

View on Grokipedia

from Grokipedia

In mathematics, a Stone space (also known as a Boolean space or profinite space) is a topological space that is compact, Hausdorff, and totally disconnected, meaning it has a basis consisting entirely of clopen (both open and closed) sets.^[1]^[2] These spaces are zero-dimensional and serve as the topological duals to Boolean algebras in the framework of Stone duality.^[3] The concept was introduced by American mathematician Marshall Harvey Stone in his seminal 1936 paper "The Theory of Representations for Boolean Algebras," where he established a representation theorem linking abstract Boolean algebras to concrete set algebras on Stone spaces.^[4] Stone's representation theorem states that every Boolean algebra is isomorphic to the algebra of clopen subsets of a unique (up to homeomorphism) Stone space, constructed as the spectrum of ultrafilters on the algebra.^[5] This duality provides a categorical equivalence between the category of Boolean algebras (with homomorphisms) and the category of Stone spaces (with continuous maps), enabling the translation of algebraic properties into topological ones and vice versa.^[6] Stone spaces exhibit several notable properties, including the fact that every compact totally disconnected space is a Stone space if and only if it is Hausdorff, and they are precisely the spaces whose clopen sets form a basis for the topology.^[7] Common examples include finite discrete spaces, the Cantor set, the profinite completion of the integers (product of p-adic integers over all primes), and the ordinal ω₁ + 1 with the order topology.^[8]^[9]^[10] These spaces play a fundamental role in algebraic topology, logic, and category theory, with applications in model theory (e.g., spaces of types) and the study of profinite groups.^[11]

Fundamentals

Definition

A Stone space is defined as a topological space that is compact, Hausdorff, and totally disconnected. This structure captures spaces where the connected components are single points, ensuring a discrete-like quality within a compact framework, and it forms the foundation for duality between topology and Boolean algebra. The key topological feature of a Stone space is the abundance of clopen sets—sets that are both open and closed—which form a basis for the topology, rendering the space zero-dimensional in the sense that it admits a basis of clopen neighborhoods. The concept originates from the duality with Boolean algebras, where a Stone space serves as the spectrum of ultrafilters on a Boolean algebra

B

. Specifically, for a Boolean algebra

B

, the Stone space

S(B)

is the set of all ultrafilters on

B

, equipped with the topology generated by the basic open sets of the form

\{ \mathcal{U} \in S(B) \mid b \in \mathcal{U} \}

for each

b \in B

, which are precisely the clopen sets corresponding to the elements of

B

. This construction establishes a bijection between the clopen sets of

S(B)

and the elements of

B

, highlighting the space's role in representing abstract Boolean structures topologically.

Historical Context

The concept of what is now known as a Stone space emerged from Marshall Harvey Stone's investigations into Boolean algebras in the early 1930s. In a paper presented to the National Academy of Sciences on November 22, 1933, and published the following year, Stone constructed a topological space

\mathcal{S}(A)

from a Boolean algebra

A

, defined on the collection of certain subsets derived from elements of

A

, and demonstrated that this space is bicompact and totally disconnected.^[12] This work marked the initial linkage between Boolean algebraic structures and topological representations, building on Stone's prior interests in spectral theory and analysis.^[13] Stone expanded this framework in his 1936 paper, where he established a representation theorem showing that every Boolean algebra is isomorphic to the algebra of clopen subsets of the topological space formed by its prime ideals, equipped with a topology generated by principal ultrafilters. A companion 1937 publication further applied these ideas by treating Boolean algebras as Boolean rings—rings where every element is idempotent—and exploring their implications for general topology, including connections to separation axioms and compactness.^[14] These developments drew on the era's topological foundations, particularly Felix Hausdorff's 1914 characterization of Hausdorff spaces as those satisfying a separation property via neighborhoods, which aligned with the Hausdorff nature of Stone's constructed spaces. The Boolean ring perspective also reflected the 1930s trend toward ring-theoretic abstractions of Boolean operations, as Stone subsumed Boolean algebras under ring theory in his concurrent 1934 work. Stone's representation theorem appeared in print in 1936, while the associated topological spaces gained the eponymous designation "Stone spaces" in the mathematical literature starting in the post-1950s period.^[13]

Properties

Topological Characteristics

Stone spaces exhibit several key topological properties that stem directly from their construction as the spectra of Boolean algebras. Compactness is a fundamental attribute: every open cover of a Stone space admits a finite subcover. This property arises from the finite intersection property of ultrafilters, ensuring that the space, viewed as a closed subspace of the product topology on

\{0,1\}^B

for a Boolean algebra B, is compact by Tychonoff's theorem. The Hausdorff property holds, allowing any two distinct points to be separated by disjoint open neighborhoods. In the context of Stone spaces, points correspond to ultrafilters, and distinct ultrafilters disagree on some element a of the Boolean algebra, yielding disjoint basic open sets defined by the principal ultrafilters containing a or its complement. This separation ensures the space is T_2. Stone spaces are totally disconnected, meaning their only connected components are singletons. This follows from the existence of a basis consisting of clopen sets, which prevents any non-trivial connected subsets; any connected subset must be contained within a single clopen basis element, reducing to a point under the Hausdorff condition.^[15] Zero-dimensionality is another core feature, characterized by the presence of a local basis of clopen sets at every point. This basis is generated by the sets of ultrafilters containing fixed elements of the Boolean algebra, making the topology particularly coarse yet separating, and aligning with the total disconnectedness in compact Hausdorff spaces. Extremal disconnectedness, where the closure of every open set is itself open, distinguishes a subclass of Stone spaces among compact Hausdorff spaces. A Stone space possesses this property if and only if the corresponding Boolean algebra is complete, possessing suprema and infima for arbitrary subsets; such spaces are known as Stonean spaces. This stronger condition implies that disjoint open sets have disjoint closures, a hallmark not shared by all Stone spaces, such as the Cantor set.^[16]

Equivalent Conditions

A Stone space may be characterized topologically in several equivalent ways. It is a compact Hausdorff space that is totally disconnected, meaning that its only connected subsets are singletons.^[17] Equivalently, it is a compact Hausdorff zero-dimensional space, possessing a basis consisting entirely of clopen sets.^[17] These conditions ensure that the topology is generated by a separating family of clopen sets, bridging the space's discreteness with its compactness. Another topological characterization identifies Stone spaces as profinite spaces, namely the small cofiltered inverse limits of finite discrete spaces.^[17] This perspective emphasizes their role as completions of discrete sets under profinite topology, where continuous maps to finite sets separate points. Algebraically, a space is a Stone space if and only if it is homeomorphic to the spectrum of some Boolean algebra, consisting of the ultrafilters on that algebra equipped with the topology induced by basic open sets of the form {ultrafilters containing a fixed element}. This duality, established by Stone's representation theorem, shows that every Stone space arises as the space of maximal ideals (or ultrafilters) of a Boolean algebra of clopen functions or sets. In locale theory, a Stone space corresponds to the spatial realization of a Stone locale, where the frame of open sets is a Boolean algebra; equivalently, the space is sober and its lattice of open sets forms a distributive lattice with complements. This pointless viewpoint, developed in the context of spatial frames, aligns the topological structure with algebraic duality without relying on points explicitly. Set-theoretically, the structure of a Stone space ensures that every filter on its Boolean algebra of clopen sets extends to an ultrafilter, reflecting the completeness of the point-ultrafilter correspondence under the axiom of choice. In finite cases, this avoids non-principal ultrafilters altogether, as all ultrafilters are principal.

Duality Theory

Stone's Representation Theorem

Stone's representation theorem states that every Boolean algebra

B

is isomorphic to the Boolean algebra of clopen subsets of its associated Stone space

S(B)

. The Stone space

S(B)

is constructed as the set of all ultrafilters on

B

, endowed with the topology whose basic open sets are given by

U_b = \{ \mathcal{U} \in S(B) \mid b \in \mathcal{U} \}

for each

b \in B

.^[18] The isomorphism

\phi: B \to \{ \text{clopen subsets of } S(B) \}

is defined by

\phi(b) = \{ \mathcal{U} \in S(B) \mid b \in \mathcal{U} \}

for each

b \in B

, and each

\phi(b)

is a clopen set in

S(B)

. This representation is unique up to homeomorphism: if two Stone spaces yield isomorphic clopen algebras, then they are homeomorphic, and

B

is recovered as the clopen sets of

S(B)

. Published in 1936, the theorem addressed a key gap in the abstract study of Boolean algebras by linking them to topological structures, thereby advancing the development of modern abstract algebra.

Boolean Algebra Correspondence

Stone duality establishes a contravariant equivalence of categories between the category of Boolean algebras, denoted Bool, equipped with Boolean algebra homomorphisms, and the category of Stone spaces, denoted Stone, consisting of compact Hausdorff totally disconnected topological spaces with continuous maps as morphisms. This duality, originating from Marshall Stone's representation theorem, provides a profound connection between algebraic structures and topological spaces, where each Boolean algebra corresponds uniquely to a Stone space and vice versa. Specifically, Boolean homomorphisms between algebras induce continuous maps between the associated Stone spaces in the opposite direction, preserving the categorical structure. The duality is realized through a pair of contravariant functors that form an anti-equivalence. The functor

S: \mathbf{Bool} \to \mathbf{Stone}

assigns to each Boolean algebra

B

its Stone space

S(B)

, the set of ultrafilters of

B

equipped with the topology generated by basic open sets of the form

\{ \mathcal{U} \in S(B) \mid U \in \mathcal{U} \}

for

U \in B

. Dually, the functor

\mathrm{Cl}: \mathbf{Stone} \to \mathbf{Bool}

maps each Stone space

X

to the Boolean algebra

\mathrm{Cl}(X)

of its clopen subsets, ordered by inclusion, with the lattice operations inherited from the power set. These functors satisfy

S \dashv \mathrm{Cl}

in the sense of a contravariant adjunction, meaning that for any Boolean algebra

B

and Stone space

X

, there is a natural bijection between homomorphisms

\mathrm{Cl}(X) \to B

and continuous maps

X \to S(B)

, establishing the equivalence

\mathbf{Bool} \simeq \mathbf{Stone}^{\mathrm{op}}

.^[19] The unit and counit of this adjunction are the canonical embeddings that recover the original structures up to isomorphism. This categorical framework ensures that homomorphisms in one category correspond precisely to morphisms in the dual category: a Boolean algebra homomorphism

f: B \to B'

induces a continuous map

S(f): S(B') \to S(B)

by preimage on ultrafilters, and conversely, a continuous map

g: X \to Y

between Stone spaces pulls back clopen sets to yield a homomorphism

\mathrm{Cl}(g): \mathrm{Cl}(Y) \to \mathrm{Cl}(X)

. This correspondence extends the representability of Boolean algebras as fields of sets to a full categorical duality, facilitating translations of properties between algebraic and topological realms. A natural generalization of Stone duality applies to bounded distributive lattices, where the dual objects are Priestley spaces—Stone spaces equipped with a continuous partial order satisfying certain separation axioms. In this setting, the functor from distributive lattices to Priestley spaces assigns the space of prime ideals with an appropriate order topology, while the dual functor recovers the lattice from the clopen upset ideals, establishing an equivalence between the category of bounded distributive lattices and that of Priestley spaces. This extension, developed in the context of order theory, broadens the duality beyond Boolean algebras to more general lattice structures while preserving the topological-algebraic interplay.

Examples

Finite Cases

In the finite case, Stone spaces arise exclusively from finite Boolean algebras, which are isomorphic to the power set algebra

\mathcal{P}(X)

for some finite set

X

. The Stone space

S(\mathcal{P}(X))

consists of the principal ultrafilters on

\mathcal{P}(X)

, each corresponding to a unique element of

X

; specifically, the ultrafilter generated by the singleton

\{x\}

for

x \in X

. Thus,

S(B)

is a finite set with

|X|

points, equipped with the discrete topology generated by the basic clopen sets

V(A) = \{ U \in S(B) \mid A \in U \}

for

A \subseteq X

. This construction ensures that the clopen sets of

S(B)

recover exactly

\mathcal{P}(X)

under Stone duality.^[20] For a finite Boolean algebra

B

with

n

atoms,

|B| = 2^n

and

|S(B)| = n

, as the atoms correspond bijectively to the principal ultrafilters, which exhaust all ultrafilters in the finite setting. Consider the example where

n = 2

and

X = \{1, 2\}

, so

B = \mathcal{P}(X)

has four elements:

\emptyset

\{1\}

\{2\}

, and

\{1,2\}

. Here,

S(B)

has two points, corresponding to the ultrafilters

U_1 = \{ A \subseteq X \mid 1 \in A \}

and

U_2 = \{ A \subseteq X \mid 2 \in A \}

, forming a discrete two-point space where the clopen sets are all subsets, mirroring

B

. This discrete structure highlights the simplicity of finite Stone spaces, where every subset is clopen.^[21] The topology on finite Stone spaces is necessarily discrete, as the space is compact, Hausdorff, and totally disconnected with finitely many points, implying all singletons are open (hence isolated). Consequently,

S(B)

is homeomorphic to the finite discrete space

X

, and the space is zero-dimensional with no non-trivial connected components. These spaces represent the trivial finite instances of profinite spaces, serving as the underlying topological spaces for finite profinite groups, where the group operation is continuous in the discrete topology.^[20]

Infinite Constructions

One prominent example of an infinite Stone space is the Cantor set, which can be realized as the Stone space of the free Boolean algebra on countably many generators.^[22] This algebra consists of all formal expressions built from countably infinite propositional variables using Boolean operations, modulo logical equivalence, and its Stone space is homeomorphic to the classical Cantor set embedded in the unit interval, equipped with the subspace topology.^[23] The Cantor set is compact and totally disconnected, with a basis of clopen sets corresponding to cylinder sets in the equivalent product space

\{0,1\}^\mathbb{N}

, illustrating non-trivial topology through its uncountable cardinality and perfect structure, where every point is a limit point.^[24] More generally, infinite products of finite discrete spaces, such as

\{0,1\}^I

for an infinite index set

I

, form Stone spaces under the product topology.^[23] By Tychonoff's theorem, such products are compact, and since each factor is totally disconnected, the product inherits total disconnectedness, with clopen sets generated by finite coordinate projections.^[24] For

I = \mathbb{N}

, this recovers the Cantor space, but for larger

I

, such as the cardinality of the continuum, the resulting space has higher dimension in the sense of topological complexity while remaining zero-dimensional due to the clopen basis.^[23] The

p

-adic integers

\mathbb{Z}_p

, for a prime

p

, provide another infinite Stone space as the profinite completion of

\mathbb{Z}

, constructed as the inverse limit

\varprojlim \mathbb{Z}/p^n\mathbb{Z}

limZ/pnZ.^[25] This endows $\mathbb{Z}_p$ with a compact, totally disconnected topology where the basic open sets are cosets modulo $p^n$ , ensuring Hausdorff separation and compactness via the finite quotients.^[26] The non-trivial topology arises from the infinite descending chain of neighborhoods, making $\mathbb{Z}_p$ homeomorphic to the Cantor set, yet dense in itself without isolated points.^[25] Another example is the ordinal space $[0, \omega_1]$ , consisting of all ordinals less than or equal to the first uncountable ordinal $\omega_1$ , equipped with the order topology. This space is compact, Hausdorff, and totally disconnected, with clopen sets being finite unions of intervals of the form $[\alpha, \beta)$ . It serves as a classic illustration of a Stone space that is not metrizable.^[27] Profinite groups offer a broad class of infinite Stone spaces, arising as inverse limits of finite groups with the inverse limit topology.^[25] Any such group is a Stone space, as its topology is compact, Hausdorff, and totally disconnected, with a basis of clopen normal subgroups corresponding to the finite quotients.^[28] For instance, the profinite completion of $\mathbb{Z}$ is the product $\prod_p \mathbb{Z}_p$ over all primes $p$ , exhibiting intricate connectivity through dense subgroups while maintaining zero-dimensionality.^[25] These spaces can also be viewed as Stone spaces dual to Boolean algebras of open subgroups, highlighting the duality between profinite structures and certain Boolean lattices.^[28] The Stone-Čech compactification $\beta\mathbb{N}$ of the natural numbers, regarded as a discrete space, is an infinite Stone space identified with the set of all ultrafilters on $\mathbb{N}$ .^[29] It is compact and totally disconnected, with a basis of clopen sets $\{ \hat{A} : A \subseteq \mathbb{N} \}$ , where $\hat{A}$ consists of ultrafilters containing $A$ , and $\mathbb{N}$ embeds densely via principal ultrafilters.^[29] The subspace $\beta\mathbb{N} \setminus \mathbb{N}$ comprises the free (non-principal) ultrafilters, which form a remainder space of cardinality $2^{2^{\aleph_0}}$ with highly non-trivial topology, including points that are limits of sequences without converging in $\mathbb{N}$ but exhibiting extremal disconnectedness.^[29] This construction underscores the compactness of $\beta\mathbb{N}$ despite the non-compactness of $\mathbb{N}$ , with free ultrafilters enabling applications in limit operations beyond standard convergence.^[29]

Modern Applications

Condensed Mathematics

Condensed mathematics, developed by Dustin Clausen and Peter Scholze around 2019–2020, provides a new foundation for analytic and topological structures in number theory and geometry by replacing traditional topological spaces with condensed sets. These are sheaves on the site of profinite sets equipped with the pro-étale topology, allowing for a uniform treatment of continuous functions and algebraic objects that avoids many pathologies of classical topology.^[30] In this framework, Stone spaces—compact, Hausdorff, totally disconnected topological spaces—play a central role as the primary test objects, equivalent to profinite sets. Every Stone space admits a canonical surjection from a profinite set, enabling the definition of continuous functions uniformly as natural transformations between functors on the category of Stone spaces. Extremally disconnected Stone spaces, where the closure of every open set is open, are particularly important as test objects for constructing solid and liquid structures in condensed abelian groups, which capture analytic properties like completeness and exactness in a categorical manner.^[30] This approach has significant applications in p-adic geometry and étale cohomology, where Stone spaces facilitate the study of rigid analytic spaces and their cohomology without relying on pathological compacta that arise in classical settings. For instance, condensed sets allow for a clean formulation of pro-étale cohomology on p-adic sites, resolving issues with non-separated schemes and enabling computations in arithmetic geometry.^[30]^[31] Subsequent developments include a 2022 joint course by Scholze and Clausen on Condensed Mathematics and Complex Geometry, extending the framework to complex periods and derived algebraic geometry using ∞-categorical tools, while preserving Stone spaces' foundational role. Recent works as of 2024, such as generalizations of condensed structures and formal proofs of theorems like Nöbeling's on solid abelian groups, further address gaps and broaden applications.^[32]^[33]^[34]

Computable Structures

Computable Stone spaces are compact, totally disconnected Polish spaces equipped with a recursive clopen basis, meaning the topology admits an effective enumeration of clopen sets such that finite intersections and complements are uniformly computable.^[35] This structure ensures that basic topological operations, like determining membership in clopen sets, are decidable, aligning Stone spaces with computable topology.^[36] Such spaces bridge classical topology and recursion theory, allowing algorithmic exploration of their properties. In computability theory, Stone duality manifests through effective versions that pair decidable Boolean algebras with computable Stone spaces. Specifically, the dual of a computable Boolean algebra—a structure where operations like join, meet, and complement are computable—is a Stone space whose clopen sets correspond to the algebra's elements via ultrafilters that can be effectively approximated.^[35] Computable homomorphisms between decidable Boolean algebras induce computably continuous maps between the dual Stone spaces, preserving the duality in a recursive setting. This effective duality enables the transfer of computability results from algebraic to topological domains. Prominent examples include the Cantor space

2^\omega

, which serves as the prototypical computable Stone space. Its standard product topology features a recursive basis of clopen cylinders defined by finite binary sequences, making basic open sets effectively enumerable and their intersections decidable. Another example is the space of

p

-adic integers

\mathbb{Z}_p

, which admits a recursive presentation as a Stone space through its profinite completion, where the basis consists of computably generated balls around rational points. Advancements detailed in a 2021 arXiv preprint (published 2023) by Bazhenov, Harrison-Trainor, and Melnikov leverage Stone duality to construct novel computable metrizable Stone spaces. They provide the first example of a computable topological Polish space—specifically, a right-c.e. metrized Stone space—not homeomorphic to any computably metrized space, resolving a prior gap in understanding computable metrizability.^[35]^[36] Additionally, they establish that effectively categorical Stone spaces, those with unique computable presentations up to computable homeomorphism, are precisely the duals of computably categorical Boolean algebras.^[36] These computable structures intersect with descriptive set theory by facilitating the study of Borel isomorphisms among Stone spaces. For instance, effective presentations reveal when two Stone spaces are Borel isomorphic via computable maps, aiding the classification of Polish spaces up to Borel equivalence in recursive contexts and highlighting non-trivial computability barriers in topological classification. Subsequent works as of 2025, including applications to computable topological groups and further Polish space classifications, continue to build on these results.^[35]^[37]^[38]

History

Stone space

Recent from talks

Recent from talks

Contribute something

Contribute something

Media Pages

Timelines

Articles

Notes collections

Notes

Notes

Days in Chronicle

Stone space

Equivalent conditions

Examples

Stone's representation theorem for Boolean algebras

Condensed mathematics

See also

References

Further reading

Stone space

Fundamentals

Definition

Historical Context

Properties

Topological Characteristics

Equivalent Conditions

Duality Theory

Stone's Representation Theorem

Boolean Algebra Correspondence

Examples

Finite Cases

Infinite Constructions

Add your contribution

Related Hubs

Contribute something