|
|
|
@ -6451,7 +6451,7 @@ Das Hauptziel hier ist, eine Variant anzubieten, gegen die man seine Versuche ve
|
|
|
|
|
\begin{proof} |
|
|
|
|
Laut Teil (a) wissen wir bereits, dass $\rank(\psi\circ\phi)\leq\rank(\phi)$. |
|
|
|
|
Es bleibt \textbf{zu zeigen}, dass $\rank(\psi\circ\phi)\geq\rank(\phi)$. |
|
|
|
|
Sei $d:=\rank(\phi)\textoverset{Defn}{=}\rank(\range(\phi))$. |
|
|
|
|
Sei $d:=\rank(\phi)\textoverset{Defn}{=}\dim(\range(\phi))$. |
|
|
|
|
Dann existiert eine Basis |
|
|
|
|
|
|
|
|
|
\begin{mathe}[mc]{c} |
|
|
|
|