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.
Articles by others on the same topic
There are currently no matching articles.