Past exam of the mathematics course of the year 2 of the natural sciences course of the University of Cambridge / 2005 / Paper 1 / 4

By the spectral theorem, the Hermitian matrix $A$ has a complete orthonormal eigenbasis. If $Av=\lambda v$, idempotence gives ${\lambda }^2=\lambda$, so every eigenvalue is zero or one. Since $\det A\ne 1$, at least one is zero. ThereforeThe trace of an idempotent equals its rank; here Hermiticity further identifies $A$ as an orthogonal projection matrix.

A complex inner product $⟨u,v⟩$ is conjugate-linear in its first argument, linear in its second, conjugate symmetric and positive definite: $⟨v,u⟩=\overline{⟨u,v⟩}$ and $⟨u,u⟩>0$ for nonzero $u$. An orthonormal basis is a spanning linearly independent family $e_i$ with $⟨e_i,e_j⟩={\delta }_{ij}$. The associated norm is $\Vert u\Vert =\sqrt{⟨u,u⟩}$.

For two distinct basis elements $x,y$, their orthogonality and unit norms give $\Vert x-y{\Vert }^2=⟨x,x⟩+⟨y,y⟩-⟨x,y⟩-⟨y,x⟩=2$. Hence their distance is $\sqrt{2}$; if the same element is selected twice, it is zero.

Finally, for $B^{†}=B$, the scalar quadratic form obeys $(x^{†}Bx{)}^{\ast }=x^{†}{B}^{†}x=x^{†}Bx$, proving $x^{†}Bx$ is real.