Produktmenge/Natürliche Zahlen/Elementare Einführung/Textabschnitt


Definition  

Es seien zwei Mengen und gegeben. Dann nennt man die Menge

die Produktmenge der beiden Mengen.

Die Elemente der Produktmenge nennt man Paare und schreibt . 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. Dann ist es verlockend, die Reihenfolge zu verwechseln, und also besonders wichtig, darauf zu achten, dies nicht zu tun. Wenn eine der beiden Mengen leer ist, so ist auch die Produktmenge leer.


Beispiel  

Es sei die Menge aller Vornamen (sagen wir der Vornamen, die in einer bestimmten Grundmenge an Personen wirklich vorkommen) und die Menge aller Nachnamen. Dann ist

die Menge aller Namen. Elemente davon sind in Paarschreibweise beispielsweise , und . 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

Jedes Feld ist ein Paar, beispielsweise . Da die beteiligten Mengen verschieden sind, kann man statt der Paarschreibweise einfach schreiben. Diese Notation ist der Ausgangspunkt für die Beschreibung von Stellungen und von ganzen Partien.



Beispiel  

Bei zwei reellen Intervallen und ist die Produktmenge einfach das Rechteck

Allerdings muss man bei einem Rechteck im Hinterkopf behalten, welche Seite das erste und welche Seite das zweite Intervall ist. Für schreibt man häufig auch .


Man kann auch mehrfache Produktmengen bilden, wie etwa .

Für eine Abbildung

ist der Graph diejenige Teilmenge von , die durch alle Paare der Form gegeben sind. Diese Definition überträgt sich auf beliebige Abbildungen. Es existiert also stets ein Graph unabhängig von seiner zeichnerischen Realisierbarkeit. Diese hängt davon ab, ob man die Produktmenge aus Definitionsmenge und Wertemenge gut visualisieren kann.


Definition  

Es seien und Mengen und es sei

eine Abbildung. Dann nennt man

den Graphen der Abbildung .