A Hilbertian basis is a complete orthonormal family: its closed linear span is the whole Hilbert space, equivalently every vector is the norm-convergent sum of its Fourier coefficients against the basis.
New to topics? Read the docs here!
New to topics? Read the docs here!