Das Skalarprodukt schreibe ich
( x ; y ) := < x | ( A+ ) A | y > ( 1 )
Du hast alle Eigenschaften des Skalarprodukts zu zeigen:
1) ( x ; y ) ist linea r im rechten Argument y .
2) konjugierte Linearität : ( y ; x ) = ( x ; y ) * ( 2 )
Beide Eigenschaften folgen aus den entsprechenden aussagen für das gewöhnliche Skalarprodukt. Man könnte auch sagen: Das gewöhnliche Skalarprodukt ist definiert für metrischen Tensor gleich Eins.
Die wesentliche Bedingung : Ein Skalarprodukt darf nicht ausgeartet sein.
( x ; x ) = 0 ===> x = 0 ( 3 )
Rechnen wir es nach.
( x ; x ) = < x | ( A + ) A x > = ( 4a )
= < A x | A x > = 0 ===> A x = 0 ( 4b )
A war aber selbst als regulär voraus gesetzt ===> x = 0