Die algebraische Struktur, die durch Iteration der Mengenoperationen Abschluß (Cl) und Komplement (C) auf Teilmengen eines topologischen Raums erzeugt wird; sie erfasst alle unterschiedlichen Mengen, die sich durch sukzessive Anwendung von Abschluß und Komplement auf eine gegebene Menge gewinnen lassen.

Prinzip

Wendet man die beiden Operationen Cl und C wiederholt auf eine Teilmenge A ⊆ X an, liefert Kuratowskis Satz eine obere Schranke (14) für die Zahl der unterschiedlichen Mengen in einem T1-Raum, und die Algebra kodiert diese kombinatorischen Relationen.

Demonstration

Für eine geeignete Teilmenge A der reellen Linie mit der üblichen Topologie lassen sich alle 14 unterschiedlichen Mengen realisieren, die durch alternierende Anwendungen von Abschluß und Komplement entstehen; jede resultierende Menge ist durch ein endliches Wort in Cl und C auf A darstellbar.

Fehlanwendung

Abschluß mit Innerem verwechseln oder die Kuratowski-Algebra anwenden, ohne die zugrundeliegende Topologie zu berücksichtigen (der Abschluß ist topologieabhängig), bzw. die 14-Mengen-Obergrenze in nicht-T1- oder exotischen Topologien ohne Prüfung der Voraussetzungen annehmen.

Konsequenz

Die Abschluß-Komplement-Algebra liefert ein kombinatorisches Invariante der Topologie relativ zu einer Teilmenge, nützlich zum Verständnis des Zusammenspiels von Abschlüssen, Innerem und Rand und zum Bau pathologischer Beispiele.

Umkehrung

Ersetzt man Abschluß durch Inneres (wobei Int = C ◦ Cl ◦ C gilt), erhält man eine äquivalente Beschreibung mittels Innerem und Komplement; das Umkehren der Operationsreihenfolge legt Symmetrien und Dualitäten der Algebra offen.

Abgrenzung

Hängt wesentlich vom topologischen Abschlußoperator ab; in diskreten Topologien kollabiert die Algebra (es gibt weniger verschiedene Mengen), während in bestimmten nicht-T1-Räumen Kuratowskis obere Schranke von 14 versagen oder neu zu interpretieren sein kann.

Semantische Spannung

Nahe an der Booleschen Algebra, die von offenen oder abgeschlossenen Mengen erzeugt wird, unterscheidet sie sich jedoch im Schwerpunkt: Die Kuratowski-Algebra fokussiert auf das von zwei konkreten Operationen (Abschluß und Komplement) erzeugte Monoidh und die Kombinatorik ihrer Iterationen.

Synthese

Die Kuratowski Abschluß-Komplement-Algebra ist die endliche kombinatorische Struktur, die sich durch Iteration von Abschluß und Komplement auf einer Teilmenge ergibt; sie fasst zusammen, wie Abschluß und Komplementation in der gegebenen Topologie interagieren, und liefert konkrete Schranken (etwa den 14-Mengen-Satz) sowie konstruierbare Gegenbeispiele.