Kartesisches Produkt
In diesem Kapitel schauen wir uns an, was das kartesische Produkt ist.
Erforderliches Vorwissen
Einführungsbeispiel
Gegeben
$A$
ist die Menge aller meiner männlichen Freunde:$$ A = \{\text{David}, \text{Mark}, \text{Robert}\} $$
$B$
ist die Menge aller meiner weiblichen Freunde:$$ B = \{\text{Anna}, \text{Johanna}, \text{Laura}\} $$
Gesucht
Auf meiner Geburtstagsfeier soll jeder Junge mit jedem Mädchen einmal tanzen.
Ich interessiere mich für die Menge aller möglichen Tanzpaare.
Wie wir ein Tanzpaar in der Sprache der Mathematik aufschreiben
Jedes Tanzpaar können wir als Tupel schreiben, wobei dessen erste Komponente ein Element der Menge $A$
und dessen zweite Komponente ein Element der Menge $B$
ist. Ein Tupel, das aus zwei Komponenten besteht, heißt geordnetes Paar. Das Tanzpaar bestehend aus $\text{David}$
und $\text{Anna}$
schreiben wir auf Mathematisch folgendermaßen: $(\text{David}, \text{Anna})$
.
Lösung
$$ L = \left\{ \begin{align*} &(\text{David}, \text{Anna}), (\text{David}, \text{Johanna}), (\text{David}, \text{Laura}),\\ &(\text{Mark}, \text{Anna}), (\text{Mark}, \text{Johanna}), (\text{Mark}, \text{Laura}),\\ &(\text{Robert}, \text{Anna}), (\text{Robert}, \text{Johanna}), (\text{Robert}, \text{Laura}) \end{align*} \right\} $$
$L$
enthält alle möglichen Tanzpaare.
Mathematische Bezeichnung
Die Menge $L$
heißt kartesisches Produkt von $A$
und $B$
.
Außerdem sind die Bezeichnungen Produktmenge, Paarmenge und Kreuzprodukt geläufig.
Mathematische Schreibweise
$\definecolor{naranja}{RGB}{255,128,0} L = {\color{naranja}A \times B} $
(sprich: L gleich dem kartesischen Produkt von A und B
)
Abkürzend können wir $L = A \times B$
auch als L gleich A Kreuz B
sprechen.
Definition
Das kartesische Produkt $A \times B$
ist
die Menge aller geordneten Paare $(a,b)$
mit der ersten Komponente $a$
aus $A$
und der zweiten Komponente $b$
aus $B$
:
$$ A \times B = \{(a,b)~|~a \in A ~\wedge~ b \in B\} $$
Sprechweise
$$ \underbrace{\vphantom{\vert}A \times B}_\text{A Kreuz B}~~ \underbrace{\vphantom{\vert}=}_\text{ist}~~ \underbrace{\vphantom{\vert}\{}_\text{die Menge aller}~~ \underbrace{\vphantom{\vert}(a,b)}_\text{geordneten Paare}~~ \underbrace{\vphantom{\vert}|}_\text{für die gilt:}~~ $$
$$ \underbrace{\vphantom{\vert}a \in A}_\text{a ist Element von A}~~ \underbrace{\vphantom{\vert}\wedge}_\text{und}~~ \underbrace{\vphantom{\vert}b \in B}_\text{b ist Element von B}~~ \} $$
Bedeutung von $\wedge$
$\wedge$
ist das mathematische Symbol für das logische UND
. In der Logik ist eine Aussage, die mit $\wedge$
(und
) verknüpft ist, wahr, wenn beide der beteiligten Aussagen wahr sind.
Vereinfachte Schreibweise für gleiche Mengen
Statt $A \times A$
können wir abkürzend auch $A^2$
schreiben.
Populäre Beispiele
- Zweidimensionaler Raum:
$\mathbb{R} \times \mathbb{R} = \mathbb{R}^2$
(sprich:R zwei
) - Dreidimensionaler Raum:
$\mathbb{R} \times \mathbb{R} \times \mathbb{R} = \mathbb{R}^3$
(sprich:R drei
)
Zur Veranschaulichung des zweidimensionalen Raums $\mathbb{R}^2$
verwenden wir im Schulunterricht das kartesische Koordinatensystem. Jedes Objekt des zweidimensionalen Raums, d. h. jedes geordnete Paar $(x, y)$
mit $x \in \mathbb{R}$
und $y \in \mathbb{R}$
, kann dort als Punkt veranschaulicht werden.
Kartesisches Produkt bestimmen
Um Fehler zu vermeiden, empfiehlt sich ein systematisches Vorgehen:
Lösungsverfahren
$(a_1, b_1)$
$(a_1, b_2)$
$\;\;\vdots\;\;\;\;\vdots$
$(a_2, b_1)$
$(a_2, b_2)$
$\;\;\vdots\;\;\;\;\vdots$
Idee ist, zuerst alle geordneten Paare, die wir mit dem ersten Element der Menge $A$
bilden können, aufzuschreiben. Danach schreiten wir elementweise voran.
Gegeben
$A = \{1, 2, 3\}$
$B = \{3, 4\}$
;
Gesucht
Das kartesische Produkt $A \times B$
.
Lösung
Zunächst bilden wir alle geordneten Paare mithilfe des ersten Elements von $A$
:
$$ \begin{align*} A \times B &= \{{\color{red}1}, 2, 3\} \times \{{\color{green}3}, {\color{green}4}\} \\[5px] &= \{({\color{red}1}, {\color{green}3}), ({\color{red}1}, {\color{green}4}), \ldots\} \end{align*} $$
Danach bilden wir alle geordneten Paare mithilfe des zweiten Elements von $A$
:
$$ \begin{align*} A \times B &= \{1, {\color{red}2}, 3\} \times \{{\color{green}3}, {\color{green}4}\} \\[5px] &= \{(1, 3), (1, 4), ({\color{red}2}, {\color{green}3}), ({\color{red}2}, {\color{green}4}), \ldots\} \end{align*} $$
Zum Schluss bilden wir alle geordneten Paare mithilfe des letzten Elements von $A$
:
$$ \begin{align*} A \times B &= \{1, 2, {\color{red}3}\} \times \{{\color{green}3}, {\color{green}4}\} \\[5px] &= \{(1, 3), (1, 4), (2, 3), (2, 4), ({\color{red}3}, {\color{green}3}), ({\color{red}3}, {\color{green}4})\} \end{align*} $$
Damit sind wir am Ende!