Kurs:Mathematik für Anwender (Osnabrück 2023-2024)/Teil I/Vorlesung 25/kontrolle

Die Dimensionsformel

Die folgende Aussage heißt Dimensionsformel.

Satz Satz 25.1 ändern

Es sei ${}K$ ein Körper, ${}V$ und ${}W$ seien ${}K$- Vektorräume und

$\varphi \colon V\longrightarrow W$

sei eine ${}K$- lineare Abbildung und ${}V$ sei endlichdimensional.

Dann gilt

${}\dim _{K}{\left(V\right)}=\dim _{K}{\left(\operatorname {kern} \varphi \right)}+\dim _{K}{\left(\operatorname {bild} \varphi \right)}\,.$

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Es sei ${}n=\dim _{K}{\left(V\right)}$. Es sei ${}U=\operatorname {kern} \varphi \subseteq V$ der Kern der Abbildung und ${}k=\dim _{K}{\left(U\right)}$ seine Dimension (${}k\leq n$). Es sei

$u_{1},\ldots ,u_{k}$

eine Basis von ${}U$. Aufgrund des Basisergänzungssatzes gibt es Vektoren

$v_{1},\ldots ,v_{n-k}$

derart, dass

$u_{1},\ldots ,u_{k},\,v_{1},\ldots ,v_{n-k}$

eine Basis von ${}V$ ist. Wir behaupten, dass

$w_{j}=\varphi (v_{j}),\,j=1,\ldots ,n-k,$

eine Basis des Bildes ist. Es sei ${}w\in W$ ein Element des Bildes ${}\varphi (V)$. Dann gibt es ein ${}v\in V$ mit ${}\varphi (v)=w$. Dieses ${}v$ lässt sich mit der Basis als

${}v=\sum _{i=1}^{k}s_{i}u_{i}+\sum _{j=1}^{n-k}t_{j}v_{j}\,$

schreiben. Dann ist

${}{\begin{aligned}w&=\varphi (v)\\&=\varphi {\left(\sum _{i=1}^{k}s_{i}u_{i}+\sum _{j=1}^{n-k}t_{j}v_{j}\right)}\\&=\sum _{i=1}^{k}s_{i}\varphi (u_{i})+\sum _{j=1}^{n-k}t_{j}\varphi (v_{j})\\&=\sum _{j=1}^{n-k}t_{j}w_{j},\end{aligned}}$

sodass sich ${}w$ als Linearkombination der ${}w_{j}$ schreiben lässt. Zum Beweis der linearen Unabhängigkeit der ${}w_{j}$, ${}j=1,\ldots ,n-k$, sei eine Darstellung der Null gegeben,

${}0=\sum _{j=1}^{n-k}t_{j}w_{j}\,.$

Dann ist

${}\varphi {\left(\sum _{j=1}^{n-k}t_{j}v_{j}\right)}=\sum _{j=1}^{n-k}t_{j}\varphi {\left(v_{j}\right)}=0\,.$

Also gehört ${}\sum _{j=1}^{n-k}t_{j}v_{j}$ zum Kern der Abbildung und daher kann man

${}\sum _{j=1}^{n-k}t_{j}v_{j}=\sum _{i=1}^{k}s_{i}u_{i}\,$

schreiben. Da insgesamt eine Basis von ${}V$ vorliegt, folgt, dass alle Koeffizienten ${}0$ sein müssen, also sind insbesondere ${}t_{j}=0$.

$\Box$

 

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper, ${}V$ und ${}W$ seien ${}K$- Vektorräume und

$\varphi \colon V\longrightarrow W$

sei eine ${}K$- lineare Abbildung und ${}V$ sei endlichdimensional. Dann nennt man

${}\operatorname {rang} \,\varphi :=\dim _{K}{\left(\operatorname {bild} \varphi \right)}\,$

den Rang von ${}\varphi$.

Die Dimensionsformel kann man auch als

${}\operatorname {dim} _{}\left(V\right)=\operatorname {dim} _{}\left(\operatorname {kern} \varphi \right)+\operatorname {rang} \,\varphi \,$

ausdrücken.

Beispiel Referenznummer erstellen

Wir betrachten die durch die Matrix

${}M={\begin{pmatrix}0&1&1\\0&2&2\\1&3&4\\2&4&6\end{pmatrix}}\,$

gegebene lineare Abbildung

$\varphi \colon \mathbb {R} ^{3}\longrightarrow \mathbb {R} ^{4},\,{\begin{pmatrix}x\\y\\z\end{pmatrix}}\longmapsto M{\begin{pmatrix}x\\y\\z\end{pmatrix}}={\begin{pmatrix}y+z\\2y+2z\\x+3y+4z\\2x+4y+6z\end{pmatrix}}.$

Zur Bestimmung des Kerns müssen wir das homogene lineare Gleichungssystem

${}{\begin{pmatrix}y+z\\2y+2z\\x+3y+4z\\2x+4y+6z\end{pmatrix}}={\begin{pmatrix}0\\0\\0\\0\end{pmatrix}}\,$

lösen. Der Lösungsraum ist

${}L={\left\{s{\begin{pmatrix}1\\1\\-1\end{pmatrix}}\mid s\in \mathbb {R} \right\}}\,$

und dies ist der Kern von ${}\varphi$. Der Kern ist also eindimensional und daher ist die Dimension des Bildes nach der Dimensionsformel gleich ${}2$.

Korollar Korollar 25.4 ändern

Es sei ${}K$ ein Körper und es seien ${}V$ und ${}W$ Vektorräume über ${}K$ der gleichen Dimension ${}n$. Es sei

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung.

Dann ist ${}\varphi$ genau dann injektiv, wenn ${}\varphi$ surjektiv ist.

Beweis

Dies folgt aus der Dimensionsformel und Lemma 24.14.

$\Box$

Verknüpfung von linearen Abbildungen und Matrizen

Lemma

Bei der Korrespondenz zwischen linearen Abbildungen und Matrizen entsprechen sich die Hintereinanderschaltung von linearen Abbildungen und die Matrizenmultiplikation.

Damit ist folgendes gemeint: es seien ${}U,V,W$ Vektorräume über einem Körper ${}K$ mit Basen

${\mathfrak {u}}=u_{1},\ldots ,u_{p},\,{\mathfrak {v}}=v_{1},\ldots ,v_{n}{\text{ und }}{\mathfrak {w}}=w_{1},\ldots ,w_{m}.$

Es seien

$\psi :U\longrightarrow V{\text{ und }}\varphi :V\longrightarrow W$

lineare Abbildungen. Dann gilt für die beschreibenden Matrizen von ${}\psi ,\,\varphi$ und der Hintereinanderschaltung ${}\varphi \circ \psi$ die Beziehung

${}M_{\mathfrak {w}}^{\mathfrak {u}}(\varphi \circ \psi )=(M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi ))\circ (M_{\mathfrak {v}}^{\mathfrak {u}}(\psi ))\,.$

Beweis

Wir betrachten die Abbildungskette

$U{\stackrel {\psi }{\longrightarrow }}V{\stackrel {\varphi }{\longrightarrow }}W.$

Bezüglich der Basen werde ${}\psi$ durch die ${}n\times p$-Matrix ${}B=(b_{jk})_{jk}$ und ${}\varphi$ durch die ${}m\times n$-Matrix ${}A=(a_{ij})_{ij}$ beschrieben. Die Hintereinanderschaltung ${}\varphi \circ \psi$ wirkt auf einen Basisvektor ${}u_{k}$ folgendermaßen.

${}{\begin{aligned}{\left(\varphi \circ \psi \right)}{\left(u_{k}\right)}&=\varphi {\left(\psi {\left(u_{k}\right)}\right)}\\&=\varphi {\left(\sum _{j=1}^{n}b_{jk}v_{j}\right)}\\&=\sum _{j=1}^{n}b_{jk}\varphi (v_{j})\\&=\sum _{j=1}^{n}b_{jk}{\left(\sum _{i=1}^{m}a_{ij}w_{i}\right)}\\&=\sum _{i=1}^{m}{\left(\sum _{j=1}^{n}a_{ij}b_{jk}\right)}w_{i}\\&=\sum _{i=1}^{m}c_{ik}w_{i}.\end{aligned}}$

Dabei sind diese Koeffizienten ${}c_{ik}=\sum _{j=1}^{n}a_{ij}b_{jk}$ gerade die Einträge in der Produktmatrix ${}A\circ B$.

$\Box$

Daraus folgt beispielsweise, dass das Produkt von Matrizen assoziativ ist.

Invertierbare Matrizen

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper und sei ${}M$ eine ${}n\times n$- Matrix über ${}K$. Dann heißt ${}M$ invertierbar, wenn es eine weitere Matrix ${}A\in \operatorname {Mat} _{n}(K)$ mit

${}A\circ M=E_{n}=M\circ A\,$

gibt.

Definition Referenznummer erstellen

Es sei ${}K$ ein Körper. Zu einer invertierbaren Matrix ${}M\in \operatorname {Mat} _{n}(K)$ heißt die Matrix ${}A\in \operatorname {Mat} _{n}(K)$ mit

${}A\circ M=E_{n}=M\circ A\,$

die inverse Matrix von ${}M$. Man schreibt dafür

$M^{-1}.$

Lineare Abbildungen und Basiswechsel

Lemma Lemma 25.8 ändern

Es sei ${}K$ ein Körper und es seien ${}V$ und ${}W$ endlichdimensionale ${}K$- Vektorräume. Es seien ${}{\mathfrak {v}}$ und ${}{\mathfrak {u}}$ Basen von ${}V$ und ${}{\mathfrak {w}}$ und ${}{\mathfrak {z}}$ Basen von ${}W$. Es sei

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung, die bezüglich der Basen ${}{\mathfrak {v}}$ und ${}{\mathfrak {w}}$ durch die Matrix ${}M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )$ beschrieben werde.

Dann wird ${}\varphi$ bezüglich der Basen ${}{\mathfrak {u}}$ und ${}{\mathfrak {z}}$ durch die Matrix

$M_{\mathfrak {z}}^{\mathfrak {w}}\circ (M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi ))\circ (M_{\mathfrak {u}}^{\mathfrak {v}})^{-1}$

beschrieben, wobei ${}M_{\mathfrak {u}}^{\mathfrak {v}}$ und ${}M_{\mathfrak {z}}^{\mathfrak {w}}$ die Übergangsmatrizen sind, die die Basiswechsel von ${}{\mathfrak {v}}$ nach ${}{\mathfrak {u}}$ und von ${}{\mathfrak {w}}$ nach ${}{\mathfrak {z}}$ beschreiben.

Beweis

Dieser Beweis wurde in der Vorlesung nicht vorgeführt.

Die linearen Standardabbildungen ${}K^{n}\rightarrow V$ bzw. ${}K^{m}\rightarrow W$ zu den Basen seien mit ${}\Psi _{\mathfrak {v}},\,\Psi _{\mathfrak {u}},\,\Psi _{\mathfrak {w}},\,\Psi _{\mathfrak {z}}$ bezeichnet. Wir betrachten das kommutative Diagramm

${\begin{matrix}K^{n}&&&{\stackrel {M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )}{\longrightarrow }}&&&K^{m}\\&\searrow \Psi _{\mathfrak {v}}\!\!\!\!\!&&&&\Psi _{\mathfrak {w}}\swarrow \!\!\!\!\!&\\\!\!\!\!\!M_{\mathfrak {u}}^{\mathfrak {v}}\downarrow &&V&{\stackrel {\varphi }{\longrightarrow }}&W&&\,\,\,\,\downarrow M_{\mathfrak {z}}^{\mathfrak {w}}\\&\nearrow \Psi _{\mathfrak {u}}\!\!\!\!\!&&&&\Psi _{\mathfrak {z}}\nwarrow \!\!\!\!\!&\\K^{n}&&&{\stackrel {M_{\mathfrak {z}}^{\mathfrak {u}}(\varphi )}{\longrightarrow }}&&&K^{m},\!\!\!\!\!\end{matrix}}$

wobei die Kommutativität auf Lemma 24.1 und Fakt ***** beruht. In dieser Situation ergibt sich insgesamt

${}{\begin{aligned}M_{\mathfrak {z}}^{\mathfrak {u}}(\varphi )&=\Psi _{\mathfrak {z}}^{-1}\circ \varphi \circ \Psi _{\mathfrak {u}}\\&=\Psi _{\mathfrak {z}}^{-1}\circ (\Psi _{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ \Psi _{\mathfrak {v}}^{-1})\circ \Psi _{\mathfrak {u}}\\&=(\Psi _{\mathfrak {z}}^{-1}\circ \Psi _{\mathfrak {w}})\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (\Psi _{\mathfrak {v}}^{-1}\circ \Psi _{\mathfrak {u}})\\&=(\Psi _{\mathfrak {z}}^{-1}\circ \Psi _{\mathfrak {w}})\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (\Psi _{\mathfrak {u}}^{-1}\circ \Psi _{\mathfrak {v}})^{-1}\\&=M_{\mathfrak {z}}^{\mathfrak {w}}\circ M_{\mathfrak {w}}^{\mathfrak {v}}(\varphi )\circ (M_{\mathfrak {u}}^{\mathfrak {v}})^{-1}.\end{aligned}}$

$\Box$

 

Korollar Korollar 25.9 ändern

Es sei ${}K$ ein Körper und es sei ${}V$ ein endlichdimensionaler ${}K$- Vektorraum. Es sei

$\varphi \colon V\longrightarrow V$

eine lineare Abbildung. Es seien ${}{\mathfrak {u}}$ und ${}{\mathfrak {v}}$ Basen von ${}V$.

Dann besteht zwischen den Matrizen, die die lineare Abbildung bezüglich ${}{\mathfrak {u}}$ bzw. ${}{\mathfrak {v}}$ (beidseitig) beschreiben, die Beziehung

${}M_{\mathfrak {u}}^{\mathfrak {u}}(\varphi )=M_{\mathfrak {u}}^{\mathfrak {v}}\circ M_{\mathfrak {v}}^{\mathfrak {v}}(\varphi )\circ (M_{\mathfrak {u}}^{\mathfrak {v}})^{-1}\,.$

Beweis

Dies folgt direkt aus Lemma 25.8.

$\Box$

Definition Referenznummer erstellen

Zwei quadratische Matrizen ${}M,N\in \operatorname {Mat} _{n}(K)$ heißen ähnlich, wenn es eine invertierbare Matrix ${}B$ mit ${}M=BNB^{-1}$ gibt.

Nach Korollar 25.9 sind zu einer linearen Abbildung ${}\varphi \colon V\rightarrow V$ die beschreibenden Matrizen bezüglich zweier Basen ähnlich zueinander.

Eigenschaften von linearen Abbildungen

Lemma Lemma 25.11 ändern

Es sei ${}K$ ein Körper und es seien ${}V$ und ${}W$ Vektorräume über ${}K$ der Dimension ${}n$ bzw. ${}m$. Es sei

$\varphi \colon V\longrightarrow W$

eine lineare Abbildung, die bezüglich zweier Basen durch die Matrix ${}M\in \operatorname {Mat} _{m\times n}(K)$ beschrieben werde. Dann gelten folgende Eigenschaften.

1. ${}\varphi$ ist genau dann injektiv, wenn die Spalten der Matrix linear unabhängig sind.
2. ${}\varphi$ ist genau dann surjektiv, wenn die Spalten der Matrix ein Erzeugendensystem von ${}K^{m}$ bilden.
3. Bei ${}m=n$ ist ${}\varphi$ genau dann bijektiv, wenn die Spalten der Matrix eine Basis von ${}K^{m}$ bilden, und dies ist genau dann der Fall, wenn ${}M$ invertierbar ist.

Beweis

Es seien ${}{\mathfrak {v}}=v_{1},\ldots ,v_{n}$ und ${}{\mathfrak {w}}=w_{1},\ldots ,w_{m}$ Basen von ${}V$ bzw. ${}W$ und es seien ${}s_{1},\ldots ,s_{n}$ die Spaltenvektoren von ${}M$. (1). Die Abbildung ${}\varphi$ hat die Eigenschaft

${}\varphi (v_{j})=\sum _{i=1}^{m}s_{ij}w_{i}\,,$

wobei ${}s_{ij}$ der ${}i$-te Eintrag des ${}j$-ten Spaltenvektors ist. Daher ist

${}\varphi {\left(\sum _{j=1}^{n}a_{j}v_{j}\right)}=\sum _{j=1}^{n}a_{j}{\left(\sum _{i=1}^{m}s_{ij}w_{i}\right)}=\sum _{i=1}^{m}{\left(\sum _{j=1}^{n}a_{j}s_{ij}\right)}w_{i}\,.$

Dies ist genau dann ${}0$, wenn ${}\sum _{j=1}^{n}a_{j}s_{ij}=0$ für alle ${}i$ ist, und dies ist äquivalent zu

${}\sum _{j=1}^{n}a_{j}s_{j}=0\,.$

Dafür gibt es ein nichttriviales (Lösungs-)Tupel ${}{\left(a_{1},\ldots ,a_{n}\right)}$ genau dann, wenn die Spalten linear abhängig sind und genau dann, wenn ${}\varphi$ nicht injektiv ist.
(2). Siehe Aufgabe 25.3.
(3). Sei ${}n=m$. Die erste Äquivalenz folgt aus (1) und (2). Wenn ${}\varphi$ bijektiv ist, so gibt es die (lineare) Umkehrabbildung ${}\varphi ^{-1}$ mit

$\varphi \circ \varphi ^{-1}=\operatorname {Id} _{W}{\text{ und }}\varphi ^{-1}\circ \varphi =\operatorname {Id} _{V}.$

Es sei ${}M$ die Matrix zu ${}\varphi$ und ${}N$ die Matrix zu ${}\varphi ^{-1}$. Die Matrix zur Identität ist die Einheitsmatrix. Nach Lemma 25.5 ist daher

${}M\circ N=E_{n}=N\circ M\,$

und somit ist ${}M$ invertierbar. Die Umkehrung wird ähnlich bewiesen.

$\Box$

Auffinden der inversen Matrix

Verfahren  

Es sei ${}M$ eine quadratische Matrix. Wie kann man entscheiden, ob die Matrix invertierbar ist, und wie kann man die inverse Matrix ${}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 Invarianzprinzip. Jede elementare Zeilenumformung kann als eine Matrizenmultiplikation mit einer Elementarmatrix ${}E$ von links realisiert werden. Wenn in der Tabelle

$(M_{1},M_{2})$

steht, so steht im nächsten Schritt

$(EM_{1},EM_{2}).$

Wenn man das Inverse (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

${}(EM_{1})^{-1}EM_{2}=M_{1}^{-1}E^{-1}EM_{2}=M_{1}^{-1}M_{2}\,.$

D.h., dass sich dieser Ausdruck bei den Einzelschritten nicht ändert. Zu Beginn ist dieser Ausdruck gleich ${}M^{-1}E_{n}$, daher muss zum Schluss für ${}(E_{n},N)$ gelten

${}N=E_{n}^{-1}N=M^{-1}E_{n}=M^{-1}\,.$

Beispiel Referenznummer erstellen

Wir wollen zur Matrix ${}{\begin{pmatrix}1&3&1\\4&1&2\\0&1&1\end{pmatrix}}$ gemäß dem in Verfahren 25.12 beschriebenen Verfahren die inverse Matrix ${}M^{-1}$ bestimmen.

${}{\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}}$
${}{\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}}$
${}{\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}}$
${}{\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}}$
${}{\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}}$
${}{\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}}$
${}{\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}}$