Bild(AB) eine Teilmenge von Bild (B)
Das stimmt unter den von dir genannten Voraussetzungen nicht.
Beispiel.
\(A = \begin{pmatrix}0&0\\1&1\end{pmatrix}\)
\(B = \begin{pmatrix}1&0\\0&0\end{pmatrix}\)
Dann ist
\(B\cdot\begin{pmatrix}1\\0\end{pmatrix} = \begin{pmatrix}1\\0\end{pmatrix}\) und \(B\cdot\begin{pmatrix}0\\1\end{pmatrix} = \begin{pmatrix}0\\0\end{pmatrix}\)
also
\(\operatorname{Bild} B = \left\langle\begin{pmatrix}1\\0\end{pmatrix}\right\rangle\)
aber
\(A\cdot B\cdot \begin{pmatrix}1\\0\end{pmatrix} = \begin{pmatrix}0\\1\end{pmatrix}\notin \operatorname{Bild} B\).