Vektorraum mit Skalarprodukt/Endomorphismus/Selbstadjungiert/Charakterisierung mit Matrix/Fakt/Beweis

Aus Wikiversity
Beweis

Wenn selbstadjungiert ist, so folgt die Aussage aus Fakt. Wenn umgekehrt bezüglich einer Orthonormalbasis durch eine hermitesche Matrix beschrieben wird, so wird, wiederum nach Fakt, der adjungierte Endomorphismus bezüglich der Basis durch

beschrieben, stimmt also mit überein.