Lineare Abbildung/Dimensionsformel/Fakt/Beweis/Aufgabe/Lösung

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$. 

Zur gelösten Aufgabe