Komplement (Mengenlehre)

∁

In der Mengentheorie und anderen Teilgebieten der Mathematik sind zwei verschiedene Komplemente definiert: Das relative Komplement und das absolute Komplement.

Relatives Komplement

Definition

Das (relative) Komplement der Menge A in B ist wiederum eine Teilmenge von B und hier blau gefärbt.

Sind $A$ und $B$ Mengen, dann ist das relative Komplement, auch mengentheoretisches Komplement oder mengentheoretische Differenz genannt, die Menge genau der Elemente aus $B$, welche nicht in $A$ enthalten sind. Die formale Definition des relativen Komplements ist

$B\setminus A:=\left\{x\in B\mid x\not \in A\right\}$

und man sagt „$B$ ohne $A$“ oder „relatives Komplement von $A$ in $B$“. Das Komplement entspricht also der Subtraktion von Mengen. „Relativ“ heißt es deshalb, weil das Komplement einer Menge $A$ stets in Relation zu einer weiteren Menge $B$ angegeben wird.

Das relative Komplement kann auch so definiert werden, dass $A$ eine Teilmenge von $B$ sein soll. Grund hierfür ist, dass für die Definition des Komplements nur diejenigen Elemente in $A$ von Relevanz sind, die gleichzeitig auch Elemente in $B$ sind. Die Definitionen sind insofern äquivalent, als dass für beliebige Mengen $A$ und $B$ stets $B\setminus A=B\setminus (A\cap B)$ gilt, d. h. es gibt mit $A\cap B$ eine Teilmenge von $B$, deren Komplement in $B$ dem Komplement von $A$ (welches nicht notwendigerweise Teilmenge von $B$ ist) in $B$ entspricht.

Beispiele

• $\left\{1,2,3\right\}\setminus \left\{2,3\right\}=\left\{1\right\}$
• $\left\{2,3,4\right\}\setminus \left\{2,3\right\}=\left\{4\right\}$
• Für $\mathbb {R}$ (reelle Zahlen) und $\mathbb {Q}$ (rationale Zahlen), ist $\mathbb {R} \setminus \mathbb {Q}$ die Menge der irrationalen Zahlen.

Eigenschaften

Im Folgenden sind einige Eigenschaften relativer Komplemente im Zusammenhang mit den mengentheoretischen Operationen Vereinigung und Durchschnitt aufgelistet. Seien $A$, $B$ und $C$ Mengen, dann gelten folgende Identitäten:

• $C\setminus \left(A\cap B\right)=\left(C\setminus A\right)\cup \left(C\setminus B\right)$
• $C\setminus \left(A\cup B\right)=\left(C\setminus A\right)\cap \left(C\setminus B\right)$
• $C\setminus \left(B\setminus A\right)=(A\cap C)\cup (C\setminus B)$
• $\left(B\setminus A\right)\cap C=(B\cap C)\setminus A=B\cap (C\setminus A)$
• $\left(B\setminus A\right)\cup C=(B\cup C)\setminus \left(A\setminus C\right)$
• $A\setminus A=\emptyset$
• $A\setminus \emptyset =A$

Absolutes Komplement

Definition

Das Komplement von A in U

Ist ein Universum $U$ definiert, so wird für jede Menge $A\subseteq U$ das relative Komplement von $A$ in $U$ auch absolutes Komplement (oder einfach Komplement) von $A$ genannt und als $A^{\rm {C}}$ (manchmal auch als $A'$, oder auch als ${\bar {A}}$, $\complement _{U}A$ bzw. $\complement A$ wenn $U$ fest ist) notiert, es ist also:

$A^{\rm {C}}=U\setminus A$

Beispiel

Ist das Universum zum Beispiel die Menge der natürlichen Zahlen, so ist das (absolute) Komplement der Menge der geraden Zahlen die Menge der ungeraden Zahlen.

In der Wahrscheinlichkeitsrechnung ist häufig der Ergebnisraum $\Omega$ als Universum gesetzt. Für ein Ereignis $A\subseteq \Omega$ ist dessen Gegenereignis ${\bar {A}}$ das Komplement von $A$. Zum Beispiel ist das Komplement des Ereignisses „Würfel zeigt eine 5 oder 6“ das Ereignis „Würfel zeigt eine Zahl kleiner/gleich 4“.

Eigenschaften

Im Folgenden sind einige Eigenschaften absoluter Komplemente im Zusammenhang mit den mengentheoretischen Operationen Vereinigung und Durchschnitt aufgelistet. Seien Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B} Teilmengen des Universums Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} , dann gelten folgende Identitäten:

De Morgansche Regeln:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(A\cup B\right)^{\rm C}=A^{\rm C}\cap B^{\rm C}}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left(A\cap B\right)^{\rm C}=A^{\rm C}\cup B^{\rm C}}

Komplementgesetze:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \cup A^{\rm C} = U}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \cap A^{\rm C} = \emptyset}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \emptyset^{\rm C} = U}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U^{\rm C} = \emptyset}
• Ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \subseteq B} , so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle B^{\rm C} \subseteq A^{\rm C}}

Involution:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A^{\rm C})^{\rm C} = A}

Beziehungen zwischen relativen und absoluten Komplementen:

• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A \setminus B = A \cap B^{\rm C}}
• Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (A \setminus B)^{\rm C} = A^{\rm C} \cup B}

Die ersten beiden Komplementgesetze zeigen, dass, wenn Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle A} eine echte nichtleere Teilmenge von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} ist, Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \{ A, A^{\rm C} \}} eine Partition von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U} ist.

Siehe auch

• Dualitätsprinzip der Mengenlehre

Literatur

• Oliver Deiser: Einführung in die Mengenlehre. Die Mengenlehre Georg Cantors und ihre Axiomatisierung durch Ernst Zermelo. 2., verbesserte und erweiterte Auflage. Springer, Berlin u. a. 2004, ISBN 3-540-20401-6.