2.II.10G

Linear Algebra
Part IB, 2007

Suppose that PP is the complex vector space of complex polynomials in one variable, zz.

(i) Show that the form \langle, \rangle defined by

f,g=12π02πf(eiθ)g(eiθ)dθ\langle f, g\rangle=\frac{1}{2 \pi} \int_{0}^{2 \pi} f\left(e^{i \theta}\right) \cdot \overline{g\left(e^{i \theta}\right)} d \theta

is a positive definite Hermitian form on PP.

(ii) Find an orthonormal basis of PP for this form, in terms of the powers of zz.

(iii) Generalize this construction to complex vector spaces of complex polynomials in any finite number of variables.