Disjunkte Mengen

Disjunkte Mengen

In der Mengenlehre heißen zwei Mengen A und B disjunkt (lat: disiunctum: getrennt) oder elementfremd, wenn sie kein gemeinsames Element besitzen. Mehrere Mengen heißen paarweise disjunkt, wenn je zwei von ihnen disjunkt sind.

Inhaltsverzeichnis

Definitionen

Zwei Mengen A und B sind disjunkt, wenn ihre Schnittmenge leer ist, wenn also gilt:

A\cap B=\varnothing

Eine Familie (M_i)_{i\in I} von Mengen ist eine disjunkte Mengenfamilie, wenn ihre Elemente paarweise disjunkt sind, wenn also gilt:

 M_i \cap M_j = \varnothing für \!\,i \ne j

Die Vereinigung M einer disjunkten Mengenfamilie nennt man disjunkte Vereinigung und schreibt sie als

M=\dot{\bigcup_{i \in I}}M_i

Sind außerdem alle Mengen der Familie nichtleer, liegt eine Partition von M vor.

Die Begriffe werden auch analog für Mengensysteme (anstelle von Mengenfamilien) verwendet.

Beispiele

  • Die Mengen A = {1,2,3} und B = {7,8,11} sind disjunkt, weil sie kein gemeinsames Element haben.
  • Die Mengen A = {1,2,7} und B = {6,7,8,11} sind nicht disjunkt, da sie das Element 7 gemeinsam haben.
  • Die drei Mengen A = {1,2,3}, B = {4,5} und C = {5,6,7} sind nicht paarweise disjunkt, da zumindest eine der drei möglichen Schnittmengen (nämlich B \cap C) nichtleer ist.
  • Die folgende Aufzählung definierte eine (unendliche) disjunkte Mengenfamilie, die eine Partition der ganzen Zahlen darstellt:
    \{0\}, \{1, -1\}, \{2, -2\}, \{3, -3\}, \{4, -4\}, \ldots.
  • Zwei verschiedene Geraden g und h in der euklidischen Ebene sind genau dann disjunkt, wenn sie parallel sind. Die Gesamtheit aller Parallelen zu einer gegebenen Geraden g bildet eine Partition der Ebene.

Eigenschaften

  • Die leere Menge \varnothing ist disjunkt zu jeder beliebigen Menge.
  • {a} und B sind genau dann disjunkt, wenn a \notin B.
  • Die Mächtigkeit einer endlichen disjunkten Vereinigung endlicher Mengen ist gleich der Summe der Einzelmächtigkeiten. Für nicht-disjunkte Vereinigungen gilt die Siebformel.

Siehe auch

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем написать курсовую

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Disjunkte Vereinigung — Im mathematischen Teilgebiet der Mengenlehre gibt es zwei leicht unterschiedliche Verwendungen des Begriffes disjunkte Vereinigung. Inhaltsverzeichnis 1 Definition 1.1 Erste Variante: Vereinigung disjunkter Mengen 1.2 Zweite Variante: Disjunkt …   Deutsch Wikipedia

  • Getrennte Mengen — In der Topologie und verwandten Gebieten der Mathematik sind getrennte Mengen Paare von Teilmengen eines gegebenen topologischen Raumes, die auf eine Art miteinander in Beziehung stehen. Die Tatsache, ob zwei Mengen getrennt sind oder nicht, ist… …   Deutsch Wikipedia

  • Julia-Mengen — Die Julia Mengen, erstmals von Gaston Maurice Julia und Pierre Fatou beschrieben, sind Teilmengen der komplexen Zahlenebene, wobei zu jeder holomorphen oder meromorphen Funktion eine Julia Menge gehört. Oft sind die Julia Mengen fraktale Mengen.… …   Deutsch Wikipedia

  • Knotenüberdeckungen, Cliquen und stabile Mengen — sind Begriffe der Graphentheorie und bezeichnen spezielle Teilmengen von Knoten in Graphen. Das Finden von kleinsten Knotenüberdeckungen und größten Cliquen bzw. stabilen Mengen gilt als algorithmisch schwierig (NP vollständig). Da diese Probleme …   Deutsch Wikipedia

  • T5-Raum — In der Topologie und verwandten Gebieten der Mathematik betrachtet man oft nicht alle topologischen Räume, sondern stellt bestimmte Bedingungen, die von den interessierenden Räumen erfüllt werden sollen. Einige dieser Bedingungen nennt man… …   Deutsch Wikipedia

  • Trennungsaxiom — In der Topologie und verwandten Gebieten der Mathematik betrachtet man oft nicht alle topologischen Räume, sondern stellt bestimmte Bedingungen, die von den interessierenden Räumen erfüllt werden sollen. Einige dieser Bedingungen nennt man… …   Deutsch Wikipedia

  • disjunkt — Zwei disjunkte Mengen In der Mengenlehre heißen zwei Mengen A und B disjunkt (lateinisch disiunctum ‚getrennt‘), elementfremd oder durchschnittsfremd, wenn sie kein gemeinsames Element besitzen. Mehrere Mengen …   Deutsch Wikipedia

  • Fast überall — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Massraum — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

  • Maß (Mathematik) — Die Maßtheorie ist ein Teilgebiet der Mathematik, das die elementargeometrischen Begriffe Streckenlänge, Flächeninhalt, Volumen verallgemeinert und es dadurch ermöglicht, auch komplizierteren Mengen ein Maß zuzuordnen. Sie bildet das Fundament… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”