Kurs:Lineare Algebra (Osnabrück 2017-2018)/Teil I/Vorlesung 2/latex
\setcounter{section}{2}
\zwischenueberschrift{Abbildungen}
Ein Hauptgebiet der Mathematik ist es zu untersuchen, wie sich eine gewisse Größe mit einer \zusatzklammer {oder mehreren} {} {} anderen Größe verändert, wie beispielsweise der Flächeninhalt eines Quadrats von der Seitenlänge abhängt, wie der Einkaufspreis von den gekauften Waren abhängt oder wie eine Population mit der Zeit wächst. Solche Abhängigkeiten werden mit dem Begriff Abbildung ausgedrückt.
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen. Eine \definitionswort {Abbildung}{} $F$ von $L$ nach $M$ ist dadurch gegeben, dass jedem Element der Menge $L$ genau ein Element der Menge $M$ zugeordnet wird. Das zu
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eindeutig bestimmte Element wird mit
\mathl{F(x)}{} bezeichnet. Die Abbildung drückt man als Ganzes häufig durch
\maabbeledisp {F} {L} {M
} {x} {F(x)
} {,}
aus.
}
Bei einer Abbildung
\maabb {F} {L} {M
} {}
heißt $L$ die
\definitionswortenp{Definitionsmenge}{}
\zusatzklammer {oder Definitionsbereich} {} {}
der Abbildung und $M$ die
\definitionswortenp{Wertemenge}{}
\zusatzklammer {oder \stichwort {Wertevorrat} {} oder \stichwort {Zielbereich} {}} {} {}
der Abbildung. Zu einem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt das Element
\mavergleichskettedisp
{\vergleichskette
{ F(x)
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
der \stichwort {Wert} {} von $F$ an der \stichwort {Stelle} {} $x$. Statt Stelle sagt man auch häufig \stichwort {Argument} {.}
Zwei Abbildungen
\mathkor {} {F \colon L_1\rightarrow M_1} {und} {G \colon L_2\rightarrow M_2} {}
sind gleich, wenn die Definitionsmengen und die Wertemengen übereinstimmen und wenn für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L_1
}
{ = }{L_2
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskette
{\vergleichskette
{ F(x)
}
{ = }{ G(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mavergleichskette
{\vergleichskette
{M_1
}
{ = }{ M_2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Die Gleichheit von Abbildungen wird also zurückgeführt auf die Gleichheit von Elementen in einer Menge. Abbildungen werden häufig auch \stichwort {Funktionen} {} genannt. Wir werden den Begriff \stichwort {Funktion} {} für solche Abbildungen reservieren, deren Wertemenge ein Zahlbereich wie die reellen Zahlen $\R$ ist.
Zu jeder Menge $L$ nennt man die Abbildung
\maabbeledisp {} {L} {L
} {x} {x
} {,}
also die Abbildung, die jedes Element auf sich selbst schickt, die \stichwort {Identität} {}
\zusatzklammer {auf $L$} {} {.}
Sie wird mit $\operatorname{Id}_{ L }$ bezeichnet. Zu einer weiteren Menge $M$ und einem fixierten Element
\mavergleichskette
{\vergleichskette
{c
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man die Abbildung
\maabbeledisp {} {L} {M
} {x} {c
} {,}
die also jedem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
den \stichwort {konstanten Wert} {} $c$ zuordnet, die
\definitionswortenp{konstante Abbildung}{} \zusatzklammer {mit dem Wert $c$} {} {.}
Sie wird häufig wieder mit $c$ bezeichnet\zusatzfussnote {Von Hilbert stammt die etwas überraschende Aussage, die Kunst der Bezeichnung in der Mathematik besteht darin, unterschiedliche Sachen mit denselben Symbolen zu bezeichnen} {.} {.}
Für eine Abbildung gibt es mehrere Darstellungsmöglichkeiten, z.B. Wertetabelle, Balkendiagramm, Kuchendiagramm, Pfeildiagramm, den Graphen der Abbildung. Dabei sind die Übergänge zwischen der formalen Definition einer Abbildung und den visuellen Realisierungen fließend. In der Mathematik wird eine Abbildung zumeist durch eine Abbildungsvorschrift beschrieben, die es erlaubt, die Werte der Abbildung zu berechnen. Solche Abbildungsvorschriften sind beispielsweise
\zusatzklammer {jeweils von $\R$ nach $\R$} {} {}
\mathl{x \mapsto x^2}{,}
\mathl{x \mapsto x^3- e^x + \sin \left( x \right)}{,} etc. In den Naturwissenschaften und Sozialwissenschaften sind \stichwort {empirische Funktionen} {} wichtig, die reale Bewegungen oder Entwicklungen beschreiben, doch auch bei solchen Funktionen erhebt sich die Frage, ob man diese auch mathematisch gut beschreiben
\zusatzklammer {approximieren} {} {}
kann.
Solche Abbildungsvorschriften sind beispielsweise
\zusatzklammer {jeweils von $\R$ nach $\R$} {} {}
\mathl{x \mapsto x^2}{,}
\mathl{x \mapsto x^3- e^x + \sin \left( x \right)}{,} etc.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Aplicacion_2.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Aplicación_2.svg } {} {HiTe} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Beliebteste_Eissorten_in_Deutschland.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Beliebteste Eissorten in Deutschland.svg } {} {Doofi} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Tiefkühlkonsum.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Tiefkühlkonsum.svg } {} {SInner1} {Commons} {CC-by-sa 3.0} {}
\wertetabellesechsausteilzeilen { $x$ }
{\mazeileundfuenf {1} {2} {3} {4} {5} }
{ {6
} }
{ $\pi(x)$ }
{\mazeileundfuenf {2} {4} {6} {5} {3} }
{ {1} }
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Exp.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Exp.svg } {Peter John Acklam} {} {Commons} {CC-by-sa 3.0} {}
%Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ $\cdot$ }
\renewcommand{\leitzeileeins}{ $0$ }
\renewcommand{\leitzeilezwei}{ $1$ }
\renewcommand{\leitzeiledrei}{ $2$ }
\renewcommand{\leitzeilevier}{ $3$ }
\renewcommand{\leitzeilefuenf}{ $4$ }
\renewcommand{\leitzeilesechs}{ $5$ }
\renewcommand{\leitzeilesieben}{ $6$ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ $\cdot$ }
\renewcommand{\leitspalteeins}{ $0$ }
\renewcommand{\leitspaltezwei}{ $1$ }
\renewcommand{\leitspaltedrei}{ $2$ }
\renewcommand{\leitspaltevier}{ $3$ }
\renewcommand{\leitspaltefuenf}{ $4$ }
\renewcommand{\leitspaltesechs}{ $5$ }
\renewcommand{\leitspaltesieben}{ $6$ }
\renewcommand{\leitspalteacht}{ }
\renewcommand{\leitspalteneun}{ }
\renewcommand{\leitspaltezehn}{ }
\renewcommand{\leitspalteelf}{ }
\renewcommand{\leitspaltezwoelf}{ }
\renewcommand{\leitspaltedreizehn}{ }
\renewcommand{\leitspaltevierzehn}{ }
\renewcommand{\leitspaltefuenfzehn}{ }
\renewcommand{\leitspaltesechzehn}{ }
\renewcommand{\leitspaltesiebzehn}{ }
\renewcommand{\leitspalteachtzehn}{ }
\renewcommand{\leitspalteneunzehn}{ }
\renewcommand{\leitspaltezwanzig}{ }
\renewcommand{\aeinsxeins}{ 0 }
\renewcommand{\aeinsxzwei}{ 0 }
\renewcommand{\aeinsxdrei}{ 0 }
\renewcommand{\aeinsxvier}{ 0 }
\renewcommand{\aeinsxfuenf}{ 0 }
\renewcommand{\aeinsxsechs}{ 0 }
\renewcommand{\aeinsxsieben}{ 0 }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 0 }
\renewcommand{\azweixzwei}{ 1 }
\renewcommand{\azweixdrei}{ 2 }
\renewcommand{\azweixvier}{ 3 }
\renewcommand{\azweixfuenf}{ 4 }
\renewcommand{\azweixsechs}{ 5 }
\renewcommand{\azweixsieben}{ 6 }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 0 }
\renewcommand{\adreixzwei}{ 2 }
\renewcommand{\adreixdrei}{ 4 }
\renewcommand{\adreixvier}{ 6 }
\renewcommand{\adreixfuenf}{ 1 }
\renewcommand{\adreixsechs}{ 3 }
\renewcommand{\adreixsieben}{ 5 }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ 0 }
\renewcommand{\avierxzwei}{ 3 }
\renewcommand{\avierxdrei}{ 6 }
\renewcommand{\avierxvier}{ 2 }
\renewcommand{\avierxfuenf}{ 5 }
\renewcommand{\avierxsechs}{ 1 }
\renewcommand{\avierxsieben}{ 4 }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ 0 }
\renewcommand{\afuenfxzwei}{ 4 }
\renewcommand{\afuenfxdrei}{ 1 }
\renewcommand{\afuenfxvier}{ 5 }
\renewcommand{\afuenfxfuenf}{ 2 }
\renewcommand{\afuenfxsechs}{ 6 }
\renewcommand{\afuenfxsieben}{ 3 }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ 0 }
\renewcommand{\asechsxzwei}{ 5 }
\renewcommand{\asechsxdrei}{ 3 }
\renewcommand{\asechsxvier}{ 1 }
\renewcommand{\asechsxfuenf}{ 6 }
\renewcommand{\asechsxsechs}{ 4 }
\renewcommand{\asechsxsieben}{ 2 }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ 0 }
\renewcommand{\asiebenxzwei}{ 6 }
\renewcommand{\asiebenxdrei}{ 5 }
\renewcommand{\asiebenxvier}{ 4 }
\renewcommand{\asiebenxfuenf}{ 3 }
\renewcommand{\asiebenxsechs}{ 2 }
\renewcommand{\asiebenxsieben}{ 1 }
\renewcommand{\asiebenxacht}{ }
\renewcommand{\asiebenxneun}{ }
\renewcommand{\asiebenxzehn}{ }
\renewcommand{\asiebenxelf}{ }
\renewcommand{\asiebenxzwoelf}{ }
\renewcommand{\aachtxeins}{ }
\renewcommand{\aachtxzwei}{ }
\renewcommand{\aachtxdrei}{ }
\renewcommand{\aachtxvier}{ }
\renewcommand{\aachtxfuenf}{ }
\renewcommand{\aachtxsechs}{ }
\renewcommand{\aachtxsieben}{ }
\renewcommand{\aachtxacht}{ }
\renewcommand{\aachtxneun}{ }
\renewcommand{\aachtxzehn}{ }
\renewcommand{\aachtxelf}{ }
\renewcommand{\aachtxzwoelf}{ }
\renewcommand{\aneunxeins}{ }
\renewcommand{\aneunxzwei}{ }
\renewcommand{\aneunxdrei}{ }
\renewcommand{\aneunxvier}{ }
\renewcommand{\aneunxfuenf}{ }
\renewcommand{\aneunxsechs}{ }
\renewcommand{\aneunxsieben}{ }
\renewcommand{\aneunxacht}{ }
\renewcommand{\aneunxneun}{ }
\renewcommand{\aneunxzehn}{ }
\renewcommand{\aneunxelf}{ }
\renewcommand{\aneunxzwoelf}{ }
\renewcommand{\azehnxeins}{ }
\renewcommand{\azehnxzwei}{ }
\renewcommand{\azehnxdrei}{ }
\renewcommand{\azehnxvier}{ }
\renewcommand{\azehnxfuenf}{ }
\renewcommand{\azehnxsechs}{ }
\renewcommand{\azehnxsieben}{ }
\renewcommand{\azehnxacht}{ }
\renewcommand{\azehnxneun}{ }
\renewcommand{\azehnxzehn}{ }
\renewcommand{\azehnxelf}{ }
\renewcommand{\azehnxzwoelf}{ }
\renewcommand{\aelfxeins}{ }
\renewcommand{\aelfxzwei}{ }
\renewcommand{\aelfxdrei}{ }
\renewcommand{\aelfxvier}{ }
\renewcommand{\aelfxfuenf}{ }
\renewcommand{\aelfxsechs}{ }
\renewcommand{\aelfxsieben}{ }
\renewcommand{\aelfxacht}{ }
\renewcommand{\aelfxneun}{ }
\renewcommand{\aelfxzehn}{ }
\renewcommand{\aelfxelf}{ }
\renewcommand{\aelfxzwoelf}{ }
\renewcommand{\azwoelfxeins}{ }
\renewcommand{\azwoelfxzwei}{ }
\renewcommand{\azwoelfxdrei}{ }
\renewcommand{\azwoelfxvier}{ }
\renewcommand{\azwoelfxfuenf}{ }
\renewcommand{\azwoelfxsechs}{ }
\renewcommand{\azwoelfxsieben}{ }
\renewcommand{\azwoelfxacht}{ }
\renewcommand{\azwoelfxneun}{ }
\renewcommand{\azwoelfxzehn}{ }
\renewcommand{\azwoelfxelf}{ }
\renewcommand{\azwoelfxzwoelf}{ }
\renewcommand{\adreizehnxeins}{ }
\renewcommand{\adreizehnxzwei}{ }
\renewcommand{\adreizehnxdrei}{ }
\renewcommand{\adreizehnxvier}{ }
\renewcommand{\adreizehnxfuenf}{ }
\renewcommand{\adreizehnxsechs}{ }
\renewcommand{\adreizehnxsieben}{ }
\renewcommand{\adreizehnxacht}{ }
\renewcommand{\adreizehnxneun}{ }
\renewcommand{\adreizehnxzehn}{ }
\renewcommand{\adreizehnxelf}{ }
\renewcommand{\adreizehnxzwoelf}{ }
\renewcommand{\avierzehnxeins}{ }
\renewcommand{\avierzehnxzwei}{ }
\renewcommand{\avierzehnxdrei}{ }
\renewcommand{\avierzehnxvier}{ }
\renewcommand{\avierzehnxfuenf}{ }
\renewcommand{\avierzehnxsechs}{ }
\renewcommand{\avierzehnxsieben}{ }
\renewcommand{\avierzehnxacht}{ }
\renewcommand{\avierzehnxneun}{ }
\renewcommand{\avierzehnxzehn}{ }
\renewcommand{\avierzehnxelf}{ }
\renewcommand{\avierzehnxzwoelf}{ }
\renewcommand{\afuenfzehnxeins}{ }
\renewcommand{\afuenfzehnxzwei}{ }
\renewcommand{\afuenfzehnxdrei}{ }
\renewcommand{\afuenfzehnxvier}{ }
\renewcommand{\afuenfzehnxfuenf}{ }
\renewcommand{\afuenfzehnxsechs}{ }
\renewcommand{\afuenfzehnxsieben}{ }
\renewcommand{\afuenfzehnxacht}{ }
\renewcommand{\afuenfzehnxneun}{ }
\renewcommand{\afuenfzehnxzehn}{ }
\renewcommand{\afuenfzehnxelf}{ }
\renewcommand{\afuenfzehnxzwoelf}{ }
\renewcommand{\asechzehnxeins}{ }
\renewcommand{\asechzehnxzwei}{ }
\renewcommand{\asechzehnxdrei}{ }
\renewcommand{\asechzehnxvier}{ }
\renewcommand{\asechzehnxfuenf}{ }
\renewcommand{\asechzehnxsechs}{ }
\renewcommand{\asechzehnxsieben}{ }
\renewcommand{\asechzehnxacht}{ }
\renewcommand{\asechzehnxneun}{ }
\renewcommand{\asechzehnxzehn}{ }
\renewcommand{\asechzehnxelf}{ }
\renewcommand{\asechzehnxzwoelf}{ }
\renewcommand{\asiebzehnxeins}{ }
\renewcommand{\asiebzehnxzwei}{ }
\renewcommand{\asiebzehnxdrei}{ }
\renewcommand{\asiebzehnxvier}{ }
\renewcommand{\asiebzehnxfuenf}{ }
\renewcommand{\asiebzehnxsechs}{ }
\renewcommand{\asiebzehnxsieben}{ }
\renewcommand{\asiebzehnxacht}{ }
\renewcommand{\asiebzehnxneun}{ }
\renewcommand{\asiebzehnxzehn}{ }
\renewcommand{\asiebzehnxelf}{ }
\renewcommand{\asiebzehnxzwoelf}{ }
\renewcommand{\aachtzehnxeins}{ }
\renewcommand{\aachtzehnxzwei}{ }
\renewcommand{\aachtzehnxdrei}{ }
\renewcommand{\aachtzehnxvier}{ }
\renewcommand{\aachtzehnxfuenf}{ }
\renewcommand{\aachtzehnxsechs}{ }
\renewcommand{\aachtzehnxsieben}{ }
\renewcommand{\aachtzehnxacht}{ }
\renewcommand{\aachtzehnxneun}{ }
\renewcommand{\aachtzehnxzehn}{ }
\renewcommand{\aachtzehnxelf}{ }
\renewcommand{\aachtzehnxzwoelf}{ }
\tabelleleitsiebenxsieben
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Monkey_Saddle_Surface_(Shaded).png} }
\end{center}
\bildtext {} }
\bildlizenz { Monkey Saddle Surface (Shaded).png } {} {Inductiveload} {Commons} {PD} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Schoenberg-ebringen-isohypsen.png} }
\end{center}
\bildtext {} }
\bildlizenz { Schoenberg-ebringen-isohypsen.png } {} {W-j-s} {Commons} {CC-by-sa 3.0} {}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Elliptic_orbit.gif} }
\end{center}
\bildtext {} }
\bildlizenz { Elliptic orbit.gif } {} {Brandir} {Commons} {CC-BY-SA 2.5} {}
\zwischenueberschrift{Injektive und surjektive Abbildungen}
\inputdefinition
{}
{
Es seien $L$ und $M$ Mengen und es sei
\maabbeledisp {F} {L} {M
} {x} {F(x)
} {,}
eine
\definitionsverweis {Abbildung}{}{.}
Dann heißt $F$ \definitionswort {injektiv}{,} wenn für je zwei verschiedene Elemente
\mavergleichskette
{\vergleichskette
{ x,x'
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auch
\mathkor {} {F(x)} {und} {F(x')} {}
verschieden sind.
}
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbeledisp {F} {L} {M
} {x} {F(x)
} {,}
eine
\definitionsverweis {Abbildung}{}{.}
Dann heißt $F$ \definitionswort {surjektiv}{,} wenn es für jedes
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mindestens ein Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Es seien $M$ und $L$ Mengen und es sei \maabbeledisp {F} {M} {L } {x} {F(x) } {,} eine \definitionsverweis {Abbildung}{}{.} Dann heißt $F$ \definitionswort {bijektiv}{,} wenn $F$ sowohl \definitionsverweis {injektiv}{}{} als auch \definitionsverweis {surjektiv}{}{} ist.
}
Diese Begriffe sind fundamental!
Die Frage, ob eine Abbildung \maabb {F} {L} {M} {} die Eigenschaften
\definitionsverweis {injektiv}{}{}
oder
\definitionsverweis {surjektiv}{}{}
besitzt, kann man anhand der Gleichung
\mavergleichskettedisp
{\vergleichskette
{F(x)
}
{ =} {y
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {in den beiden Variablen
\mathkork {} {x} {und} {y} {}} {} {}
erläutern. Die Surjektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mindestens eine Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ \in} { L
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
für diese Gleichung gibt, die Injektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
maximal eine Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für diese Gleichung gibt, und die Bijektivität bedeutet, dass es zu jedem
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
genau eine Lösung
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{ L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
für diese Gleichung gibt. Die Surjektivität entspricht also der Existenz von Lösungen, die Injektivität der Eindeutigkeit von Lösungen. Beide Fragestellungen durchziehen die Mathematik und können selbst wiederum häufig als die Surjektivität oder die Injektivität einer geeigneten Abbildung interpretiert werden.
Beim Nachweis der Injektivität einer Abbildung geht man häufig so vor, dass man zu zwei gegebenen Elementen
\mathkor {} {x} {und} {x'} {}
aus der Voraussetzung
\mavergleichskette
{\vergleichskette
{ F(x)
}
{ = }{ F(x')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
erschließt, dass
\mavergleichskette
{\vergleichskette
{x
}
{ = }{x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dies ist oft einfacher zu zeigen, als aus
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{x'
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf
\mavergleichskette
{\vergleichskette
{F(x)
}
{ \neq }{F(x')
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
zu schließen.
\inputbeispiel{}
{
Die
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {} {\R} {\R
} {x} {x^2
} {,}
ist weder injektiv noch surjektiv. Sie ist nicht
\definitionsverweis {injektiv}{}{,}
da die verschiedenen Zahlen
\mathkor {} {2} {und} {-2} {}
beide auf $4$ abgebildet werden. Sie ist nicht
\definitionsverweis {surjektiv}{}{,}
da nur nichtnegative Elemente erreicht werden
\zusatzklammer {eine negative Zahl hat keine reelle Quadratwurzel} {} {.}
Die Abbildung
\maabbeledisp {} {\R_{\geq 0} } {\R
} {x} {x^2
} {,}
ist injektiv, aber nicht surjektiv. Die Injektivität folgt beispielsweise so: Wenn
\mavergleichskette
{\vergleichskette
{x
}
{ \neq }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist, so ist eine Zahl größer, sagen wir
\mavergleichskettedisp
{\vergleichskette
{x
}
{ >} {y
}
{ \geq} {0
}
{ } {
}
{ } {
}
}
{}{}{.}
Doch dann ist auch
\mavergleichskette
{\vergleichskette
{x^2
}
{ > }{ y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und insbesondere
\mavergleichskette
{\vergleichskette
{x^2
}
{ \neq }{y^2
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Die Abbildung
\maabbeledisp {} {\R} {\R_{\geq 0}
} {x} {x^2
} {,}
ist nicht injektiv, aber surjektiv, da jede nichtnegative reelle Zahl eine Quadratwurzel besitzt. Die Abbildung
\maabbeledisp {} {\R_{\geq 0}} {\R_{\geq 0}
} {x} {x^2
} {,}
ist injektiv und surjektiv.
}
\inputdefinition
{}
{
Es sei
\maabb {F} {L} {M} {}
eine
\definitionsverweis {bijektive Abbildung}{}{.}
Dann heißt die Abbildung
\maabbdisp {G} {M} {L} {,}
die jedes Element
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auf das eindeutig bestimmte Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskette
{\vergleichskette
{F(x)
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
abbildet, die \definitionswort {Umkehrabbildung}{} zu $F$.
}
Die Umkehrabbildung wird mit
\mathl{F^{-1}}{} bezeichnet.
Wir besprechen zwei Beispielklassen von Abbildungen, die im Rahmen der linearen Algebra besonders wichtig sind, da es sich um sogenannte \stichwort {lineare Abbildungen} {} handelt.
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Proportional variables.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Proportional variables.svg } {} {Krishnavedala} {Commons} {Public domain} {}
Es sei
\mavergleichskette
{\vergleichskette
{ a
}
{ \in }{ \R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
fixiert. Diese reelle Zahl definiert eine
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {} {\R} {\R
} {x} {ax
} {.}
Bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt die konstante Nullabbildung vor. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt eine
\definitionsverweis {bijektive}{}{}
Abbildung mit der
\definitionsverweis {Umkehrabbildung}{}{}
\maabbdisp {} {y} { { \frac{ 1 }{ a } } y
} {}
vor. Die Umkehrabbildung hat hier also eine ähnliche Bauart wie die Ausgangsabbildung.
}
\inputbeispiel{}
{
Es sei eine
$m \times n$-\definitionsverweis {Matrix}{}{}
\mathdisp {\begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ m 1 } & a_{ m 2 } & \ldots & a_{ m n } \end{pmatrix}} { }
gegeben, wobei die Einträge
\mathl{a_{ij}}{} reelle Zahlen seien. Eine solche Matrix definiert eine Abbildung
\maabbdisp {\varphi} {\R^n } {\R^m
} {,}
indem ein $n$-Tupel
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ \in }{ \R^n
}
{ }{
}
{ }{
}
}
{}{}{}
auf das $m$-Tupel
\mavergleichskettealign
{\vergleichskettealign
{ \varphi(x)
}
{ =} { \begin{pmatrix} a_{11 } & a_{1 2} & \ldots & a_{1 n } \\
a_{21 } & a_{2 2} & \ldots & a_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ a_{ m 1 } & a_{ m 2 } & \ldots & a_{ m n } \end{pmatrix} \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11} x_1 + a_{12} x_2 + \cdots + a_{1n} x_n \\ a_{21} x_1 + a_{22} x_2 + \cdots + a_{2n} x_n \\ \vdots\\ a_{m1} x_1 + a_{m2} x_2 + \cdots + a_{mn} x_n \end{pmatrix}
}
{ =} { \begin{pmatrix} \sum_{j = 1}^n a_{1j} x_j \\ \sum_{j = 1}^n a_{2j} x_j \\ \vdots\\ \sum_{j = 1}^n a_{mj} x_j \end{pmatrix}
}
{ } {
}
}
{}
{}{}
abgebildet wird. Die $i$-te Komponente des Bildvektors ergibt sich also als\zusatzfussnote {Das Summenzeichen $\sum$ ist für gegebene reelle Zahlen
\mathl{a_1 , \ldots , a_n}{} durch
\mavergleichskette
{\vergleichskette
{ \sum_{k = 1}^n a_k
}
{ \defeq }{ a_1 + a_2 + \cdots + a_{n-1} + a_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
definiert} {.} {}
\mavergleichskettedisp
{\vergleichskette
{ y_i
}
{ =} { \left( a_{i1} , \, a_{i2} , \, \ldots , \, a_{in} \right) \begin{pmatrix} x_1 \\x_2\\ \vdots\\x_n \end{pmatrix}
}
{ =} { \sum_{j = 1}^n a_{ij} x_j
}
{ } {
}
{ } {
}
}
{}{}{,}
man muss also die $i$-te Zeile der Matrix in der beschriebenen Weise auf den Spaltenvektor $x$ anwenden.
} Es ist ein Ziel der linearen Algebra, in Abhängigkeit von den Einträgen $a_{ij}$ zu bestimmen, ob die dadurch definierte Abbildung injektiv, surjektiv oder bijektiv ist und welche Gestalt im Falle der Bijektivität die Umkehrabbildung besitzt.
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Fruit_salad_(1).jpg} }
\end{center}
\bildtext {} }
\bildlizenz { Fruit_salad_(1).jpg } {} {Fæ} {Commons} {gemeinfrei} {}
Ein gesundes Frühstück beginnt mit einem Obstsalat. Die folgende Tabelle zeigt, wie viel Vitamin C, Calcium und Magnesium \zusatzklammer {jeweils in Milligramm} {} {} unterschiedliche Früchte \zusatzklammer {pro 100 Gramm} {} {} besitzen.
\tabellefuenfvier {\zeileundvier {Frucht} {Vitamin C} {Calcium} {Magnesium} }
{\zeileundvier {Apfel} {12} {7} {6} }
{\zeileundvier {Orange} {53} {40} {10} }
{\zeileundvier {Traube} {4} {12} {8} }
{\zeileundvier {Banane} {9} {5} {27} }
Dies führt zu einer Abbildung, die einem $4$-Tupel
\mathl{\begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix}}{,} das die verarbeiteten
\zusatzklammer {oder verzehrten} {} {}
Früchte beschreibt, den Gesamtgehalt des Obstsalats an Vitamin C, Calcium und Magnesium in Form eines $3$-Tupels
\mathl{\begin{pmatrix} y_1 \\y_2\\ y_3 \end{pmatrix}}{} zuordnet. Diese Abbildung kann mit der Matrix
\mathdisp {\begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix}} { }
unter Verwendung der Matrixmultiplikation als Zuordnung
\mathdisp {\begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix} \longmapsto \begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix} \begin{pmatrix} x_1 \\x_2\\ x_3\\x_4 \end{pmatrix} = \begin{pmatrix} 12x_1 +53x_2 +4x_3+9 x_4 \\7x_1 +40x_2 +12x_3+ 5 x_4\\ 6 x_1 + 10 x_2 + 8x_3+ 27 x_4 \end{pmatrix} = \begin{pmatrix} y_1 \\y_2\\ y_3 \end{pmatrix}} { }
beschrieben werden.
}
\zwischenueberschrift{Hintereinanderschaltung von Abbildungen}
\inputdefinition
{}
{
Es seien $L,\, M$ und $N$ Mengen und \maabbeledisp {F} {L} {M } {x} {F(x) } {,} und \maabbeledisp {G} {M} {N } {y} {G(y) } {,} \definitionsverweis {Abbildungen}{}{.} Dann heißt die Abbildung\zusatzfussnote {Man beachte, dass in der Bezeichnung die \anfuehrung{verkehrte}{} Reihenfolge verwendet wird, da ja $F$ zuerst ausgeführt wird. Dies beruht darauf, dass das Argument rechts geschrieben wird} {.} {} \maabbeledisp {G \circ F} {L} {N } {x} {G(F(x)) } {,} die \definitionswort {Hintereinanderschaltung}{} der Abbildungen \mathkor {} {F} {und} {G} {.}
}
Es gilt also
\mavergleichskettedisp
{\vergleichskette
{ { \left( G \circ F \right) } (x)
}
{ \defeq} { G(F(x))
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die linke Seite durch die rechte Seite definiert wird. Wenn die beiden Abbildungen durch funktionale Ausdrücke gegeben sind, so wird die Hintereinanderschaltung dadurch realisiert, dass man den ersten Ausdruck anstelle der Variablen in den zweiten Ausdruck einsetzt
\zusatzklammer {und nach Möglichkeit vereinfacht} {} {.}
Die
\definitionsverweis {Hintereinanderschaltung}{}{}
von
\maabbeledisp {F} {\R} {\R
} {t} {t^3
} {,}
und
\maabbeledisp {G} {\R} {\R
} {x} {x^2 -x
} {,}
ist durch
\mavergleichskettedisp
{\vergleichskette
{ (G \circ F) (t)
}
{ =} { (t^3)^2 - t^3
}
{ =} { t^6-t^3
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben. Dagegen ist
\mavergleichskettedisp
{\vergleichskette
{ (F \circ G) (x)
}
{ =} { (x^2 - x)^3
}
{ =} { x^6 -3x^5 +3x^4 -x^3
}
{ } {
}
{ } {
}
}
{}{}{.}
Bei der Hintereinanderschaltung von Abbildungen kommt es also auf die Reihenfolge an.
Zu einer bijektiven Abbildung
\maabb {\varphi} {M} {N
} {}
ist die Umkehrabbildung
\maabb {\varphi^{-1}} {N} {M
} {}
durch die beiden Bedingungen
\mavergleichskettedisp
{\vergleichskette
{ \varphi \circ \varphi^{-1}
}
{ =} {
\operatorname{Id}_{ N }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ \varphi^{-1} \circ \varphi
}
{ =} {
\operatorname{Id}_{ M }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
charakterisiert.
\inputfaktbeweis
{Abbildung/Hintereinanderschaltung/Assoziativ/Fakt}
{Lemma}
{}
{
\faktsituation {Es seien
$L, M, N$ und $P$
Mengen und es seien
\maabbeledisp {F} {L} {M
} {x} {F(x)
} {,} \maabbeledisp {G} {M} {N
} {y} {G(y)
} {,}
und
\maabbeledisp {H} {N} {P
} {z} {H(z)
} {,}
\definitionsverweis {Abbildungen}{}{.}}
\faktfolgerung {Dann ist
\mavergleichskettedisp
{\vergleichskette
{ H \circ (G \circ F)
}
{ =} { (H \circ G) \circ F
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Zwei Abbildungen
\maabb {\alpha, \beta} {L} {P
} {}
sind genau dann gleich, wenn für jedes
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskette
{\vergleichskette
{ \alpha(x)
}
{ = }{\beta(x)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gilt. Es sei also
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist
\mavergleichskettealign
{\vergleichskettealign
{ ( H \circ ( G \circ F)) (x)
}
{ =} { H( ( G \circ F) (x) )
}
{ =} { H( G(F(x)) )
}
{ =} { ( H \circ G ) (F(x))
}
{ =} { (( H \circ G ) \circ F)(x)
}
}
{}
{}{.}
\zwischenueberschrift{Graph, Bild und Urbild einer Abbildung}
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbdisp {F} {L} {M} {}
eine
\definitionsverweis {Abbildung}{}{.} Dann nennt man
\mavergleichskettedisp
{\vergleichskette
{\Gamma
}
{ =} { \Gamma_F
}
{ =} { { \left\{ (x,F(x)) \mid x \in L \right\} }
}
{ \subseteq} { L \times M
}
{ } {
}
}
{}{}{}
den \definitionswort {Graphen}{} der Abbildung $F$.
}
Ein Graph ist ein mengentheoretisches Konzept. Ob man ihn \anfuehrung{graphisch}{} veranschaulichen kann, hängt davon ab, ob man die Produktmenge
\mathl{L \times M}{} veranschaulichen kann.
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbdisp {F} {L} {M} {}
eine
\definitionsverweis {Abbildung}{}{.} Zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{S
}
{ \subseteq }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{ F(S)
}
{ =} { { \left\{ y \in M \mid \text{es gibt ein } x \in S \text{ mit } F(x)= y \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das \definitionswort {Bild von}{} $S$ unter $F$. Für
\mavergleichskette
{\vergleichskette
{S
}
{ = }{L
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{ F(L)
}
{ =} { \operatorname{bild} F
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das \definitionswort {Bild der Abbildung}{.}
}
\inputdefinition
{}
{
Es seien
\mathkor {} {L} {und} {M} {}
Mengen und es sei
\maabbdisp {F} {L} {M} {}
eine
\definitionsverweis {Abbildung}{}{.} Zu einer Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ \subseteq }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mavergleichskettedisp
{\vergleichskette
{ F^{-1}(T)
}
{ =} { { \left\{ x \in L \mid F(x) \in T \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
das \definitionswort {Urbild von}{} $T$ unter $F$. Für eine einelementige Teilmenge
\mavergleichskette
{\vergleichskette
{T
}
{ = }{ \{y\}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mathdisp {F^{-1}(\{y\})} { }
das \definitionswort {Urbild von}{} $y$.
}
Zur Abbildung
\maabbeledisp {} {\R} {\R
} {x} {x^2
} {,}
ist das Bild von
\mathl{[1,2]}{} die Menge aller Quadrate von reellen Zahlen zwischen
\mathkor {} {1} {und} {2} {,}
also gleich
\mathl{[1,4]}{.} Das Urbild von
\mathl{[1,4]}{} besteht aus allen reellen Zahlen, deren Quadrat zwischen
\mathkor {} {1} {und} {4} {}
liegt. Das ist also
\mathl{[-2,-1] \cup [1,2]}{.}
Zu zwei Mengen
\mathkor {} {L} {und} {M} {}
bezeichnet man die \stichwort {Menge der Abbildungen} {} von $L$ nach $M$ mit
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{Abb} \, { \left( L , M \right) }
}
{ =} { { \left\{ f: L \rightarrow M \mid f \text{ Abbildung} \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\zwischenueberschrift{Verknüpfungen}
Die natürliche Addition ordnet zwei reellen Zahlen eine weitere reelle Zahl zu, sie hat also die Struktur \maabbeledisp {+} {\R \times \R} { \R } {(x,y)} { x+y } {.} Solche Verknüpfungen spielen eine wichtige Rolle in der Mathematik.
\inputdefinition
{}
{
Eine \definitionswort {Verknüpfung}{} $\circ$ auf einer Menge $M$ ist eine \definitionsverweis {Abbildung}{}{} \maabbeledisp {\circ} {M\times M} {M } {(x,y)} {\circ(x,y) = x \circ y } {.}
}
Eine Verknüpfung macht also aus einem Paar
\mavergleichskettedisp
{\vergleichskette
{ (x,y)
}
{ \in} { M \times M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein einziges Element
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ \in} { M
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Eine Vielzahl von mathematischen Konstruktionen fällt unter diesen Begriff: Die Addition, die Differenz, die Multiplikation, die Division von Zahlen, die Verknüpfung von Abbildungen, der Durchschnitt oder die Vereinigung von Mengen, etc. Als Verknüpfungssymbol kommt eine ganze Reihe in Frage, z.B. $\circ, \cdot, +,-, \oplus, \clubsuit, \heartsuit$ u.s.w. Je nach dem gewählten Symbol spricht man statt Verknüpfung auch von \stichwort {Multiplikation} {} oder \stichwort {Addition} {,} ohne dass man damit eine inhaltliche Bedeutung verbinden sollte. Wichtige strukturelle Eigenschaften einer Verknüpfung werden in den folgenden Definitionen aufgelistet.
\inputdefinition
{}
{
Eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
auf einer Menge $M$ heißt \definitionswort {kommutativ}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x,y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputdefinition
{}
{
Eine
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
auf einer Menge $M$ heißt \definitionswort {assoziativ}{,} wenn für alle
\mavergleichskette
{\vergleichskette
{x,y,z
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ (x \circ y ) \circ z
}
{ =} { x \circ (y \circ z)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputdefinition
{}
{
Es sei eine Menge $M$ mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
gegeben. Dann heißt ein Element
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {neutrales Element}{} der Verknüpfung, wenn für alle
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Gleichheit
\mavergleichskette
{\vergleichskette
{ x \circ e
}
{ = }{ x
}
{ = }{ e \circ x
}
{ }{
}
{ }{
}
}
{}{}{}
gilt.
}
Im kommutativen Fall muss man natürlich für das neutrale Element nur eine Reihenfolge betrachten.
\inputdefinition
{}
{
Es sei eine Menge $M$ mit einer
\definitionsverweis {Verknüpfung}{}{}
\maabbeledisp {\circ} {M \times M} {M
} {(x,y)} {x \circ y
} {,}
und einem
\definitionsverweis {neutralen Element}{}{}
\mavergleichskette
{\vergleichskette
{e
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben. Dann heißt zu einem Element
\mavergleichskette
{\vergleichskette
{x
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Element
\mavergleichskette
{\vergleichskette
{y
}
{ \in }{M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionswort {inverses Element}{}
\zusatzklammer {zu $x$} {} {.}
wenn die Gleichheit
\mavergleichskettedisp
{\vergleichskette
{ x \circ y
}
{ =} { e
}
{ =} { y \circ x
}
{ } {
}
{ } {
}
}
{}{}{}
gilt.
}
\inputbeispiel{}
{
Es sei $L$ eine Menge und
\mavergleichskettedisp
{\vergleichskette
{M
}
{ =} { \operatorname{Abb} \, { \left( L , L \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
die Menge aller
\definitionsverweis {Abbildungen}{}{}
von $L$ in sich. Durch die
\definitionsverweis {Hintereinanderschaltung von Abbildungen}{}{}
liegt eine
\definitionsverweis {Verknüpfung}{}{}
auf $M$ vor, die aufgrund von
Lemma 2.11
\definitionsverweis {assoziativ}{}{}
ist. Dagegen ist sie nicht
\definitionsverweis {kommutativ}{}{.}
Die
\definitionsverweis {Identität}{}{}
auf $L$ ist das
\definitionsverweis {neutrale Element}{}{.}
Eine Abbildung
\maabb {f} {L} {L
} {}
besitzt genau dann ein
\definitionsverweis {inverses Element}{}{,}
wenn sie
\definitionsverweis {bijektiv}{}{}
ist; das inverse Element ist einfach die
\definitionsverweis {Umkehrabbildung}{}{.}
}