Mathematics · Glossary

What is Hermitian endomorphism?

Also known as: unitary group

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

The adjoint uu^* of uL(E)u \in \mathcal{L}(E) is defined by u(x),y=x,u(y)\langle u^*(x), y\rangle = \langle x, u(y)\rangle; in an orthonormal basis, Mat(u)=AT=:A\operatorname{Mat}(u^*) = \conj{A}^{\mathsf T} =: A^{\dagger} (conjugate transpose) — indeed, if B=(bij)B = (b_{ij}) is the matrix of uu^* in the orthonormal basis (ei)(e_i), then bij=ei,u(ej)b_{ij} = \langle e_i, u^*(e_j)\rangle, and the defining identity gives

bij=u(ej),ei=ej,u(ei)=aji,soB=AT.\conj{b_{ij}} = \langle u^*(e_j), e_i\rangle = \langle e_j, u(e_i)\rangle = a_{ji} , \qquad\text{so}\qquad B = \conj{A}^{\mathsf T} .

uu is Hermitian when u=uu^* = u (A=AA^\dagger = A), unitary when uu=idu^*u = \mathrm{id} (AA=IA^\dagger A = I: the group U(n)U(n)), normal when uu=uuu^*u = uu^*.

Examples

Example 13.7 (A skew-Hermitian matrix, diagonalized)

A=(0220)A = \begin{pmatrix} 0 & -2\\ 2 & 0\end{pmatrix} satisfies A=AT=AA^\dagger = A^{\mathsf T} = -A: skew-Hermitian (also real antisymmetric — over R\R it has no eigenvalues at all). Characteristic polynomial X2+4X^2 + 4: eigenvalues ±2i\pm2\iu, purely imaginary, as Exercise 13.9 predicts in general. Eigenvectors: (A2iI)v=0(A - 2\iu I)v = 0 gives v1=12(1,i)v_1 = \frac{1}{\sqrt2}(1, \iu), and v2=12(1,i)v_2 = \frac{1}{\sqrt2}(1, -\iu) for 2i-2\iu; they are orthogonal:

v1,v2=12(11+i(i))=12(11)=0.\langle v_1, v_2\rangle = \tfrac12\bigl(\conj{1}\cdot1 + \conj{\iu}\cdot(-\iu)\bigr) = \tfrac12(1 - 1) = 0 .

So A=Udiag(2i,2i)UA = U\operatorname{diag}(2\iu, -2\iu)\,U^\dagger with U=(v1 v2)U = (v_1\ v_2) unitary. Closing insight: H=iA=(02i2i0)H = -\iu A = \begin{pmatrix} 0 & 2\iu\\ -2\iu & 0\end{pmatrix} is Hermitian with the real spectrum {±2}\{\pm2\} and the same eigenvectors — the bijection uiuu \mapsto \iu u between Hermitian and skew-Hermitian endomorphisms (Exercise 13.9), seen matrix by matrix; over R\R the same AA is a rotation-scaling with no eigenvectors at all, and only the passage to C\C reveals its normal form.

Example 13.9

A=(0ii0)A = \begin{pmatrix} 0 & -\iu\\ \iu & 0\end{pmatrix} is Hermitian (A=AA^\dagger = A): eigenvalues from χA=X21\chi_A = X^2 - 1: ±1\pm 1 (real, as promised), with orthonormal eigenvectors 12(1,i)T\frac{1}{\sqrt2}(1, \iu)^{\mathsf T} and 12(1,i)T\frac{1}{\sqrt2}(1, -\iu)^{\mathsf T}. (Physicists know AA as a Pauli matrix; the reality of Hermitian spectra is why quantum observables are modeled by Hermitian operators.)

Example 13.10 (A positive definite Hermitian matrix, worked)

A=(21i1+i3)A = \begin{pmatrix} 2 & 1-\iu\\ 1+\iu & 3\end{pmatrix}: Hermitian, since the diagonal is real and the off-diagonal entries are conjugates. Characteristic polynomial:

(2λ)(3λ)1i2=λ25λ+4=(λ1)(λ4):(2-\lambda)(3-\lambda) - \abs{1-\iu}^2 = \lambda^2 - 5\lambda + 4 = (\lambda - 1)(\lambda - 4) :

spectrum {1,4}\{1, 4\}, real and positive — AA is positive definite. Eigenvectors: for λ=4\lambda = 4, the system (A4I)v=0(A - 4I)v = 0 gives v4=(1i, 2)v_4 = (1 - \iu,\ 2) (check the second row: (1+i)(1i)2=0(1+\iu)(1-\iu) - 2 = 0); for λ=1\lambda = 1, v1=(1i, 1)v_1 = (1 - \iu,\ -1). Orthogonality, with the conjugate in the first slot:

v4,v1=(1i)(1i)+2(1)=22=0.\langle v_4, v_1\rangle = \conj{(1-\iu)}\,(1-\iu) + \conj{2}\,(-1) = 2 - 2 = 0 . \checkmark

Normalizing (v42=2+4=6\norm{v_4}^2 = 2 + 4 = 6, v12=2+1=3\norm{v_1}^2 = 2 + 1 = 3) gives the unitary U=(v46 v13)U = \bigl(\frac{v_4}{\sqrt6}\ \frac{v_1}{\sqrt3}\bigr) with A=Udiag(4,1)UA = U\operatorname{diag}(4,1)U^\dagger. Closing insight: the Rayleigh reading is immediate — on the unit sphere of C2\C^2, x,Ax\langle x, Ax\rangle ranges over [1,4]\intcc{1}{4}, attained at the two eigenvectors; this is the n=2n = 2 germ of the Courant–Fischer theory built in the weekend problem. Spot-check that the form is real off the eigenvectors too: at x=(1,i)x = (1, \iu),

Ax=(2+(1i)i, (1+i)+3i)=(3+i, 1+4i),Ax = \bigl(2 + (1-\iu)\iu,\ (1+\iu) + 3\iu\bigr) = (3 + \iu,\ 1 + 4\iu),
x,Ax=1(3+i)+i(1+4i)=(3+i)+(i)(1+4i)=3+ii+4=7R,\langle x, Ax\rangle = \conj{1}\,(3+\iu) + \conj{\iu}\,(1+4\iu) = (3 + \iu) + (-\iu)(1 + 4\iu) = 3 + \iu - \iu + 4 = 7 \in \R ,

as Proposition 13.6’s proof mechanism (conjugate-symmetry against A=AA^\dagger = A) guarantees for every xx.

Read in context →