\(B=\{u_1,\ldots , u_m\}\) ist Orthonormalbasis (ONB) von \(U\). Also
\(\operatorname{span}(B) = U\) (\(\operatorname{span}\) bezeichnet die lineare Hülle)
\(\displaystyle f(x) = \sum_{i=1}^m<u_i,x>u_i\) ist eine lineare Abbildung.
Damit ist \(\operatorname{Bild}(f)\) ein Unterraum und per Definition von \(f\) gilt
\(\operatorname{Bild}(f) \subseteq U\)
Nun gilt aber
\(f(u_i) \stackrel{B\:ist\:ONB}{=} u_i \in \operatorname{Bild}(f)\)
Also haben wir
\(U = \operatorname{span}(B) \subseteq\operatorname{Bild}(f) \subseteq U \)
Daher: \(\operatorname{Bild}(f) = U\)