Hilbert Spaces

Extending the inner product from C^n to C^infinity and square-summable sequences, functional inner product spaces and L^2, the Fourier series basis of complex exponentials with orthogonality and projection formula, and convergence vs completeness.