Paper 2, Section II, G
Part IB, 2011
Let be a positive integer, and let be a -vector space of complex-valued functions on , generated by the set .
(i) Let for . Show that this is a positive definite Hermitian form on .
(ii) Let . Show that is a self-adjoint linear transformation of with respect to the form defined in (i).
(iii) Find an orthonormal basis of with respect to the form defined in (i), which consists of eigenvectors of .