Sei
\( \phi: U \rightarrow V, \quad \psi: V \rightarrow W \)
Wir wollen zeigen, dass
\( \operatorname{dim}(\operatorname{im}(\psi \circ \phi)) \leq \min \{\operatorname{dim}(\operatorname{im}(\psi)), \operatorname{dim}(\operatorname{im}(\phi))\} \)
Nun gilt
\( \operatorname{dim}(\operatorname{im}(\psi \circ \phi))=\operatorname{dim}(\{\psi(x) \mid x \in \phi[U] \subseteq V\}) \leq\left\{\begin{array}{l} \operatorname{dim}(\phi[U])=\operatorname{dim}(\operatorname{im}(\phi)) \\[5pt] \operatorname{dim}(\operatorname{im}(\psi)) \end{array}\right. \)
Du kannst ja eventuell noch ein paar Erklärungen beifügen.