Lineare surjektive Abbildung/Linearer Schnitt/Als affin-linearer Raum/Aufgabe/Lösung

a) ${}\Leftarrow$ Es gebe eine lineare Abbildung ${}\psi$ mit der angegebenen Eigenschaft ${}\varphi \circ \psi =\operatorname {Id} _{W}$. Dann ist für jedes ${}w\in W$

$w=\varphi (\psi (w)),$

also ist ${}\psi (w)$ ein Urbild für ${}w$ unter ${}\varphi$.

${}\Rightarrow$ Es sei ${}w_{1},\ldots ,w_{n}$ eine Basis von ${}W$ und es seien ${}v_{1},\ldots ,v_{n}$ Urbilder unter ${}\varphi$, also Elemente in ${}V$ mit

$\varphi (v_{i})=w_{i}{\text{ für alle }}i=1,\ldots ,n.$

Wir definieren nun eine lineare Abbildung ${}\psi \colon W\rightarrow V$ durch

$\psi (w_{i}):=v_{i}{\text{ für alle }}i=1,\ldots ,n.$

Da man eine lineare Abbildung auf einer Basis frei vorgeben kann, ist dadurch in der Tat eine lineare Abbildung definiert.

Für die Verknüpfung ${}\varphi \circ \psi$ und einen beliebigen Vektor ${}w=\sum _{i=1}^{n}a_{i}w_{i}$ gilt

${}{\begin{aligned}(\varphi \circ \psi )(\sum _{i=1}^{n}a_{i}w_{i})&=\varphi (\psi (\sum _{i=1}^{n}a_{i}w_{i}))\\&=\varphi (\sum _{i=1}^{n}a_{i}\psi (w_{i}))\\&=\varphi (\sum _{i=1}^{n}a_{i}v_{i})\\&=\sum _{i=1}^{n}a_{i}\varphi (v_{i})\\&=\sum _{i=1}^{n}a_{i}w_{i}.\end{aligned}}$

Also ist diese Verknüpfung die Identität.

b) Wir definieren eine Abbildung durch

$\operatorname {Hom} _{K}(W,\operatorname {kern} \varphi )\longrightarrow S,\,\theta \longmapsto \theta +\psi _{0},$

wobei ${}\theta +\psi _{0}$ die Addition von linearen Abbildungen von ${}W$ nach ${}V$ ist. Unter dieser Abbildung geht die Nullabbildung auf ${}\psi _{0}$. Wir müssen zuerst zeigen, dass ${}\theta +\psi _{0}$ zu ${}S$ gehört. Dies folgt aus

${}{\begin{aligned}(\varphi \circ (\theta +\psi _{0}))(w)&=\varphi ((\theta +\psi _{0})(w))\\&=\varphi (\theta (w)+\psi _{0}(w))\\&=\varphi (\psi _{0}(w))\\&=w\end{aligned}}$

für alle ${}w\in W$.

Zur Injektivität. Seien ${}\theta _{1}$ und ${}\theta _{2}$ aus ${}\operatorname {Hom} _{K}(W,\operatorname {kern} \varphi )$ gegeben, die auf das gleiche Element in ${}S$ abgebildet werden. Dann ist

$\theta _{1}(w)+\psi _{0}(w)=\theta _{2}(w)+\psi _{0}(w){\text{ für alle }}w\in W$

und daher

$\theta _{1}(w)=\theta _{2}(w){\text{ für alle }}w\in W.$

Zur Surjektivität. Es sei ${}\psi \in S$. Wir betrachten ${}\psi -\psi _{0}$ und behaupten, dass dies zu ${}\operatorname {Hom} _{K}(W,\operatorname {kern} \varphi )$ gehört. Dies folgt aus

${}{\begin{aligned}\varphi ((\psi -\psi _{0})(w))&=\varphi (\psi (w)-\psi _{0}(w))\\&=\varphi (\psi (w))-\varphi (\psi _{0}(w))\\&=w-w\\&=0.\end{aligned}}$

Damit ist ${}\psi =(\psi -\psi _{0})+\psi _{0}$ im Bild der Abbildung.

Zur gelösten Aufgabe