Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil I/Vorlesung 1/latex
\setcounter{section}{1}
\epigraph { Wenn der Wind der Veränderung weht, bauen die einen Mauern und die anderen Windmühlen } { Chinesische Weisheit }
\zwischenueberschrift{Mengen}
Die Mathematik im wissenschaftlichen Sinne wird in der Sprache der Mengen formuliert.
\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 } {} {Taxiarchos228} {Commons} {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)} {} {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
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \in} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ausgedrückt, die Nichtzugehörigkeit durch
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \notin} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Für jedes Element(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
\mavergleichskettedisp
{\vergleichskette
{N
}
{ \subseteq} {M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {manche schreiben dafür
\mavergleichskettek
{\vergleichskettek
{N
}
{ \subset }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Man sagt dafür auch, dass eine \stichwort {Inklusion} {}
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorliegt. Im Nachweis, dass
\mavergleichskette
{\vergleichskette
{N
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, muss man zeigen, dass für ein beliebiges Element
\mavergleichskette
{\vergleichskette
{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
\mavergleichskette
{\vergleichskette
{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 spiegelt sich das aussagenlogische Prinzip wieder, 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, die zu der Menge gehörenden Elemente aufzulisten, wobei es auf die Reihenfolge der Elemente nicht ankommt. Bei endlichen Mengen ist dies unproblematisch, bei unendlichen Mengen muss man ein \anfuehrung{Bildungsgesetz}{} für die Elemente angeben.
Die wichtigste Menge, die man zumeist als eine fortgesetzte Auflistung einführt, ist die Menge der natürlichen Zahlen
\mavergleichskettedisp
{\vergleichskette
{ \N
}
{ =} { \{ 0,1,2,3, \ldots \}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Hier wird eine bestimmte Zahlenmenge durch die Anfangsglieder von erlaubten Zifferfolgen angedeutet. Wichtig ist, 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.
Wir besprechen 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
\mavergleichskettedisp
{\vergleichskette
{ { \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
\mathl{E(x)}{} eine wohldefinierte Bedeutung hat. Dieser Konstruktion entspricht in der Alltagssprache eine Formulierung mit einem Relativsatz, im Sinne von diejenigen Objekte, auf die die Eigenschaft $E$ zutrifft. 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
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { { \left\{ x \in \N \mid x \text{ ist gerade} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{U
}
{ =} { { \left\{ x \in \N \mid x \text{ ist ungerade} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{Q
}
{ =} { { \left\{ x \in \N \mid x \text{ ist eine Quadratzahl} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\mavergleichskettedisp
{\vergleichskette
{ { \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
\mavergleichskettedisp
{\vergleichskette
{ O
}
{ =} { { \left\{ x \in K \mid x \text{ kommt aus Osnabr}\ddot {\rm u}\text{ck} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ P
}
{ =} { { \left\{ x \in K \mid x \text{ studiert im Nebenfach Physik} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ 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
\mavergleichskettedisp
{\vergleichskette
{ K
}
{ =} { { \left\{ x \mid x \text{ ist Studierender in diesem Kurs} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Das folgende Beispiel einer Menge ist typisch für Mengen, die im Rahmen dieses Kurses vorkommen.
\inputbeispiel{}
{
Wir betrachten die Menge
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 5x-y+3z = 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es handelt sich also um diejenige Teilmenge des $\R^3$, die alle Punkte mit den Koordinaten
\mathl{\begin{pmatrix} x \\y\\ z \end{pmatrix}}{} enthält, die die Bedingung
\mavergleichskettedisp
{\vergleichskette
{ 5x-y+3z
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
erfüllen. Da diese Bedingung für jeden Punkt
\mathl{\begin{pmatrix} x \\y\\ z \end{pmatrix}}{} eine klare Bedeutung besitzt, also wahr oder falsch sein kann, handelt es sich um eine wohldefinierte Teilmenge. Beispielsweise gehören die Punkte
\mathkor {} {\begin{pmatrix} 0 \\0\\ 0 \end{pmatrix}} {und} {\begin{pmatrix} 2 \\-3\\ - { \frac{ 13 }{ 3 } } \end{pmatrix}} {}
dazu, der Punkt
\mathl{\begin{pmatrix} 2 \\4\\ 0 \end{pmatrix}}{} dagegen nicht. Wenn man für einen Punkt
\mathl{\begin{pmatrix} x \\y\\ z \end{pmatrix}}{} testen soll, ob er zu $E$ gehört, so überprüft man einfach die Bedingung. In dieser Hinsicht ist also die gegebene Beschreibung von $E$ sehr gut. Wenn man aber beispielsweise eine gute Übersicht über $E$ als Ganzes bekommen möchte, so ist die Beschreibung direkt nicht sehr aussagekräftig. Wir behaupten, dass $E$ mit der Menge
\mavergleichskettedisp
{\vergleichskette
{E'
}
{ =} { { \left\{ r \begin{pmatrix} 3 \\0\\ -5 \end{pmatrix} + s \begin{pmatrix} 0 \\3\\ 1 \end{pmatrix} \mid r,s \in \R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
übereinstimmt. In dieser zweiten Beschreibung wird die Menge als die Menge aller Elemente beschrieben, die auf eine gewisse Art gebaut werden können, nämlich als
\betonung{Linearkombination}{} von den zwei Punkten
\mathkor {} {\begin{pmatrix} 3 \\0\\ -5 \end{pmatrix}} {und} {\begin{pmatrix} 0 \\3\\ 1 \end{pmatrix}} {}
mit beliebigen reellen Koeffizienten. Der Vorteil dieser Beschreibung ist, dass man sofort einen Überblick über alle Elemente hat und beispielsweise sieht, dass es unendlich viele Elemente darin gibt. Dagegen ist es bei dieser Beschreibung schwieriger zu entscheiden, ob ein gegebener Punkt dazu gehört oder nicht.
Zum Nachweise, dass die beiden Mengen übereinstimmen, müssen wir
\mathkor {} {E \subseteq E'} {und} {E' \subseteq E} {}
zeigen. Es sei hierzu
\mathl{P= \begin{pmatrix} x \\y\\ z \end{pmatrix} \in E}{.} Dann ist
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} x \\y\\ z \end{pmatrix}
}
{ =} { { \frac{ x }{ 3 } } \begin{pmatrix} 3 \\0\\ -5 \end{pmatrix} + { \frac{ y }{ 3 } } \begin{pmatrix} 0 \\3\\ 1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die Gleichheit in den ersten beiden Komponenten unmittelbar erfüllt ist und die Gleichheit in der dritten Komponenten eine Umformung der Ausgangsgleichung
\mavergleichskettedisp
{\vergleichskette
{ 5x-y+3z
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ist. Mit
\mavergleichskette
{\vergleichskette
{r
}
{ = }{ { \frac{ x }{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{s
}
{ = }{ { \frac{ y }{ 3 } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sieht man, dass
\mathl{P \in E'}{} ist. Es sei umgekehrt
\mathl{P= \begin{pmatrix} x \\y\\ z \end{pmatrix} \in E'}{,} d.h. es gibt eine Darstellung
\mavergleichskettedisp
{\vergleichskette
{P
}
{ =} { \begin{pmatrix} x \\y\\ z \end{pmatrix}
}
{ =} { r \begin{pmatrix} 3 \\0\\ -5 \end{pmatrix} + s \begin{pmatrix} 0 \\3\\ 1 \end{pmatrix}
}
{ =} { \begin{pmatrix} 3r \\3s \\ -5r +s \end{pmatrix}
}
{ } {
}
}
{}{}{}
mit gewissen reellen Zahlen
\mathl{r,s \in \R}{.} Um zu zeigen, dass dieser Punkt zu $E$ gehört, müssen wir zeigen, dass er die $E$ definierende Bedingung erfüllt. Dies ist wegen
\mavergleichskettedisp
{\vergleichskette
{ 5 x-y+3z
}
{ =} { 5(3r) -3s +3 (-5r+s)
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{}
der Fall.
}
\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}{.} Die Vereinigung von zwei disjunkten Mengen schreibt man auch als
\mathl{A \uplus B}{.}
\inputbeispiel{}
{
Wir betrachten die beiden Mengen
\mavergleichskettedisp
{\vergleichskette
{E
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 5x-y+3z = 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {aus
Beispiel 1.1} {} {}
und
\mavergleichskettedisp
{\vergleichskette
{F
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 4x +2y-7 z = 0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und interessieren uns für den Durchschnitt
\mavergleichskettedisp
{\vergleichskette
{G
}
{ \defeq} {E \cap F
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 5x-y+3z = 0 \text{ und } 4x +2y-7 z = 0 \right\} }
}
{ } {
}
{ } {
}
}
{}{}{.}
Ein Punkt liegt genau dann im Durchschnitt, wenn er simultan beide Bedingungen, also beide Gleichungen
\zusatzklammer {nennen wir sie
\mathkor {} {I} {und} {II} {}} {} {,}
erfüllt. Gibt es eine \anfuehrung{einfachere}{} Beschreibung dieser Durchschnittsmenge? Ein Punkt, der die beiden Gleichungen erfüllt, erfüllt auch die Gleichung, die entsteht, wenn man die beiden Gleichungen miteinander addiert oder die Gleichungen mit reellen Zahlen multipliziert. Eine solche
\betonung{Linearkombination}{} der Gleichungen ist beispielsweise
\mavergleichskettedisp
{\vergleichskette
{ 4 I -5 II
}
{ =} { -14 y + 47 z
}
{ =} { 0
}
{ } {
}
{ } {
}
}
{}{}{.}
Daher ist
\mavergleichskettealignhandlinks
{\vergleichskettealignhandlinks
{G
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 5x-y+3z = 0 \text{ und } 4x +2y-7 z = 0 \right\} }
}
{ =} { { \left\{ \begin{pmatrix} x \\y\\ z \end{pmatrix} \in \R^3 \mid 5x-y+3z = 0 \text{ und } -14 y + 47 z = 0 \right\} }
}
{ } {
}
{ } {
}
}
{}
{}{,}
da man aus der neuen zweiten Gleichung die alte zweite Gleichung zurückkonstruieren kann und daher die Bedingungen links und rechts insgesamt äquivalent sind. Der Vorteil der zweiten Beschreibung ist, dass man die Variable $x$ in der neuen zweiten Gleichung
\betonung{eliminiert}{} hat. Daher kann man nach $y$ auflösen und erhält
\mavergleichskettedisp
{\vergleichskette
{y
}
{ =} { { \frac{ 47 }{ 14 } } z
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und für $x$ muss dann
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { { \frac{ 1 }{ 5 } } y - { \frac{ 3 }{ 5 } } z
}
{ =} { { \frac{ 1 }{ 5 } } \cdot { \frac{ 47 }{ 14 } } z - { \frac{ 3 }{ 5 } } z
}
{ =} { { \frac{ 47 }{ 70 } } z - { \frac{ 42 }{ 70 } } z
}
{ =} { { \frac{ 1 }{ 14 } } z
}
}
{}{}{}
sein. Auch diese zwei aufgelösten Gleichungen sind zusammen äquivalent zu den beiden ersten und somit ist
\mavergleichskettedisp
{\vergleichskette
{G
}
{ =} { { \left\{ \begin{pmatrix} { \frac{ 1 }{ 14 } } z \\ { \frac{ 47 }{ 14 } } z\\ z \end{pmatrix} \mid z \in \R \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Beschreibung liefert einen expliziteren Überblick über die Menge $G$.
}
\zwischenueberschrift{Konstruktion von Mengen}
Die meisten Mengen in der Mathematik ergeben sich ausgehend von einigen wenigen Mengen wie beispielsweise den endlichen Mengen und $\N$ 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, so dass 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 {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 $\R \times \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\zusatzfussnote {Dass es in einer Menge $n$ Elemente gibt, bedeutet, dass man die Elemente der Menge mit den natürlichen Zahlen von $1$ bis $n$ durchnummerieren kann. Anders formuliert, dass es eine bijektive Abbildung zwischen der Menge
\mathl{\{1 , \ldots , n\}}{} und der gegebenen Menge gibt} {.} {}
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.
}
Wenn zwei geometrische Punktmengen
\mathkor {} {A} {und} {B} {}
gegeben sind, beispielsweise als Teilmengen einer Ebene $E$, so kann man die Produktmenge
\mathl{A\times B}{} als Teilmenge von
\mathl{E \times E}{} auffassen. Dadurch entsteht ein neues geometrisches Gebilde, das man manchmal auch in einer kleineren Dimension realisieren kann.
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Geometri_cylinder.png} }
\end{center}
\bildtext {Ein Zylindermantel ist die Produktmenge aus einem Kreis und einer Strecke} }
\bildlizenz { Geometri cylinder.png } {} {Anp} {sv Wikipedia} {PD} {}
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
\mavergleichskettedisp
{\vergleichskette
{ S \times I
}
{ \subseteq} { E \times G
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt. Die Produktmenge
\mathl{E \times G}{} stellt man sich als einen dreidimensionalen Raum vor, und darin ist die Produktmenge
\mathl{S \times I}{} ein Zylindermantel.
}
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.
}
Es ist also
\mavergleichskettedisp
{\vergleichskette
{ \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
\zusatzklammer {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.
\zwischenueberschrift{Tupel, Vektoren, Matrizen}
Wichtige Produktmengen sind beispielsweise
\mavergleichskette
{\vergleichskette
{\R^2
}
{ = }{ \R \times \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{\R^3
}
{ = }{ \R \times \R \times \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Bei den Elementen darin kommt es wesentlich auf die Reihenfolge an. Generell schreibt man zu einer Menge $M$ und einem
\mathl{n \in \N}{} die $n$-fache Produktmenge von $M$ mit sich selbst als
\mavergleichskettedisp
{\vergleichskette
{ M^n
}
{ =} { \underbrace{M \times \cdots \times M}_{n\text{-mal} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Elemente darin haben die Gestalt
\mathdisp {(x_1,x_2 , \ldots , x_n)} { , }
wobei alle $x_i$ aus $M$ sind. Eine solche geordnete endliche Folge von $n$ Elementen nennt man auch ein $n$-\stichwort {Tupel} {} über $M$.
Bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
spricht man von einem \stichwort {Paar} {,} bei
\mavergleichskette
{\vergleichskette
{n
}
{ = }{3
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von einem \stichwort {Tripel} {.} Zu
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} {(x_1,x_2 , \ldots , x_n)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man
\mathl{x_i}{} die $i$-te Komponente oder den $i$-ten Eintrag des Tupel. Das tiefgestellte $i$ heißt in diesem Zusammenhang der \stichwort {Index} {} des Tupels und
\mathl{\{ 1,2 , \ldots , n\}}{} die \stichwort {Indexmenge} {} des Tupels.
Generell gibt es auch zu komplizierteren Indexmengen $I$ sogenannte $I$-\stichwort {Tupel} {.} Bei einem $I$-Tupel wird jedem
\mathl{i \in I}{} ein mathematisches Objekt zugeordnet, das Tupel wird als
\mathbed {x_i} {}
{i \in I} {}
{} {} {} {,}
geschrieben. Wenn sämtliche $x_i$ aus einer gemeinsamen Menge $M$ stammen, spricht man auch von einem $I$-Tupel aus $M$. Bei
\mathl{I=\N}{} spricht man von \stichwort {Folgen} {} in $M$.
Eine endliche Indexmenge kann man stets durch eine Menge der Form
\mathl{\{1 , \ldots , n\}}{} ersetzen
\zusatzklammer {diesen Vorgang kann man eine Nummerierung der Indexmenge nennen} {} {,}
doch ist das nicht immer sinnvoll. Wenn man z.B. mit einer Indexmenge
\mathl{I= \{1 , \ldots , n\}}{} startet und sich dann für gewisse Teilindexmengen
\mathl{J \subseteq I}{} interessiert, so ist es natürlich, die von $I$ ererbten Bezeichnungen beizubehalten, anstatt $J$ mit einer neuen Nummerierung
\mathl{\{1 , \ldots , m\}}{} zu versehen. Häufig gibt es für ein bestimmtes Problem \anfuehrung{natürliche}{} Indexmengen, die
\zusatzklammer {allein schon mnemotechnisch} {} {}
einen Teil des strukturellen Gehalts des Problems widerspiegeln.
Spezieller nennt man ein $n$-Tupel über einer Menge $M$ der Form
\mathdisp {\left( a_1 , \, \ldots , \, a_n \right)} { }
ein \stichwort {Zeilentupel} {}
\zusatzklammer {der Länge $n$} {} {}
und eines der Form
\mathdisp {\begin{pmatrix} a_1 \\\vdots\\ a_n \end{pmatrix}} { }
ein \stichwort {Spaltentupel} {.} Im Allgemeinen sind das nur zwei unterschiedliche Darstellungsweisen; wenn die Tupel aber zusätzliche Strukturen repräsentieren
\zusatzklammer {beispielsweise Vektoren, auf die eine Matrix (s.u.) angewendet werden soll} {} {,}
so ist der Unterschied bedeutsam.
Wenn
\mathkor {} {I} {und} {J} {}
zwei Mengen sind und
\mathl{I \times J}{} ihre Produktmenge, so kann man ein
\mathl{I \times J}{-}Tupel in $M$ als eine \anfuehrung{Tabelle}{} auffassen, bei der jedem Paar
\mathl{(i,j)}{} ein Element
\mathl{a_{ij} \in M}{} zugeordnet wird. Insbesondere bei
\mathkor {} {I = \{1 , \ldots , m \}} {und} {J = \{1 , \ldots , n \}} {}
nennt man ein
\mathl{I \times J}{-}Tupel auch eine \stichwort {Matrix} {} und schreibt sie als
\mathdisp {\begin{pmatrix} a_{11} & a_{12} & \ldots & a_{1n} \\ a_{21} & a_{22} & \ldots & a_{2n} \\ \vdots & \vdots & \ddots & \vdots \\ a_{m1} & a_{m2} & \ldots & a_{mn} \end{pmatrix}} { . }
Das Zeilentupel
\mathdisp {\left( a_{i1} , \, a_{i2} , \, \ldots , \, a_{in} \right)} { }
heißt dann die $i$-te \stichwort {Zeile der Matrix} {} und entsprechend
\mathdisp {\begin{pmatrix} a_{1j} \\a_{2j}\\ \vdots\\a_{mj} \end{pmatrix}} { }
die $j$-te \stichwort {Spalte der Matrix} {.}
\zwischenueberschrift{Mengenfamilien}
Es können nicht nur Elemente, sondern auch Mengen durch eine Indexmenge indiziert werden. Dann spricht man von einer Mengenfamilie.
\inputdefinition
{}
{
Es sei $I$ eine Menge und zu jedem
\mathl{i \in I}{} sei eine Menge $M_i$ gegeben. Eine solche Situation nennt man eine \definitionswort {Familie von Mengen}{}
\mathbeddisp {M_i} {,}
{i \in I} {}
{} {} {} {.} Die Menge $I$ heißt dabei die \definitionswort {Indexmenge}{} der Mengenfamilie.
}
Dabei können die Mengen völlig unabhängig voneinander sein, es kann aber auch sein, dass sie alle Teilmengen einer bestimmten Grundmenge sind.
\inputdefinition
{}
{
Es sei
\mathbed {M_i} {}
{i \in I} {}
{} {} {} {,}
eine
\definitionsverweis {Familie von Teilmengen}{}{}
einer Grundmenge $G$. Dann heißt
\mavergleichskettedisp
{\vergleichskette
{ \bigcap_{i \in I} M_i
}
{ =} { { \left\{ x \in G \mid x \in M_i \text{ für alle } i \in I \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \definitionswort {Durchschnitt der Mengen}{} und
\mavergleichskettedisp
{\vergleichskette
{ \bigcup_{i \in I} M_i
}
{ =} { { \left\{ x \in G \mid \text{es gibt ein } i \in I \text{ mit } x \in M_i \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Vereinigung der Mengen}{.}
}
Man beachte, dass dabei der Durchschnitt und die Vereinigung auf den All- bzw. den Existenzquantor zurückgeführt wird.
\inputdefinition
{}
{
Es sei $I$ eine Menge und zu jedem
\mathl{i \in I}{} sei eine Menge $M_i$ gegeben. Dann nennt man die Menge
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \prod_{i \in I} M_i
}
{ =} { \{ (x_i)_{ i \in I} :\, x_i \in M_i \text{ für alle } i \in I \}
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {Produktmenge}{} der $M_i$.
}
Sobald eine der beteiligten Mengen $M_i$ leer ist, ist auch das Produkt leer, da es dann für die $i$-te Komponente keinen möglichen Wert gibt. Wenn aber umgekehrt alle Mengen $M_i$ nicht leer sind, so ist auch ihr Produkt nicht leer, da man für jeden Index $i$ dann ein Element
\mathl{x_i \in M_i}{} wählen kann. Bei einem formalen axiomatischen Aufbau der Mengentheorie muss man übrigens fordern, dass dieses Wählen möglich ist. Dies ist der Inhalt des \stichwort {Auswahlaxioms} {.}
\inputbeispiel{}
{
Zu
\mathl{n \in \N}{} sei
\mathdisp {N_n={ \left\{ x \in \N \mid x \geq n \right\} }} { }
die Menge aller natürlichen Zahlen, die mindestens so groß wie $n$ sind. Diese ist eine durch die natürlichen Zahlen indizierte Familie von Teilmengen von $\N$. Es gelten die Inklusionen
\mathdisp {N_n \subseteq N_m\text{ für } n \geq m} { . }
Der Durchschnitt
\mathdisp {\bigcap_{n \in \N} N_n} { }
ist leer, da es keine natürliche Zahl gibt, die größer/gleich jeder anderen natürlichen Zahl ist.
}
\inputbeispiel{}
{
Zu
\mathl{n \in \N_+}{} sei
\mathdisp {\N n={ \left\{ x \in \N_+ \mid x \text{ ist ein Vielfaches von } n \right\} }} { }
die Menge aller positiven natürlichen Zahlen, die Vielfache von $n$ sind. Dies ist eine durch die positiven natürlichen Zahlen indizierte Familie von Teilmengen von $\N$. Es gelten die Inklusionen
\mathdisp {\N n \subseteq \N m \text{ für } m \text{ teilt } n} { . }
Der Durchschnitt
\mathdisp {\bigcap_{n \in \N_+} \N n} { }
ist leer, da es keine positive natürliche Zahl gibt, die ein Vielfaches von jeder positiven natürlichen Zahl ist
\zusatzklammer {die $0$ ist ein solches Vielfaches} {} {.}
}
\inputbeispiel{}
{
Es sei $x$ eine reelle Zahl\zusatzfussnote {Die reellen Zahlen werden in der Analysis axiomatisch eingeführt; Intervallschachtelungen repräsentieren ein wichtiges Existenzprinzip für reelle Zahlen.} {} {} und es sei $x_n$ diejenige rationale Zahl, die sich aus allen Vorkommaziffern und den ersten $n$ Nachkommaziffern von $x$ im Dezimalsystem ergibt. Wir definieren die Intervalle
\mathdisp {M_n = \left[x_n, x_n + { \left( \frac{1}{10} \right) }^n \right] \subset \R} { . }
Dies sind Intervalle der Länge ${ \left( \frac{1}{10} \right) }^n$ und es ist
\mathdisp {\{x \} = \bigcap_{n \in \N} M_n} { . }
Die Familie
\mathbed {M_n} {}
{n \in \N} {}
{} {} {} {,}
ist also eine \stichwort {Intervallschachtelung} {} für $x$.
}