Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II/Vorlesung 36/latex
\setcounter{section}{36}
In dieser Vorlesung möchten wir verstehen, wie man an der beschreibenden Matrix zu einer linearen Abbildung erkennen kann, ob diese bijektiv ist, und wann ein lineares Gleichungssystem
\mavergleichskette
{\vergleichskette
{Mx
}
{ = }{y
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Eigenschaft besitzt, dass es für jedes $y$ eine eindeutige Lösung $x$ gibt, und wie man diese findet.
\zwischenueberschrift{Invertierbare Matrizen}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei $M$ eine
$n \times n$-\definitionsverweis {Matrix}{}{}
über $K$. Dann heißt $M$ \definitionswort {invertierbar}{,} wenn es eine weitere Matrix
\mavergleichskette
{\vergleichskette
{A
}
{ \in }{ \operatorname{Mat}_{ n } (K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ A \circ M
}
{ =} { E_{ n }
}
{ =} { M \circ A
}
{ } {
}
{ } {
}
}
{}{}{}
gibt.
}
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.} Zu einer
\definitionsverweis {invertierbaren Matrix}{}{}
\mavergleichskette
{\vergleichskette
{M
}
{ \in }{ \operatorname{Mat}_{ n } (K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
heißt die Matrix
\mavergleichskette
{\vergleichskette
{A
}
{ \in }{\operatorname{Mat}_{ n } (K)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit
\mavergleichskettedisp
{\vergleichskette
{ A \circ M
}
{ =} { E_{ n }
}
{ =} { M \circ A
}
{ } {
}
{ } {
}
}
{}{}{}
die \definitionswort {inverse Matrix}{} von $M$. Man schreibt dafür
\mathdisp {M^{-1}} { . }
}
\inputbeispiel{}
{
Eine
\definitionsverweis {Diagonalmatrix}{}{}
\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}} { }
ist genau dann
\definitionsverweis {invertierbar}{}{,}
wenn sämtliche Diagonaleinträge von $0$ verschieden sind. Die
\definitionsverweis {inverse Matrix}{}{}
dazu ist
\mathdisp {\begin{pmatrix} { \frac{ 1 }{ d_{11} } } & 0 & \cdots & \cdots & 0 \\ 0 & { \frac{ 1 }{ d_{22} } } & 0 & \cdots & 0 \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & { \frac{ 1 }{ d_{n-1 n-1} } } & 0 \\ 0 & \cdots & \cdots & 0 & { \frac{ 1 }{ d_{nn} } } \end{pmatrix}} { . }
}
Das Produkt von invertierbaren Matrizen ist wieder invertierbar, die invertierbaren Matrizen bilden eine
\definitionsverweis {Gruppe}{}{.}
Aus der einzigen Gleichung
\mavergleichskettedisp
{\vergleichskette
{A \circ M
}
{ =} {E_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
folgt sogar die umgekehrte Gleichung
\mavergleichskettedisp
{\vergleichskette
{M \circ A
}
{ =} {E_n
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
also die Invertierbarkeit von $M$. Dies ist aber rein matrizentheoretisch schwierig zu beweisen, für den Fall von $2\times 2$-Matrizen siehe
Aufgabe 36.6.
Mit Hilfe der Korrespondenz zwischen Matrizen und linearen Abbildungen kann man es beweisen, indem man verwendet, dass für eine lineare Abbildung
\maabb {\varphi} {K^n} {K^n
} {}
die Begriffe injektiv, surjektiv und bijektiv äquivalent sind
\zusatzklammer {das haben wir nicht bewiesen} {} {.}
\zwischenueberschrift{Elementarmatrizen}
Wir möchten zu einer Matrix $M$ bestimmen, ob sie invertierbar ist und wie gegebenenfalls die inverse Matrix aussieht. Dazu sind Elementarmatrizen hilfreich, da man mit ihnen die Manipulationen, die im Eliminationsverfahren auftreten, als Matrizenmultiplikationen beschreiben kann.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei $M$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
über $K$. Dann nennt man die folgenden Manipulationen an $M$ \definitionswort {elementare Zeilen\-umformungen}{.}
\aufzaehlungdrei{Vertauschung von zwei Zeilen.
}{Multiplikation einer Zeile mit
\mavergleichskette
{\vergleichskette
{ s
}
{ \neq }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Addition des $a$-fachen einer Zeile zu einer anderen Zeile.
}
}
Elementare Zeilenumformungen ändern nicht den Lösungsraum von homogenen linearen Gleichungssystemen, wie in Lemma 32.3 gezeigt wurde.
\inputdefinition
{}
{
Es sei $K$ ein
\definitionsverweis {Körper}{}{.} Mit
\mathl{B_{ij}}{} bezeichnen wir diejenige
$n \times n$-\definitionsverweis {Matrix}{}{,}
die an der Stelle
\mathl{(i,j)}{} den Wert $1$ und sonst überall den Wert $0$ hat. Dann nennt man die folgenden Matrizen \definitionswort {Elementarmatrizen}{.}
\aufzaehlungdrei{$V_{ij} \defeq E_{ n } - B_{ii} -B_{jj} + B_{ij} +B_{ji}$.
}{$S_k (s) \defeq E_{ n } + (s-1) B_{kk} \text{ für } s \neq 0$.
}{$A_{ij}(a) \defeq E_{ n } + a B_{ij} \text{ für } i \neq j \text{ und } a \in K$.
}
}
Ausgeschrieben sehen diese Elementarmatrizen folgendermaßen aus.
\mavergleichskettedisp
{\vergleichskette
{ V_{ij}
}
{ =} {
\begin{pmatrix}
1 & 0 & \cdots & \cdots & \cdots & \cdots & 0
\\ \vdots & \ddots & \cdots & \cdots & \cdots & \cdots & \vdots
\\ 0 & \cdots & 0 & \cdots & 1 & \cdots & 0
\\ \vdots & \cdots & \cdots & 1 & \cdots & \cdots & \vdots
\\ 0 & \cdots & 1 & \cdots & 0 & \cdots & 0
\\ \vdots & \cdots & \cdots & \cdots & \cdots & \ddots & \vdots
\\ 0 & \cdots & \cdots & \cdots & \cdots & 0 & 1
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\mavergleichskettedisp
{\vergleichskette
{S_k(s)
}
{ =} {\begin{pmatrix}
1 & 0 & \cdots & \cdots & \cdots & \cdots & 0
\\ \vdots & \ddots & \ddots & \vdots & \vdots & \vdots & \vdots
\\ 0 & \cdots & 1 & 0 & \cdots & \cdots & 0
\\ 0 & \cdots & 0 & s & 0 & \cdots & 0
\\ 0 & \cdots & \cdots & 0 & 1 & \cdots & 0
\\ \vdots & \vdots & \vdots & \vdots & \ddots & \ddots & \vdots
\\ 0 & \cdots & \cdots & \cdots & \cdots & 0 & 1
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
\mavergleichskettedisp
{\vergleichskette
{ A_{ij}(a)
}
{ =} {\begin{pmatrix}
1 & 0 & \cdots & \cdots & \cdots & \cdots & 0
\\ \vdots & \ddots & \cdots & \cdots & \cdots & \cdots & \vdots
\\ 0 & \cdots & 1 & \cdots & a & \cdots & 0
\\ \vdots & \cdots & \cdots & \ddots & \cdots & \cdots & \vdots
\\ 0 & \cdots & \cdots & \cdots & 1 & \cdots & 0
\\ \vdots & \cdots & \cdots & \cdots & \cdots & \ddots & \vdots
\\ 0 & \cdots & \cdots & \cdots & \cdots & 0 & 1
\end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
Elementarmatrizen sind invertierbar, siehe
Aufgabe 36.1,
und ihre Inversen sind ebenfalls Elementarmatrizen.
{Matrix/Elementare Zeilenumformung/Elementarmatrix von links/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und $M$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
mit Einträgen in $K$.}
\faktuebergang {Dann hat die
\definitionsverweis {Multiplikation}{}{}
mit den
$m \times m$-\definitionsverweis {Elementarmatrizen}{}{} von links mit $M$ folgende Wirkung.}
\faktfolgerung {\aufzaehlungdrei{$V_{ij} \circ M =$ Vertauschen der $i$-ten und der $j$-ten Zeile von $M$.
}{$(S_k (s)) \circ M =$ Multiplikation der $k$-ten Zeile von $M$ mit $s$.
}{$(A_{ij}(a)) \circ M =$ Addition des $a$-fachen der $j$-ten Zeile von $M$ zur $i$-ten Zeile (\mathlk{i \neq j}{}).
}}
\faktzusatz {}
\faktzusatz {}
{ Siehe Aufgabe 36.7. }
{Matrix/Treppengestalt durch elementare Umformungen/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei $M$ eine
$m \times n$-\definitionsverweis {Matrix}{}{}
über $K$.}
\faktfolgerung {Dann gibt es
\definitionsverweis {elementare Zeilenumformungen}{}{}
und eine (Neu-)Nummerierung der Spalten
\mathdisp {j_1 ,\, j_2 , \ldots , j_n} { }
und ein
\mavergleichskette
{\vergleichskette
{ r
}
{ \leq }{ n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
derart, dass in der entstandenen Matrix die Spalten die Gestalt
\mathdisp {s_{j_k} = \begin{pmatrix} b_{1, j_k} \\ \vdots\\ b_{k, j_k}\\0\\ \vdots\\ 0 \end{pmatrix} \text{ mit } b_{k, j_k} \neq 0 \text{ für } k \leq r} { }
und
\mathdisp {s_{j_k} = \begin{pmatrix} b_{1, j_k} \\ \vdots\\ b_{r, j_k}\\0\\ \vdots\\ 0 \end{pmatrix} \text{ für } k > r} { }
besitzen. Durch elementare Zeilenumformungen und zusätzliche Spaltenvertauschungen kann man also eine Matrix auf die Gestalt
\mathdisp {\begin{pmatrix}
d_{11} & * & \cdots & * & * & \cdots & *
\\ 0 & d_{22} & \cdots & * & * & \cdots & *
\\ \vdots & \vdots & \ddots & \vdots & \vdots & \ddots & \vdots
\\ 0 & 0 & \cdots & d_{ r r } & * & \cdots & *
\\ 0 & 0 & \cdots & 0 & 0 & \cdots & 0
\\ \vdots & \vdots & \ddots & \vdots & \vdots & \ddots & \vdots
\\ 0 & 0 & \cdots & 0 & 0 & \cdots & 0
\end{pmatrix}} { }
mit
\mavergleichskette
{\vergleichskette
{d_{ii}
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bringen.}
\faktzusatz {}
\faktzusatz {}
{Dies beruht auf den entsprechenden Manipulationen für Gleichungen wie beim Eliminationsverfahren, siehe die zweite Vorlesung.}
\inputbeispiel{}
{
Wir betrachten die Matrix
\mathl{\begin{pmatrix} 4 & 1 \\ 3 & 5 \\ 2 & 7 \end{pmatrix}}{.} Wir wollen diese Matrix durch elementare Zeilenumformungen auf Diagonalgestalt bringen und diese Manipulatonen durch Multiplikationen mit Elementarmatrizen realisieren. Die erste Umformung ist, die zweite Zeile durch
\mathl{II - { \frac{ 3 }{ 4 } } I}{} zu ersetzen. Die geschieht durch
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 1 & 0 & 0 \\ - { \frac{ 3 }{ 4 } } & 1 & 0 \\0 & 0 & 1 \end{pmatrix} \begin{pmatrix} 4 & 1 \\ 3 & 5 \\ 2 & 7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 4 & 1 \\ 0 & { \frac{ 17 }{ 4 } } \\ 2 & 7 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die dritte Zeile soll durch
\mathl{III-2I}{} ersetzt werden, dies wird realisiert durch
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\- { \frac{ 1 }{ 2 } } & 0 & 1 \end{pmatrix} \begin{pmatrix} 4 & 1 \\ 0 & { \frac{ 17 }{ 4 } } \\ 2 & 7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 4 & 1 \\ 0 & { \frac{ 17 }{ 4 } } \\ 0 & { \frac{ 13 }{ 2 } } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Die neue dritte Zeile kann man zu einer Nullzeile machen, indem man sie durch
\mathl{III - { \frac{ 2 }{ 13 } } II}{} ersetzt. Dies wird realisiert durch
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & - { \frac{ 26 }{ 17 } } & 1 \end{pmatrix} \begin{pmatrix} 4 & 1 \\ 0 & { \frac{ 17 }{ 4 } } \\ 0 & { \frac{ 13 }{ 2 } } \end{pmatrix}
}
{ =} { \begin{pmatrix} 4 & 1 \\ 0 & { \frac{ 17 }{ 4 } } \\ 0 & 0 \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir betrachten die Matrix
\mathl{\begin{pmatrix} 4 & 1 & 3 \\ 5 & 2 & 7 \end{pmatrix}}{.} Wir wollen diese Matrix durch elementare Zeilenumformungen auf Diagonalgestalt bringen und diese Manipulationen durch Multiplikationen mit Elementarmatrizen realisieren. Die einzige Umformung ist, die zweite Zeile durch
\mathl{II - { \frac{ 5 }{ 4 } } I}{} zu ersetzen. Dies wird durch
\mavergleichskettedisp
{\vergleichskette
{ \begin{pmatrix} 1 & 0 \\ - { \frac{ 5 }{ 4 } } & 1 \end{pmatrix} \begin{pmatrix} 4 & 1 & 3 \\ 5 & 2 & 7 \end{pmatrix}
}
{ =} { \begin{pmatrix} 4 & 1 & 3 \\ 0 & { \frac{ 3 }{ 4 } } & { \frac{ 13 }{ 4 } } \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
realisiert.
}
\inputbeispiel{}
{
Die Matrix
\mathl{\begin{pmatrix} 0 & 1 \\ 0 & 0 \end{pmatrix}}{} ist nicht in der in
Satz 36.7
zuletzt beschriebenen Form, und kann auch nicht durch Zeilenumformungen dahin gebracht werden. Durch Spaltenvertauschungen ist das möglich.
}
\inputfaktbeweis
{Invertierbare Matrix/Treppengestalt/Einheitsmatrix/Fakt}
{Korollar}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{} und sei $M$ eine
\definitionsverweis {invertierbare}{}{}
$n \times n$-\definitionsverweis {Matrix}{}{}
über $K$.}
\faktfolgerung {Dann gibt es
\definitionsverweis {elementare Zeilenumformungen}{}{}
derart, dass nach diesen Umformungen eine Matrix der Gestalt
\mathdisp {\begin{pmatrix} d_1 & \ast & \cdots & \cdots & \ast \\ 0 & d_2 & \ast & \cdots & \ast \\ \vdots & \ddots & \ddots & \ddots & \vdots \\ 0 & \cdots & 0 & d_{ n-1} & \ast \\ 0 & \cdots & \cdots & 0 & d_{ n } \end{pmatrix}} { }
mit
\mavergleichskette
{\vergleichskette
{d_i
}
{ \neq }{0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
entsteht. Durch weitere elementare Zei\-lenumformungen kann die
\definitionsverweis {Einheitsmatrix}{}{}
erreicht werden.}
\faktzusatz {}
\faktzusatz {}
}
{
Dies beruht auf den Manipulationen des Eliminationsverfahrens und darauf, dass elementare Zeilenumformungen nach Lemma 36.6 durch Multiplikationen mit Elementarmatrizen von links ausgedrückt werden können. Dabei können in einer Spalte bzw. in einer Zeile nicht nur Nullen entstehen, da die Elementarmatrizen invertierbar sind und so in jedem Schritt die Invertierbarkeit erhalten bleibt. Eine Matrix mit einer Nullspalte oder einer Nullzeile ist aber nicht invertierbar. Wenn eine obere Dreiecksmatrix vorliegt, so sind die Diagonaleinträge nicht $0$ und man kann mit skalarer Multiplikation die Diagonaleinträge zu $1$ machen und damit die in jeder Spalte darüberliegenden Einträge zu $0$.
Insbesondere gibt es zu einer invertierbaren Matrix $M$ Elementarmatrizen
\mathl{E_1 , \ldots , E_k}{} derart, dass
\mathdisp {E_1 \circ \cdots \circ E_k \circ M} { }
die Einheitsmatrix ist.
\zwischenueberschrift{Auffinden der inversen Matrix}
\inputverfahren{}
{
Es sei $M$ eine
\definitionsverweis {quadratische Matrix}{}{.}
Wie kann man entscheiden, ob die Matrix
\definitionsverweis {invertierbar}{}{}
ist, und wie kann man die
\definitionsverweis {inverse Matrix}{}{}
\mathl{M^{-1}}{} finden?
Dazu legt man eine Tabelle an, wo in der linken Seite zunächst die Matrix $M$ steht und in der rechten Seite die Einheitsmatrix. Jetzt wendet man auf beide Matrizen schrittweise die gleichen elementaren Zeilenumformungen an. Dabei soll in der linken Seite die Ausgangsmatrix in die Einheitsmatrix umgewandelt werden. Dies ist genau dann möglich, wenn diese Matrix invertierbar ist. Wir behaupten, dass bei dieser Vorgehensweise in der rechten Seite die Matrix $M^{-1}$ als Endmatrix entsteht. Dies beruht auf folgendem \stichwort {Invarianzprinzip} {.} Jede elementare Zeilenumformung kann als eine Matrizenmultiplikation mit einer
\definitionsverweis {Elementarmatrix}{}{}
$E$ von links realisiert werden. Wenn in der Tabelle
\mathdisp {(M_1, M_2)} { }
steht, so steht im nächsten Schritt
\mathdisp {(EM_1,EM_2)} { . }
Wenn man das Inverse
\zusatzklammer {das man noch nicht kennt, das es aber gibt unter der Voraussetzung, dass die Matrix invertierbar ist} {.} {}
der linken Seite mit der rechten Seite multipliziert, so ergibt sich
\mavergleichskettedisp
{\vergleichskette
{ (EM_1)^{-1} EM_2
}
{ =} { M_1^{-1} E^{-1} E M_2
}
{ =} { M_1^{-1} M_2
}
{ } {
}
{ } {
}
}
{}{}{.}
D.h., dass sich dieser Ausdruck bei den Einzelschritten nicht ändert. Zu Beginn ist dieser Ausdruck gleich
\mathl{M^{-1} E_{ n }}{,} daher muss zum Schluss für
\mathl{( E_{ n } , N)}{} gelten
\mavergleichskettedisp
{\vergleichskette
{ N
}
{ =} { E_{ n }^{-1} N
}
{ =} { M^{-1} E_{ n }
}
{ =} { M^{-1}
}
{ } {}
}
{}{}{.}
}
\inputbeispiel{}
{
Wir wollen zur Matrix
\mathl{\begin{pmatrix} 5 & 9 \\ -3 & 7 \end{pmatrix}}{} gemäß dem in
Verfahren 36.11
beschriebenen Verfahren die
\definitionsverweis {inverse Matrix}{}{}
$M^{-1}$ bestimmen.
\matabellezweivier {\leitzeilezwei {} {} } {\mazeileundzwei { \begin{pmatrix} 5 & 9 \\ -3 & 7 \end{pmatrix} } { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 5 & 9 \\ 0 & { \frac{ 62 }{ 5 } } \end{pmatrix} } { \begin{pmatrix} 1 & 0 \\ { \frac{ 3 }{ 5 } } & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & { \frac{ 9 }{ 5 } } \\ 0 & 1 \end{pmatrix} } { \begin{pmatrix} { \frac{ 1 }{ 5 } } & 0 \\ { \frac{ 3 }{ 62 } } & { \frac{ 5 }{ 62 } } \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} } { \begin{pmatrix} { \frac{ 7 }{ 62 } } & - { \frac{ 9 }{ 62 } } \\ { \frac{ 3 }{ 62 } } & { \frac{ 5 }{ 62 } } \end{pmatrix}
} }
}
Für eine invertierbare $2\times 2$-Matrix
\mathl{\begin{pmatrix} a & b \\ c & d \end{pmatrix}}{} kann man die inverse Matrix einfacher direkt angeben, es ist nämlich
\mavergleichskettedisp
{\vergleichskette
{M^{-1}
}
{ =} { { \frac{ 1 }{ ad-bc } } \begin{pmatrix} d & -b \\ -c & a \end{pmatrix}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
\zusatzklammer {und die \anfuehrung{Determinante}{}
\mathl{ad-bc}{} ist genau dann ungleich $0$, wenn die Matrix invertierbar ist} {} {.}
\inputbeispiel{}
{
Wir wollen zur Matrix
\mathl{\begin{pmatrix} 1 & 3 & 1 \\ 4 & 1 & 2 \\0 & 1 & 1 \end{pmatrix}}{} gemäß dem in
Verfahren 36.11
beschriebenen Verfahren die
\definitionsverweis {inverse Matrix}{}{}
$M^{-1}$ bestimmen.
\matabellezweisieben {\leitzeilezwei {} {} } {\mazeileundzwei { \begin{pmatrix} 1 & 3 & 1 \\ 4 & 1 & 2 \\0 & 1 & 1 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 3 & 1 \\ 0 & -11 & -2 \\0 & 1 & 1 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ -4 & 1 & 0 \\0 & 0 & 1 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 3 & 1 \\ 0 & 1 & 1 \\0 & -11 & -2 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\-4 & 1 & 0 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 3 & 1 \\ 0 & 1 & 1 \\0 & 0 & 9 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\-4 & 1 & 11 \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 3 & 1 \\ 0 & 1 & 1 \\0 & 0 & 1 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 1 \\\frac{-4}{9} & \frac{1}{9} & \frac{11}{9} \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & -2 \\ 0 & 1 & 1 \\0 & 0 & 1 \end{pmatrix} } { \begin{pmatrix} 1 & 0 & -3 \\ 0 & 0 & 1 \\\frac{-4}{9} & \frac{1}{9} & \frac{11}{9} \end{pmatrix}
} }
{\mazeileundzwei { \begin{pmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\0 & 0 & 1 \end{pmatrix} } { \begin{pmatrix} \frac{1}{9} & \frac{2}{9} & \frac{-5}{9} \\ \frac{4}{9} & \frac{-1}{9} & \frac{-2}{9} \\\frac{-4}{9} & \frac{1}{9} & \frac{11}{9} \end{pmatrix}
} }
}
\inputfaktbeweis
{Lineare Abbildung und Matrix/Bijektiv und invertierbar/Zahlenraum/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $K$ ein
\definitionsverweis {Körper}{}{}
und sei
\maabb {\varphi} {K^n} {K^n
} {}
eine
\definitionsverweis {lineare Abbildung}{}{}
mit zugehöriger Matrix $M$.}
\faktfolgerung {Dann ist $\varphi$ genau dann
\definitionsverweis {bijektiv}{}{,}
wenn $M$
\definitionsverweis {invertierbar}{}{}
ist.}
\faktzusatz {}
\faktzusatz {}
}
{
Wenn $\varphi$ bijektiv ist, so gibt es eine lineare Abbildung
\maabbdisp {\psi} {K^n} {K^n
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{\varphi \circ \psi
}
{ =} {
\operatorname{Id}_{ K^n }
}
{ =} { \psi \circ \varphi
}
{ } {
}
{ } {
}
}
{}{}{.}
Es sei $M$ die Matrix zu $\varphi$ und $N$ die Matrix zu $\psi$.
Nach
Satz 35.15
ist dann
\mavergleichskettedisp
{\vergleichskette
{ M \circ N
}
{ =} { E_n
}
{ =} { N \circ M
}
{ } {
}
{ } {
}
}
{}{}{}
und dies bedeutet die Invertierbarkeit von $M$. Die Rückrichtung geht genauso.
| << | Kurs:Grundkurs Mathematik (Osnabrück 2016-2017)/Teil II | >> |
|---|