Definition 13.1University Mathematics — Year 2 · Chapter 13 — Hermitian Forms
A Hermitian inner product on a complex vector space E is a map ⟨⋅,⋅⟩:E×E→C that is linear in the second variable, conjugate-symmetric (⟨y,x⟩=⟨x,y⟩ — hence conjugate-linear in the first variable), and positive definite (⟨x,x⟩>0 for x=0). The standard example on Cn:
⟨x,y⟩=i=1∑nxiyi;
on continuous functions, ⟨f,g⟩=∫abfg. Norm: ∥x∥=⟨x,x⟩; a finite-dimensional complex space so equipped is a Hermitian space.
Cauchy–Schwarz checks out: ∣⟨x,y⟩∣2=9+4=13≤14=∥x∥2∥y∥2 — close to equality, because x is close to a multiple of y. Note also ⟨y,x⟩=3+2i=3−2i: conjugate-symmetry in action, and the reason ⟨x,x⟩ is always real.