Abschlussoperators

Abschlussoperatoren sind grundlegende Konzepte der Mengentheorie und Topologie. Ein Abschlussoperator cl auf einer Menge X ist eine Abbildung aus der Potenzmenge P(X) in sich, die jeder Teilmenge A ⊆ X ihren Abschluss cl(A) zuordnet.

Eigenschaften: Abschlussoperatoren erfüllen drei zentrale Bedingungen

- Extensivität: A ⊆ cl(A)

- Monotonie: A ⊆ B ⇒ cl(A) ⊆ cl(B)

- Idempotenz: cl(cl(A)) = cl(A)

Aus diesen Eigenschaften folgt, dass die Fixpunkte von cl die abgeschlossenen Mengen bilden. D.h., eine Teilmenge F ⊆ X ist genau dann abgeschlossen, wenn cl(F) = F.

Topologische Sichtweise: In einem Topologie-Paar (X, τ) ergibt sich der Abschluss von A als kleinstes abgeschlossenes Superset von A, equivalently cl(A) = ∩ {F | F ist abgeschlossen und A ⊆ F}. Die Closure definiert sich somit über die Menge der abgeschlossenen Mengen.

Beispiele: In der diskreten Topologie gilt cl(A) = A für alle A ⊆ X. In der Cofinite-Topologie gilt cl(A) = A, falls A endlich ist; ansonsten ist cl(A) = X. In der Standardtopologie eines metrischen Raums entspricht cl(A) der Vereinigung von A mit allen Grenz- oder Grenzpunkten von A.

Verwandte Konzepte: Abschlussoperatoren bilden eine abstrakte Ordnungstheorie-Struktur (Closure-Operatoren) und erzeugen eine Closure-Sammlung der abgeschlossenen Mengen; der Dualbegriff ist der Innenoperator. In der Algebraischen Geometrie erscheint der Begriff der Zariski-Abschlussbildung als spezifischer Abschlussoperator.