Es sei ein
euklidischer Vektorraum
und sei
-
eine
lineare Abbildung.
Zeige, dass die folgenden Aussagen äquivalent sind.
- ist eine
Isometrie.
- Für jeden Vektor mit
ist auch
.
- Für jede
Orthonormalbasis
, ist auch , eine Orthonormalbasis.
- Es gibt eine Orthonormalbasis , derart, dass auch ,
eine Orthonormalbasis ist.