Komplement (Mengenlehre)

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Absolutes Komplement)
Zur Navigation springen Zur Suche springen

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

Relatives Komplement

[Bearbeiten | Quelltext bearbeiten]
Das (relative) Komplement der Menge A in B ist wiederum eine Teilmenge von B und hier blau gefärbt.

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

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

Das relative Komplement kann auch so definiert werden, dass eine Teilmenge von sein soll. Grund hierfür ist, dass für die Definition des Komplements nur diejenigen Elemente in von Relevanz sind, die gleichzeitig auch Elemente in sind. Die Definitionen sind insofern äquivalent, als dass für beliebige Mengen und stets gilt, d. h. es gibt mit eine Teilmenge von , deren Komplement in dem Komplement von (welches nicht notwendigerweise Teilmenge von ist) in entspricht.[3][4] Manchmal heißt das relative Komplement von in mit auch eigentliches Komplement.[5]

  • Für (reelle Zahlen) und (rationale Zahlen), ist die Menge der irrationalen Zahlen.

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

Absolutes Komplement

[Bearbeiten | Quelltext bearbeiten]
Das Komplement von A in U

Ist ein Universum definiert, so wird für jede Menge das relative Komplement von in auch absolutes Komplement (oder einfach Komplement) von genannt und als (manchmal auch als , oder auch als , bzw. wenn fest ist) notiert, es ist also:[6][4]

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 als Universum gesetzt. Für ein Ereignis ist dessen Gegenereignis das Komplement von . Zum Beispiel ist das Komplement des Ereignisses „Würfel zeigt eine 5 oder 6“ das Ereignis „Würfel zeigt eine Zahl kleiner/gleich 4“.

Im Folgenden sind einige Eigenschaften absoluter Komplemente im Zusammenhang mit den mengentheoretischen Operationen Vereinigung und Durchschnitt aufgelistet. Seien und Teilmengen des Universums , dann gelten folgende Identitäten:

De Morgansche Regeln:

Komplementgesetze:

  • Ist , so ist

Involution:

Beziehungen zwischen relativen und absoluten Komplementen:

Die ersten beiden Komplementgesetze zeigen, dass, wenn eine echte nichtleere Teilmenge von ist, eine Partition von ist.

  • 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.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Komplement (Mengenlehre). Abgerufen am 18. Mai 2022.
  2. Jürgen Elstrodt: Maß- und Integrationstheorie. Achte, erweiterte und aktualisierte Auflage. Springer Spektrum, Berlin 2018, ISBN 978-3-662-57938-1, S. 7, doi:10.1007/978-3-662-57939-8.
  3. Relatives Komplement oder die Differenz zwischen Mengen (Video). Abgerufen am 18. Mai 2022.
  4. a b Komplement | Mathebibel. Abgerufen am 18. Mai 2022.
  5. Heinz Bauer: Maß- und Integrationstheorie. 2., überarbeitete Auflage. Walter de Gruyter, Berlin / New York 1992, ISBN 3-11-013626-0, S. 8, Lemma 2.2.
  6. Grundmenge und absolutes Komplement (Video). Abgerufen am 18. Mai 2022.