How does one show that the fat cantor characteristic function is nonriemann int'able?by Demon117 Tags: cantor, characteristic, function, intable, nonriemann 

#1
Oct2710, 08:15 PM

P: 162

I have been thinking about this for quite some time now. When I look at the function that descibes the fat cantor set namely:
f(x) = 1 for x[tex]\in[/tex]F and f(x) = 0 otherwise, where F is the fat cantor set. I wonder, how do I prove that this is nonriemann integrable? I have considered looking at the RiemannLebesgue theorem which gets me nowhere. So f is obviously bounded. But isn't this f discontinuous at all x[tex]\in[/tex][0,1]? This would imply that the discontinuity points of f need to be a zero set in order for it to be riemann integrable. But isn't the fat cantor set F not a zero set? Any advice? 



#2
Oct2810, 09:58 AM

Sci Advisor
HW Helper
P: 9,428

well on the next page after defining his integral, riemann proved that, in modern language, a bounded function is riemann integrable if and only if its set of discontinuities has measure zero. so look for the points of discontinuity of your function.
you might give a definition for the "fat cantor set". i presume it is called fat because it does not have measure zero. 



#3
Oct2810, 01:58 PM

P: 162





#4
Oct2910, 12:04 PM

Sci Advisor
HW Helper
P: 9,428

How does one show that the fat cantor characteristic function is nonriemann int'able?
well i don't know what lebesgue had to do with it, since riemann proved it on the next page after defining his integral, in his paper on representing functions by trigonometric series. Lebesgue of course was not born for almost 10 years after riemann died. But perhaps some people with less concern for historical precedent do call this theorem as you say. I do not know.....
Well I have found a citation for this theorem crediting it entirely to lebesgue in the book by m.e. munroe on introduction to integration. perhaps he never read riemann. Or perhaps some people do not notice that riemann's version is equivalent to this "measure zero" statement? well a similar situation holds in many historical cases such as the so called "theorem of sard" whose principal corollary was later noticed to be due earlier to a. b. brown. So forgive me but I often fail to understand references to theorems by name. I need to know the statement. 



#5
Nov1210, 03:24 AM

P: 662

Why not also try to work with upper and lower sums, see if there values coincide.?




#6
Nov1210, 04:27 AM

P: 662

The restriction to countablymany discontinuities has to see with the fact that
an uncountable sum ( of course, uncountablymany nonzero terms) cannot converge, i.e., will necessarily be infinite. 


Register to reply 
Related Discussions  
Show a function is differentiable everywhere, and show its derivative is continuous  Calculus & Beyond Homework  1  
characteristic function ?  Calculus & Beyond Homework  2  
Characteristic function  Calculus & Beyond Homework  2  
Distance function from x to the Cantor set  General Math  6  
Characteristic function  Set Theory, Logic, Probability, Statistics  1 