Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I/Vorlesung 5/latex

Aus Wikiversity
Zur Navigation springen Zur Suche springen

\setcounter{section}{5}

Die Vorlesungen der nächsten Wochen beschäftigen sich mit \stichwort {linearer Algebra} {.} Dabei wird stets ein Körper $K$ zugrunde gelegt, wobei man dabei grundsätzlich an die reellen Zahlen $\R$ denken kann. Da es aber zunächst bei Fragen der linearen Algebra nur auf die algebraischen Eigenschaften von $\R$ ankommt und wir deren analytische Eigenschaften noch nicht besprochen haben, kann man genauso gut an die rationalen Zahlen denken. Ab der Eigenwerttheorie \zusatzklammer {im nächsten Semester} {} {} werden dann auch analytische Eigenschaften bedeutsam.






\zwischenueberschrift{Lineare Gleichungssysteme}

Wir beginnen mit drei einführenden Beispielen, einem alltäglichen, einem geometrischen und einem physikalischen, die alle zu einem linearen Gleichungssystem führen.




\inputbeispiel{ }
{






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mulled-wine-3.eps} }
\end{center}
\bildtext {} }

\bildlizenz { Mulled-wine-3.jpg } {} {Loyna} {Commons} {CC-by-sa 2.5} {}

An einem Stand auf dem Weihnachtsmarkt gibt es drei verschiedene Glühweintöpfe. Alle drei beinhalten die Zutaten Zimt, Gewürznelken, Rotwein und Zucker, allerdings mit unterschiedlichen Anteilen. Die Zusammensetzung der einzelnen Glühweine ist
\mathdisp {G_1 = \begin{pmatrix} 1 \\2\\ 11\\2 \end{pmatrix} , \, G_2 = \begin{pmatrix} 2 \\2\\ 12\\3 \end{pmatrix} , \, G_3 = \begin{pmatrix} 3 \\1\\ 20\\7 \end{pmatrix}} { . }
Jeder Glühwein wird also repräsentiert durch ein Vierertupel, deren einzelne Einträge für die Anteile an den Zutaten stehen. Die Menge aller \zusatzklammer {möglichen} {} {} Glühweine bilden einen Vektorraum \zusatzklammer {diesen Begriff werden wir in der nächsten Vorlesung einführen} {} {,} und die drei konkreten Glühweine sind drei Vektoren in diesem Raum.

Nehmen wir an, dass keiner dieser drei Glühweine genau den gewünschten Geschmack trifft und dass der Wunschglühwein die Zusammensetzung
\mavergleichskettedisp
{\vergleichskette
{W }
{ =} { \begin{pmatrix} 1 \\2\\ 20\\5 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} hat. Gibt es eine Möglichkeit, den Wunschglühwein durch Zusammenschütten der vorgegebenen Glühweine zu erhalten? Gibt es also Zahlen\zusatzfussnote {Sinnvoll interpretierbar sind in diesem Beispiel nur positive Zahlen, da man schwerlich aus einem Glühweingemisch die einzelnen verwendeten Glühweinsorten wieder herausziehen kann. In der linearen Algebra spielt sich aber alles über einem Körper ab, so dass wir auch negative Zahlen zulassen} {.} {}
\mathl{a,b,c \in \Q}{} derart, dass
\mavergleichskettedisp
{\vergleichskette
{ a \begin{pmatrix} 1 \\2\\ 11\\2 \end{pmatrix} + b \begin{pmatrix} 2 \\2\\ 12\\3 \end{pmatrix} + c \begin{pmatrix} 3 \\1\\ 20\\7 \end{pmatrix} }
{ =} { \begin{pmatrix} 1 \\2\\ 20\\5 \end{pmatrix} }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt. Hinter dieser einen vektoriellen Gleichung liegen vier einzelne Gleichungen in den \anfuehrung{Variablen}{} $a,b,c$, wobei die Gleichungen sich aus den Zeilen ergeben. Wann gibt es eine solche Lösung, wann keine, wann mehrere? Das sind typische Fragen der linearen Algebra.


}






\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {IntersectingPlanes.eps} }
\end{center}
\bildtext {Zwei Ebenen im Raum, die sich in einer Geraden schneiden.} }

\bildlizenz { IntersectingPlanes.png } {} {ShahabELS} {Commons} {CC-by-sa 3.0} {}




\inputbeispiel{}
{

Im $\R^3$ seien zwei Ebenen
\mavergleichskettedisp
{\vergleichskette
{E }
{ =} { { \left\{ (x,y,z) \in \R^3 \mid 4x-2y-3z = 5 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} und
\mavergleichskettedisp
{\vergleichskette
{F }
{ =} { { \left\{ (x,y,z) \in \R^3 \mid 3x-5y+2z = 1 \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{} gegeben\zusatzfussnote {An dieser Stelle diskutieren wir nicht, dass solche Gleichungen Ebenen beschreiben. Die Lösungsmengen sind \anfuehrung{verschobene Untervektorräume der Dimension zwei}{}} {.} {.} Wie kann man die Schnittgerade
\mavergleichskette
{\vergleichskette
{G }
{ = }{E \cap F }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} beschreiben? Ein Punkt
\mavergleichskette
{\vergleichskette
{P }
{ = }{ (x,y,z) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} liegt genau dann auf der Schnittgerade, wenn er die beiden \stichwort {Ebenengleichungen} {} erfüllt; es muss also sowohl
\mathdisp {4x-2y-3z = 5 \text{ als auch } 3x-5y+2z = 1} { }
gelten. Wir multiplizieren die erste Gleichung mit $3$ und ziehen davon das $4$-fache der zweiten Gleichung ab und erhalten
\mavergleichskettedisp
{\vergleichskette
{ 14 y - 17 z }
{ =} { 11 }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wenn man
\mavergleichskette
{\vergleichskette
{y }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzt, so muss
\mavergleichskette
{\vergleichskette
{z }
{ = }{- { \frac{ 11 }{ 17 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und
\mavergleichskette
{\vergleichskette
{x }
{ = }{ { \frac{ 13 }{ 17 } } }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sein. D.h. der Punkt
\mavergleichskette
{\vergleichskette
{P }
{ = }{ \left( { \frac{ 13 }{ 17 } } , \, 0 , \, - { \frac{ 11 }{ 17 } } \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gehört zu $G$. Ebenso findet man, indem man
\mavergleichskette
{\vergleichskette
{z }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} setzt, den Punkt
\mavergleichskette
{\vergleichskette
{Q }
{ = }{ \left( { \frac{ 23 }{ 14 } } , \, { \frac{ 11 }{ 14 } } , \, 0 \right) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Damit ist die Schnittgerade die Verbindungsgerade dieser Punkte, also
\mavergleichskettedisp
{\vergleichskette
{G }
{ =} { { \left\{ \left( { \frac{ 13 }{ 17 } } , \, 0 , \, - { \frac{ 11 }{ 17 } } \right) + t \left( { \frac{ 209 }{ 238 } } , \, { \frac{ 11 }{ 14 } } , \, { \frac{ 11 }{ 17 } } \right) \mid t \in \R \right\} } }
{ } { }
{ } { }
{ } { }
} {}{}{.}


}




\inputbeispiel{}
{






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

\bildlizenz { Wbridge2.svg } {} {Rhdv} {Commons} {CC-by-sa 3.0} {}

Ein elektrisches Netzwerk \zusatzklammer {ein Gleichstrom-Netzwerk} {} {} besteht aus mehreren miteinander verbundenen Drähten, die in diesem Zusammenhang die Kanten des Netzwerks genannt werden. In jeder Kante $K_j$ liegt ein bestimmter \zusatzklammer {vom Material und der Kantenlänge abhängigen} {} {} Widerstand $R_j$ vor. Die Verbindungspunkte $P_n$, in denen die Kanten zusammenlaufen, nennt man die Knoten des Netzwerks. Wenn an das Netzwerk \zusatzklammer {bzw. gewisse Kanten davon} {} {} eine Spannung angelegt wird, so fließt in jeder Kante ein bestimmter Strom $I_j$. Es ist sinnvoll, für jede Kante eine Richtung zu fixieren, um die Fließrichtung des Stromes in dieser Kante unterscheiden zu können \zusatzklammer {wenn der Strom in die entgegengesetze Richtung fließt, so bekommt er ein negatives Vorzeichen} {} {.} Man spricht von gerichteten Kanten. In einem Knotenpunkt des Netzwerks fließen die Ströme der verschiedenen anliegenden Kanten zusammen, ihre Summe muss $0$ ergeben. Entlang einer Kante $K_j$ kommt es zu einem Spannungsabfall $U_j$, der durch das Ohmsche Gesetz
\mavergleichskettedisp
{\vergleichskette
{U_j }
{ =} { R_j \cdot I_j }
{ } { }
{ } { }
{ } {}
} {}{}{} beschrieben wird.

Unter einer Masche \zusatzklammer {oder einem Zykel} {} {} des Netzwerks versteht man eine geschlossene gerichtete Verbindung von Kanten. Für eine solche Masche ist die Gesamtspannung $0$, es sei denn, es wird \anfuehrung{von außen}{} eine Spannung angelegt.

Wir listen diese \stichwort {Kirchhoffschen Regeln} {} nochmal auf. \aufzaehlungdrei{In jedem Knoten ist die Summe der \zusatzklammer {ein- und abfließenden} {} {} Ströme gleich $0$. }{In jeder Masche ist die Summe der Spannungen gleich $0$. }{Wenn in einer Masche eine Spannung $V$ angelegt wird, so ist die Summe der Spannungen gleich $V$. } Aus \anfuehrung{physikalischen Gründen}{} ist zu erwarten, dass bei einer angelegten Spannung in jeder Kante ein wohlbestimmter Strom fließt. In der Tat lässt sich dieser aus den genannten Gesetzmäßigkeiten berechnen, indem man diese in ein lineares Gleichungssystem übersetzt und dieses löst.

In dem durch das Bild angegebenen Beispiel seien die Kanten
\mathl{K_1 , \ldots , K_5}{} \zusatzklammer {mit den Widerständen \mathlk{R_1 , \ldots , R_5}{}} {} {} von links nach rechts gerichtet, und die Verbindungskante $K_0$ von $A$ nach $C$ \zusatzklammer {an die die Spannung $V$ angelegt sei} {} {,} sei von unten nach oben gerichtet. Die vier Knotenpunkte und die drei Maschen $(A,D,B),\, (D,B,C)$ und $(A,D,C)$ führen auf das lineare Gleichungssystem \zusatzklammer {einfließende Ströme gehen negativ und abfließende Ströme positiv ein; für die Maschen wählt man eine \anfuehrung{Kreisrichtung}{,} im Beispiel nehmen wir den Uhrzeigersinn, und führen die gleichorientierten Spannungen positiv an} {} {}
\mathdisp {\begin{matrix} I_0 & + I_1 & & -I_3 & & & = & 0 \\ & & & I_3 & +I_4 & +I_5 & = & 0 \\ - I_0 & & +I_2 & & -I_4 & & = & 0 \\ & -I_1 & -I_2 & & & -I_5 & = & 0 \\ & R_1 I_1 & & +R_3 I_3 & & -R_5 I_5 & = & 0 \\ & & -R_2 I_2 & & -R_4I_4 & +R_5I_5 & = & 0 \\ & -R_1I_1 & +R_2I_2 & & & & = & -V \, . \end{matrix}} { }
Dabei sind die $R_j$ und $V$ vorgegebene Zahlen und die $I_j$ sind gesucht.


}




\inputdefinition
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und
\mathl{a_{ij} \in K}{} für \mathkor {} {1 \leq i \leq m} {und} {1 \leq j \leq n} {.} Dann nennt man
\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 \zusatzklammer {homogenes} {} {} \definitionswort {lineares Gleichungssystem}{} in den Variablen
\mathl{x_1 , \ldots , x_n}{.} Ein Tupel
\mavergleichskette
{\vergleichskette
{ ( \xi_1 , \ldots , \xi_n) }
{ \in }{ K^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {Lösung des linearen Gleichungssystems}{,} wenn
\mavergleichskette
{\vergleichskette
{ \sum_{j = 1}^n a_{ij } \xi_j }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle
\mavergleichskette
{\vergleichskette
{i }
{ = }{1 , \ldots , m }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} ist.

Wenn
\mathl{(c_1 , \ldots , c_m) \in K^m}{} beliebig\zusatzfussnote {Ein solcher Vektor heißt manchmal ein \stichwort {Störvektor} {} des Systems} {.} {} ist, so heißt
\mathdisp {\begin{matrix} a _{ 1 1 } x _1 + a _{ 1 2 } x _2 + \cdots + a _{ 1 n } x _{ n } & = & c_1 \\ a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & = & c_2 \\ \vdots & \vdots & \vdots \\ a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & = & c_m \end{matrix}} { }
ein \definitionswort {inhomogenes lineares Gleichungssystem}{} und ein Tupel
\mavergleichskette
{\vergleichskette
{ ( \zeta_1 , \ldots , \zeta_n) }
{ \in }{ K^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} heißt \definitionswort {Lösung des inhomogenen linearen Gleichungssystems}{,} wenn
\mavergleichskette
{\vergleichskette
{\sum_{j = 1}^n a_{ij} \zeta_j }
{ = }{ c_i }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} für alle $i$ ist.

}

Die Menge aller Lösungen eines linearen Gleichungssystems heißt die \stichwort {Lösungsmenge} {.} Im homogenen Fall spricht man auch vom \stichwort {Lösungsraum} {,} da es sich in der Tat, wie wir in der nächsten Vorlesung sehen werden, um einen Vektorraum handelt.

Ein homogenes lineares Gleichungssystem besitzt immer die sogenannte \stichwort {triviale Lösung} {}
\mavergleichskette
{\vergleichskette
{0 }
{ = }{(0 , \ldots , 0) }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Ein inhomogenes Gleichungssystem braucht nicht unbedingt eine Lösung haben. Zu einem inhomogenen linearen Gleichungssystem heißt das homogene System, das entsteht, wenn man den Störvektor gleich $0$ setzt, das \stichwort {zugehörige homogene System} {.}




\inputbeispiel{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und
\mathl{m \in \N}{.} Im $K^m$ seien $n$ Vektoren \zusatzklammer {oder $m$-Tupel} {} {}
\mathdisp {v_1 = \begin{pmatrix} a_{1 1 } \\ a_{2 1 }\\ \vdots\\ a_{ m 1 } \end{pmatrix},\, v_2= \begin{pmatrix} a_{1 2 } \\ a_{2 2 }\\ \vdots\\ a_{ m 2 } \end{pmatrix} , \ldots , v_n = \begin{pmatrix} a_{1 n } \\ a_{2 n }\\ \vdots\\ a_{ m n } \end{pmatrix}} { }
gegeben und sei
\mathdisp {w= \begin{pmatrix} c_{1 } \\ c_{2 }\\ \vdots\\ c_{ m } \end{pmatrix}} { }
ein weiterer Vektor. Wir wollen wissen, wann sich $w$ als Linearkombination\anfuehrung{Linearkombination}{} der $v_j$ darstellen lässt. Es geht also um die Frage, ob es $n$ Elemente
\mathl{s_1 , \ldots , s_n \in K}{} gibt mit der Eigenschaft
\mathdisp {s_1 \begin{pmatrix} a_{1 1 } \\ a_{2 1 }\\ \vdots\\ a_{ m 1 } \end{pmatrix} + s_2 \begin{pmatrix} a_{1 2 } \\ a_{2 2 }\\ \vdots\\ a_{ m 2 } \end{pmatrix} + \cdots + s_n \begin{pmatrix} a_{1 n } \\ a_{2 n }\\ \vdots\\ a_{ m n } \end{pmatrix} = \begin{pmatrix} c_{1 } \\ c_{2 }\\ \vdots\\ c_{ m } \end{pmatrix}} { . }
Die Gleichheit von Vektoren bedeutet, dass Übereinstimmung in jeder Komponenten vorliegen muss, so dass dies zum \definitionsverweis {linearen Gleichungssystem}{}{}
\mathdisp {\begin{matrix} a _{ 1 1 } s _1 + a _{ 1 2 } s _2 + \cdots + a _{ 1 n } s _{ n } & = & c_1 \\ a _{ 2 1 } s _1 + a _{ 2 2 } s _2 + \cdots + a _{ 2 n } s _{ n } & = & c_2 \\ \vdots & \vdots & \vdots \\ a _{ m 1 } s _1 + a _{ m 2 } s _2 + \cdots + a _{ m n } s _{ n } & = & c_m \end{matrix}} { }
führt.


}






\zwischenueberschrift{Das Lösen von linearen Gleichungssystemen}

Lineare Gleichungssysteme werden mit dem \stichwort {Eliminationsverfahren} {} gelöst, bei dem nach und nach Variablen eliminiert werden und schließlich ein besonders einfaches äquivalentes Gleichungssystem entsteht, das direkte gelöst werden kann \zusatzklammer {bzw. von dem gezeigt werden kann, dass es keine Lösung besitzt} {} {.}




\inputdefinition
{}
{

Es sei $K$ ein \definitionsverweis {Körper}{}{} und seien zwei \zusatzklammer {inhomogene} {} {} \definitionsverweis {lineare Gleichungssysteme}{}{} zur gleichen Variablenmenge gegeben. Die Systeme heißen \definitionswort {äquivalent}{,} wenn ihre Lösungsmengen übereinstimmen.

}





\inputfaktbeweis
{Lineare Algebra/Variablenmenge/Lineares Gleichungssystem/Äquivalente Systeme/Manipulationen/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 } & = & c_1 \\ a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & = & c_2 \\ \vdots & \vdots & \vdots \\ a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & = & c_m \end{matrix}} { }
ein \definitionsverweis {inhomogenes lineares Gleichungssystem}{}{} über $K$.}
\faktfolgerung {Dann führen die folgenden Manipulationen an diesem Gleichungssystem zu einem \definitionsverweis {äquivalenten Gleichungssystem}{}{.} \aufzaehlungsechs{Das Vertauschen von zwei Gleichungen. }{Die Multiplikation einer Gleichung mit einem Skalar
\mathl{s \neq 0}{.} }{Das einfache Weglassen einer Gleichung, die doppelt vorkommt. }{Das Verdoppeln einer Gleichung \zusatzklammer {im Sinne von eine Gleichung zweimal hinschreiben} {} {.} }{Das Weglassen oder Hinzufügen einer Nullzeile \zusatzklammer {einer Nullgleichung} {} {.} }{Das Ersetzen einer Gleichung $H$ durch diejenige Gleichung, die entsteht, wenn man zu $H$ eine andere Gleichung $G$ des Systems addiert. }}
\faktzusatz {}
\faktzusatz {}

}
{

Die meisten Aussagen sind direkt klar. (2) ergibt sich einfach daraus, dass wenn
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n a_i \xi_i }
{ =} {c }
{ } { }
{ } { }
{ } { }
} {}{}{} gilt, dass dann auch
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n (s a_i) \xi_i }
{ =} {s c }
{ } { }
{ } { }
{ } { }
} {}{}{} für jedes
\mavergleichskette
{\vergleichskette
{ s }
{ \in }{ K }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gilt. Bei
\mavergleichskette
{\vergleichskette
{ s }
{ \neq }{ 0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} kann man diesen Übergang durch Multiplikation mit $s^{-1}$ rückgängig machen.

(6). Es sei $G$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n a_ix_i }
{ =} { c }
{ } { }
{ } { }
{ } { }
} {}{}{} und $H$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 1}^n b_ix_i }
{ =} { d }
{ } { }
{ } { }
{ } { }
} {}{}{.} Wenn ein Tupel
\mavergleichskette
{\vergleichskette
{ (\xi_1 , \ldots , \xi_n) }
{ \in }{ K^n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} die beiden Gleichungen erfüllt, so erfüllt es auch die Gleichung
\mavergleichskette
{\vergleichskette
{H' }
{ = }{G+H }
{ }{ }
{ }{ }
{ }{ }
} {}{}{.} Und wenn das Tupel die beiden Gleichungen \mathkor {} {G} {und} {H'} {} erfüllt, so auch die Gleichung \mathkor {} {G} {und} {H=H'-G} {.}

}


Für die praktische Lösung eines linearen Gleichungssystems sind die beiden Manipulationen (2) und (6) am wichtigsten, wobei man in aller Regel diese beiden Schritte kombiniert und eine Gleichung $H$ durch eine Gleichung der Form
\mathl{H + \lambda G}{} \zusatzklammer {mit \mathlk{G \neq H}{}} {} {} ersetzt. Dabei wird
\mathl{\lambda \in K}{} so gewählt, dass die neue Gleichung eine Variable weniger besitzt als die alte. Man spricht von \stichwort {Elimination einer Variablen} {.} Diese Elimination wird nicht nur für eine Zeile durchgeführt, sondern für alle Zeilen mit der Ausnahme von einer \zusatzklammer {geeignet gewählten} {} {} \anfuehrung{Arbeitszeile}{} $G$ und mit einer fixierten \anfuehrung{Arbeitsvariablen}{.} Das folgende \stichwort {Eliminationslemma} {} beschreibt diesen Rechenschritt.




\inputfaktbeweis
{Lineares Gleichungssystem/Eliminationslemma/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei $K$ ein \definitionsverweis {Körper}{}{} und $S$ ein \zusatzklammer {inhomogenes} {} {} lineares Gleichungssystem über $K$ in den Variablen
\mathl{x_1 , \ldots , x_n}{.}}
\faktvoraussetzung {Es sei $x$ eine Variable, die in mindestens einer Gleichung $G$ mit einem von $0$ verschiedenen Koeffizienten $a$ vorkommt.}
\faktfolgerung {Dann lässt sich jede von $G$ verschiedene\zusatzfussnote {Mit verschieden ist hier gemeint, dass die beiden Gleichungen einen unterschiedlichen Index im System haben. Es ist also sogar der Fall erlaubt, dass \mathkor {} {G} {und} {H} {} dieselbe, aber doppelt aufgeführte Gleichung ist} {.} {} Gleichung $H$ durch eine Gleichung $H'$ ersetzen, in der $x$ nicht mehr vorkommt, und zwar so, dass das neue Gleichungssystem $S'$, das aus $G$ und den Gleichungen $H'$ besteht, \definitionsverweis {äquivalent}{}{} zum Ausgangssystem $S$ ist.}
\faktzusatz {}
\faktzusatz {}

}
{

Durch Umnummerieren kann man
\mavergleichskette
{\vergleichskette
{x }
{ = }{x_1 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} erreichen. Es sei $G$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ ax_1 + \sum_{i = 2}^n a_ix_i }
{ =} {b }
{ } { }
{ } { }
{ } { }
} {}{}{} \zusatzklammer {mit \mathlk{a \neq 0}{}} {} {} und $H$ die Gleichung
\mavergleichskettedisp
{\vergleichskette
{ cx_1 + \sum_{i = 2}^n c_ix_i }
{ =} {d }
{ } { }
{ } { }
{ } { }
} {}{}{.} Dann hat die Gleichung
\mavergleichskettedisp
{\vergleichskette
{H' }
{ =} {H - { \frac{ c }{ a } } G }
{ } { }
{ } { }
{ } { }
} {}{}{} die Gestalt
\mavergleichskettedisp
{\vergleichskette
{ \sum_{i = 2}^n { \left(c_i- { \frac{ c }{ a } } a_i\right) } x_i }
{ =} { d -{ \frac{ c }{ a } } b }
{ } { }
{ } { }
{ } { }
} {}{}{,} in der $x_1$ nicht mehr vorkommt. Wegen
\mavergleichskette
{\vergleichskette
{H }
{ = }{H' + { \frac{ c }{ a } } G }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} sind die Gleichungssysteme \definitionsverweis {äquivalent}{}{.}

}





\inputfaktbeweis
{Lineares inhomogenes Gleichungssystem/Elimination/Stufengestalt/Fakt}
{Satz}
{}
{

\faktsituation {Jedes \zusatzklammer {inhomogene} {} {} lineare Gleichungssystem über einem Körper $K$}
\faktfolgerung {lässt sich durch die in Lemma 5.7 beschriebenen elementaren Umformungen und durch das Weglassen von überflüssigen Gleichungen in ein \definitionsverweis {äquivalentes lineares Gleichungssystem}{}{} der Stufenform
\mathdisp {\begin{matrix}

b_{1s_1} x_{s_1} & + b_{1 s_1 +1} x_{s_1+1} & \ldots & \ldots & \ldots & \ldots & \ldots & +b_{1 n} x_{n} & = & d_1 \\

0 & \ldots & 0 & b_{2 s_2} x_{s_2} & \ldots & \ldots & \ldots & + b_{2 n} x_{n} & = & d_2 \\

\vdots & \ddots & \ddots & \vdots & \vdots & \vdots & \vdots & \vdots & = & \vdots \\

0 & \ldots & \ldots & \ldots & 0 & b_{m {s_m} } x_{s_m} & \ldots & +b_{m n} x_n & = & d_m \\

( 0 & \ldots & \ldots & \ldots & \ldots & \ldots & \ldots & 0 & = & d_{m+1} ) \end{matrix}} { }
überführen, bei dem alle Startkoeffizienten
\mathl{b_{1s_1}, b_{2 s_2} , \ldots , b_{m s_m}}{} von $0$ verschieden sind.}
\faktzusatz {Dabei ist bei
\mathl{d_{m+1}=0}{} die letzte Zeile überflüssig und bei
\mathl{d_{m+1} \neq 0}{} besitzt das System keine Lösung.}
\faktzusatz {}

}
{

Dies folgt direkt aus dem Eliminationslemma, mit dem man sukzessive Variablen eliminiert. Man wendet es auf die erste \zusatzklammer {in der gegebenen Reihenfolge} {} {} Variable \zusatzklammer {diese sei \mathlk{x_{s_1}}{}} {} {} an, die in mindestens einer Gleichung mit einem von $0$ verschiedenen Koeffizienten auftaucht. Diese Eliminationsschritte wendet man solange an, solange das im Eliminationsschritt entstehende variablenreduzierte Gleichungssystem \zusatzklammer {also ohne die vorhergehenden Arbeitsgleichungen} {} {} noch mindestens zwei Gleichungen mit von $0$ verschiedenen Koeffizienten erhält. Wenn dabei Gleichungen in der Form der letzten Gleichung übrig bleiben, und diese nicht alle die Nullgleichung sind, so besitzt das System keine Lösung.

}





\inputfaktbeweis
{Lineares inhomogenes Gleichungssystem/Dreiecksgestalt/Lösung/Fakt}
{Lemma}
{}
{

\faktsituation {Es sei ein inhomogenes lineares Gleichungssystem über einem Körper $K$ in Dreiecksgestalt
\mathdisp {\begin{matrix}

a_{11} x_1 & + a_{12} x_2 & \ldots & \ldots & \ldots & \ldots & \ldots & +a_{1 n} x_{n} & = & c_1 \\

0 & \ldots & 0 & a_{2 s_2} x_{s_2} & \ldots & \ldots & \ldots & + a_{2 n} x_{n} & = & c_2 \\

\vdots & \ddots & \ddots & \vdots & \vdots & \vdots & \vdots & \vdots & = & \vdots \\

0 & \ldots & \ldots & \ldots & 0 & a_{m {s_m} } x_{s_m} & \ldots & +a_{m n} x_n & = & c_m \end{matrix}} { }
gegeben, wobei die Startkoeffizienten
\mathl{a_{11}, a_{2 s_2} , \ldots , a_{m s_m}}{} ungleich $0$ seien.}
\faktfolgerung {Dann stehen die Lösungen
\mathl{(x_1 , \ldots , x_n)}{} in Bijektion zu den Tupeln
\mathdisp {(x_2 , \ldots , x_{s_2 -1} , x_{s_2 +1} , \ldots , x_{s_3-1} , \ldots , x_{s_m+1} , \ldots , x_n) \in K^{s_2-2} \times K^{s_3-s_2 -1 } \times \cdots \times K^{n-s_m}} { . }
D.h. insgesamt sind jeweils in der $i$-ten Zeile die
\mathl{s_{i+1} -s_i-1}{} Variablen
\mathl{x_{s_i +1} , \ldots , x_{s_{i+1} -1}}{} frei wählbar und legen eine eindeutige Lösung fest, und jede Lösung wird dabei erfasst.}
\faktzusatz {}
\faktzusatz {}

}
{

Dies ist klar, da man eine Lösung
\mathl{(x_{1} , \ldots , x_n)}{} eindeutig aus den Gleichungen rekonstruieren kann, wenn man die Stellen
\mathl{x_1,x_{s_2},x_{s3} , \ldots , x_{sm}}{} weglässt. Von unten nach oben gelesen kann man aus
\mathl{x_{s_m+1} , \ldots , x_n}{} die Komponente
\mathl{x_{s_m}}{} mit Hilfe der letzten Gleichung als
\mavergleichskettedisp
{\vergleichskette
{ x_{s_m} }
{ =} { { \frac{ 1 }{ a_{s_m} } } { \left( c_m- a_{m, s_m+1 }x_{s_m+1} - \cdots - a_{m,n} x_n \right) } }
{ } { }
{ } { }
{ } { }
} {}{}{} erhalten, die Komponente
\mathl{x_{s_{m-1} }}{} kann man aus
\mathl{x_{s_{m-1}+1} , \ldots , x_{s_m-1} , x_{s_m+1} , \ldots , x_n}{} mit Hilfe der vorletzten Gleichung als
\mavergleichskettealign
{\vergleichskettealign
{ x_{s_{m-1} } }
{ =} { { \frac{ 1 }{ a_{s_{m-1} } } } { \left( c_{m-1} - a_{m-1, s_{m-1}+1}x_{s_{m-1}+1} - \cdots - a_{m-1, s_m}x_{s_m} - \cdots - a_{m-1 n}x_n \right) } }
{ =} { { \frac{ 1 }{ a_{s_{m-1} } } } { \left( c_{m-1} - a_{m-1, s_{m-1}+1}x_{s_{m-1}+1} - \cdots - a_{m-1, s_m} { \frac{ 1 }{ a_{s_m} } } { \left( c_m- a_{m, s_m+1 }x_{s_m+1} - \cdots - a_{m,n} x_n \right) } - \cdots - a_{m-1 n}x_n \right) } }
{ } { }
{ } { }
} {} {}{} erhalten, u.s.w.

}


Bei
\mavergleichskette
{\vergleichskette
{m }
{ = }{n }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} gibt es keine freien Variablen und es ist
\mavergleichskette
{\vergleichskette
{K^0 }
{ = }{0 }
{ }{ }
{ }{ }
{ }{ }
} {}{}{} und das Gleichungssystem besitzt genau eine Lösung.




\inputbeispiel{}
{

Wir wollen das inhomogene lineare Gleichungssystem
\mathdisp {\begin{matrix} 2x & +5y & +2z & & -v & = & 3 \\ 3x & -4y & & +u & +2v & = & 1 \\ 4x & & -2z & +2u & & = & 7 \, \end{matrix}} { }
über $\R$ \zusatzklammer {oder $\Q$} {} {} lösen. Wir eliminieren zuerst $x$, indem wir die erste Zeile $I$ beibehalten, die zweite Zeile $II$ durch
\mathl{II - { \frac{ 3 }{ 2 } }I}{} und die dritte Zeile $III$ durch
\mathl{III-2I}{} ersetzen. Das ergibt
\mathdisp {\begin{matrix} 2x & +5y & +2z & & -v & = & 3 \\ & - { \frac{ 23 }{ 2 } } y & -3z & +u & +{ \frac{ 7 }{ 2 } } v & = & { \frac{ -7 }{ 2 } } \\ & -10y & -6z & +2u & +2v & = & 1 \, . \end{matrix}} { }
Wir könnten jetzt aus der \zusatzklammer {neuen} {} {} dritten Zeile mit Hilfe der zweiten Zeile $y$ eliminieren. Wegen der Brüche eliminieren wir aber lieber $z$ \zusatzklammer {dies eliminiert gleichzeitig $u$} {} {.} Wir belassen also die erste und zweite Zeile und ersetzen die dritte Zeile $III$ durch
\mathl{III-2II}{.} Dies ergibt, wobei wir das System in einer neuen Reihenfolge\zusatzfussnote {Eine solche Umstellung ist ungefährlich, wenn man den Namen der Variablen mitschleppt. Wenn man dagegen das System in Matrizenschreibweise aufführt, also die Variablennamen einfach weglässt, so muss man sich diese Spaltenvertauschungen merken} {.} {} aufschreiben, das System
\mathdisp {\begin{matrix} 2x & +2z & & +5y & -v & = & 3 \\ & -3z & +u & - { \frac{ 23 }{ 2 } } y & +{ \frac{ 7 }{ 2 } } v & = & { \frac{ -7 }{ 2 } } \\ & & & 13y & -5v & = & 8 \, . \end{matrix}} { }
Wir können uns nun $v$ beliebig \zusatzklammer {oder \anfuehrung{frei}{}} {} {} vorgeben. Die dritte Zeile legt dann $y$ eindeutig fest, es muss nämlich
\mavergleichskettedisp
{\vergleichskette
{y }
{ =} { { \frac{ 8 }{ 13 } } + { \frac{ 5 }{ 13 } } v }
{ } { }
{ } { }
{ } { }
} {}{}{} gelten. In der zweiten Gleichung können wir wieder $u$ beliebig vorgeben, was dann $z$ eindeutig festlegt, nämlich
\mavergleichskettealign
{\vergleichskettealign
{z }
{ =} { - { \frac{ 1 }{ 3 } } { \left(- { \frac{ 7 }{ 2 } } -u - { \frac{ 7 }{ 2 } } v + { \frac{ 23 }{ 2 } } { \left({ \frac{ 8 }{ 13 } } + { \frac{ 5 }{ 13 } } v\right) } \right) } }
{ =} { - { \frac{ 1 }{ 3 } } { \left(- { \frac{ 7 }{ 2 } } -u - { \frac{ 7 }{ 2 } } v + { \frac{ 92 }{ 13 } } + { \frac{ 115 }{ 26 } } v\right) } }
{ =} {- { \frac{ 1 }{ 3 } } { \left({ \frac{ 93 }{ 26 } } -u + { \frac{ 12 }{ 13 } } v\right) } }
{ =} { -{ \frac{ 31 }{ 26 } } + { \frac{ 1 }{ 3 } } u - { \frac{ 4 }{ 13 } } v }
} {} {}{.} Die erste Zeile legt dann $x$ fest, nämlich
\mavergleichskettealign
{\vergleichskettealign
{x }
{ =} { { \frac{ 1 }{ 2 } } ( 3 -2z -5y +v ) }
{ =} { { \frac{ 1 }{ 2 } } { \left(3 -2 { \left(-{ \frac{ 31 }{ 26 } } + { \frac{ 1 }{ 3 } } u - { \frac{ 4 }{ 13 } } v\right) } - 5 { \left({ \frac{ 8 }{ 13 } } + { \frac{ 5 }{ 13 } } v\right) } + v\right) } }
{ =} { { \frac{ 1 }{ 2 } } { \left({ \frac{ 30 }{ 13 } } - { \frac{ 2 }{ 3 } } u - { \frac{ 4 }{ 13 } } v\right) } }
{ =} { { \frac{ 15 }{ 13 } } - { \frac{ 1 }{ 3 } } u - { \frac{ 2 }{ 13 } } v }
} {} {}{.} Daher kann man die Gesamtlösungsmenge als
\mathdisp {{ \left\{ { \left({ \frac{ 15 }{ 13 } } - { \frac{ 1 }{ 3 } } u - { \frac{ 2 }{ 13 } } v, { \frac{ 8 }{ 13 } } + { \frac{ 5 }{ 13 } } v ,-{ \frac{ 31 }{ 26 } } + { \frac{ 1 }{ 3 } } u - { \frac{ 4 }{ 13 } } v ,u,v\right) } \mid u,v \in \R \right\} }} { }
schreiben. Eine besonders einfache Lösung ergibt sich, wenn man die freien Variablen \mathkor {} {u} {und} {v} {} gleich $0$ setzt. Dies führt auf die spezielle Lösung
\mavergleichskettedisp
{\vergleichskette
{ (x,y,z,u,v) }
{ =} { \left( { \frac{ 15 }{ 13 } } , \, { \frac{ 8 }{ 13 } } , \, - { \frac{ 31 }{ 26 } } , \, 0 , \, 0 \right) }
{ } { }
{ } { }
{ } { }
} {}{}{.} In der allgemeinen Lösung kann man \mathkor {} {u} {und} {v} {} als Koeffizienten rausziehen und dann die Lösungsmenge auch als
\mathdisp {{ \left\{ { \left({ \frac{ 15 }{ 13 } } , { \frac{ 8 }{ 13 } } , - { \frac{ 31 }{ 26 } } ,0,0\right) } + 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\} }} { }
schreiben. Dabei ist
\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\} }} { }
eine Beschreibung der allgemeinen Lösung des zugehörigen homogenen linearen Gleichungssystems.


}




<< | Kurs:Mathematik für Anwender (Osnabrück 2011-2012)/Teil I | >>

PDF-Version dieser Vorlesung

Arbeitsblatt zur Vorlesung (PDF) (PDF englisch)