Exercise 10.A.19

Proof. The function $\text{⟨⋅,⋅⟩}$ satisfies additivity and homogeneity in the first slot by 10.18 and Exercise 14. For conjugate symmetry we have

where the third equality follows from Exercise 10. By Exercise 18, it satisfies positive-definiteness. □