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.