Euklidische Vektorräume/Lineare Abbildung/Winkeltreu/Fakt

Es sei

eine winkeltreue lineare Abbildung zwischen den gleichdimensionalen euklidischen Vektorräumen und .

Dann gibt es eine Isometrie

und eine Streckung

mit