La estructura algebraica generada al iterar las operaciones de clausura topológica y complemento sobre subconjuntos de un espacio topológico; registra todos los conjuntos distintos obtenibles a partir de un subconjunto dado mediante aplicaciones sucesivas de clausura y complemento.

Principio

Aplicar repetidamente las dos operaciones Cl (clausura) y C (complemento) a un subconjunto A ⊆ X; el teorema de Kuratowski da una cota superior (14) al número de conjuntos distintos producidos en un espacio T1, y el álgebra codifica esas relaciones combinatorias.

Demostración

Para un subconjunto apropiado A de la recta real con la topología habitual se pueden obtener las 14 conjuntos distintos que resultan al alternar clausura y complemento; cada conjunto resultante se expresa por una palabra finita en Cl y C aplicada a A.

Aplicación incorrecta

Confundir clausura con interior o usar el álgebra de Kuratowski sin tener en cuenta la topología ambiente (la clausura depende de la topología), o asumir que la cota de 14 vale en topologías no-T1 o exóticas sin comprobar las hipótesis.

Consecuencia

El álgebra clausura-complemento proporciona un invariante combinatorio de la topología relativo a un subconjunto, útil para comprender la interacción entre clausura, interior y frontera y para construir ejemplos patológicos.

Inversión

Sustituir clausura por interior (notando Int = C ◦ Cl ◦ C) conduce a una descripción equivalente mediante interior y complemento; invertir el orden de las operaciones revela simetrías y dualidades en el álgebra.

Límite

Depende fundamentalmente del operador de clausura topológica; en topologías discretas el álgebra se colapsa (hay menos conjuntos distintos), mientras que en ciertas topologías no-T1 la cota máxima de 14 de Kuratowski puede fallar o requerir reinterpretación.

Tensión semántica

Próximo al álgebra booleana generada por abiertos o cerrados, pero distinto en énfasis: el álgebra de Kuratowski se centra en el monoide generado por dos operaciones concretas (clausura y complemento) y en la combinatoria de sus iterados.

Síntesis

El álgebra clausura-complemento de Kuratowski es la estructura combinatoria finita obtenida al iterar clausura y complemento sobre un subconjunto; encapsula cómo interaccionan clausura y complementación en la topología dada y proporciona cotas concretas (como el teorema de las 14 conjuntos) y ejemplos constructivos.