Un teorema que establece una equivalencia dual entre la categoría de álgebras booleanas y la categoría de espacios compactos de Hausdorff de dimensión cero (espacios de Stone) al representar cada álgebra booleana como el álgebra de subconjuntos que son a la vez abiertos y cerrados de un espacio canónico de ultrafiltros.

Principio

Toda álgebra booleana puede realizarse concretamente como el álgebra de conjuntos clopen de un espacio compacto de Hausdorff de dimensión cero construido de forma natural; recíprocamente, todo espacio de este tipo proporciona un álgebra booleana de sus clopens, y estas construcciones son inversas con isomorfismo natural.

Demostración

Dada una álgebra booleana B, se forma el espacio X de ultrafiltros sobre B con la topología generada por conjuntos {U ∈ X : a ∈ U} para a ∈ B; estos conjuntos básicos son clopen y la aplicación que envía a ∈ B al conjunto clopen correspondiente es un isomorfismo de álgebras booleanas de B sobre el álgebra de clopens de X. Por ejemplo, el álgebra de subconjuntos finitos y cofinítos de un conjunto numerable produce un espacio de Stone homeomorfo a la compactificación de un punto de un espacio discreto.

Aplicación incorrecta

Aplicar el teorema a retículos que no son booleanos (por ejemplo retículos distributivos sin complementos) o a espacios no cero-dimensiónales o no compactos; esperar una representación equivalente sin comprobar la condición de dimensión cero y la compacidad conduce a errores.

Consecuencia

Proporciona un puente eficaz entre álgebra y topología: problemas algebraicos sobre álgebras booleanas se traducen a problemas topológicos sobre espacios de Stone y viceversa, permitiendo transferir invariantes y construcciones (por ejemplo homomorfismos ↔ aplicaciones continuas, ideales ↔ particiones clopen).

Inversión

En sentido dual, cada espacio compacto de Hausdorff de dimensión cero está completamente determinado (hasta homeomorfismo) por su álgebra booleana de conjuntos clopen; la construcción inversa recupera el álgebra original a partir de la topología.

Límite

Se aplica a álgebras booleanas y espacios compactos de Hausdorff de dimensión cero; no se extiende literalmente a retículos distributivos generales (la dualidad de Priestley trata ese caso), a espacios no compactos o no Hausdorff, ni a estructuras sin complementos.

Tensión semántica

A menudo se confunde con otros resultados denominados Stone (por ejemplo la compactificación de Stone–Čech o Stone–Weierstrass); la tensión está entre la representación de Stone (álgebra booleana ↔ espacios compactos cero-dimensión) y otras dualidades que relacionan diferentes estructuras algebraicas con otras clases de espacios.

Síntesis

El Teorema de Representación de Stone afirma que la estructura de una álgebra booleana y la topología de los conjuntos clopen de su espacio de Stone codifican la misma información en lenguajes duales, posibilitando traducciones efectivas entre álgebra y topología mediante la construcción de ultrafiltros.