Dimensionsformel für lineare Abbildungen – „Mathe für Nicht-Freaks“

Dieser Abschnitt ist noch im Entstehen und noch nicht offizieller Bestandteil des Buchs. Gib den Autoren Zeit, den Inhalt anzupassen!

Im letzten Abschnitt haben wir den Isomorphiesatz kennengelernt. Dieser besagt, dass bei einer linearen Abbildung $L:V\to W$ zwischen zwei endlichdimensionalen $K$-Vektorräumen $V$ und $W$ das Bild $\mathrm{im}(L)$ isomorph ist zu $V/\ker L$.

Das bedeutet, es gibt eine bijektive lineare Abbildung zwischen den Vektorräumen $V/\ker L$ und $\mathrm{im}(L)$. Also sind diese Vektorräume in gewisser Weise ähnlich zueinander. Nun stellt sich die Frage, ob die Dimension von $V/\ker L$ mit der Dimension von $\mathrm{im}(L)$ zusammenhängt. Wir werden sehen, dass $\dim (V)=\dim (\ker L)+\dim (\mathrm{im}L)$ gilt.

Dimension von zwei zueinander isomorphen Vektorräumen

Satz

Sind zwei endlich-dimensionale $K$-Vektorräume $V$ und $W$ zueinander isomorph, so gilt $\dim V=\dim W$.

Wie kommt man auf den Beweis?

Die Dimension eines endlich-dimensionalen Vektorraums entspricht der Anzahl seiner Basiselemente. Also müssen wir zeigen, dass zwei Basen der Vektorräume $V$ und $W$ gleich viele Elemente haben.

Wir wissen, dass eine lineare Abbildung $\tilde{L}:V\to W$ existiert. Mit Hilfe dieser Abbildung versuchen wir aus einer Basis von $V$, eine Basis von $W$ zu konstruieren.

Nehmen wir an, dass $B_V=\{v_1,\mathrm{...},v_n\}$ eine Basis von $V$ ist. Wir können vermuten, dass auch $B_W:=\{\tilde{L}(v_1),\mathrm{...},\tilde{L}(v_n)\}$ eine Basis von $W$ ist. Hierzu müssen wir zwei Dinge überprüfen:

1. $B_W$ ist linear unabhängig
2. $B_W$ ist ein Erzeugendensystem von $W$

Beweis

Sei $B_V=\{v_1,\mathrm{...},v_n\}$ eine Basis von $V$. Wir behaupten, dass $B_W:=\{\tilde{L}(v_1),\mathrm{...},\tilde{L}(v_n)\}$ eine Basis von $W$ ist. Dazu zeigen wir

1. $B_W$ ist linear unabhängig
2. $B_W$ ist ein Erzeugendensystem von $W$

Beweisschritt: $B_W$ ist linear unabhängig

Seien ${\alpha }_1,\mathrm{...},{\alpha }_n\in K$ so, dass $0_W=\sum _{i=1}^n{\alpha }_i\tilde{L}(v_i)$.

Es gilt:

$\begin{array}{cc}{0}_W& =\\ & \downarrow \text{Voraussetzung}\\ & =\sum _{i=1}^n{\alpha }_i\tilde{L}(v_i)\\ & \downarrow \tilde{L}\text{ ist linear}\\ & =\sum _{i=1}^n\tilde{L}({\alpha }_i{v}_i)\\ & \downarrow \tilde{L}\text{ ist linear}\\ & =\tilde{L}\left(\sum _{i=1}^n{\alpha }_i{v}_i\right)\end{array}$

Die Abbildung $\tilde{L}$ ist bijektiv und linear. Wegen $\tilde{L}(0_V)=0_W$ ist $\sum _{i=1}^n{\alpha }_i{v}_i=0_V$. Da $B_V=\{v_1,\mathrm{...},v_n\}$ linear unabhängig ist, gilt ${\alpha }_i=0$ für alle $i\in \{1,\mathrm{...},n\}$.

Somit haben wir gezeigt, dass $B_W:=\{\tilde{L}(v_1),\mathrm{...},\tilde{L}(v_n)\}$ linear unabhängig ist.

Beweisschritt: $B_W$ ist ein Erzeugendensystem von $W$

Sei ein beliebiger Vektor $w\in W$ gegeben. Die Abbildung $\tilde{L}$ ist bijektiv und somit gibt es ein $v\in V$ mit $\tilde{L}(v)=w$.

Da $B_V=\{v_1,\mathrm{...},v_n\}$ ein Erzeugendensystem von $V$ ist, gibt es Koeffizienten ${\alpha }_1,\mathrm{...},{\alpha }_n\in K$ mit $v=\sum _{i=1}^n{\alpha }_i{v}_i$.

Folglich ist

$\begin{array}{cc}w& =\\ & \downarrow \text{Voraussetzung}\\ & =\tilde{L}(v)\\ & \downarrow v=\sum _{i=1}^n{\alpha }_i{v}_i\\ & =\tilde{L}\left(\sum _{i=1}^n{\alpha }_i{v}_i\right)\\ & \downarrow \tilde{L}\text{ ist linear}\\ & =\sum _{i=1}^n{\alpha }_i\tilde{L}\left(v_i\right)\end{array}$

Also ist $w$ eine Linearkombination von Elementen aus $B_W$. Da $w\in W$ beliebig gewählt war, ist $B_W$ ein Erzeugendensystem von $W$.

Damit ist $B_W:=\{\tilde{L}(v_1),\mathrm{...},\tilde{L}(v_n)\}$ eine Basis von $W$

und es gilt

$|B_V|=n=|B_W|$

und folglich

$\dim V=\dim W$

Alternativer Beweis

Sei wie oben $B_V=\{v_1,\mathrm{...},v_n\}$ eine Basis von $V$. Wir behaupten, dass $B_W:=\{\tilde{L}(v_1),\mathrm{...},\tilde{L}(v_n)\}$ eine Basis von $W$ ist. Dazu zeigen wir

1. $B_W$ ist linear unabhängig
2. $B_W$ ist ein Erzeugendensystem von $W$

Da $\tilde{L}$ ein Isomorphismus ist, wissen wir insbesondere, dass $\tilde{L}$ injektiv (also ein Monomorphismus) und surjektive (also ein Epimorphismus) ist.

Aber Monomorphismen bilden linear unabhängige Mengen (also insbesondere Basen) auf linear unabhängige Mengen ab, und Epimorphismen bilden Erzeugendensysteme (also insbesondere Basen) auf Erzeugendensysteme ab.

Damit ist $B_V$ ein linear unabhängiges Erzeugendensystem, also eine Basis.

Sind $\mathrm{im}(L)$ und $V/\ker L$ endlich-dimensional, so haben sie nach dem Satz die gleiche Dimension, das heißt $\dim \mathrm{im}(L)=\dim V/\ker L$.

Dimension des Faktorraums

Im letzten Abschnitt haben wir den Vektorraum $V/\ker L$ kennengelernt. Inzwischen wissen wir auch, dass $\dim \mathrm{im}(L)=\dim V/\ker L$ gilt, falls dieser Vektorraum endlich-dimensional ist.

Die Dimension und Basis eines Vektorraums hängen eng zusammen:

Wissen wir, wie viele Elemente eine Basis des Vektorraums hat, so kennen wir auch seine Dimension.

Unser nächstes Ziel ist es, explizit eine Basis von $V/U$ zu konstruieren.

Satz

Es seien $V$ und $W$ zwei endlich-dimensionale $K$-Vektorräume und $L:V\to W$ linear. Sei weiter $U$ ein Untervektorraum von $V$ mit Basis $B_U=\{v_1,\mathrm{...},v_n\}$ und $B_V:=\{v_1,\mathrm{...},v_n,v_{n+1},\mathrm{...},v_m\}$ eine Ergänzung dieser Basis zu einer Basis von $V$.

Dann ist $B^{\prime }:=\{v_{n+1}+U,\mathrm{...},v_m+U\}$ eine Basis von $V/U$.

Insbesondere gilt $\dim V/U=\dim V-\dim U$.

Wie kommt man auf den Beweis?

Wir überprüfen zwei Dinge, um zu zeigen, dass $B^{\prime }$ eine Basis von $V/U$ ist:

1. $B^{\prime }$ ist linear unabhängig
2. $B^{\prime }$ ist ein Erzeugendensystem

Dabei können wir benutzen, dass $B_V:=\{v_1,\mathrm{...},v_n,v_{n+1},\mathrm{...},v_m\}$ linear unabhängig und ein Erzeugendensystem von $V$ ist. Außerdem ist $v_1,\mathrm{...},v_n\in U$.

Um $\dim V/U=\dim V-\dim U$ zu zeigen, reicht es, die Anzahl der Basiselemente in $B^{\prime }$ abzuzählen und mit der Anzahl der Basiselemente in $B_V$ und $B_U$ zu vergleichen.

Beweis

Um zu zeigen, dass $B^{\prime }:=\{v_{n+1}+U,\mathrm{...},v_m+U\}$ eine Basis von $V/U$ ist, müssen wir folgendes überprüfen:

1. $B^{\prime }$ ist linear unabhängig
2. $B^{\prime }$ ist ein Erzeugendensystem

Beweisschritt: $B^{\prime }$ ist linear unabhängig

Wir erinnern nochmals daran, dass $0_{V/U}=0_V+U=U$.

Seien ${\alpha }_{n+1},\mathrm{...},{\alpha }_m\in K$ so gewählt, dass $0_V+U=U=\sum _{i=n+1}^m{\alpha }_i\cdot (v_i+U)$.

Dann gilt

$U=\sum _{i=n+1}^m{\alpha }_i\cdot (v_i+U)=\sum _{i=n+1}^m({\alpha }_i{v}_i)+U\Rightarrow 0_V=\sum _{i=n+1}^m({\alpha }_i{v}_i)$

Wir wissen, dass $B_V=\{v_1,\mathrm{...},v_n,v_{n+1},\mathrm{...},v_m\}$ linear unabhängig ist. Folglich gilt ${\alpha }_i=0$ für alle $i\in \{n+1,\mathrm{...},m\}$. Damit ist $B^{\prime }$ linear unabhängig.

Beweisschritt: $B^{\prime }$ ist ein Erzeugendensystem

Sei $v+U\in V/U$. Dann gibt es ${\alpha }_1,\mathrm{...},{\alpha }_m\in K$ mit $v=\sum _{i=1}^m{\alpha }_i{v}_i$.

Also ist

$\begin{array}{cc}v+U& =\\ & \downarrow v=\sum _{i=1}^m{\alpha }_i{v}_i\\ & =\sum _{i=1}^m{\alpha }_i{v}_i+U\\ & \downarrow v=\sum _{i=1}^n{\alpha }_i{v}_i+\sum _{i=n+1}^m{\alpha }_i{v}_i\\ & =(\sum _{i=1}^n{\alpha }_i{v}_i+U)+(\sum _{i=n+1}^m{\alpha }_i{v}_i+U)\\ & \downarrow v_1,\dots ,v_n\in U\\ & =U+(\sum _{i=n+1}^m{\alpha }_i{v}_i+U)\\ & =\sum _{i=n+1}^m{\alpha }_i(v_i+U)\\ & =\sum _{i=n+1}^m{\alpha }_i{v}_i+U\\ \end{array}$

Also ist $B^{\prime }:=\{v_{n+1}+U,\mathrm{...},v_m+U\}$ ein Erzeugendensystem von $V/U$.

Damit haben wir gezeigt, dass $B^{\prime }$ eine Basis von $V/U$ ist.

Es bleibt lediglich zu zeigen, dass $\dim V/U=\dim V-\dim U$.

Das gilt wegen

$\dim V/U=|B^{\prime }|=m-n=|B_V|-|B_U|=\dim V-\dim U$

Daraus ergibt sich eine wichtige Folgerung:

Der Dimensionssatz

Satz (Dimensionssatz)

Sei $L:V\to W$ eine lineare Abbildung zwischen zwei endlich-dimensionalen $K$-Vektorräumen $V$ und $W$. Dann gilt

$\dim \ker L+\dim \mathrm{im}L=\dim V$

Beweis (Dimensionssatz)

Es ist $V/\ker L$ isomorph zu $\mathrm{im}L$ und somit $\dim \mathrm{im}L=\dim V/\ker L$. Da $\ker L$ ein Untervektorraum von $V$ ist, gilt nach dem obigen Satz $\dim \mathrm{im}L=\dim V/\ker L=\dim V-\dim \ker L$. Folglich ist $\dim \ker L+\dim \mathrm{im}L=\dim V$.

Zusammenhang von Injektivität und Surjektivität von linearen Abbildungen

Im Allgemeinen sind Injektivität und Surjektivität von Abbildungen nicht äquivalent, wie folgende Beispiele zeigen.

Beispiel

Die Funktion $f:{ℝ}^3\to {ℝ}^2,\left(\begin{array}{c}{x}_1,\\ x_2,\\ x_3\end{array}\right)\mapsto \left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)$ ist surjektiv, denn $\mathrm{\forall }\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)\in {ℝ}^2\mathrm{\exists }\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)\in {ℝ}^3\text{ mit }f\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)=\left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)$.

Sie ist aber nicht injektiv, denn sei $f\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)=f\left(\begin{array}{c}{y}_1\\ y_2\\ y_3\end{array}\right)\Rightarrow \left(\begin{array}{c}{x}_1\\ x_2\end{array}\right)=\left(\begin{array}{c}{y}_1\\ y_2\end{array}\right)$ das bedeutet aber für $x_3\ne y_3$ gilt $\left(\begin{array}{c}{x}_1\\ x_2\\ x_3\end{array}\right)\ne \left(\begin{array}{c}{y}_1\\ y_2\\ y_3\end{array}\right)$. Damit ist $f$ nicht injektiv.

Beispiel

Die Funktion $g:{ℝ}^2\to {ℝ}^3,\left(\begin{array}{c}{x}_1,\\ x_2\end{array}\right)\mapsto \left(\begin{array}{c}{x}_1\\ x_2\\ 0\end{array}\right)$ ist injektiv, denn aus $g\left(\begin{array}{c}{x}_1,\\ x_2\end{array}\right)=g\left(\begin{array}{c}{y}_1,\\ y_2\end{array}\right)$ folgt $\left(\begin{array}{c}{x}_1\\ x_2\\ 0\end{array}\right)=\left(\begin{array}{c}{y}_1\\ y_2\\ 0\end{array}\right)$. Damit ist $g$ injektiv.

Sie ist aber nicht surjektiv, denn zu $\left(\begin{array}{c}{x}_1\\ x_2\\ 5\end{array}\right)\in {ℝ}^3$ gibt es keinen Vektor $\left(\begin{array}{c}{x}_1,\\ x_2\end{array}\right)\in {ℝ}^2$ für den gilt $g\left(\begin{array}{c}{x}_1,\\ x_2\end{array}\right)=\left(\begin{array}{c}{x}_1\\ x_2\\ 5\end{array}\right)$. Damit ist $g$ nicht surjektiv.

Bei linearen Abbildungen zwischen zwei endlich-dimensionalen Vektorräumen gleicher Dimension sind Injektivität und Surjektivität äquivalent.

Satz

Sei $L:V\to W$ eine lineare Abbildung zwischen zwei endlich-dimensionalen $K$-Vektorräumen $V$ und $W$ mit $\dim V=\dim W$. Dann sind folgende Aussagen äquivalent:

1. $L$ ist injektiv.
2. $L$ ist surjektiv.
3. $L$ ist bijektiv.

Beweis

Zum Beweis verwenden wir den Dimensionssatz und die Sätze zur Injektivität und Surjektivität von linearen Abbildungen.

Beweisschritt: $L$ ist injektiv $⟹$ $L$ ist surjektiv

Sei $L$ injektiv. Dann ist $\ker L=\{0_V\}$ und folgich $\dim \ker L=0$. Also gilt:

$\begin{array}{cc}\dim \mathrm{im}L& =\\ & \downarrow \text{Dimensionssatz}\\ & =\dim V-\dim \ker L\\ & \downarrow \dim V=\dim W\\ & =\dim W-\dim \ker L\\ & \downarrow \dim \ker L=0\\ & =\dim W\end{array}$

Es folgt, dass $\mathrm{im}L=W$ und somit $L$ surjektiv ist.

Beweisschritt: $L$ ist surjektiv $⟹$ $L$ ist injektiv

Sei $L$ surjektiv. Dann ist $\mathrm{im}L=W$ und folgich $\dim \mathrm{im}L=\dim W$. Also gilt:

$\begin{array}{cc}\dim \ker L& =\\ & \downarrow \text{Dimensionssatz}\\ & =\dim V-\dim \mathrm{im}L\\ & \downarrow \dim V=\dim W\\ & =\dim W-\dim \mathrm{im}L\\ & \downarrow \dim \mathrm{im}L=\dim W\\ & =\dim W-\dim W\\ & =0\end{array}$

Es folgt, dass $\ker L=\{0\}$ und damit ist $L$ injektiv.

Somit gilt auch: $L$ ist surjektiv, $⟹$ $L$ ist bijektiv.

Die Umkehrung gilt natürlich auch: $L$ ist bijektiv $⟹$ $L$ ist surjektiv und injektiv.

Warnung

Der obige Satz gilt nur für endlich-dimensionale Vektorräume. Für unendlich-dimensionale Vektorräume ist er im Allgemeinen falsch.

Ein Gegenbeispiel ist die Ableitung $d:ℝ[X]\to ℝ[X]$ mit $d\left(\sum _{i=0}^n{a}_i{X}^i\right):=\sum _{i=1}^{n}i\cdot a_i{X}^{i-1}$ für gewisse $a_i\in ℝ$ und $n\in {\mathbb{N}}_0$. Dieses Beispiel kennen wir bereits aus den Aufgaben zum Kern und Bild einer linearen Abbildung. Dort haben wir festgestellt, dass $\mathrm{im}d=ℝ[X]$. Also ist $d$ surjektiv. Aber es gilt auch $\ker L=\left\{a_0{X}^0\right|a_0\in ℝ\}$ und somit ist $d$ nicht injektiv.

Aufgaben

In den beiden vorherigen Abschnitten haben wir den Kern und das Bild einer linearen Abbildung als wichtige Untervektorräume kennengelernt.

Aufgabe

Sei $L:V\to W$ eine lineare Abbildung zwischen zwei endlich-dimensionalen $K$-Vektorräumen $V$ und $W$. Sei weiter $B_{ker}=\{v_1,v_2,\dots ,v_n\}$ eine Basis des Kerns von $L$ und $B_{im}=\{L(u_1),\dots ,L(u_m)\}$ eine Basis des Bilds von $L$, wobei $n,m\in {\mathbb{N}}_0$ und $v_i,u_j\in V$ für alle $i\in \{1,\dots ,n\}$ und alle $j\in \{1,\dots ,m\}$.

Zeige, dass $B:=\{v_1,\dots ,v_n,u_1,\dots ,u_m\}$ eine Basis von $V$ ist.

Wie kommt man auf den Beweis?

Um zu zeigen, dass $B$ eine Basis von $V$ ist, müssen wir zuerst überprüfen, dass $B$ linear unabhängig ist.

Frage: Welchen Ansatz müssen wir wählen?

Wir schreiben $0_V$ als Linearkombination der Elemente aus $B$: $0_V=\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j$

Frage: Was müssen wir nun zeigen?

Wir müssen zeigen, dass für alle $i\in \{1,\dots ,n\}$ und alle $j\in \{1,\dots ,m\}$ gilt: $a_i=0$ und $b_j=0$.

Der Trick besteht nun darin, auf beide Seiten der Gleichung die Abbildung $L$ anzuwenden.

Die linke Seite ist klar: $L(0_V)=0_W$.

Versuche bei der Umformung der rechten Seite zu verwenden, dass $L$ linear ist und $v_1,\dots ,v_n\in \ker L$ sind. Schreibe das Ergebnis als eine Linearkombination von Elementen aus $B_{im}$.

Frage: Was das Ergebnis bei der rechten Seite?

$\begin{array}{cc}L(\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j)& =\\ & \downarrow L\text{ ist linear}\\ & =L\left(\sum _{i=1}^n{a}_i{v}_i\right)+L\left(\sum _{j=1}^m{b}_j{u}_j\right)\\ & \downarrow L\text{ ist linear}\\ & =\sum _{i=1}^n{a}_{i}L(v_i)+\sum _{j=1}^m{b}_{j}L(u_j)\\ & \downarrow v_1,\mathrm{...},v_n\in \ker L\\ & =\sum _{j=1}^m{b}_{j}L(u_j)\end{array}$

Frage: Wie können wir nun anwenden, dass $B_{im}$ eine Basis von $\mathrm{im}L$ ist?

$B_{im}$ ist linear unabhängig und wir haben gerade berechnet, dass $0_W=\sum _{j=1}^m{b}_{j}L(u_j)$. Folglich gilt für alle $j\in \{1,\dots ,m\}$, dass $b_j=0$.

Schreibe nun $0_V$ als Linearkombination von Elementen aus $B$ und verwende unser Ergebnis des letzten Schritts und die lineare Unabhängigkeit von $B_{ker}$.

Frage: Was folgt nun?

Es gilt $0_V=\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j=\sum _{i=1}^n{a}_i{v}_i$ und da $B_{ker}$ linear unabhängig sind, sind auch alle $a_i=0$.

Also haben wir gezeigt, dass $B$ linear unabhängig ist.

Um zu zeigen, dass $B$ eine Basis von $V$ ist, würden wir normalerweise auch nachweisen, dass $B$ ein Erzeugendensystem ist. Wie im Beweis zu dieser Aufgabe gezeigt wird, ist das eine Möglichkeit.

Wesentlich einfacher ist jedoch der Beweis der Dimensionsformel. Wir wissen bereits, dass $B$ eine linear unabhängige Teilmenge von $V$ ist. Gilt zudem, dass die Anzahl der Elemente gleich der Dimension von $V$ ist, so ist $B$ eine Basis von $V$.

Frage: Wie überprüfen wir, dass die Anzahl der Elemente in $B$ gleich der Dimension von $V$ ist?

Es gilt

$|B|=|B_{ker}|+|B_{im}|=\dim \ker L+\dim \mathrm{im}L$.

Nach dem Dimensionssatz ist aber

$\dim V=\dim \ker L+\dim \mathrm{im}L$ und somit $|B|=\dim V$

Also ist $B$ eine Basis von $V$ und unser Beweis ist fertig.

Beweis

Wir zeigen folgende Punkte:

1. $B$ ist linear unabhängig.
2. $B$ ist aus Dimensionsgründen eine Basis von $V$.

Beweisschritt: $B$ ist linear unabhängig.

Wir schreiben zunächst $0_V=\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j$ für gewisse $a_i,b_j\in K$. Wir wollen zeigen, dass alle Koeffizienten $a_i$ und $b_j$ Null sind.

Wir wenden $L$ auf beide Seiten der Gleichung an:

$L(0_V)=0_W$ und

$\begin{array}{cc}L(\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j)& =\\ & \downarrow L\text{ ist linear}\\ & =L\left(\sum _{i=1}^n{a}_i{v}_i\right)+L\left(\sum _{j=1}^m{b}_j{u}_j\right)\\ & \downarrow L\text{ ist linear}\\ & =\sum _{i=1}^n{a}_{i}L(v_i)+\sum _{j=1}^m{b}_{j}L(u_j)\\ & \downarrow v_1,\dots ,v_n\in \ker L\\ & =\sum _{j=1}^m{b}_{j}L(u_j)\end{array}$

Also: $L(0_V)=\sum _{j=1}^m{b}_{j}L(u_j)$.

Da $B_{im}=\{L(u_1),\dots ,L(u_m)\}$ linear unabhängig ist, ist $b_j=0$ für alle $j\in \{1,\dots ,m\}$.

Somit ist $0_V=\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j=\sum _{i=1}^n{a}_i{v}_i$.

Wegen der linearen Unabhängigkeit von $B_{ker}=\{v_1,\dots ,v_n\}$ ist auch $a_i=0$ für alle $i\in \{1,\dots ,n\}$.

Also ist $B$ linear unabhängig.

Beweisschritt: $B$ ist aus Dimensionsgründen eine Basis von $V$.

Wir wissen, dass $B$ linear unabhängig ist und eine Teilmenge von $V$ ist. Also können wir $B$ zu einer Basis von $V$ ergänzen. Diese Basis hat nach dem Dimensionssatz $\dim V=\dim \ker L+\dim \mathrm{im}L=|B_{ker}|+|B_{im}|$ Elemente. $B$ hat so viele Elemente. Das heißt, $B$ ist bereits eine Basis von $V$.

Alternativer Beweis (Direkter Beweis, dass B ein Erzeugendensystem ist)

Alternativ hätten wir auch zeigen können, dass $B$ linear unabhängig und ein Erzeugendensystem ist. Die lineare Unabhängigkeit kann wie oben gezeigt werden.

Beweisschritt: $B$ ist ein Erzeugendensystem

Sei $v\in V$ beliebig. Dann ist $L(v)\in \mathrm{im}L$ und es gibt $b_j\in K$ mit $j\in \{1,\dots ,m\}$, so dass

$\begin{array}{cc}L(v)& =\\ & \downarrow L(v)\in \mathrm{im}L\text{ und }{B}_{im}\text{ Basis von }\mathrm{im}L\\ & =\sum _{j=1}^m{b}_{j}L(u_j)\\ & \downarrow L\text{ ist linear}\\ & =L\left(\sum _{j=1}^m{b}_j{u}_j\right)\end{array}$

Aufgrund der Linearität von $L$ gilt $L(v-\sum _{j=1}^m{b}_j{u}_j)=0_W$. Folglich ist $v-\sum _{j=1}^m{b}_j{u}_j\in \ker L$. Also gibt es geeignete $a_i\in K$ mit $i\in \{1,\dots ,n\}$ und $v-\sum _{j=1}^m{b}_j{u}_j=\sum _{i=1}^n{a}_i{v}_i$.

Somit ist $v=\sum _{i=1}^n{a}_i{v}_i+\sum _{j=1}^m{b}_j{u}_j$ und wir haben gezeigt, dass $B$ ein Erzeugendensystem ist.