Sei v∈V. Dann gibt es eine eindeutige Darstellung mit der Basis
also genau ein \( (a_1,\dots,a_n ) \in R^n \) mit \( v=\sum \limits_{i=1}^{n} a_ib_{i} \)
\( \varphi(v)=\sum \limits_{k=1}^{n} b_{k}^{*}(v) b_{k} =\sum \limits_{k=1}^{n} b_{k}^{*}(\sum \limits_{i=1}^{n} a_ib_{i}) b_{k} \)
Wegen der Linearität der bk* also
\( =\sum \limits_{k=1}^{n} (\sum \limits_{i=1}^{n} a_ib_{k}^{*}(b_{i}) b_{k} \) Und wegen \( b_{k}^{*}(b_{i})= \delta_{k,i} \) bleibt
\( = \sum \limits_{i=1}^{n} a_ib_{i} = v \) .
Also für alle \( v \in V \text{ gilt } \varphi(v)= v \). Damit gilt \( \varphi(v)= id_V \).