Selbstisometrie/Verschiedene Charakterisierungen mit Orthonormalbasis/Aufgabe

Es sei ein euklidischer Vektorraum und sei

eine lineare Abbildung. Zeige, dass die folgenden Aussagen äquivalent sind.

  1. ist eine Isometrie.
  2. Für jeden Vektor mit ist auch .
  3. Für jede Orthonormalbasis , ist auch , eine Orthonormalbasis.
  4. Es gibt eine Orthonormalbasis , derart, dass auch , eine Orthonormalbasis ist.