To install click the Add extension button. That's it.

The source code for the WIKI 2 extension is being checked by specialists of the Mozilla Foundation, Google, and Apple. You could also do it yourself at any point in time.

4,5
Kelly Slayton
Congratulations on this excellent venture… what a great idea!
Alexander Grigorievskiy
I use WIKI 2 every day and almost forgot how the original Wikipedia looks like.
Live Statistics
English Articles
Improved in 24 Hours
Languages
Recent
Show all languages
What we do. Every page goes through several hundred of perfecting techniques; in live mode. Quite the same Wikipedia. Just better.
.
Leo
Newton
Brights
Milds

# Stone space

In topology and related areas of mathematics, a Stone space, also known as a profinite space[1] or profinite set, is a compact totally disconnected Hausdorff 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.

• 1/2
Views:
899
4 796
• Carne Griffiths drawing EDEN live in The Stone Space
• 1.123 - Giuliana Conforto about the Black Stone, Space-Time Tunnels and Invisible Worlds.

## Equivalent conditions

The following conditions on the topological space ${\displaystyle X}$ are equivalent:[2][1]

## Examples

Important examples of Stone spaces include finite discrete spaces, the Cantor set and the space ${\displaystyle \mathbb {Z} _{p}}$ of ${\displaystyle p}$-adic integers, where ${\displaystyle 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

To every Boolean algebra ${\displaystyle B}$ we can associate a Stone space ${\displaystyle S(B)}$ as follows: the elements of ${\displaystyle S(B)}$ are the ultrafilters on ${\displaystyle B,}$ and the topology on ${\displaystyle S(B),}$ called the Stone topology, is generated by the sets of the form ${\displaystyle \{F\in S(B):b\in F\},}$ where ${\displaystyle 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 ${\displaystyle S(B)}$; and furthermore, every Stone space ${\displaystyle X}$ is homeomorphic to the Stone space belonging to the Boolean algebra of clopen sets of ${\displaystyle 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

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]