Una equivalencia contravariante entre la categoría de álgebras booleanas y la categoría de espacios de Stone (espacios de Hausdorff compactos y cero‑dimensionales), realizada por el espectro de ultrafiltros/ideales primos y los fonctores de conjuntos clopen.

Principio

Las operaciones algebraicas en una álgebra booleana corresponden fonctorialmente a operaciones topológicas en su espacio de Stone: los ultrafiltros dan puntos, los subconjuntos clopen dan elementos algebraicos, y los homomorfismos corresponden a mapas continuos en la dirección opuesta, produciendo una equivalencia de categorías.

Demostración

Dada una álgebra booleana B, su espacio de Stone X(B) es el conjunto de ultrafiltros de B con la topología generada por las colecciones de ultrafiltros que contienen un elemento fijo; recíprocamente, para un espacio de Stone X, el álgebra de subconjuntos clopen recupera B. Por ejemplo, una álgebra booleana finita con 2^n átomos corresponde a un espacio discreto de n puntos.

Aplicación incorrecta

Intentar aplicar la dualidad de Stone fuera de sus hipótesis (a retículos no booleanos o espacios no cero‑dimensionales) o confundirla con dualidades no relacionadas (Pontryagin, Gelfand); asumir que traslada estructuras finas (métricas, medidas) que no quedan codificadas.

Consecuencia

La dualidad de Stone traduce preguntas algebraicas sobre álgebras booleanas en preguntas topológicas sobre espacios compactos cero‑dimensionales y viceversa, permitiendo mover construcciones y pruebas entre álgebra y topología y proporcionando representaciones concretas de álgebras abstractas.

Inversión

Al invertir la correspondencia aparecen otras dualidades: reemplazar álgebras booleanas por retículos distributivos conduce a la dualidad de Priestley, y reemplazar espacios de Stone por espacios más estructurados da otras dualidades espectrales; la inversión muestra el esquema álgebra↔geometría más que una identificación única.

Límite

Válida únicamente para álgebras booleanas y espacios de Stone (compactos de Hausdorff, cero‑dimensionales); no se aplica tal cual a anillos no conmutativos, retículos generales o a objetos geométricos que carezcan de la estructura compacta y cero‑dimensional sin modificaciones.

Tensión semántica

Hay tensión cuando se confunde la dualidad de Stone con dualidades analíticas (Gelfand) o con dualidades para otras categorías algebraicas; una confusión frecuente es creer que la dualidad preserva estructuras adicionales como orden, refinamientos topológicos o datos de medida.

Síntesis

La dualidad de Stone es la equivalencia categórica que envía una álgebra booleana a su espacio de ultrafiltros y un espacio de Stone a su álgebra de conjuntos clopen, estableciendo una correspondencia precisa álgebra↔topología que representa álgebras booleanas como espacios compactos cero‑dimensionales.