Kartesisches Produkt

Definition

Beispiel

• Gegeben sind die Mengen $A=\{2{,}6\}$ und $B = \{4{,}5\}$ Das kartesische Produkt der beiden Mengen ist dann: $A \times B = \{ (2{,}4),(2{,}5),(6{,}4),(6{,}5)\}$

• Gegeben sind die Mengen $C=\{2{,}3,5\}$ und $D=\{4{,}7,9\}$ Das kartesische Produkt der beiden Mengen ist dann: $C \times D= \{(2{,}4),(3{,}4),(5{,}4),(2{,}7),(3{,}7),(5{,}7),(2{,}9),(3{,}9),(5{,}9)\}$

Eigenschaften

Zahl der Elemente

Sei $\left|\mathrm A\right|$ die Anzahl der Elemente in $A$ und $\left|\mathrm{B}\right|$ die Anzahl der Elemente in $B$, dann gilt:

$\left| A\times B\right|=\;\left| A\right|\cdot\left| B\right|$

Es gilt keine Kommutativität oder Assoziativität.

Leere Menge

Das kartesische Produkt einer Menge mit der leeren Menge ergibt wieder die leere Menge, da aus der leeren Menge kein Objekt ausgewählt werden kann, um dieses mit einem Element aus der Menge A zu kombinieren. Es gilt:

$A\times B = \emptyset \Leftrightarrow A= \emptyset \vee B = \emptyset$

Die Umkehrung gilt also genauso: Ist das kartesische Produkt die leere Menge, so muss mindestens eine der beiden Ausgangsmengen die leere Menge gewesen sein.

Relationen

Seien $M$ Mengen, so ist jede Teilmenge $R$ von $M\times M$ eine Relation.

• Eine Relation heißt Äquivalenzrelation, falls sie reflexiv, symmetrisch und transitiv ist.

• Eine Relation heißt Ordnungsrelation, falls sie reflexiv, antisymmetrisch und transitiv ist.

• Eine Relation heißt Funktion, falls zu $\mathrm{jedem} \;x\in M\; \mathrm{genau \; ein} \;y\in N$ gibt.