Eigenschaften Linearer Abbildungen – „Mathe für Nicht-Freaks“

Wir betrachten einige Eigenschaften linearer Abbildungen zwischen Vektorräumen.

Zusammenfassung

Eine lineare Abbildung bzw. ein Vektorraumhomomorphismus erhält die Struktur des Vektorraums beim Abbilden. Dies zeigt sich in folgenden Eigenschaften einer linearen Abbildung $f:V\to W$:

• Nullvektor wird auf Nullvektor abgebildet: $f(0)=0$
• Inverse werden auf Inverse abgebildet: $f(-v)=-f(v)$
• Linearkombinationen werden auf Linearkombinationen abgebildet
• Kompositionen linearer Abbildungen sind linear
• Bilder von Untervektorräumen sind Untervektorräume
• Urbilder von Untervektorräumen sind Untervektorräume
• Das Bild eines Spanns ist der Spann der einzelnen Bildvektoren: $f(\mathrm{span}(M))=\mathrm{span}(f(M))$ ($M\subseteq V$ ist eine beliebige Menge)

Nullvektor wird auf Nullvektor abgebildet

Der Ursprung hat in unserer Anschauung von Vektorräumen eine zentrale Bedeutung. Deshalb sollte der Ursprung durch eine lineare Abbildung auf den Ursprung geschickt werden. Was wir anschaulich mit dem Ursprung bezeichnen, ist formal das neutrale Element $0$ der Addition. Wir zeigen also folgenden Satz:

Satz (Nullvektor wird auf Nullvektor abgebildet)

Jede lineare Abbildung $f:V\to W$ zwischen zwei $K$-Vektorräumen bildet das neutrale Element von $V$ auf das neutrale Element in $W$ ab. Formal bedeutet das $f(0_V)=0_W$.

Wie kommt man auf den Beweis? (Nullvektor wird auf Nullvektor abgebildet)

Wir beginnen zunächst mit dem Vektor $0_V$, der das neutrale Element der Addition des Vektorraumes $V$ ist. Er ändert also den Vektor, zu dem er addiert wird, nicht. Deshalb gilt insbesondere $0_V{+}_V{0}_V=0_V$.

Wir benötigen die Additivität einer linearen Abbildung. Damit folgt $f(0_V+0_V)=f(0_V)+f(0_V)$.

Verwenden wir diese beiden Eigenschaften, erhalten wir $f(0_V)=f(0_V)+f(0_V)$. Diese Gleichung wird nur von $0_W$ erfüllt. Wir können auf beiden Seiten $f(0_V)$ abziehen und bekommen $f(0_V)=0_W$.

Beweis (Nullvektor wird auf Nullvektor abgebildet)

Es ist

$\begin{array}{cc}& f(0_V)\\ & \downarrow 0_V=0_V{+}_{{}_V}{0}_V\\ =& f(0_V{+}_{{}_V}{0}_V)\\ & \downarrow \text{Additivität von }f\\ =& f(0_V){+}_{{}_W}f(0_V).\\ \end{array}$

Wir haben also

$f(0_V)=f(0_V){+}_{{}_W}f(0_V).$

Nun addieren wir $-f(0_V)$ zu beiden Seiten:

$\begin{array}{cc}{0}_W=& f(0_V){+}_{{}_W}(-f(0_V))\\ =& f(0_V){+}_{{}_W}f(0_V){+}_{{}_W}(-f(0_V))\\ =& f(0_V){+}_{{}_W}{0}_W\\ =& f(0_V).\end{array}$

Somit gilt $0_W=f(0_V)$.

Inverse werden auf Inverse abgebildet

Eine weitere wichtige Struktur des Vektorraums ist, dass es zu jedem Element ein additives Inverses gibt. Wir wollen nun zeigen, dass Inverse durch lineare Abbildungen erhalten bleiben.

Satz (Inverses wird auf Inverses abgebildet)

Jede lineare Abbildung bildet das Inverse eines Elements auf das Inverse des Bildes von dem Element ab. Formal bedeutet das, dass für alle $v$ in $V$ gilt $f(-v)=-f(v)$.

Wie kommt man auf den Beweis? (Inverses wird auf Inverses abgebildet)

Es ist unser Ziel ist zu zeigen, dass $f(-v)=-f(v)$. Wir wissen bereits, dass im Vektorraum $V$ das Inverse eines beliebigen Vektors $v$ durch $(-1){\cdot }_{{}_V}v$ gegeben ist. Genauso gilt für einen beliebigen Vektor $w\in W$, dass $-w=(-1){\cdot }_{{}_W}w$. Damit vereinfacht sich die Aussage, die wir zeigen sollen, zu $f((-1){\cdot }_{{}_V}v)=(-1){\cdot }_{{}_W}f(v)$.

Wir können den Ausdruck $f((-1){\cdot }_{{}_V}v)$ mit Hilfe der Homogenität der linearen Abbildung $f$ in den Ausdruck $(-1){\cdot }_{{}_W}f(v)$ umformen.

Beweis (Inverses wird auf Inverses abgebildet)

Sei $v$ ein beliebiges Element des Vektorraums $V$.

$\begin{array}{cc}& f(-v)\\ & \downarrow -v=(-1){\cdot }_{{}_V}v\\ =& f((-1){\cdot }_{{}_V}v)\\ & \downarrow \text{Homogenität von }f\\ =& (-1){\cdot }_{{}_W}f(v)\\ & \downarrow (-1){\cdot }_{{}_W}f(v)=-f(v)\\ =& -f(v)\end{array}$

Somit gilt nun $f(-v)=-f(v)$.

Wir haben hier benutzt, dass $-v=(-1){\cdot }_{{}_V}v$ für $v\in V$ und $-w=(-1){\cdot }_{{}_W}w$ für alle $w\in W$. Dieser Zusammenhang gilt in jedem Vektorraum. Den Beweis findest du hier.

Alternativer Beweis (Inverses wird auf Inverses abgebildet)

Sei $v$ wieder ein beliebiges Element des Vektorraums $V$. Unser Ziel ist es zu zeigen, dass $-f(v)=f(-v)$ gilt. Beginnen wir mit einer Aussage, von der wir wissen, dass sie wahr ist: $f(v)+(-f(v))=0_V$.

Die Addition von einem Element mit seinem Inversen ergibt immer $0$. Also gilt $f(v)+(-f(v))=0_V$ auf jeden Fall, und wir wollen nun zeigen, dass auch $f(v)+f(-v)=0_W$ gilt. Da wir mit Abbildungen arbeiten, sollten wir ihre Eigenschaften nutzen. Wir können es mit der Additivität ausprobieren.

Es gilt

$\begin{array}{cc}& f(v){+}_{{}_W}f(-v)\\ & \downarrow \text{Additivität von }f\\ =& f(v{+}_{{}_V}(-v))\\ =& f(0_V)\\ & \downarrow \text{vorheriger Satz}\\ =& 0_W\end{array}$

Wir sehen damit, dass $f(v){+}_{{}_W}f(-v)=0_W$ gilt. Daraus folgt, dass $f(-v)$ das additive Inverse zu $f(v)$ bezüglich ${+}_{{}_W}$ ist. Es gilt also $f(-v)=-f(v)$.

Die Aussage dieses Satzes gilt auch allgemeiner in abelschen Gruppen. Dort existiert allerdings keine Skalarmultiplikation. Daher muss in diesem Fall die alternative Version des Beweises benutzt werden.

Linearkombinationen werden auf Linearkombinationen abgebildet

Lineare Abbildungen erhalten die Struktur einer Linearkombination und bilden damit Linearkombinationen im Definitionsbereich auf Ihre korrespondierenden Linearkombinationen im Wertebereich ab:

Satz (Linearkombinationen werden auf Linearkombinationen abgebildet)

Eine Abbildung $f:V\to W$ zwischen zwei $K$-Vektorräumen $V$ und $W$ ist genau dann eine lineare Abbildung, wenn sie Linearkombinationen erhält. Sprich: Jede lineare Abbildung bildet die Linearkombination von Elementen auf die Linearkombination von den Bildern der Elemente ab. Formal bedeutet das, dass für endlich viele $v_1,\dots ,v_n\in V$ und ${\lambda }_1,\dots ,{\lambda }_n\in K$ gilt:

$f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)$

Wie kommt man auf den Beweis? (Linearkombinationen werden auf Linearkombinationen abgebildet)

Wir wollen zeigen, dass für alle $v_i\in V$ und ${\lambda }_i\in K$ gilt: $f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_V{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{W}f(v_i)⟺f$ ist eine lineare Abbildung.

Wir wissen aus der Definition der linearen Abbildung, dass für diese die Eigenschaften der Additivität und Homogenität gelten, welche wir uns zu Nutze machen.

Für die Richtung von links nach rechts des Beweises wählen wir 2 Linearkombinationen so, dass wir durch Einsetzen in die obige Formel die zwei Eigenschaften erhalten.

Für die Rückrichtung wissen wir, dass $f$ eine lineare Abbildung ist. Wir können durch vollständige Induktion zeigen, dass obige Formel für alle Elemente gilt. Dabei reduzieren wir die Linearkombination auf einzelne Additionen und Skalarmultiplikationen, auf die wir die Additivität und Homogenität anwenden können.

Beweis (Linearkombinationen werden auf Linearkombinationen abgebildet)

Beweisschritt: $(\mathrm{\forall }{v}_1,\dots ,v_n\in V\mathrm{\forall }{\lambda }_1,\dots ,{\lambda }_n\in K:f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right))⟹f$ ist eine lineare Abbildung.

Seien $v,v_1,v_2\in V$ und $\lambda \in K$. Die beiden Terme $v_1+v_2$ und $\lambda \cdot v$ sind zwei Linearkombinationen in $V$. Wenn wir diese in die Formel $f\left({\sum }_{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)={\sum }_{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)$ einsetzen, so erhalten wir

$\begin{array}{cc}f(v_1+v_2)& =f(v_1)+f(v_2)\\ f(\lambda \cdot v)& =\lambda \cdot f(v)\end{array}$

Damit erfüllt $f$ die Definition einer linearen Abbildung.

Beweisschritt: $f$ ist eine lineare Abbildung $⟹(\mathrm{\forall }{v}_1,\dots ,v_n\in V\mathrm{\forall }{\lambda }_1,\dots ,{\lambda }_n\in K:f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right))$.

Sei $f$ eine lineare Abbildung. Wir beweisen die Gleichung mit vollständiger Induktion über $n$:

Aussageform, deren Allgemeingültigkeit für $n\in \mathbb{N}$ bewiesen werden soll:

$\mathrm{\forall }{v}_1,\dots ,v_n\in V\mathrm{\forall }{\lambda }_1,\dots ,{\lambda }_n\in K:f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)$

1. Induktionsanfang:

Wir fangen die Induktion bei $n=1$ an und stellen fest, dass hierfür die Eigenschaft der Homogenität ausreicht:

$\begin{array}{cc}& f\left({\lambda }_1{\cdot }_{{}_V}{v}_1\right)\\ & \downarrow \text{Homogenität von }f\\ =& {\lambda }_1{\cdot }_{{}_W}f\left(v_1\right)\end{array}$

2. Induktionsschritt:

2a. Induktionsvoraussetzung:

$\mathrm{\forall }{v}_1,\dots ,v_n\in V\mathrm{\forall }{\lambda }_1,\dots ,{\lambda }_n\in K:f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)$

2b. Induktionsbehauptung:

$\mathrm{\forall }{v}_1,\dots ,v_n,v_{n+1}\in V\mathrm{\forall }{\lambda }_1,\dots ,{\lambda }_n,{\lambda }_{n+1}\in K:f\left(\sum _{i=1}^{n+1}{\lambda }_i{\cdot }_{{}_V}{v}_i\right)=\sum _{i=1}^{n+1}{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)$

2c. Beweis des Induktionsschritts:

Seien $v_1,\dots ,v_{n+1}\in V$ und ${\lambda }_1,\dots ,{\lambda }_{n+1}\in K$. Dann

$\begin{array}{cc}& f\left(\sum _{i=1}^{n+1}{\lambda }_i{\cdot }_{{}_V}{v}_i\right)\\ & \downarrow \text{Summe aufteilen}\\ =& f\left(\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right){+}_{{}_V}\left({\lambda }_{n+1}{\cdot }_{{}_V}{v}_{n+1}\right)\right)\\ & \downarrow \text{Additivität von }f\\ =& f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right){+}_{{}_W}f\left({\lambda }_{n+1}{\cdot }_{{}_V}{v}_{n+1}\right)\\ & \downarrow \text{Homogenität von }f\\ =& f\left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_V}{v}_i\right){+}_{{}_W}\left({\lambda }_{n+1}{\cdot }_{{}_W}f\left(v_{n+1}\right)\right)\\ & \downarrow \text{Induktionsannahme}\\ =& \left(\sum _{i=1}^n{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)\right){+}_{{}_W}\left({\lambda }_{n+1}{\cdot }_{{}_W}f\left(v_{n+1}\right)\right)\\ & \downarrow \text{Summe zusammenfassen}\\ =& \sum _{i=1}^{n+1}{\lambda }_i{\cdot }_{{}_W}f\left(v_i\right)\end{array}$

Kompositionen linearer Abbildungen sind linear

Nehmen wir zwei lineare Abbildungen $f:V_1\to V_2$ und $g:V_2\to V_3$. Beide vertragen sich mit der Vektorraumstruktur und erhalten Linearkombinationen. Dann sollte dies insbesondere auch für die Hintereinanderausführung beider Abbildungen $g\circ f:V_1\to V_3$ mit $(g\circ f)(v)=g(f(v))$ gelten. Dies beweist der folgende Satz:

Satz (Komposition linearer Abbildungen)

Seien $f:V_1\to V_2$ und $g:V_2\to V_3$ zwei lineare Abbildungen zwischen den $K$-Vektorräumen $V_1$, $V_2$ und $V_3$. Dann ist auch die Komposition $g\circ f:V_1\to V_3$ dieser beiden Abbildungen mit $(g\circ f)(v)=g(f(v))$ für $v\in V_1$ eine lineare Abbildung.

Wie kommt man auf den Beweis? (Komposition linearer Abbildungen)

Wir wissen, dass die Komposition von zwei Abbildungen wieder eine Abbildung ist. Wir müssen also nur zeigen, dass $g\circ f$ linear ist. Dafür müssen wir nachweisen, dass $(g\circ f)$ die Additivität und Homogenität erfüllt, d.h.

• Für alle $v_1,v_2\in V_1$ gilt $(g\circ f)(v_1+v_2)=(g\circ f)(v_1)+(g\circ f)(v_2)$ und
• Für alle $\lambda \in K$ und $v\in V$ gilt $(g\circ f)(\lambda \cdot v)$.

Um das nachzuweisen, nutzen wir die Additivität und Homogenität der einzelnen Abbildungen $f$ und $g$ aus.

Beweis (Komposition linearer Abbildungen)

Seien zunächst $v_1,v_2\in V_1$ zwei beliebige Vektoren. Es ist

$\begin{array}{cc}& (g\circ f)(v_1+v_2)\\ & \downarrow \text{Definition von }g\circ f\\ =& g(f(v_1+v_2))\\ & \downarrow \text{Additivität von }f\\ =& g(f(v_1)+(v_2))\\ & \downarrow \text{Additivität von }g\\ =& g(f(v_1))+g(f(v_2))\\ & \downarrow \text{Definition von }g\circ f\\ & (g\circ f)(v_1)+(g\circ f)(v_2)\end{array}$

Zum Beweis der Homogenität wählen wir ein beliebiges $\lambda \in K$ und ein beliebiges $v\in V_1$:

$\begin{array}{cc}& (g\circ f)(\lambda \cdot v)\\ & \downarrow \text{Definition von }g\circ f\\ =& g(f(\lambda \cdot v))\\ & \downarrow \text{Homogenität von }f\\ =& g(\lambda \cdot f(v))\\ & \downarrow \text{Homogenität von }g\\ =& \lambda \cdot g(f(v))\\ & \downarrow \text{Definition von }g\circ f\\ & \lambda \cdot (g\circ f)(v)\end{array}$

Untervektorräume werden auf Untervektorräume abgebildet

Dass lineare Abbildungen die Vektorraumstruktur erhalten, kann man auch an folgender Eigenschaft sehen: Die Bilder von Untervektorräumen einer linearen Abbildung sind wieder Untervektorräume.

Satz (Bilder von Untervektorräumen sind Untervektorräume bei linearen Abbildungen)

Sei $f:V\to W$ eine lineare Abbildung zwischen zwei $K$-Vektorräumen $V$ und $W$. Dann ist das Bild $f(U)=\{f(v):v\in U\}$ jedes Untervektorraums $U\subseteq V$ ein Untervektorraum in $W$.

Beweis (Bilder von Untervektorräumen sind Untervektorräume bei linearen Abbildungen)

Sei $U$ ein Untervektorraum von $V$. Das Bild $f(U)=\{f(v):v\in U\}$ ist die Menge aller Funktionswerte von Argumenten aus $U$ und damit eine Teilmenge des Wertebereichs $W$. Um zu zeigen, dass $f(U)$ ein Untervektorraum ist, müssen folgende Kriterien gezeigt werden:

1. $f(U)\ne \mathrm{\varnothing }$
2. Für alle $w_1,w_2\in f(U)$ gilt $w_1+w_2\in f(U)$.
3. Für alle $w\in f(U)$ und für alle $\lambda \in K$ gilt $\lambda \cdot w\in f(U)$.

Beweisschritt: $f(U)\ne \mathrm{\varnothing }$

Da $U$ ein Untervektorraum von $V$ ist, ist $0_V\in U$. Mit $f(0_V)$ gibt es in $f(U)$ mindestens ein Element und damit ist $f(U)\ne \mathrm{\varnothing }$.

Beweisschritt: Für alle $w_1,w_2\in f(U)$ gilt $w_1+w_2\in f(U)$

Nehmen wir zwei beliebige Vektoren $w_1,w_2\in f(U)$. Weil diese Vektoren im Bild liegen, gibt es mindestens zwei Vektoren $v_1,v_2\in U$ mit $f(v_1)=w_1$ und $f(v_2)=w_2$. Nun ist

$w_1+w_2=f(v_1)+f(v_2)=f(v_1+v_2)$

Damit ist $w_1+w_2$ das Bild von $v_1+v_2$ (der Vektor $v_1+v_2$ wird auf $w_1+w_2$ abgebildet). Weil $U$ ein Unterraum von $V$ ist, gilt $v_1+v_2\in U$ und damit liegt $w_1+w_2$ in $f(U)$.

Beweisschritt: Für alle $w\in f(U)$ und für alle $\lambda \in K$ gilt $\lambda \cdot w\in f(U)$

Sei $\lambda \in K$ und $w\in f(U)$. Weil $w$ im Bild von $U$ liegt, gibt es ein $v\in V$ mit $f(v)=w$. Nun ist

$\lambda \cdot w=\lambda \cdot f(v)=f(\lambda \cdot v)$

Damit ist $\lambda \cdot w$ das Bild von $\lambda \cdot v$ (der Vektor $\lambda \cdot v$ wird auf $\lambda \cdot w$ abgebildet). Weil $U$ ein Unterraum von $V$ ist, gilt $\lambda \cdot v\in U$ und damit liegt $\lambda \cdot w$ in $f(U)$.

Hinweis

Obiger Satz beweist auch, dass das Bild $f(V)$ einer linearen Abbildung $f:V\to W$ stets ein Vektorraum ist. Dies ergibt sich daraus, dass der Vektorraum $V$ auch ein Untervektorraum von sich selbst ist. Nach dem obigen Satz ist damit $f(V)=\{f(v):v\in V\}$ ein Untervektorraum von $W$.

Urbilder von Untervektorräumen sind Untervektorräume

Dass lineare Abbildungen die Vektorraumstruktur erhalten, kann man auch an folgender Eigenschaft sehen: Die Urbilder von Untervektorräumen einer linearen Abbildung sind wieder Untervektorräume.

Satz (Urbilder von Untervektorräumen sind Untervektorräume bei linearen Abbildungen)

Sei $f:V\to W$ eine lineare Abbildung zwischen zwei $K$-Vektorräumen $V$ und $W$. Dann ist das Urbild $f^{-1}(U)=\{v\in V:f(v)\in U\}$ jedes Untervektorraums $U\subseteq W$ ein Untervektorraum in $V$.

Beweis (Urbilder von Untervektorräumen sind Untervektorräume bei linearen Abbildungen)

Sei $U$ ein Untervektorraum von $W$. Das Urbild $f^{-1}(U)=\{v\in V:f(v)\in U\}$ ist die Menge aller Vektoren in $V$, deren Bild in $U$ liegt. Damit ist das Urbild eine Teilmenge des Definitionsbereichs $V$. Um zu zeigen, dass $f^{-1}(U)$ ein Untervektorraum ist, müssen folgende Kriterien gezeigt werden:

1. $f^{-1}(U)\ne \mathrm{\varnothing }$
2. Für alle $v_1,v_2\in f^{-1}(U)$ gilt $v_1+v_2\in f^{-1}(U)$.
3. Für alle $v\in f^{-1}(U)$ und für alle $\lambda \in K$ gilt $\lambda \cdot v\in f(U)$.

Beweisschritt: $f^{-1}(U)\ne \mathrm{\varnothing }$

Da $U$ ein Untervektorraum von $W$ ist, gilt $0_W\in U$. Nach Voraussetzung ist $f$ eine lineare Abbildung, also gilt $f(0_V)=0_W$. Somit $0_V\in f^{-1}(U)$.

Beweisschritt: Für alle $v_1,v_2\in f^{-1}(U)$ gilt $v_1+v_2\in f^{-1}(U)$

Nehmen wir zwei beliebige Vektoren $v_1,v_2\in f^{-1}(U)$. Weil diese Vektoren im Urbild liegen, gilt $f(v_1)\in U$ und $f(v_2)\in U$. Da $U$ ein Unterraum von $W$ und $f$ linear ist, gilt auch $f(v_1+v_2)=f(v_1)+f(v_2)\in U$. Somit gilt $v_1+v_2\in f^{-1}(U)$.

Beweisschritt: Für alle $v\in f^{-1}(U)$ und für alle $\lambda \in K$ gilt $\lambda \cdot v\in f^{-1}(U)$

Sei $\lambda \in K$ und $v\in f^{-1}(U)$. Weil $v$ im Urbild von $U$ liegt, gilt $f(v)\in U$. Da $U$ ein Unterraum von $W$ und $f$ linear ist, gilt auch $f(\lambda \cdot v)=\lambda \cdot f(v)\in U$. Somit gilt $\lambda \cdot v\in f^{-1}(U)$.

Hinweis

Dieser Satz beweist auch, dass der Kern $\ker (f)=f^{-1}(\{0_W\})$ einer linearen Abbildung $f:V\to W$ stets ein Vektorraum ist. Dies ergibt sich daraus, dass der Vektorraum $\{0_W\}$ immer ein Untervektorraum von $W$ ist. Nach dem obigen Satz ist damit $\ker (f)=\{v\in V:f(v)=0_W\}$ ein Untervektorraum von $W$.

Spanne werden auf Spanne abgebildet

Nehmen wir nun an, wir haben eine Teilmenge $M\subseteq V$. Für diese Teilmenge gilt nun, dass es egal ist, ob wir zunächst den Spann berechnen und anschließend die Abbildung anwenden oder umgekehrt.

Dass dem wirklich so ist, zeigen wir mit dem folgenden Satz:

Satz (Spann vom Bild ist Bild vom Spann)

Sei $M\subseteq V$ eine beliebige Teilmenge (nicht zwingend ein Untervektorraum!) des Vektorraumes $V$, dann gilt für den Spann von $M$:

$\mathrm{span}(f(M))=f(\mathrm{span}(M))$

Wie kommt man auf den Beweis? (Spann vom Bild ist Bild vom Spann)

Da wir die Gleichheit zweier Mengen zeigen wollen, müssen wir zeigen, dass die Mengen jeweils ineinander enthalten sind. Wenn wir dies gezeigt haben, so folgt die Gleichheit beider Mengen.

Um zu zeigen, dass $f(\mathrm{span}(M))\subseteq \mathrm{span}(f(M))$, wählen wir zuerst einen beliebigen Vektor $v\in \mathrm{span}(M)$. Weil dieser im Spann liegt, lässt er sich als Linearkombination von Elementen aus der Menge $M$ schreiben:

$\begin{array}{cc}& v={\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n\\ \end{array}$

wobei ${\lambda }_1,\dots ,{\lambda }_n\in K$.

Wir wenden danach die lineare Abbildung sowohl auf $v$ als auch auf die Linearkombination der Elemente aus $M$ an. Dies ergibt folgenden Ausdruck:

$\begin{array}{cc}& f(v)=f({\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n)\\ \end{array}$

Anschließend formen wir unter Verwendung der Eigenschaften von linearen Abbildungen den Ausdruck so um. Dann erhalten wir einen Ausdruck der folgenden Form:

$\begin{array}{cc}& f(v)={\lambda }_1\cdot f(m_1)+\cdots +{\lambda }_n\cdot f(m_n)\\ \end{array}$

Da die rechte Seite in $\mathrm{span}(f(M))$ enthalten ist, gilt $f(v)\in \mathrm{span}(f(M))$.

Um danach zu zeigen, dass $\mathrm{span}(f(M))\subseteq f(\mathrm{span}(M))$ gilt, gehen wir ähnlich vor. Nun müssen wir zeigen, dass für ein beliebiges $w\in \mathrm{span}(f(M))$ ein Vektor $v\in \mathrm{span}(M)$ existiert mit $f(v)=w$. Wir wissen

$w={\lambda }_1\cdot f(m_1)+\cdots +{\lambda }_n\cdot f(m_n)$

wobei ${\lambda }_1,\dots ,{\lambda }_n\in K$. Wie können den Ausdruck mit Hilfe der Linearität von $f$ umformen zu:

$w=f({\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n)$

Die rechte Seite ist aber in $f(\mathrm{span}(M))$ und damit gilt das gleiche für $w$.

Beweis (Spann vom Bild ist Bild vom Spann)

Beweisschritt: $f(\mathrm{span}(M))\subseteq \mathrm{span}(f(M))$

Wir nehmen zunächst einen beliebigen Vektor $v\in \mathrm{span}(M)$, für den gilt: $f(v)=w\in W$.

Da wir wissen, dass der Vektor im Spann von $M$ liegt, gibt es Koeffizienten ${\lambda }_1,\cdots ,{\lambda }_n\in K$ und Vektoren $m_1,\cdots ,m_n\in M$, sodass gilt:

$\begin{array}{cc}& v={\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n\\ \end{array}$

Wenden wir nun unsere lineare Abbildung auf diesen Ausdruck an, so erhalten wir:

$\begin{array}{cc}& f(v)=f({\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n)\\ \end{array}$

Die rechte Seite dieses Ausdrucks formen wir nun unter Verwendung der Eigenschaften von linearen Abbildungen weiter um:

$\begin{array}{cc}& f({\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n)\\ & \downarrow \text{Additivität von }f\\ =& f({\lambda }_1\cdot m_1)+\cdots +f({\lambda }_n\cdot m_n)\\ & \downarrow \text{Homogenität von }f\\ =& {\lambda }_1\cdot f(m_1)+\cdots +{\lambda }_n\cdot f(m_n)\\ \end{array}$

Auf der rechten Seite steht nun $\mathrm{span}(f(M))$.

Wir haben also gezeigt, dass $w\in \mathrm{span}(f(M))$ und damit $f(\mathrm{span}(M))\subseteq \mathrm{span}(f(M))$.

Beweisschritt: $\mathrm{span}(f(M))\subseteq f(\mathrm{span}(M))$

Wir wählen wieder einen beliebigen Vektor $w\in \mathrm{span}(f(M))$ aus. Da dieser im Spann der Abbildung liegt, können wir ihn schreiben als:

$\begin{array}{cc}& w={\lambda }_1\cdot f(m_1)+\cdots +{\lambda }_n\cdot f(m_n)\\ \end{array}$

Wir können nun analog zum vorherigen Beweisschritt mit dem Umformen des Ausdrucks beginnen:

$\begin{array}{cc}w=& {\lambda }_1\cdot f(m_1)+\cdots +{\lambda }_n\cdot f(m_n)\\ & \downarrow \text{Homogenität von }f\\ =& f({\lambda }_1\cdot m_1)+\cdots +f({\lambda }_n\cdot m_n)\\ & \downarrow \text{Additivität von }f\\ =& f({\lambda }_1\cdot m_1+\cdots +{\lambda }_n\cdot m_n)\\ \end{array}$

Auf der rechten Seite steht nun ein Vektor in $f(\mathrm{span}(M))$. Wir haben damit gezeigt, dass $w\in f(\mathrm{span}(M))$ gilt.

Zudem haben wir jetzt die Gleichheit der Mengen $f(\mathrm{span}(M))$ und $\mathrm{span}(f(M))$ gezeigt. Dies liegt daran, dass die Mengen ineinander enthalten sind.