Kurs:Lineare Algebra (Osnabrück 2015-2016)/Teil I/Vorlesung 4/latex
\setcounter{section}{4}
In der \stichwort {linearen Algebra} {} 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 spezifischere Eigenschaften des Körpers bedeutsam.
Die \anfuehrung{Mutter aller linearen Gleichungssysteme}{} ist eine einzige lineare Gleichung in einer Variablen der Form
\mavergleichskettedisp
{\vergleichskette
{ax
}
{ =} {b
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
mit gegebenen Elementen
\mathl{a,b}{} aus einem Körper $K$ und gesuchtem $x$. Schon hier zeigen sich drei Möglichkeiten,
wie die Lösung aussehen kann. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
kann man die Gleichung mit dem Inversen von $a$ in $K$, also mit
\mathl{a^{-1}}{,} multiplizieren und erhält als eindeutige Lösung
\mavergleichskettedisp
{\vergleichskette
{x
}
{ =} { ba^{-1}
}
{ =} { b/a
}
{ } {
}
{ } {
}
}
{}{}{.}
Rechnerisch kann man also die Lösung erhalten, wenn man inverse Elemente bestimmen und mit ihnen multiplizieren kann. Bei
\mavergleichskette
{\vergleichskette
{a
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
hängt das Lösungsverhalten von $b$ ab. Bei
\mavergleichskette
{\vergleichskette
{b
}
{ = }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist jedes
\mathl{x \in K}{} eine Lösung, bei
\mavergleichskette
{\vergleichskette
{b
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es keine Lösung.
\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.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 Vektorraum \zusatzklammer {diesen Begriff werden wir in einer der nächsten Vorlesungen 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.
}
Wir besprechen ein geometrisches Beispiel ähnlich zu Beispiel 1.2, wobei jetzt die Gleichungen nicht homogen sehen müssen.
\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.
}
\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, 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} {}
\mathl{0=(0 , \ldots , 0)}{.} Ein inhomogenes Gleichungssystem braucht nicht unbedingt eine Lösung zu 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
\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.
}
\inputbemerkung
{}
{
Gelegentlich ist ein lineares Gleichungssystem nicht in der Form gegeben, dass die Variablen nur auf einer Seite der Gleichungen auftauchen, wie beispielsweise bei
\mavergleichskettedisp
{\vergleichskette
{3x-4+5y
}
{ =} {8z+7x
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{2-4x+z
}
{ =} { 2y+3x+6
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{4z-3x +2x +3
}
{ =} { 5x-11y+2z-8
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
In diesem Fall muss man das System zuerst durch einfache Additionen und Zusammenfassen der Koeffizienten in jeder einzelnen Gleichung in die Standardgestalt bringen.
}
\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
{}
{
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$. Sie ist also das neutrale Element bezüglich der Multiplikation von quadratischen Matrizen.
\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 \zusatzklammer {siehe die nächste Vorlesung} {} {} 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.
}
\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
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei
\mavergleichskette
{\vergleichskette
{ M
}
{ = }{{ \left( a _{ i j } \right) }_{ i j }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
eine
$m \times n$-\definitionsverweis {Matrix}{}{}
über $K$. Dann nennt man die
\mathl{n \times m}{-}Matrix
\mathdisp {{ M^{ \text{tr} } } =(b_{ij})_{ij} \text{ mit } b_{ij} := a_{ji}} { }
die \definitionswort {transponierte Matrix}{} zu $M$.
}
Die transponierte Matrix entsteht also, indem man die Rollen von Zeilen und Spalten vertauscht. Beispielsweise ist
\mavergleichskettedisp
{\vergleichskette
{ { \begin{pmatrix} t & n & o & e \\ r & s & n & r \\ a & p & i & t \end{pmatrix} ^{ \text{tr} } }
}
{ =} { \begin{pmatrix} t & r & a \\ n & s & p \\ o & n & i \\ e & r & t \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}