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.