# Produktmenge/Rechenoperationen/Geometrische Beispiele/Einführung/Textabschnitt

Wir wollen die Rechenoperationen auf den Zahlenmengen, insbesondere die Addition und die Multiplikation, mengentheoretisch erfassen. Bei der Addition (beispielsweise auf $\mathbb {N}$) wird zwei natürlichen Zahlen $a$ und $b$ eine weitere natürliche Zahl, nämlich $a+b$, zugeordnet. Die Menge der Paare nennt man Produktmenge und die Zuordnung führt zum Begriff der Abbildung.
Wir definieren.

## Definition

Es seien zwei Mengen $L$ und $M$ gegeben. Dann nennt man die Menge
    $L\times M={\left\{(x,y)\mid x\in L,\,y\in M\right\}}\,$
die Produktmenge der beiden Mengen.
Die Elemente der Produktmenge nennt man Paare und schreibt $(x,y)$. Dabei kommt es wesentlich auf die Reihenfolge an. Die Produktmenge besteht also aus allen Paarkombinationen, wo in der ersten Komponenten ein Element der ersten Menge und in der zweiten Komponenten ein Element der zweiten Menge steht. Zwei Paare sind genau dann gleich, wenn sie in beiden Komponenten gleich sind.
Wenn eine der beiden Mengen leer ist, so ist auch die Produktmenge leer. Wenn die beiden Mengen endlich sind, und es in der ersten Menge $n$ Elemente und in der zweiten Menge $k$ Elemente gibt, so gibt es in der Produktmenge $n\cdot k$ Elemente. Man kann auch für mehr als nur zwei Mengen die Produktmenge bilden.

## Beispiel

Es sei $V$ die Menge aller Vornamen (sagen wir der Vornamen, die in einer bestimmten Grundmenge an Personen wirklich vorkommen) und $N$ die Menge aller Nachnamen. Dann ist
    $V\times N$
die Menge aller Namen. Elemente davon sind in Paarschreibweise beispielsweise $({\text{Heinz}},{\text{Müller}})$, $({\text{Petra}},{\text{Müller}})$ und $({\text{Lucy}},{\text{Sonnenschein}})$. Aus einem Namen lässt sich einfach der Vorname und der Nachname herauslesen, indem man entweder auf die erste oder auf die zweite Komponente des Namens schaut. Auch wenn alle Vornamen und Nachnamen für sich genommen vorkommen, so muss natürlich nicht jeder daraus gebastelte mögliche Name wirklich vorkommen. Bei der Produktmenge werden eben alle Kombinationsmöglichkeiten aus den beiden beteiligten Mengen genommen.
Bei einer Produktmenge können natürlich auch beide Mengen gleich sein. Dann ist es verlockend, die Reihenfolge zu verwechseln, und also besonders wichtig, darauf zu achten, dies nicht zu tun.

## Beispiel

Ein Schachbrett (genauer: die Menge der Felder auf einem Schachbrett, auf denen eine Figur stehen kann) ist die Produktmenge
    $\{a,b,c,d,e,f,g,h\}\times \{1,2,3,4,5,6,7,8\}.$
Jedes Feld ist ein Paar, beispielsweise $(a,1),(d,4),(c,7)$. Da die beteiligten Mengen verschieden sind, kann man statt der Paarschreibweise einfach $a1,d4,c7$ schreiben. Diese Notation ist der Ausgangspunkt für die Beschreibung von Stellungen und von ganzen Partien.
Die Produktmenge $\mathbb {R} \times \mathbb {R}$ stellt man sich als eine Ebene vor, man schreibt dafür auch $\mathbb {R} ^{2}$. Die Produktmenge $\mathbb {Z} \times \mathbb {Z}$ kann man sich als eine Menge von Gitterpunkten vorstellen.

## Beispiel

Es sei $S$ ein Kreis, worunter wir die Kreislinie verstehen, und $I$ eine Strecke. Der Kreis ist eine Teilmenge einer Ebene $E$ und die Strecke ist eine Teilmenge einer Geraden $G$, sodass für die Produktmenge die Beziehung
    $S\times I\subseteq E\times G\,$
gilt. Die Produktmenge $E\times G$ stellt man sich als einen dreidimensionalen Raum vor, und darin ist die Produktmenge $S\times I$ ein Zylindermantel.
* ↑ Definitionen werden in der Mathematik zumeist als solche deutlich herausgestellt und bekommen eine Nummer, damit man auf sie einfach Bezug nehmen kann. Es wird eine Situation beschrieben, bei der die verwendeten Begriffe schon zuvor definiert worden sein mussten, und in dieser Situation wird einem neuen Konzept ein Name (eine Bezeichnung) gegeben. Dieser Name wird kursiv gesetzt. Man beachte, dass das Konzept auch ohne den neuen Namen formulierbar ist, der neue Name ist nur eine Abkürzung für das Konzept. Sehr häufig hängen die Begriffe von Eingaben ab, wie den beiden Mengen in dieser Definition. Bei der Namensgebung herrscht eine gewisse Willkür, sodass die Bedeutung der Bezeichnung im mathematischen Kontext sich allein aus der expliziten Definition, aber nicht aus der alltäglichen Wortbedeutung erschließen lässt.