Kurs:Lineare Algebra (Osnabrück 2024-2025)/Isometrie/Verschiedene Charakterisierungen mit Orthonormalbasis/Fakt/Beweis/Aufgabe/Aufgabereferenznummer