Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Vorlesung 22/latex
\setcounter{section}{22}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Waeller2.jpg} }
\end{center}
\bildtext {Hier hat Vorli die Fragebögen von Dr. Eisenbeis zerfetzt. Zum Glück hat Dr. Eisenbeis alles schon digital abgespeichert.} }
\bildlizenz { Waeller2.jpg } {} {Odatrulle} {Commons} {CC-by-sa 4.0} {}
\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. %Daten für folgende Tabelle
\renewcommand{\leitzeilenull}{ }
\renewcommand{\leitzeileeins}{ Apfel }
\renewcommand{\leitzeilezwei}{ Orange }
\renewcommand{\leitzeiledrei}{ Traube }
\renewcommand{\leitzeilevier}{ Banane }
\renewcommand{\leitzeilefuenf}{ }
\renewcommand{\leitzeilesechs}{ }
\renewcommand{\leitzeilesieben}{ }
\renewcommand{\leitzeileacht}{ }
\renewcommand{\leitzeileneun}{ }
\renewcommand{\leitzeilezehn}{ }
\renewcommand{\leitzeileelf}{ }
\renewcommand{\leitzeilezwoelf}{ }
\renewcommand{\leitspaltenull}{ }
\renewcommand{\leitspalteeins}{ Vitamin C }
\renewcommand{\leitspaltezwei}{ Calcium }
\renewcommand{\leitspaltedrei}{ Magnesium }
\renewcommand{\leitspaltevier}{ }
\renewcommand{\leitspaltefuenf}{ }
\renewcommand{\leitspaltesechs}{ }
\renewcommand{\leitspaltesieben}{ }
\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}{ 12 }
\renewcommand{\aeinsxzwei}{ 53 }
\renewcommand{\aeinsxdrei}{ 4 }
\renewcommand{\aeinsxvier}{ 9 }
\renewcommand{\aeinsxfuenf}{ }
\renewcommand{\aeinsxsechs}{ }
\renewcommand{\aeinsxsieben}{ }
\renewcommand{\aeinsxacht}{ }
\renewcommand{\aeinsxneun}{ }
\renewcommand{\aeinsxzehn}{ }
\renewcommand{\aeinsxelf}{ }
\renewcommand{\aeinsxzwoelf}{ }
\renewcommand{\azweixeins}{ 7 }
\renewcommand{\azweixzwei}{ 40 }
\renewcommand{\azweixdrei}{ 12 }
\renewcommand{\azweixvier}{ 5 }
\renewcommand{\azweixfuenf}{ z_2 }
\renewcommand{\azweixsechs}{ }
\renewcommand{\azweixsieben}{ }
\renewcommand{\azweixacht}{ }
\renewcommand{\azweixneun}{ }
\renewcommand{\azweixzehn}{ }
\renewcommand{\azweixelf}{ }
\renewcommand{\azweixzwoelf}{ }
\renewcommand{\adreixeins}{ 6 }
\renewcommand{\adreixzwei}{ 10 }
\renewcommand{\adreixdrei}{ 8 }
\renewcommand{\adreixvier}{ 27 }
\renewcommand{\adreixfuenf}{ z_3 }
\renewcommand{\adreixsechs}{ }
\renewcommand{\adreixsieben}{ }
\renewcommand{\adreixacht}{ }
\renewcommand{\adreixneun}{ }
\renewcommand{\adreixzehn}{ }
\renewcommand{\adreixelf}{ }
\renewcommand{\adreixzwoelf}{ }
\renewcommand{\avierxeins}{ \, }
\renewcommand{\avierxzwei}{ \, }
\renewcommand{\avierxdrei}{ }
\renewcommand{\avierxvier}{ }
\renewcommand{\avierxfuenf}{ }
\renewcommand{\avierxsechs}{ }
\renewcommand{\avierxsieben}{ }
\renewcommand{\avierxacht}{ }
\renewcommand{\avierxneun}{ }
\renewcommand{\avierxzehn}{ }
\renewcommand{\avierxelf}{ }
\renewcommand{\avierxzwoelf}{ }
\renewcommand{\afuenfxeins}{ \, }
\renewcommand{\afuenfxzwei}{ \, }
\renewcommand{\afuenfxdrei}{ \, }
\renewcommand{\afuenfxvier}{ }
\renewcommand{\afuenfxfuenf}{ }
\renewcommand{\afuenfxsechs}{ }
\renewcommand{\afuenfxsieben}{ }
\renewcommand{\afuenfxacht}{ }
\renewcommand{\afuenfxneun}{ }
\renewcommand{\afuenfxzehn}{ }
\renewcommand{\afuenfxelf}{ }
\renewcommand{\afuenfxzwoelf}{ }
\renewcommand{\asechsxeins}{ }
\renewcommand{\asechsxzwei}{ }
\renewcommand{\asechsxdrei}{ }
\renewcommand{\asechsxvier}{ }
\renewcommand{\asechsxfuenf}{ }
\renewcommand{\asechsxsechs}{ }
\renewcommand{\asechsxsieben}{ }
\renewcommand{\asechsxacht}{ }
\renewcommand{\asechsxneun}{ }
\renewcommand{\asechsxzehn}{ }
\renewcommand{\asechsxelf}{ }
\renewcommand{\asechsxzwoelf}{ }
\renewcommand{\asiebenxeins}{ }
\renewcommand{\asiebenxzwei}{ }
\renewcommand{\asiebenxdrei}{ }
\renewcommand{\asiebenxvier}{ }
\renewcommand{\asiebenxfuenf}{ }
\renewcommand{\asiebenxsechs}{ }
\renewcommand{\asiebenxsieben}{ }
\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}{ }
\tabelleleitdreixvier
Mein Obstsalat heute morgen besteht aus den angegebenen Früchten in den Anteilen
\mathl{\begin{pmatrix} 3 \\2\\ 7\\6 \end{pmatrix}}{}
\zusatzklammer {also $300$ Gramm Apfel u.s.w.} {} {.}
Daraus kann man den gesamten Vitamin-C-Gehalt, den Calcium-Gehalt und den Magnesium-Gehalt des Obstsalats ausrechnen, indem man einfach für jede Frucht ihre Menge mit dem entsprechenden Gehalt multipliziert und alles aufsummiert. Der Vitamingehalt des gesamten Obstsalats ist also
\zusatzklammer {in Milligramm} {} {}
\mavergleichskettedisp
{\vergleichskette
{ 12 \cdot 3 + 53 \cdot 2 + 4 \cdot 7 + 9 \cdot 6
}
{ =} { 224
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Diese Operation ist ein Beispiel für die Wirkungsweise einer Matrix. Die Tabelle führt unmittelbar zu einer $3 \times 4$-Matrix, nämlich zu
\mathl{\begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix}}{,} und die obige Rechnung wird durch die Matrixmultiplikation
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 12 & 53 & 4 & 9 \\ 7 & 40 & 12 & 5 \\ 6 & 10 & 8 & 27 \end{pmatrix} \begin{pmatrix} 3 \\2\\ 7\\6 \end{pmatrix}
}
{ =} { \begin{pmatrix} 224 \\215\\ 256 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
realisiert.
Man kann auch umgekehrt sich einen Obstsalat wünschen, der eine bestimmte Menge an Vitamin C, Calcium und Magnesium besitzt, sagen wir
\mathl{\begin{pmatrix} 180 \\110\\ 140 \end{pmatrix}}{.} Dies führt zum linearen Gleichungssystem in Matrixform
\mavergleichskettedisp
{\vergleichskette
{ \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} 180 \\110\\ 140 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\zwischenueberschrift{Der Matrizenkalkül}
Ein lineares Gleichungssystem lässt sich am einfachsten mit Matrizen schreiben. Dies ermöglicht es, die Umformungen, die zur Lösung eines solchen Systems führen, durchzuführen, ohne immer die Variablen mitschleppen zu müssen. Matrizen \zusatzklammer {und der zugehörige Kalkül} {} {} sind recht einfache Objekte; sie können aber ganz unterschiedliche mathematische Objekte beschreiben \zusatzklammer {eine Familie von Spaltenvektoren, eine Familie von Zeilenvektoren, eine lineare Abbildung, eine Tabelle von Wechselwirkungen, eine zweistellige Relation, ein lineares Vektorfeld etc.} {} {,} die man stets im Hinterkopf haben sollte, um vor Fehlinterpretationen geschützt zu sein.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathkor {} {I} {und} {J} {}
Indexmengen. Eine
\mathl{I\times J}{-}\definitionswort {Matrix}{} ist eine
\definitionsverweis {Abbildung}{}{}
\maabbeledisp {} {I \times J} {K
} {(i,j)} {a_{ij}
} {.}
Bei
\mavergleichskette
{\vergleichskette
{I
}
{ = }{\{1 , \ldots , m\} }
{ }{}
{ }{}
{ }{}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ J
}
{ = }{\{1 , \ldots , n\} }
{ }{}
{ }{}
{ }{}
}
{}{}{}
spricht man von einer
\mathl{m \times n}{-}\definitionswort {Matrix}{.} In diesem Fall schreibt man eine Matrix zumeist tabellarisch als
\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}} { . }
}
Wir beschränken uns weitgehend auf den durchnummerierten Fall.
Zu jedem
\mavergleichskette
{\vergleichskette
{ i
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mathbed {a_{ij}} {,}
{j \in J} {}
{} {} {} {,}
die $i$-te \stichwort {Zeile} {} der Matrix, was man zumeist als ein \stichwort {Zeilentupel} {}
\zusatzklammer {oder einen \stichwort {Zeilenvektor} {}} {} {}
\mathdisp {\left( a_{i1} , \, a_{i2} , \, \ldots , \, a_{in} \right)} { }
schreibt. Zu jedem
\mavergleichskette
{\vergleichskette
{ j
}
{ \in }{ J
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt
\mathbed {a_{ij}} {,}
{i \in I} {}
{} {} {} {,}
die $j$-te \stichwort {Spalte} {} der Matrix, was man zumeist als ein \stichwort {Spaltentupel} {}
\zusatzklammer {oder einen \stichwort {Spaltenvektor} {}} {} {}
\mathdisp {\begin{pmatrix} a_{1j} \\a_{2j}\\ \vdots\\a_{mj} \end{pmatrix}} { }
schreibt. Die Elemente
\mathl{a_{ij}}{} heißen die \stichwort {Einträge} {} der Matrix. Zu
\mathl{a_{ij}}{} heißt $i$ der \stichwort {Zeilenindex} {} und $j$ der \stichwort {Spaltenindex} {} des Eintrags. Man findet den Eintrag
\mathl{a_{ij}}{,} indem man die $i$-te Zeile mit der $j$-ten Spalte kreuzt. Eine Matrix mit
\mavergleichskette
{\vergleichskette
{m
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man eine \stichwort {quadratische Matrix} {.} Eine
\mathl{m \times 1}{-}Matrix ist einfach ein Spaltentupel
\zusatzklammer {oder Spaltenvektor} {} {}
der Länge $m$, und eine
\mathl{1 \times n}{-}Matrix ist einfach ein Zeilentupel
\zusatzklammer {oder Zeilenvektor} {} {}
der Länge $n$. Die Menge aller Matrizen mit $m$ Zeilen und $n$ Spalten
\zusatzklammer {und mit Einträgen in $K$} {} {}
wird mit
\mathl{\operatorname{Mat}_{ m \times n } (K)}{} bezeichnet, bei
\mavergleichskette
{\vergleichskette
{m
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
schreibt man
\mathl{\operatorname{Mat}_{ n } (K)}{.}
Zwei Matrizen
\mavergleichskette
{\vergleichskette
{ A,B
}
{ \in }{ \operatorname{Mat}_{ m \times n } (K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
werden addiert, indem man sie komponentenweise addiert. Ebenso ist die Multiplikation einer Matrix $A$ mit einem Element
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {einem \stichwort {Skalar} {}} {} {}
komponentenweise definiert, also
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ \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} b_{11 } & b_{1 2} & \ldots & b_{1 n } \\
b_{21 } & b_{2 2} & \ldots & b_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ b_{ m 1 } & b_{ m 2 } & \ldots & b_{ m n } \end{pmatrix}
}
{ =} { \begin{pmatrix} a_{11 } +b_{11} & a_{1 2} +b_{12} & \ldots & a_{1 n } +b_{1n}\\
a_{21 } +b_{21} & a_{2 2} +b_{22} & \ldots & a_{2 n } +b_{2n} \\
\vdots & \vdots & \ddots & \vdots \\ a_{ m 1 } +b_{m1} & a_{ m 2 } +b_{m2} & \ldots & a_{ m n } +b_{mn} \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
und
\mavergleichskettedisp
{\vergleichskette
{ r \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} ra_{11 } & ra_{1 2} & \ldots & ra_{1 n } \\
ra_{21 } & ra_{2 2} & \ldots & ra_{2 n } \\
\vdots & \vdots & \ddots & \vdots \\ ra_{ m 1 } & ra_{ m 2 } & \ldots & ra_{ m n } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die Matrizenmultiplikation wird folgendermaßen definiert.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und es sei $A$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
und $B$ eine $n\times p$-Matrix über $K$. Dann ist das \definitionswort {Matrixprodukt}{}
\mathdisp {AB} { }
diejenige
\mathl{m\times p}{-}Matrix, deren Einträge durch
\mavergleichskettedisp
{\vergleichskette
{ c_{ik}
}
{ =} {\sum_{j = 1}^n a_{ij} b_{jk}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gegeben sind.
}
Eine Matrizenmultiplikation ist nur möglich, wenn die Spaltenanzahl der linken Matrix mit der Zeilenanzahl der rechten Matrix übereinstimmt. Als Merk\-regel kann man das Schema
\mavergleichskettedisp
{\vergleichskette
{ (Z E I L E) \begin{pmatrix} S \\P\\ A\\L\\ T \end{pmatrix}
}
{ =} { (ZS+EP+IA+L^2+ET)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
verwenden, das Ergebnis ist eine $1 \times 1$-Matrix. Insbesondere kann man eine
\mathl{m \times n}{-}Matrix $A$ mit einem Spaltenvektor der Länge $n$
\zusatzklammer {von rechts} {} {}
multiplizieren, und erhält dabei einen Spaltenvektor der Länge $m$.
Die beiden soeben angeführten Matrizen kann man auch in der anderen Reihenfolge multiplizieren
\zusatzklammer {was nicht immer möglich ist} {} {}
und man erhält
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} S \\P\\ A\\L\\ T \end{pmatrix} (Z E I L E)
}
{ =} { \begin{pmatrix} SZ & SE & SI & SL & SE \\ PZ & PE & PI & PL & PE \\ AZ & AE & AI & AL & AE \\ LZ & LE & LI & L^2 & LE \\ TZ & TE & TI & TL & TE \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\inputdefinition
{}
{
Eine
$n \times n$-\definitionsverweis {Matrix}{}{}
der Form
\mathdisp {\begin{pmatrix} d_{11} & 0 & \cdots & \cdots & 0 \\ 0 & d_{22} & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & d_{ n-1\, n-1} & 0 \\ 0 & \cdots & \cdots & 0 & d_{ n n} \end{pmatrix}} { }
nennt man \definitionswort {Diagonalmatrix}{.}
}
\inputdefinition
{}
{
Die
$n \times n$-\definitionsverweis {Matrix}{}{}
\mavergleichskettedisp
{\vergleichskette
{ E_{ n }
}
{ \defeq} { \begin{pmatrix} 1 & 0 & \cdots & \cdots & 0 \\ 0 & 1 & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & 1 & 0 \\ 0 & \cdots & \cdots & 0 & 1 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
nennt man die \definitionswort {Einheitsmatrix}{.}
}
Die Einheitsmatrix $E_n$ besitzt die Eigenschaft
\mavergleichskette
{\vergleichskette
{ E_n M
}
{ = }{ M
}
{ = }{ M E_n
}
{ }{
}
{ }{
}
}
{}{}{}
für eine beliebige
\mathl{n\times n}{-}Matrix $M$.
\inputbemerkung
{}
{
Wenn man eine
\definitionsverweis {Matrix}{}{}
\mavergleichskette
{\vergleichskette
{A
}
{ = }{(a_{ij})_{ij}
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
mit einem Spaltenvektor
\mavergleichskette
{\vergleichskette
{x
}
{ = }{\begin{pmatrix} x_{1 } \\ x_{2 }\\ \vdots\\ x_{ n } \end{pmatrix}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\definitionsverweis {multipliziert}{}{,}
so erhält man
\mavergleichskettedisp
{\vergleichskette
{ A 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}
}
{ } {
}
{ } {}
}
{}{}{.}
Damit lässt sich ein
\definitionsverweis {inhomogenes lineares Gleichungssystem}{}{}
mit dem \stichwort {Störvektor} {} $\begin{pmatrix} c_{1 } \\ c_{2 }\\ \vdots\\ c_{ m } \end{pmatrix}$ kurz als
\mavergleichskettedisp
{\vergleichskette
{Ax
}
{ =} {c
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
schreiben. Die erlaubten Gleichungsumformungen durch Manipulationen an den Gleichungen, die die Lösungsmenge nicht ändern, können dann durch die entsprechenden Zeilenumformungen in der Matrix
\zusatzklammer {unter Berücksichtigung der Störvektorseite} {} {}
ersetzt werden. Man muss dann die Variablen nicht mitschleppen.
}
\zwischenueberschrift{Vektorräume}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Vector_Addition.svg} }
\end{center}
\bildtext {Die Addition von zwei Pfeilen $a$ und $b$, ein typisches Beispiel für Vektoren.} }
\bildlizenz { Vector_Addition.svg } {} {Booyabazooka} {Commons} {PD} {}
Der zentrale Begriff der linearen Algebra ist der Vektorraum.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $V$ eine Menge mit einem ausgezeichneten Element
\mavergleichskette
{\vergleichskette
{0
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und mit zwei Abbildungen
\maabbeledisp {+} {V \times V} {V
} {(u,v)} {u+v
} {,}
und
\maabbeledisp {\cdot} {K \times V } {V
} {(s,v) } {s v = s \cdot v
} {.}
Dann nennt man $V$ einen
\definitionswortpraemath {K}{ Vektorraum }{}
\zusatzklammer {oder einen Vektorraum über $K$} {} {,}
wenn die folgenden Axiome erfüllt sind\zusatzfussnote {Die ersten vier Axiome, die unabhängig von $K$ sind, bedeuten, dass $(V,0,+)$ eine
\definitionsverweis {kommutative Gruppe}{}{}
ist} {.} {}
\zusatzklammer {dabei seien
\mathkor {} {r,s \in K} {und} {u,v,w \in V} {} beliebig} {} {}
\zusatzfussnote {Auch für Vektorräume gilt die \stichwort {Klammerkonvention} {,} dass Punktrechnung stärker bindet als Strichrechnung} {.} {}
\aufzaehlungacht{
\mavergleichskette
{\vergleichskette
{ u+v
}
{ = }{v+u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{(u+v)+w
}
{ = }{ u +(v+w)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ v+0
}
{ = }{v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{Zu jedem $v$ gibt es ein $z$ mit
\mavergleichskette
{\vergleichskette
{v+z
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{1 \cdot u
}
{ = }{ u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ r(su)
}
{ = }{ (rs) u
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ r(u+v)
}
{ = }{ru + rv
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
}{
\mavergleichskette
{\vergleichskette
{ (r+s) u
}
{ = }{ru + su
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Die Verknüpfung in $V$ nennt man
\zusatzklammer {Vektor} {} {-}Addition und die Operation
\maabb {} {K \times V} {V
} {}
nennt man \stichwort {Skalarmultiplikation} {.} Die Elemente in einem Vektorraum nennt man \stichwort {Vektoren} {,} und die Elemente
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißen \stichwort {Skalare} {.} Das Nullelement
\mavergleichskette
{\vergleichskette
{ 0
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
wird auch als \stichwort {Nullvektor} {} bezeichnet, und zu
\mavergleichskette
{\vergleichskette
{v
}
{ \in }{V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt das inverse Element das \stichwort {Negative} {} zu $v$ und wird mit $-v$ bezeichnet. Den Körper, der im Vektorraumbegriff vorausgesetzt ist, nennt man auch den \stichwort {Grundkörper} {.} Alle Begriffe der linearen Algebra beziehen sich auf einen solchen Grundkörper, er darf also nie vergessen werden, auch wenn er manchmal nicht explizit aufgeführt wird. Bei
\mavergleichskette
{\vergleichskette
{K
}
{ = }{\R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
spricht man von \stichwort {reellen Vektorräumen} {} und bei
\mavergleichskette
{\vergleichskette
{K
}
{ = }{ {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
von \stichwort {komplexen Vektorräumen} {.} Bei reellen und komplexen Vektorräumen gibt es zusätzliche Strukturen wie Längen, Winkel, Skalarprodukt. Zunächst entwickeln wir aber die algebraische Theorie der Vektorräume über einem beliebigen Körper.
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Vector_space_illust.svg} }
\end{center}
\bildtext {} }
\bildlizenz { Vector space illust.svg } {} {Oleg Alexandrov} {Commons} {PD} {}
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ n
}
{ \in }{ \N_+
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Dann ist die
\definitionsverweis {Produktmenge}{}{}
\mavergleichskettedisp
{\vergleichskette
{K^n
}
{ =} { \underbrace{K \times \cdots \times K }_{n\text{-mal} }
}
{ =} { { \left\{ (x_1 , \ldots , x_{ n }) \mid x_i \in K \right\} }
}
{ } {}
{ } {}
}
{}{}{}
mit der komponentenweisen Addition und der durch
\mavergleichskettedisp
{\vergleichskette
{ s (x_1 , \ldots , x_{ n })
}
{ =} { (s x_1 , \ldots , s x_{ n })
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
definierten Skalarmultiplikation ein
\definitionsverweis {Vektorraum}{}{.}
Man nennt ihn den $n$-di\-mensionalen \stichwort {Standardraum} {.} Insbesondere ist
\mavergleichskette
{\vergleichskette
{K^1
}
{ = }{K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
selbst ein Vektorraum.
}
Der Nullraum $0$, der aus dem einzigen Element $0$ besteht, ist ebenfalls ein Vektorraum. Man kann ihn auch als
\mavergleichskette
{\vergleichskette
{K^0
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auffassen.
Die Vektoren im Standardraum $K^n$ kann man als Zeilenvektoren
\mathdisp {\left( a_1 , \, a_2 , \, \ldots , \, a_n \right)} { }
oder als Spaltenvektoren
\mathdisp {\begin{pmatrix} a_1 \\a_2\\ \vdots\\a_n \end{pmatrix}} { }
schreiben. Der Vektor
\mavergleichskettedisp
{\vergleichskette
{ e_i
}
{ \defeq} { \begin{pmatrix} 0 \\ \vdots\\ 0\\1\\ 0\\ \vdots\\ 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei die $1$ an der $i$-ten Stelle steht, heißt $i$-ter \stichwort {Standardvektor} {.}
\inputbeispiel{
}
{
Die
\definitionsverweis {komplexen Zahlen}{}{}
${\mathbb C}$ bilden einen
\definitionsverweis {Körper}{}{}
und daher bilden sie einen
\definitionsverweis {Vektorraum}{}{}
über sich selbst. Andererseits sind die komplexen Zahlen als additive Struktur gleich $\R^2$. Die Multiplikation einer komplexen Zahl
\mathl{a+b { \mathrm i}}{} mit einer reellen Zahl
\mavergleichskette
{\vergleichskette
{ s
}
{ = }{ (s,0)
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
geschieht komponentenweise, d.h. diese Multiplikation stimmt mit der skalaren Multiplikation auf $\R^2$ überein. Daher sind die komplexen Zahlen auch ein reeller Vektorraum. Unter Verwendung einer späteren Terminologie kann man sagen, dass ${\mathbb C}$ ein eindimensionaler komplexer Vektorraum ist und dass ${\mathbb C}$ ein zweidimensionaler reeller Vektorraum ist mit der reellen Basis
\mathkor {} {1} {und} {{ \mathrm i}} {.}
}
\inputbeispiel{}
{
Zu einem
\definitionsverweis {Körper}{}{}
$K$ und gegebenen natürlichen Zahlen
\mathl{m,n}{} bildet die Menge
\mathdisp {\operatorname{Mat}_{ m \times n } (K)} { }
der
\mathl{m \times n}{-}Matrizen mit komponentenweiser Addition und komponentenweiser Skalarmultiplikation einen
$K$-\definitionsverweis {Vektorraum}{}{.}
Das Nullelement in diesem Vektorraum ist die \stichwort {Nullmatrix} {}
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { \begin{pmatrix} 0 & \ldots & 0 \\ \vdots & \ddots & \vdots \\0 & \ldots & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Es sei
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K[X]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
der
\definitionsverweis {Polynomring}{}{}
in einer Variablen über dem
\definitionsverweis {Körper}{}{}
$K$, der aus sämtlichen Polynomen, also Ausdrücken der Form
\mathdisp {a_nX^n+a_{n-1}X^{n-1} + \cdots + a_2X^2+a_1X+a_0} { }
mit
\mavergleichskette
{\vergleichskette
{ a_i
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
besteht. Mit
\zusatzklammer {komponentenweiser} {} {}
Addition und der ebenfalls komponentenweisen Multiplikation mit einem Skalar
\mavergleichskette
{\vergleichskette
{s
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {was man auch als die Multiplikation mit dem konstanten Polynom $s$ auffassen kann} {} {}
ist der Polynomring ein
$K$-\definitionsverweis {Vektorraum}{}{.}
}
{Vektorraum/Einfache Eigenschaften/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $V$ ein
$K$-\definitionsverweis {Vektorraum}{}{.}}
\faktuebergang {Dann gelten die folgenden Eigenschaften
\zusatzklammer {dabei sei
\mathkork {} {v \in V} {und} {s \in K} {}} {} {.}}
\faktfolgerung {\aufzaehlungvier{Es ist
\mavergleichskette
{\vergleichskette
{ 0v
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\zusatzfussnote {Man mache sich hier und im Folgenden klar, wann die $0$ in $K$ und wann sie in $V$ zu verstehen ist} {.} {}
}{Es ist
\mavergleichskette
{\vergleichskette
{ s 0
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Es ist
\mavergleichskette
{\vergleichskette
{ (-1) v
}
{ = }{ -v
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Aus
\mavergleichskette
{\vergleichskette
{ s
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ v
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
folgt
\mavergleichskette
{\vergleichskette
{ s v
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 22.34. }
\zwischenueberschrift{Untervektorräume}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und $V$ ein
$K$-\definitionsverweis {Vektorraum}{}{.} Eine Teilmenge
\mavergleichskette
{\vergleichskette
{ U
}
{ \subseteq }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt \definitionswort {Untervektorraum}{,} wenn die folgenden Eigenschaften gelten.
\aufzaehlungdrei{
\mavergleichskette
{\vergleichskette
{ 0
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Mit
\mavergleichskette
{\vergleichskette
{ u,v
}
{ \in }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ u+v
}
{ \in }{U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Mit
\mavergleichskette
{\vergleichskette
{ u
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ s
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist auch
\mavergleichskette
{\vergleichskette
{ s u
}
{ \in }{ U
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
}
Auf einem solchen Untervektorraum kann man die Addition und die skalare Multiplikation einschränken. Daher ist ein Untervektorraum selbst ein Vektorraum, siehe Aufgabe 22.20. Die einfachsten Untervektorräume in einem Vektorraum $V$ sind der Nullraum $0$ und der gesamte Vektorraum $V$.
{Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Lösungsraum ist Vektorraum/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mathdisp {\begin{matrix} a _{ 1 1 } x _1 + a _{ 1 2 } x _2 + \cdots + a _{ 1 n } x _{ n } & = & 0 \\ a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & = & 0 \\ \vdots & \vdots & \vdots \\ a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & = & 0 \end{matrix}} { }
ein
\definitionsverweis {homogenes lineares Gleichungssystem}{}{}
über $K$.}
\faktfolgerung {Dann ist die Menge aller Lösungen des Gleichungssystems ein
\definitionsverweis {Untervektorraum}{}{}
des $K^n$
\zusatzklammer {mit komponentenweiser Addition und Skalarmultiplikation} {} {.}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 22.22. }
Man spricht daher auch vom \stichwort {Lösungsraum} {} des Gleichungssystems. Insbesondere ist die Summe von zwei Lösungen eines linearen Gleichungssystems wieder eine Lösung. Die Lösungsmenge eines inhomogenen Gleichungssystems ist kein Vektorraum. Man kann aber zu einer Lösung eines inhomogenen Gleichungssystems eine Lösung des zugehörigen homogenen Gleichungssystems hinzuaddieren und erhält wieder eine Lösung des inhomogenen Gleichungssystems.
\inputbeispiel{}
{
Wir knüpfen an die homogene Version von
Beispiel 21.11
an, d.h. wir betrachten das homogene lineare Gleichungssystem
\mathdisp {\begin{matrix}
2x & +5y & +2z & & -v & = & 0 \\
3x & -4y & & +u & +2v & = & 0 \\
4x & & -2z & +2u & & = & 0 \, .
\end{matrix}} { }
über $\R$. Aufgrund von
Lemma 22.14
ist die Lösungsmenge $L$ ein Untervektorraum von $\R^5$. Wir haben ihn in
Beispiel 21.11
explizit als
\mathdisp {{ \left\{ u { \left( - { \frac{ 1 }{ 3 } }, 0 , { \frac{ 1 }{ 3 } } ,1,0 \right) } + v { \left( - { \frac{ 2 }{ 13 } }, { \frac{ 5 }{ 13 } }, -{ \frac{ 4 }{ 13 } },0,1 \right) } \mid u,v \in \R \right\} }} { }
beschrieben, woraus ebenfalls erkennbar ist, dass dieser Lösungsraum ein Vektorraum ist. In dieser Schreibweise wird klar, dass $L$ in Bijektion zu $\R^2$ steht, und zwar respektiert diese Bijektion sowohl die Addition als auch die Skalarmultiplikation
\zusatzklammer {die Lösungsmenge $L'$ des inhomogenen Systems steht ebenfalls in Bijektion zu $\R^2$, allerdings gibt es keine sinnvolle Addition und Skalarmultiplikation auf $L'$} {} {.}
Allerdings hängt diese Bijektion wesentlich von den gewählten \anfuehrung{Basislösungen}{}
\mathkor {} {{ \left( - { \frac{ 1 }{ 3 } }, 0 , { \frac{ 1 }{ 3 } } ,1,0 \right) }} {und} {{ \left( - { \frac{ 2 }{ 13 } }, { \frac{ 5 }{ 13 } }, -{ \frac{ 4 }{ 13 } },0,1 \right) }} {}
ab, die von der gewählten Eliminationsreihenfolge abhängen. Es gibt für $L$ andere gleichberechtigte Basislösungen.
}
An diesem Beispiel kann man sich Folgendes klar machen: Der Lösungsraum eines linearen Gleichungssystems über $K$ ist \anfuehrung{in natürlicher Weise}{,} d.h. unabhängig von jeder Auswahl, ein Untervektorraum des $K^n$
\zusatzklammer {wenn $n$ die Anzahl der Variablen ist} {} {.}
Der Lösungsraum kann auch stets in eine \anfuehrung{lineare Bijektion}{}
\zusatzklammer {eine \anfuehrung{Isomorphie}{}} {} {}
mit einem
\mathl{K^{d}}{}
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{d
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
gebracht werden, doch gibt es dafür keine natürliche Wahl. Dies ist einer der Hauptgründe dafür, mit dem abstrakten Vektorraumbegriff zu arbeiten anstatt lediglich mit dem $K^n$.