Una equivalencia entre la categoría de álgebras booleanas y la categoría de espacios de Stone (espacios topológicos compactos, de Hausdorff y totalmente disconexos), que asigna a cada álgebra booleana su espacio de ultrafiltros con la topología de Stone y a cada espacio de Stone el álgebra de sus conjuntos clopen.

Principio

Las operaciones algebraicas en una álgebra booleana corresponden a operaciones topológicas sobre conjuntos clopen; la construcción espectro‑de‑ultrafiltros y el álgebra de los clopen son funtores contravariantes que establecen una equivalencia, convirtiendo identidades algebraicas en afirmaciones topológicas y viceversa.

Demostración

Dada una álgebra booleana B, forme su espacio de Stone S(B) de ultrafiltros con los clopen básicos U_a para a∈B, donde U_a = {u | a∈u}. A la inversa, para un espacio de Stone X, el álgebra Clop(X) de subconjuntos clopen es una álgebra booleana. Las aplicaciones naturales B → Clop(S(B)) y X → S(Clop(X)) son isomorfismos en sus respectivas categorías, dando la representación.

Aplicación incorrecta

Intentar aplicar la dualidad de Stone a retículos distributivos no booleanos sin ajuste, o presumir la misma dualidad para espacios no cero‑dimensionales o no compactos. Confundir la dualidad de Stone con dualidades que requieren estructura de orden adicional (por ejemplo, la dualidad de Priestley para retículos distributivos).

Consecuencia

La dualidad de Stone ofrece un puente concreto entre lógica/álgebra de conjuntos y topología: las álgebras booleanas se representan como álgebras de clopen, lo que sustenta teoremas de completitud clásicos en lógica proposicional, proporciona representaciones espectrales y aporta intuición topológica para construcciones algebraicas.

Inversión

Invertido, cualquier espacio topológico adecuado (espacio de Stone) puede codificarse completamente mediante su álgebra de clopen; esa inversión muestra cómo la separación y compacidad topológicas se traducen en propiedades algebraicas de completitud y atomicidad.

Límite

Válida precisamente para álgebras booleanas y espacios de Stone (compactos, de Hausdorff, totalmente disconexos). Para retículos distributivos es necesaria la dualidad de Priestley; para espacios topológicos generales el álgebra de clopen es insuficiente. La dualidad es contravariante y categórica, no meramente una biyección de conjuntos subyacentes.

Tensión semántica

Tensión con dualidades vecinas (Priestley, Hochster, Pontryagin en otro dominio) donde la naturaleza del objeto algebraico o las hipótesis topológicas cambian; también existe tensión entre la lectura lógica (teorías proposicionales) y la lectura puramente algebraico/topológica.

Síntesis

La dualidad de Stone identifica álgebras booleanas con espacios de Stone emparejando espectros de ultrafiltros y álgebra de clopen, transformando relaciones algebraicas en estructura topológica y proporcionando una equivalencia precisa que fundamenta representaciones lógicas y topológicas.