Kurs:Mathematik für Anwender (Osnabrück 2020-2021)/Teil I/Vorlesung 21/latex
\setcounter{section}{21}
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Crystal Clear kdm user female.svg} }
\end{center}
\bildtext {Dies ist nochmal Dr. Ines Eisenbeis. Ihre zweite These lautet: Es kommt nicht auf die Hunderasse, sondern stets auf den individuellen Hund an, ob er für den Einsatz als Vorlesungshund geeignet ist.} }
\bildlizenz { Crystal Clear kdm user female.svg } {} {Ftiercel} {Commons} {GNU-Lizenz für freie Dokumentatio} {}
\epigraph { Verwandle große Schwierigkeiten in kleine und kleine in gar keine } { Chinesische Weisheit }
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, kann man genauso gut an die rationalen Zahlen denken. Ab der Eigenwerttheorie werden dann auch analytische Eigenschaften wie die Existenz von Wurzeln bedeutsam.
\zwischenueberschrift{Lineare Gleichungssysteme}
Im Kontext der Polynominterpolationen sind wir schon linearen Gleichungssystemen begegnet.
Wir beschreiben drei weitere einführende Beispiele, ein alltägliches, ein geometrisches und ein physikalisches, die alle zu einem linearen Gleichungssystem führen.
\inputbeispiel{
}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {Mulled-wine-3.jpg} }
\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 Vektorraumdiesen 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, sodass wir auch negative Zahlen zulassen} {.} {}
\mavergleichskette
{\vergleichskette
{ 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.
}
\inputbeispiel{}
{
\bild{ \begin{center}
\includegraphics[width=5.5cm]{\bildeinlesung {IntersectingPlanes.png} }
\end{center}
\bildtext {Zwei Ebenen im Raum, die sich in einer Geraden schneiden.} }
\bildlizenz { IntersectingPlanes.png } {} {ShahabELS} {Commons} {CC-by-sa 3.0} {}
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.svg} }
\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.
}
Wir geben nun die Definition eines homogenen und eines inhomogenen linearen Gleichungssystems über einem Körper zu einer Variablenmenge.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ 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
\mavergleichskette
{\vergleichskette
{ (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 nach Lemma 22.14 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 durch den Nullvektor $0$ ersetzt, das \stichwort {zugehörige homogene System} {.}
Die folgende Situation beschreibt die abstrakte Version von
Beispiel 21.1.
\inputbeispiel{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und
\mavergleichskette
{\vergleichskette
{ 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
\mavergleichskettedisp
{\vergleichskette
{ w
}
{ =} { \begin{pmatrix} c_{1 } \\ c_{2 }\\ \vdots\\ c_{ m } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
ein weiterer Vektor. Wir wollen wissen, wann sich $w$ als
\anfuehrung{Linearkombination}{} der $v_j$ darstellen lässt. Es geht also um die Frage, ob es $n$ Elemente
\mavergleichskette
{\vergleichskette
{ s_1 , \ldots , s_n
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit der Eigenschaft
\mavergleichskettedisp
{\vergleichskette
{ 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}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
gibt. Die Gleichheit von Vektoren bedeutet, dass Übereinstimmung in jeder Komponente vorliegen muss, sodass 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 direkt gelöst werden kann \zusatzklammer {bzw. von dem gezeigt werden kann, dass es keine Lösung besitzt} {} {.} Bei kleinen Systemen können auch das \definitionsverweis {Einsetzungsverfahren}{}{} oder das \definitionsverweis {Gleichsetzungsverfahren}{}{} sinnvoll sein.
\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
\mavergleichskette
{\vergleichskette
{ 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
\mavergleichskettek
{\vergleichskettek
{ G
}
{ \neq }{ H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
ersetzt. Dabei wird
\mavergleichskette
{\vergleichskette
{ \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 21.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
\mavergleichskette
{\vergleichskette
{ d_{m+1}
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die letzte Zeile überflüssig, oder aber, bei
\mavergleichskette
{\vergleichskette
{ d_{m+1}
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
das System besitzt 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 \zusatzklammer {wenn sie nur in einer Gleichung auftaucht, so ist im Eliminationsprozess nichts zu tun} {} {.} Diese Eliminationsschritte wendet man solange an, solange das im Eliminationsschritt entstehende variablenreduzierte Gleichungssystem \zusatzklammer {also ohne die vorhergehenden Arbeitsgleichungen} {} {} noch mindestens eine Gleichung mit einem von $0$ verschiedenen Koeffizienten enthält. Zum Schluss bleiben nur Gleichungen ohne Variablen übrig. Diese sind entweder alle die Nullgleichung, oder aber das System besitzt keine Lösung.
\inputfaktbeweis
{Lineares inhomogenes Gleichungssystem/Strenge 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 & +a_{1m} x_m & \ldots & + a_{1 n} x_{n} & = & c_1 \\
0 & a_{22} x_2 & \ldots & \ldots & \ldots & + a_{2 n} x_{n} & = & c_2 \\
\vdots & \ddots & \ddots & \vdots & \vdots & \vdots & = & \vdots \\
0 & \ldots & 0 & a_{mm} x_m & \ldots & +a_{m n} x_n & = & c_m \\
\end{matrix}} { }
mit
\mavergleichskette
{\vergleichskette
{m
}
{ \leq }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gegeben, wobei vorne die Diagonalelemente $a_{i i}$ alle ungleich $0$ seien.}
\faktfolgerung {Dann stehen die Lösungen
\mathl{(x_1 , \ldots , x_m, x_{m+1} , \ldots , x_n)}{} in Bijektion zu den Tupeln
\mavergleichskette
{\vergleichskette
{ ( x_{m+1} , \ldots , x_n)
}
{ \in }{ K^{n-m}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
D.h. die hinteren
\mathl{n-m}{} Einträge sind frei wählbar und legen eine eindeutige Lösung fest, und jede Lösung wird dabei erfasst.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies ist klar, da bei gegebenem
\mathl{(x_{m+1} , \ldots , x_n)}{} die Zeilen von unten nach oben sukzessive die anderen Variablen eindeutig festlegen.
Bei
\mavergleichskette
{\vergleichskette
{m
}
{ = }{n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es keine freien Variablen 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 der Variablen\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 } } { \left( 3 -2z -5y +v \right) }
}
{ =} { { \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.
}
\inputbemerkung
{}
{
Unter einem \stichwort {linearen Ungleichungssystem} {} über den rationalen Zahlen oder den reellen Zahlen versteht man ein System der Form
\mathdisp {\begin{matrix}
a _{ 1 1 } x _1 + a _{ 1 2 } x _2 + \cdots + a _{ 1 n } x _{ n } & \star & c_1 \\
a _{ 2 1 } x _1 + a _{ 2 2 } x _2 + \cdots + a _{ 2 n } x _{ n } & \star & c_2 \\
\vdots & \vdots & \vdots \\
a _{ m 1 } x _1 + a _{ m 2 } x _2 + \cdots + a _{ m n } x _{ n } & \star & c_m \, ,
\end{matrix}} { }
wobei
\mathl{\star}{} gleich
\mathl{\leq}{} oder
\mathl{\geq}{} ist. Die Lösungsmenge ist deutlich schwieriger zu beschreiben als im Gleichungsfall. Eine Eliminierung von Variablen ist im Allgemeinen nicht möglich.
}