Completeness of the Fourier sine basis
ID: completeness-of-the-fourier-sine-basis
The normalized functions , , have completeness of an orthonormal system in L2 space on . If a function is orthogonal to every sine, extend it oddly to . All its Fourier coefficients vanish: the cosine and constant ones by oddness, and the sine ones by assumption. Completeness of the Fourier basis makes the extension zero almost everywhere. This proves the required dense-span property.
New to topics? Read the docs here!