Basis in Hilbert Space

80 Views Asked by At

Prove that the set of functions

$C$ = { $f_{0}(x)= \sqrt{\frac{1}{\pi}}$, $f_{n}(x)= \sqrt{\frac{2}{\pi}}\cdot \cos(nx), n \in \Bbb N$ }

is an orthonormal basis in $L^{2}(0, \pi)$.

Hint: Use the facts that the set of continuous functions on compact interval are dense in $L^2$ and every polynomial on compact interval is dense in the set of continuous functions (Stone-Weierstrass theorem). You need to show that $\overline{Sp(C)}$ =$L^2(0, \pi)$.

I have a key but I do not understand this question, especially third hint. I feel sorry. If you have any clear solution for the question, please help me. Thanks.