Kartesisches Produkt
Das kartesische Produkt ist eine grundlegende Konstruktion in der Mengenlehre, um aus gegebenen Mengen eine neue Menge zu erstellen. Das kartesische Produkt zweier Mengen ist die Menge aller geordneten Paare, deren erster Eintrag aus der ersten Menge und deren zweiter Eintrag aus der zweiten Menge stammt.
Allgemein handelt es sich beim kartesischen Produkt mehrere Mengen um die Menge aller Tupel von Elementen der Mengen, wobei die Reihenfolge der Mengen und somit der entsprechenden Elemente fest vorgegeben ist.
Definition
Gegeben seien zwei Mengen $A$ und $B$. Das kartesische Produkt $A \times B$ ist die Menge aller geordneten Paare $(a,b)$, bei denen $a$ ein Element der Menge $A$ und $b$ ein Element der Menge $B$ ist:
Es ist insbesondere auch möglich, das kartesische Produkt einer Menge mit sich selbst zu bilden:
Das kartesische Produkt von Mengen $A_1,\ldots,A_n$ ist die Menge aller $n$-Tupel $(a_1,\ldots,a_n)$, bei denen die Elemente $a_i$ aus der jeweiligen Menge $A_i$ stammen:
Beispiele
Beispiel 1
Gegeben seien die beiden Mengen $A = \bigl\{ 1,2,3 \bigr\}$ und $B = \bigl\{ a,b \bigr\}$. Für das kartesische Produkt $A \times B$ ergibt sich:
Beispiel 2
Gegeben sei die Menge $A = \bigl\{ 1,2,3 \bigr\}$. Für das kartesische Produkt $A^2 = A \times A$ ergibt sich:
Beispiel 3
Die reelle Zahlenebene entsteht aus dem kartesischen Produkt der reellen Zahlen $\R$ mit sich selbst:
Beispiel 4
Gegeben seien die Mengen $A = \bigl\{1,2\bigr\}$, $B = \bigl\{ a,b \bigr\}$ und $C = \bigl\{ \star,\diamond \bigr\}$. Für das kartesische Produkt $A \times B \times C$ ergibt sich:
Eigenschaften
Mächtigkeit
Handelt es sich bei den Mengen $A$ und $B$ um endliche Mengen, dann ist das kartesische Produkt $A \times B$ eine endliche Menge geordneter Paare. Die Mächtigkeit $|A \times B|$ des kartesischen Produkts entspricht hierbei dem Produkt der Mächtigkeiten der Mengen $A$ und $B$:
Die Anzahl der Elemente des kartesischen Produkts von endlichen Mengen $A_1,\ldots,A_n$ ergibt sich analog als Produkt der Anzahlen der Elemente der einzelnen Mengen:
Leere Menge
Aus der leeren Menge kann kein Element ausgewählt werden. Folglich ergibt das kartesische Produkt der leeren Menge mit einer beliebigen Menge $A$ stets die leere Menge:
Handelt es sich beim kartesischen Produkt zweier Mengen $A$ und $B$ um die leere Menge, so ist mindestens eine dieser Mengen selbst die leere Menge:
Assoziativität
Das kartesische Produkt $\times$ von nichtleeren Mengen $A$, $B$ und $C$ ist im Allgemeinen nicht assoziativ:
Die Menge auf der linken Seite besteht aus Paaren, deren erster Eintrag ein Paar der Menge $A \times B$ und deren zweiter Eintrag ein Element der Menge $C$ ist. Die Menge auf der rechten Seite besteht aus Paaren, deren erster Eintrag ein Element der Menge $A$ und deren zweiter Eintrag ein Paar der Menge $B \times C$ ist.
Kommutativität
Das kartesische Produkt $\times$ von nichtleeren Mengen $A$ und $B$ ist im Allgemeinen nicht kommutativ:
Die Menge $A \times B$ auf der linken Seite enthält Paare, deren erstes Element aus der Menge $A$ und deren zweites Element aus der Menge $B$ stammt, während die Menge $B \times A$ auf der rechten Seite Paare enthält, deren erstes Element aus der Menge $B$ und deren zweites Element aus der Menge $A$ stammt.
Distributivität
Für das kartesische Produkt $\times$ gelten die folgenden Distributivgesetze bezüglich der Vereinigung $\cup$, des Schnitts $\cap$, der Differenz $\setminus$ und der symmetrischen Differenz $\triangle$ von Mengen $A$, $B$ und $C$: