Disjunkte Vereinigung

Im mathematischen Teilgebiet der Mengenlehre gibt es zwei leicht unterschiedliche Verwendungen des Begriffes disjunkte Vereinigung.

Definition

Die nachfolgende Unterscheidung entspricht genau dem Unterschied zwischen innerer und äußerer direkter Summe. Die beiden Definitionen stellen die verschiedenen Sachverhalte dar, die jedoch beide als disjunkte Vereinigung bezeichnet werden. Daher muss der Begriff abhängig von seinem Kontext verstanden werden. Die Notationen im Artikel werden in der Literatur nicht nur in dieser Art verwendet, meist letztere für ersteren Umstand.

Vereinigung disjunkter Mengen

Eine Menge ist die disjunkte Vereinigung eines Systems $(X_{i})_{i\in I}$ von Teilmengen $X_{i}\subseteq X$ , geschrieben

$X={\dot {\bigcup _{i\in I}}}X_{i},$

wenn die folgenden beiden Bedingungen erfüllt sind:

$X_{i}\cap X_{j}=\varnothing ,$ falls $i\neq j$ , das heißt also, die $X_{i}$ sind paarweise disjunkt;
$\textstyle X=\bigcup \limits _{i\in I}X_{i}$ , das heißt, ist die Vereinigung aller Mengen $X_{i}$ .

Disjunkte Vereinigung beliebiger Mengen

Sind Mengen $X_{i}$ für $i\in I$ gegeben, so heißt die Menge

$\bigsqcup _{i\in I}X_{i}=\bigcup _{i\in I}\{(i,x)\mid x\in X_{i}\}$

die disjunkte Vereinigung der Mengen $X_{i}$ . Sie ist in etwa eine Vereinigung, bei der die Mengen vorher künstlich disjunkt gemacht werden.

Eigenschaften

Für die Mächtigkeiten gilt: $\left|\bigsqcup \limits _{i\in I}X_{i}\right|=\sum _{i\in I}|X_{i}|$ . In der Kardinalzahlarithmetik ist die Summe gerade durch diese Beziehung definiert.
Die disjunkte Vereinigung $\bigsqcup \limits _{i\in I}X_{i}$ ist das kategorielle Koprodukt in der Kategorie der Mengen. Das bedeutet: Abbildungen $f\colon \bigsqcup \limits _{i\in I}X_{i}\to Y$ entsprechen eineindeutig Systemen von Abbildungen $(f_{i})_{i\in I}$ mit $f_{i}\colon X_{i}\to Y$ .
Sind die Mengen $X_{i}$ disjunkt, so ist die kanonische Abbildung $\bigsqcup \limits _{i\in I}X_{i}\to \bigcup \limits _{i\in I}X_{i}$ bijektiv.

Beispiele

Beispiel der Vereinigung disjunkter Mengen

Disjunkte Vereinigung von $A=\{1,2,3\}$ und $B=\{4,5,6\}$ .

$A\cap B=\varnothing$ Beide Mengen sind disjunkt
$A\;{\dot {\cup }}\;B=C$
ist die disjunkte Vereinigung der Mengen und ⇒ $C=\{1,2,3,4,5,6\}$
Die Mengen und bilden hierbei eine Partition der Menge
Die disjunkte Vereinigung $A\sqcup B$ im zweiten Sinn liefert die Paarmenge $D=\{(1,1),(1,2),(1,3),(2,4),(2,5),(2,6)\}$ . Die Projektion $\pi _{2}$ bildet bijektiv auf ab.

Beispiel einer disjunkten Vereinigung beliebiger Mengen

Disjunkte Vereinigung von $X_{1}=\{1,2,3\}$ und $X_{2}=\{1,2,3,4\}$ .

$I=\{1,2\}$
$\textstyle \bigsqcup \limits _{i\in I}X_{i}=\bigcup \limits _{i\in I}\{(i,x)\mid x\in X_{i}\}=\{(1,1),(1,2),(1,3),(2,1),(2,2),(2,3),(2,4)\}$

Basierend auf einem Artikel in:

Wikipedia.de