Riemann integrable functions continuous except on a set of measure zero?

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
2 replies · 5K views
AxiomOfChoice
Messages
531
Reaction score
1
Is it true that a function is Riemann integrable on a bounded interval only if it's equal to a continuous function almost everywhere? I'd imagine this is the case, given the Riemann-Lebesgue lemma, which says that a function is RI iff its set of discontinuities has measure zero. (So the "continuous function" is then just f restricted to the complement of its set of discontinuities.) But I might be wrong. Help?
 
Physics news on Phys.org
I've just discovered this is incorrect. Consider the function

[tex] f(x) = \begin{cases}<br /> 1 & \text{ if } 0\leq x \leq 1/2\\<br /> 0 & \text{ if } 1/2 < x \leq 1<br /> \end{cases}[/tex]

Then [tex]f[/tex] is continuous almost everywhere, but it cannot be equal to a continuous function almost everywhere by an argument involving inverse images of open sets, etc. Bummer.