Mengen/Konstruktionen/Textabschnitt

Die meisten Mengen in der Mathematik ergeben sich ausgehend von einigen wenigen Mengen wie beispielsweise den endlichen Mengen und ${}\mathbb {N}$ durch bestimmte Konstruktionen von neuen Mengen aus schon bekannten oder schon zuvor konstruierten Mengen. 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 Komponente ein Element der ersten Menge und in der zweiten Komponente ein Element der zweiten Menge steht. Zwei Paare sind genau dann gleich, wenn sie in beiden Komponenten gleich sind.

Bei einer Produktmenge können natürlich auch beide Mengen gleich sein, beispielsweise ist ${}\mathbb {R} \times \mathbb {R}$ die reelle Ebene. In diesem Fall ist es verlockend, die Reihenfolge zu verwechseln, und also besonders wichtig, darauf zu achten, dies nicht zu tun. Wenn 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. Wenn eine der beiden Mengen leer ist, so ist auch die Produktmenge leer. Man kann auch für mehr als nur zwei Mengen die Produktmenge bilden, worauf wir bald zurückkommen werden.

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.

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.

Wenn zwei geometrische Punktmengen ${}A$ und ${}B$ gegeben sind, beispielsweise als Teilmengen einer Ebene ${}E$, so kann man die Produktmenge ${}A\times B$ als Teilmenge von ${}E\times E$ auffassen. Dadurch entsteht ein neues geometrisches Gebilde, das man manchmal auch in einer kleineren Dimension realisieren kann.

Beispiel

Ein Zylindermantel ist die Produktmenge aus einem Kreis und einer Strecke

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$, so dass 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.

Eine andere wichtige Konstruktion, um aus einer Menge eine neue Menge zu erhalten, ist die Potenzmenge.

Definition

Zu einer Menge ${}M$ nennt man die Menge aller Teilmengen von ${}M$ die Potenzmenge von ${}M$. Sie wird mit

${\mathfrak {P}}\,(M)$

bezeichnet.

Es ist also

${}{\mathfrak {P}}\,(M)={\left\{T\mid T{\text{ ist Teilmenge von }}M\right\}}\,.$

Wenn ${}M$ die Menge der Kursteilnehmer ist, so kann man sich jede Teilmenge als eine kursinterne Party vorstellen, zu der eine gewisse Auswahl an Leuten hingeht (es werden also die Parties mit den anwesenden Leuten identifiziert). Die Potenzmenge ist dann die Menge aller möglichen Parties. Wenn eine Menge ${}n$ Elemente besitzt, so besitzt ihre Potenzmenge ${}2^{n}$ Elemente.

Fußnoten