Wir setzen
-
und gehen die Axiome für ein Skalarprodukt durch. Es ist für und
da der Realteil einer komplexen Zahl linear bezüglich Multiplikation mit einer reellen Zahl ist. Wegen
-
ist symmetrisch. Daraus ergibt sich auch die Linearität in der zweiten Komponente aus der Linearität in der ersten Komponente.
Ferner ist
-
da ja
stets reell ist. Somit ergibt sich die positive Definitheit unmittelbar.