Kurs:Vorkurs Mathematik (Osnabrück 2009)/Vorlesung 2/latex

\setcounter{section}{2}






\zwischenueberschrift{Mengen}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Georg_Cantor.jpg} }
\end{center}
\bildtext {Georg Cantor (1845-1918) ist der Schöpfer der Mengentheorie.} }

\bildlizenz { Georg Cantor 1894.jpg } {unbekannt} {Geometry guy} {en wikipedia} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {David_Hilbert_1886.jpg } }
\end{center}
\bildtext {David Hilbert (1862-1943) nannte sie ein
\betonung{Paradies}{,} aus dem die Mathematiker nie mehr vertrieben werden dürfen.} }

\bildlizenz { David Hilbert 1886.jpg } {unbekannt (1886)} {Magnus Manske} {Commons} {PD} {}

Eine \stichwort {Menge} {} ist eine Ansammlung von wohlunterschiedenen Objekten, die die \stichwort {Elemente} {} der Menge heißen. Mit \anfuehrung{wohlunterschieden}{} meint man, dass es klar ist, welche Objekte als gleich und welche als verschieden angesehen werden. Die \stichwort {Zugehörigkeit} {} eines Elementes $x$ zu einer Menge $M$ wird durch
\mathdisp {x \in M} { }
ausgedrückt, die Nichtzugehörigkeit durch
\mathdisp {x \not\in M} { . }
Für jedes Element\zusatzklammer {symbol} {} {} gilt stets genau eine dieser zwei Möglichkeiten.

Für Mengen gilt das \stichwort {Extensionalitätsprinzip} {,} d.h. eine Menge ist durch die in ihr enthaltenen Elemente eindeutig bestimmt, darüber hinaus bietet sie keine Information. Insbesondere stimmen zwei Mengen überein, wenn beide die gleichen Elemente enthalten.

Die Menge, die kein Element besitzt, heißt
\definitionswortenp{leere Menge}{} und wird mit
\mathdisp {\emptyset} { }
bezeichnet.

Eine Menge $N$ heißt \stichwort {Teilmenge} {} einer Menge $M$, wenn jedes Element aus $N$ auch zu $M$ gehört. Man schreibt dafür
\mavergleichskette
{\vergleichskette
{ N }
{ \subseteq }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} \zusatzklammer {manche schreiben dafür
\mavergleichskettek
{\vergleichskettek
{ N }
{ \subseteq }{ M }
{ }{ }
{ }{ }
{ }{ }
} {}{}{}} {} {.} Man sagt dafür auch, dass eine \stichwort {Inklusion} {}
\mathl{N \subseteq M}{} vorliegt. Im Nachweis, dass
\mathl{N \subseteq M}{} ist, muss man zeigen, dass für ein beliebiges Element
\mathl{x \in N}{} ebenfalls die Beziehung
\mavergleichskette
{\vergleichskette
{ x }
{ \in }{ M }
{ }{}
{ }{}
{ }{}
} {}{}{} gilt\zusatzfussnote {In der Sprache der Quantorenlogik kann man eine Inklusion verstehen als die Aussage $\forall x(x \in N \rightarrow x \in M)$.} {} {.} Dabei darf man lediglich die Eigenschaft
\mathl{x \in N}{} verwenden.

Aufgrund des Extensionalitätsprinzips hat man das folgende wichtige \stichwort {Gleichheitsprinzip für Mengen} {,} dass
\mathdisp {M=N \text{ genau dann, wenn } N \subseteq M \text{ und } M \subseteq N} { }
gilt. In der mathematischen Praxis bedeutet dies, dass man die Gleichheit von zwei Mengen dadurch nachweist, dass man \zusatzklammer {in zwei voneinander unabhängigen Teilargumentationen} {} {} die beiden Inklusionen zeigt. Dies hat auch den kognitiven Vorteil, dass das Denken eine Zielrichtung bekommt, dass klar die Voraussetzung, die man verwenden darf, von der gewünschten Schlussfolgerung, die man aufzeigen muss, getrennt wird. Hier wiederholt sich das Prinzip, dass die Äquivalenz von zwei Aussagen die wechselseitige Implikation bedeutet, und durch den Beweis der beiden einzelnen Implikationen bewiesen wird.

\zwischenueberschrift{Beschreibungsmöglichkeiten für Mengen}

Es gibt mehrere Möglichkeiten, eine Menge anzugeben. Die einfachste ist wohl, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt.

Betrachte die beiden Auflistungen
\mathdisp {\{ \text{Paris}, \text{London}, \text{Osnabr}\ddot {\rm u}\text{ck} \}} { }
und
\mathdisp {\{ \text{Paris}, \text{London}, \text{Osnabr}\ddot {\rm u}\text{ck} , \text{die einwohnerreichste Stadt von Frankreich}, \text{die Hauptstadt von England}, \text{Londres}, \text{die Stadt in der wir leben} \}} { . }
Handelt es sich um die gleiche Menge? Ein mathematisches Beispiel von dieser Art ist
\mathdisp {\{0,1,2,3\}} { }
und
\mathdisp {\{0,0+1,1+1,1+(0+1), \text{der Nachfolger von } 1, 1 \cdot 2+1,3-1, \text{zwei}, 8-6\}} { . }
Es ist keine triviale Frage, ob es sich um die gleiche Menge handelt oder nicht. Die Beantwortung hängt davon ab, ob wir bei den zweiten Mengen die bezeichneten Objekte oder die bezeichnenden Symbole \zusatzklammer {also die Wörter, die Wortketten, die Beschreibungen} {} {} selbst meinen. \anfuehrung{Die einwohnerreichste Stadt von Frankreich}{} und \anfuehrung{Paris}{} sind unterschiedliche Bezeichnungen für die gleiche Stadt. Insofern kann man sagen, dass das Problem nicht auf der Ebene der Mengen besteht, sondern auf der Ebene der Elemente und ihren Bezeichnungen, ob man beispielsweise mit \anfuehrung{Paris}{} die zugehörige Stadt meint oder die zugehörige \anfuehrung{Buchstabenfolge}{.} Von der Menge \zusatzklammer {bzw. den \anfuehrung{umgebenden Elementen}{}} {} {} hängt es allerdings schon ab, welcher Kontext erzeugt wird, von dem aus dann auch die einzelnen Elementbezeichner interpretiert werden. In der Menge
\mathdisp {\{ \text{Paris}, \text{London}, \text{Osnabr}\ddot {\rm u}\text{ck} \}} { }
wird man das erste Element vermutlich spontan als die Stadt verstehen, in der Menge
\mathdisp {\{ \text{Paris}, \text{Parole} ,\text{Party} \}} { }
wohl eher als Buchstabenfolge. Im Zweifelsfall muss eben der Kontext deutlich gemacht werden. In der Mathematik handelt es sich dabei selten um ein echtes Problem, in aller Regel meint man bei einer Auflistung die durch die Symbole gemeinten mathematischen Zahlen und sonstigen Objekte. In der mathematischen Logik ist zwar eine Menge wie z.B. \anfuehrung{die Menge aller arithmetisch sinnvollen Ausdrücke}{} wichtig, in der Mathematik selbst aber nicht. Dort sind die Ausdrücke \zusatzklammer {\stichwort {Terme} {}} {} {} zumeist auf eine bestimmte \zusatzklammer {Zahl} {} {-}Menge bezogen und in diesen zu interpretieren. Im mathematischen Kontext gibt es eine Vielzahl von Möglichkeiten, um ein mathematisches Objekt \zusatzklammer {beispielsweise eine Zahl} {} {} auszudrücken. Wenn zwei unterschiedliche Ausdrücke oder Terme die gleiche Zahl beschreiben, so meint man, dass es sich um das gleiche Element der entsprechenden Zahlenmenge handelt. Der Nachweis, dass zwei verschiedene Terme die gleiche Zahl bezeichnen, kann durchaus schwierig sein. Dieser Nachweis wird \stichwort {rechnen} {} genannt, insbesondere dann, wenn die Gleichheit eines mehr oder weniger komplizierten Ausdrucks \zusatzklammer {wie z.B. $1\cdot 2 +1$} {} {} mit einem einfachen Repräsentaten \zusatzklammer {z.B. $3$} {} {} nachgewiesen wird.

Auflistungen mit Fortsetzung

Neben endlichen Auflistungen gibt es auch noch solche Auflistungen, bei denen nach einer endlichen Auflistung eine unendliche Weiterführung durch Punkte \zusatzklammer {$\ldots$} {} {} angedeutet wird. Damit ist gemeint, dass die ersten Elemente der Auflistung einen Bildungsprozess erkennen lassen, mit dem man alle weiteren Elemente bestimmen kann. Beispiele sind
\mathdisp {\{1,3,5,7,9, \ldots \},\, \{1,2,4,8,16, \ldots \},\, \{ 9,99,999,9999, 99999, \ldots \}} { }
und ähnliche. Dies ist grundsätzlich problematisch, da es für jede endliche Liste
\mathl{a_1,a_2 , \ldots , a_n}{} von $n$ Zahlen ein Polynom
\mathdisp {P(k)=c_0 +c_1k+c_2k^2+c_3k^3 + \cdots + c_d k^d} { }
vom Grad
\mathl{d \leq n}{} gibt mit
\mathdisp {P(1)=a_1, \, P(2)=a_2 , \ldots , P(n)=a_n} { . }
Es gibt also stets ein mehr oder weniger einfaches polynomiales Bildungsgesetz, das aber oben nur im linken Beispiel die vermutlich gemeinte Vorschrift ist.

Die wichtigste Menge, die man zumeist als eine fortgesetzte Auflistung einführt, ist die Menge der natürlichen Zahlen
\mathdisp {\N=\{ 0,1,2,3, \ldots \}} { . }
Hier wird eine bestimmte Zahlenmenge durch die Anfangsglieder von erlaubten Zifferfolgen angedeutet. Wir werden diese Menge erstmal so akzeptieren und später noch eine Axiomatik dafür angeben\zusatzfussnote {Und zwar werden wir später die natürlichen Zahlen mittels der Peano-Axiome axiomatisieren, bis dahin verwenden wir sie aber schon manchmal, vor allem in Beispielen, ebenso wie die Menge der ganzen Zahlen $\Z$, die Menge der rationalen Zahlen $\Q$ und die Menge der reellen Zahlen $\R$.} {} {.} Wichtig ist aber, dass mit $\N$ nicht eine Menge von bestimmten Ziffern gemeint ist, sondern die durch die Ziffern repräsentierten Zahlwerte. Eine natürliche Zahl hat viele Darstellungsarten, die Ziffernrepräsentation im Zehnersystem ist nur eine davon, wenn auch eine besonders übersichtliche.

Mengenbeschreibung durch Eigenschaften

Es sei eine Menge $M$ gegeben. In ihr gibt es gewisse Elemente, die gewisse Eigenschaften $E$ \zusatzklammer {Prädikate} {} {} erfüllen können oder aber nicht. Zu einer Eigenschaft $E$ gehört innerhalb von $M$ die Teilmenge bestehend aus allen Elementen aus $M$, die diese Eigenschaft erfüllen. Man beschreibt eine durch eine Eigenschaft definierte Teilmenge meist als
\mathdisp {{ \left\{ x \in M \mid E(x) \right\} } = { \left\{ x \in M \mid x \text{ besitzt die Eigenschaft } E \right\} }} { . }
Dies geht natürlich nur mit solchen Eigenschaften, für die die Aussage $E(x)$ eine wohldefinierte Bedeutung hat. Wenn man eine solche Teilmenge einführt, so gibt man ihr häufig sofort einen Namen \zusatzklammer {in dem auf die Eigenschaft $E$ Bezug genommen werden kann, aber nicht muss} {} {.} Z.B. kann man einführen
\mathdisp {G= { \left\{ x \in \N \mid x \text{ ist gerade} \right\} }} { , }

\mathdisp {U= { \left\{ x \in \N \mid x \text{ ist ungerade} \right\} }} { , }

\mathdisp {Q= { \left\{ x \in \N \mid x \text{ ist eine Quadratzahl} \right\} }} { , }

\mathdisp {\mathbb P= { \left\{ x \in \N \mid x \text{ ist eine Primzahl} \right\} }} { . }
Für die Mengen in der Mathematik sind meist eine Vielzahl an mathematischen Eigenschaften relevant und daher gibt es meist auch eine Vielzahl an relevanten Teilmengen. Aber auch bei alltäglichen Mengen, wie etwa die Menge $K$ der Studierenden in einem Kurs, gibt es viele wichtige Eigenschaften, die gewisse Teilmengen festlegen, wie etwa
\mathdisp {O = { \left\{ x \in K \mid x \text{ kommt aus Osnabr}\ddot {\rm u}\text{ck} \right\} }} { , }

\mathdisp {P = { \left\{ x \in K \mid x \text{ studiert im Nebenfach Physik} \right\} }} { , }

\mathdisp {D= { \left\{ x \in K \mid x \text{ hat im Dezember Geburtstag} \right\} }} { . }
Die Menge $K$ ist dabei selbst durch eine Eigenschaft festgelegt, es ist ja
\mathdisp {K={ \left\{ x \mid x \text{ ist Studierender in diesem Kurs} \right\} }} { . }

\zwischenueberschrift{Mengenoperationen}

So, wie man Aussagen zu neuen Aussagen verknüpfen kann, gibt es Operationen, mit denen aus Mengen neue Mengen entstehen.

\auflistungdrei{\stichwort {Vereinigung} {}
\mathdisp {A \cup B \defeq { \left\{ x \mid x \in A \text{ oder } x \in B \right\} }} { , }
}{\stichwort {Durchschnitt} {}
\mathdisp {A \cap B \defeq { \left\{ x \mid x \in A \text{ und } x \in B \right\} }} { , }
}{\stichwort {Differenzmenge} {}
\mathdisp {A \setminus B \defeq { \left\{ x \mid x \in A \text{ und } x \not\in B \right\} }} { . }
} Diese Operationen ergeben nur dann einen Sinn, wenn die beteiligten Mengen als Teilmengen in einer gemeinsamen Grundmenge gegeben sind. Dies sichert, dass man über die gleichen Elemente spricht. Häufig wird diese Grundmenge nicht explizit angegeben, dann muss man sie aus dem Kontext erschließen. Ein Spezialfall der Differenzmenge bei einer gegebenen Grundmenge ist das \stichwort {Komplement} {} einer Teilmenge
\mathl{A \subseteq G}{,} das durch
\mavergleichskettedisp
{\vergleichskette
{ \complement A }
{ \defeq} { G \setminus A }
{ =} { { \left\{ x \in G \mid x \not\in A \right\} } }
{ } { }
{ } { }
} {}{}{} definiert ist. Wenn zwei Mengen einen leeren Schnitt haben, also
\mathl{A \cap B= \emptyset}{} gilt, so nennen wir sie
\definitionswortenp{disjunkt}{.}

\zwischenueberschrift{Mengendiagramme}

Eine Möglichkeit, Mengen oder vielmehr die zwischen verschiedenen Mengen möglichen oder existierenden Verhältnisse zueinander abzubilden, liefern \stichwort {Mengendiagramme} {} \zusatzklammer {oder \stichwort {Venn-Diagramme} {}} {} {.} In ihnen werden Mengen durch gewisse Flächenstücke in der Ebene repräsentiert. Die Flächenstücke sollten eine möglichst einfache Form besitzen. Sie sind zumeist \anfuehrung{zusammenhängend}{} \zusatzklammer {d.h. je zwei Punkte des Stückes sind durch einen \anfuehrung{stetigen Weg}{} miteinander verbindbar} {} {.} Die Flächenstücke können sich überlappen, und der Überlappungsbereich repräsentiert die Schnittmenge. Idealerweise sind die auftretenden Überlappungsbereiche selbst wieder zusammenhängend. Die verschiedenen Flächenstücke werden häufig in unterschiedlichen Farben oder Schraffuren gezeichnet, wobei dann die Überlappungsbereiche durch die zugehörigen Farbmischungen bzw. Mischschraffuren wiedergegeben werden. Sie werden aber oft auch nur durch ihre Begrenzung wiedergegeben, wobei dann bei Überschneidungen der Grenzlinien das Problem auftritt, wie die Grenzlinien weiterlaufen. Hier gilt zumeist die \zusatzklammer {unausgesprochene} {} {} Konvention, dass die \anfuehrung{geraden}{} bzw. \anfuehrung{glatten}{} Kurven die Ränder der beteiligten Einzelmengen sind, während sich für die Schnittmengen \anfuehrung{eckige}{} Ränder ergeben können.

Einige Beispiele für abstrakte Mengendiagramme

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Absolute_complement.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Absolute complement.svg } {} {BMF81} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Set_intersection.png} }
\end{center}
\bildtext {} }

\bildlizenz { Set intersection.png } {} {Marcelo Reis} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Diagrama1.gif} }
\end{center}
\bildtext {} }

\bildlizenz { Diagrama1.gif } {} {Dante} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {4sets.png} }
\end{center}
\bildtext {} }

\bildlizenz { 4sets.png } {} {Stumps} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn_Diagram_ABCD.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Venn Diagram ABCD.svg } {} {Johannes Rössel} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Edwards-Venn-five.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Edwards-Venn-five.svg } {} {HB} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Edwards-Venn-six.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Edwards-Venn-six.svg } {} {Interiot} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn6.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Venn6.svg } {} {Kopophex} {en Wikipedia} {PD} {}

Diese Diagramme sind vollständig in dem Sinne, dass sie alle möglichen Schnitteigenschaften der beteiligten Mengen repräsentieren. In den folgenden Diagrammen wird nicht jede mögliche Schnitteigenschaft repräsentiert.

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Disyuncion_de_clases.JPG} }
\end{center}
\bildtext {} }

\bildlizenz { Disyunción de clases2.JPG } {} {Monimino} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Subset.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Subset.svg } {} {Petr K} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Venn_diagram_of_three_sets.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Venn diagram of three sets.svg } {} {Oleg Alexandrov} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {CirclesN4xa.GIF} }
\end{center}
\bildtext {} }

\bildlizenz { CirclesN4xa.GIF } {} {Thisisbossi} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {CirclesN4a.GIF} }
\end{center}
\bildtext {} }

\bildlizenz { CirclesN4a.GIF } {} {Thisisbossi} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Standardsemantik_klein.png} }
\end{center}
\bildtext {} }

\bildlizenz { Standardsemantik klein.png } {} {Dhanyavaada} {Commons} {CC-by-sa 3.0} {}

Einige Beispiele für konkrete Mengen-Diagramme

In diesem Fall repräsentieren die beteiligten Mengen einen bestimmten Begriff, das Schnittverhalten hängt dann von inhaltlichen Überlegungen ab. Solche Diagramme spielen in der Mathematik keine große Rolle. Wenn man allerdings z. B. verschiedene algebraische Begriffe wie Gruppe, Ring, kommutativer Ring, Divisionsbereich, Körper in ihrer Hierarchie veranschaulichen möchte, so ist ein solches Diagramm durchaus sinnvoll.

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Amino_Acids_Venn_Diagram_(de).svg} }
\end{center}
\bildtext {} }

\bildlizenz { Amino Acids Venn Diagram (de).svg } {} {Hoffmeier} {Commons} {CC-by-sa 3.0} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {British_Isles_Venn_Diagram en.svg} }
\end{center}
\bildtext {} }

\bildlizenz { British Isles Venn Diagram en.svg } {} {Sony-youth} {Commons} {PD} {}

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Geistiges_Eigentum_und_Wettbewerbsrecht.png } }
\end{center}
\bildtext {} }

\bildlizenz { Geistiges Eigentum und Wettbewerbsrecht.png } {} {3247} {Commons} {CC-by-sa 3.0} {}

\zwischenueberschrift{Konstruktion von Mengen}

Die meisten Mengen in der Mathematik ergeben sich ausgehend von einigen wenigen Mengen wie beispielsweise den endlichen Mengen und $\N$ \zusatzklammer {die man sicher auch ohne jede tiefere Rechtfertigung als Menge akzeptieren kann} {} {} durch bestimmte Konstruktionen von neuen Mengen aus schon bekannten oder schon zuvor konstruierten Mengen\zusatzfussnote {darunter fallen auch der Schnitt und die Vereinigung, doch bleiben diese innerhalb einer vorgegebenen Grundmenge, während es hier um Konstruktionen geht, die darüber hinaus gehen.} {} {.} Wir definieren\zusatzfussnote {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 \zusatzklammer {eine Bezeichnung} {} {} gegeben. Dieser Name wird
\betonung{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.} {} {}

\inputdefinition
{}
{

Es seien zwei Mengen \mathkor {} {L} {und} {M} {} gegeben. Dann nennt man die Menge
\mavergleichskettedisp
{\vergleichskette
{ L \times M }
{ =} { { \left\{ (x,y) \mid x \in L , \, y \in M \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} die \definitionswort {Produktmenge}{}\zusatzfussnote {Man spricht auch vom \stichwort {kartesischen Produkt} {} der beiden Mengen} {} {} der beiden Mengen.

}

Die Elemente der Produktmenge nennt man \stichwort {Paare} {} und schreibt
\mathl{(x,y)}{.} Dabei kommt es wesentlich auf die Reihenfolge an. Die Produktmenge besteht also aus allen Paarkombinationen, wo in der ersten \stichwort {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.

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 es in der ersten Menge $n$ Elemente und in der zweiten Menge $k$ Elemente gibt, so gibt es in der Produktmenge
\mathl{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.

\inputbeispiel{}
{

Es sei $V$ die Menge aller Vornamen \zusatzklammer {sagen wir der Vornamen, die in einer bestimmten Grundmenge an Personen wirklich vorkommen} {} {} und $N$ die Menge aller Nachnamen. Dann ist
\mathdisp {V \times N} { }
die Menge aller Namen. Elemente davon sind in Paarschreibweise beispielsweise
\mathl{(\text{Heinz},\text{Müller})}{,}
\mathl{(\text{Petra}, \text{Müller})}{} und
\mathl{(\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.

}

\inputbeispiel{}
{

\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Chess board blank.svg} }
\end{center}
\bildtext {} }

\bildlizenz { Chess board blank.svg } {} {Beao} {Commons} {CC-by-sa 3.0} {}

Ein Schachbrett \zusatzklammer {genauer: die Menge der Felder auf einem Schachbrett, auf denen eine Figur stehen kann} {} {} ist die Produktmenge
\mathdisp {\{a,b,c,d,e,f,g,h\} \times \{1,2,3,4,5,6,7,8\}} { . }
Jedes Feld ist ein Paar, beispielsweise
\mathl{(a,1), (d,4), (c,7)}{.} Da die beteiligten Mengen verschieden sind, kann man statt der Paarschreibweise einfach
\mathl{a1,d4,c7}{} schreiben. Diese Notation ist der Ausgangspunkt für die Beschreibung von Stellungen und von ganzen Partien.

}

\inputbeispiel{}
{

Bei zwei reellen Intervallen \mathkor {} {M=[a,b]} {und} {L=[c,d]} {} ist die Produktmenge einfach das Rechteck
\mathdisp {[a,b] \times [c,d]} { . }
Allerdings muss man bei einem Rechteck im Hinterkopf behalten, welche Seite das erste und welche Seite das zweite Intervall ist. Für
\mathl{\R \times \R}{} schreibt man häufig auch $\R^2$.

}

\inputbeispiel{}
{

Häufig werden Paare nicht in der Form
\mathl{(x,y)}{} geschrieben, sondern in einer anderen Form, die aber ebenfalls die Position im Paar, also die Zugehörigkeit zu einer der beteiligten Mengen, ausdrücken muss. Betrachten wir z.B. die Produktmenge
\mathdisp {\Z \times \N_+} { }
und schreiben die Paare als
\mathl{x/y}{} oder als
\mathdisp {\frac{x}{y}} { . }
Bei dieser Schreibweise soll der \anfuehrung{Zähler}{} \zusatzklammer {also das oberhalb des Striches} {} {} aus der ersten Menge $\Z$ sein und der \anfuehrung{Nenner}{} aus $\N_+$. Hier wird also ein Paar als ein \stichwort {formaler Bruch} {} geschrieben. Man beachte aber, dass auf dieser Ebene keine Identifizierung zwischen den beiden Paaren \mathkor {} {(3,2)} {und} {(6,4)} {} stattfindet, wie dies bei der inhaltlichen Interpretation als rationale Zahl geschieht. Es gibt aber eine \zusatzklammer {surjektive, nicht injektive} {} {} Abbildung \maabbeledisp {} {\Z \times \N_+} { \Q } {(x,y)} {\frac{x}{y} } {.}

}

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


\inputdefinition
{}
{

Zu einer Menge $M$ nennt man die Menge aller Teilmengen von $M$ die \definitionswort {Potenzmenge}{} von $M$. Sie wird mit
\mathdisp {\mathfrak {P} \, (M )} { }
bezeichnet.

}

Wenn eine Menge $n$ Elemente besitzt, so besitzt ihre Potenzmenge $2^n$ Elemente.