Beweisski
a) => b): Wenn die Spalten ein ONS bilden, gilt \(\langle u_i,u_j\rangle= \delta_{ij}\). Daraus folgt \(UU^* = I\). Hier ist \(\delta_{ij}\) das Kronecker-Symbol.
b) => c): Es ist \(\langle Ux,Uy\rangle=(Ux)^*Uy = x^*U^*Uy=x^*y\). Es ist hoffentlich klar, warum das gilt.
c) => a): Betrachte Standardbasis \(\{e_1,\ldots, e_n\}\). Dann gilt \(\langle u_i,u_j\rangle=\langle Ue_i,Ue_j\rangle=\langle e_i,e_j\rangle\). Also bilden \(\{u_1,\ldots ,u_n\}\) ein ONS.