Zum Inhalt springen

Mathematik für Faule: Lineare Algebra/ Isometrien

Aus Wikibooks

Satz (Isometrien von Hilberträumen, die den Nullpunkt erhalten, sind nillinear und orthonormal):

Es seien Hilberträume und eine Isometrie mit . Dann ist orthonormal nillinear.

Beweis: Es bewahrt das Skalarprodukt von Elementen; dies folgt aus

.

Nun können wir aber Orthonormalerzeuger von wählen. Die von bilden dann zumindest ein Orthonormalsystem gegeben durch . Es sei gegeben durch

.

Dann ist

, wobei .

Da das Skalarprodukt erhält, gilt für jedes

,

und da die Größe erhält, gilt . Aus der Gestalt von , die wir eben bewiesen haben, folgt nun die Behauptung.