I need to construct a function whose set of points of discontinuities is a given F-sigma set.
At the Follow-Up section of Wikipedia's article on the popcorn function, they give an example of such a function. I just don't see why would we need closedness of the sets in the proof. Could somebody briefly explain the proof?
Thanks