Quote (Casey @ Mar 22 2015 11:38pm)
I may be wrong, but isn't there a more elementary proof that doesn't require lebesgue measure/integration?
I do believe so but I looked at this before bed and couldn't remember if my more elementary proof was correct and I knew this one was.
Here's 2 very elementary approaches:
Pf:
Since [0,1] is a compact set and E is a cantor set which is compact by definition, then the subset [0,1]/E must also be compact since it is the subset of a compact set. Thus f is reimann integrible. Done.
Pf:
Since we know our set of points E is a cantor set which has measure zero and we know f is continuous at every non cantor point then f is reimann integrable. Done.
This post was edited by Xx Shin3d0wn xX on Mar 23 2015 08:06am