In analysis today, we were talking about the fourier transform and how as a map from to it is onto, but as a map from to it isn’t onto and the range isn’t even closed. Then Dr. Jury said that the range is really hard to describe.

So after class I asked him if “hard to describe” meant “analytic but non-Borel” since the range is analytic by definition. He didn’t know off-hand. I did a quick look online and didn’t find other than people saying that the range is hard to characterize.

So, is there any result saying it is complete or at least non-Borel? I would be interested to know, and to see the proof.