If the bounded injective Fourier transform were surjective, the open mapping theorem for Banach spaces would make its inverse bounded, yielding . But the preceding have uniform norm , whereas diverges.
For a quantitative lower bound, on we have . On each interval , . For these intervals lie below for large , so
This contradicts boundedness of the inverse. Therefore the Fourier transform has proper dense image in .

Articles by others on the same topic (0)

There are currently no matching articles.