Hilbertian basis (source code)

= Hilbertian basis

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.