Mathematics · Glossary

What is Hermitian inner product?

Also known as: Hermitian space

Definition 13.1 University Mathematics — Year 2 · Chapter 13 — Hermitian Forms

A Hermitian inner product on a complex vector space EE is a map , ⁣:E×EC\langle\cdot,\cdot\rangle \colon E \times E \to \C that is linear in the second variable, conjugate-symmetric (y,x=x,y\langle y, x\rangle = \conj{\langle x, y\rangle} — hence conjugate-linear in the first variable), and positive definite (x,x>0\langle x, x\rangle > 0 for x0x \neq 0). The standard example on Cn\C^n:

x,y=i=1nxiyi;\langle x, y \rangle = \sum_{i=1}^{n} \conj{x_i}\, y_i ;

on continuous functions, f,g=abfg\langle f, g\rangle = \int_a^b \conj f\,g. Norm: x=x,x\norm x = \sqrt{\langle x,x\rangle}; a finite-dimensional complex space so equipped is a Hermitian space.

Examples

Example 13.2 (First computations)

In C2\C^2, take x=(1+i, 2i)x = (1+\iu,\ 2-\iu) and y=(i, 1)y = (\iu,\ 1). Then

x2=1+i2+2i2=2+5=7,y2=1+1=2,\norm x^2 = \abs{1+\iu}^2 + \abs{2-\iu}^2 = 2 + 5 = 7, \qquad \norm y^2 = 1 + 1 = 2,

and, conjugating the first argument,

x,y=(1+i)i+(2i)1=(1i)i+(2+i)=(i+1)+(2+i)=3+2i.\langle x, y\rangle = \conj{(1+\iu)}\,\iu + \conj{(2-\iu)}\cdot1 = (1-\iu)\iu + (2+\iu) = (\iu + 1) + (2 + \iu) = 3 + 2\iu .

Cauchy–Schwarz checks out: x,y2=9+4=1314=x2y2\abs{\langle x, y\rangle}^2 = 9 + 4 = 13 \leq 14 = \norm x^2\norm y^2 — close to equality, because xx is close to a multiple of yy. Note also y,x=3+2i=32i\langle y, x\rangle = \conj{3 + 2\iu} = 3 - 2\iu: conjugate-symmetry in action, and the reason x,x\langle x, x\rangle is always real.

Read in context →