Let ${\mathcal D}(f)$ be the set of points at which $f$ is not continuous. The correct result is:
Theorem: Let $f:[a,b] \rightarrow {\mathbb R}$ be bounded. Then the following are equivalent:
(a) $\;f$ is Riemann integrable on $[a,b].$
(b) $\;{\mathcal D}(f)$ is a countable union of closed Jordan measure zero sets.
(c) $\;{\mathcal D}(f)$ is an ${\mathcal F}_{\sigma}$ Lebesgue measure zero set.
Nothing special is needed to prove this other than an examination of the usual proof characterizing the Riemann integrability of a function in terms of the zero measure of the set of points at which the oscillation of the function is greater than or equal to any specified positive real number. (Since these sets are closed, it doesn't matter whether we say Jordan measure or Lebesgue measure.) The countable union aspect shows up when we take the union of all such sets corresponding to the positive real numbers $\frac{1}{n}$ (as $n$ varies over the positive integers) in order to form the set of all points at which the function is not continuous.
A surprisingly little known consequence of this theorem is that the discontinuity set for any Reimann integrable function has both Lebesgue measure zero and is of the first (Baire) category (i.e. is meager). This is because any closed measure zero set (again, since "closed" is used, both Jordan and Lebesgue measures agree) is nowhere dense (a nearly trivial observation), and hence a countable union of closed measure zero sets is a first category set.
Incidentally, there exist sets that are both Lebesgue measure zero and first category (i.e. the sets are small in both the Lebesgue measure sense and the Baire category sense) which are too big to be covered by any discontinuity set of a Riemann integrable function, or even by the union of the discontinuity sets of countably many Riemann integrable functions. (I say "covered" because the issue is size, not Borel type. I'm disallowing someone from simply picking a non-${\mathcal F}_{\sigma}$ set, and letting this be the example by saying that the discontinuity set always has to be an ${\mathcal F}_{\sigma}$ set.) For more about this issue, specifically the fact that the $\sigma$-ideal of sets generated by the discontinuity sets of Riemann integrable functions is properly contained in the $\sigma$-ideal of sets that are simultaneously Lebesgue measure zero and first category, see my 30 April 2000 sci.math essay HISTORICAL ESSAY ON F_SIGMA LEBESGUE NULL SETS.
well, your discontinuities are a lot more than $\mathbb{Q}\cap [0,1]$ they are in fact all of $[0,1]$, since it is the boundary that matters. or show me one point apart from $0$ where your function is continuous!
Best Answer
This Wikipedia article answers my question:
I don't know what the proof of that is though.