Un espacio topológico compacto, de Hausdorff y cero-dimensional (totalmente desconexo) que surge como el objeto dual de un álgebra de Boole mediante la dualidad de Stone; los puntos corresponden a ultrafiltros y los conjuntos clopens a elementos del álgebra.

Principio

Dualidad de Stone: la correspondencia entre álgebras de Boole y espacios compactos Hausdorff cero-dimensionales, dada por B ↦ espacio de ultrafiltros de B y X ↦ álgebra de subconjuntos clopen de X.

Demostración

Dada un álgebra de Boole B, el conjunto de ultrafiltros de B con la topología generada por conjuntos {U ∈ Ult(B) : a ∈ U} (a ∈ B) es un espacio de Stone; recíprocamente, los subconjuntos clopen de cualquier espacio de Stone constituyen un álgebra de Boole isomorfa a la original.

Aplicación incorrecta

Considerar como espacio de Stone a un espacio compacto Hausdorff cualquiera que carezca de base de clopens o aplicar la dualidad sin verificar la condición de cero-dimensionalidad.

Consecuencia

Las propiedades algebraicas de un álgebra de Boole (átomos, completitud, homomorfismos) se traducen en propiedades topológicas (puntos aislados, desconexión extrema, aplicaciones continuas) de su espacio de Stone, permitiendo transferir problemas entre álgebra y topología.

Inversión

A partir de un espacio de Stone X se recupera el álgebra de sus subconjuntos clopen; invertir la dualidad convierte cuestiones topológicas sobre X en cuestiones algebraicas sobre esa álgebra.

Límite

Requiere compacidad, la propiedad de Hausdorff y cero-dimensionalidad (existencia de una base de clopens); los espacios conexos o simplemente T1 no compactos, en general, no son espacios de Stone.

Tensión semántica

A menudo se confunde con otras construcciones denominadas 'Stone' (por ejemplo, la compactificación de Stone–Čech); aquí 'espacio de Stone' se refiere específicamente al dual cero-dimensional compacto Hausdorff de un álgebra de Boole.

Síntesis

Un espacio de Stone es el reflejo topológico de un álgebra de Boole: un espacio compacto Hausdorff con base de clopens cuyos puntos son ultrafiltros, de modo que la estructura topológica y la estructura algebraica se determinan mutuamente mediante la dualidad de Stone.