Sei V ein reeller prähilbert Raum mit dem SP <*, *> und phi € End(V) heißt orthogonale Abb, falls:
<phi(v), phi(w)> = <v, w> für alle v,w € V.
Falls V endlich dimensional und B Basis von V, so ist die Darstellungsmatrix A_phi^{B, B} von phi orthogonal.
Wie beweise ich das?
Was auf Wikipedia steht finde ich bissl sus:
Die Sache ist ja, es gilt im Kontext von Darstellungsmatrixen:
K_B(phi(v)) = A_phi^{B, B} * K_B(v)
Setze ich das oben ein, müsste ich erst die Umkehrfunktion des Isomorphismus K_B anwenden (Das ist die, die die Koordinaten einer Basis B bezgl. gegebem Vektor ausspuckt), was dann im Skalarprodukt steht, damit kann ich nichts mehr anfangen und A^T * A = Id ist nicht mehr in Sicht.