8
$\begingroup$

Can anyone tell me how to calculate the Riemann integral of the characteristic function of the Cantor set? It's probably obvious but I don't see how to write it down. Many thanks for your help!

  • 3
    You can prove that the upper Darboux integral $\leq (\frac{2}{3})^n$, $\forall n \in \mathbb{N}$ and the lower Darboux integral is non-negative and then can conclude that the Riemann integral makes sense and hence it has to be zero.2011-01-21

2 Answers 2

12

Let $C$ be the Cantor set, and let $C_n$ be the closed set left after $n$ steps of removing middle thirds from $[0,1]$, so $C_n$ is a disjoint union of $2^n$ closed intervals, and the sum of the lengths of these intervals is $\left(\frac{2}{3}\right)^n$, which converges to zero. The characteristic function $\chi_{C_n}$ of $C_n$ is a step function that dominates the characteristic function of $C$, so its integral, $\left(\frac{2}{3}\right)^n$, is an upper Riemann sum for $\chi_C$. Thus the infimum of the upper Riemann sums for $\chi_C$ is at most $\inf_n\left(\frac{2}{3}\right)^n=0$. The lower Riemann sums are all greater than or equal to $0$, so this shows that the Riemann integral exists and equals $0$.

  • 0
    @Matt: By the way, you're welcome. I hope the more explicit description of the sum 2 comments up helps. I guess in your sum you were thinking of breaking up $[0,1]$ into $n$ even intervals, but (1) then you should have $C$ there instead of $C_n$ (2) then you should have $x_n$ there instead of $x$, where $x_n$ is some point in the $n^\text{th}$ interval. Since it is supposed to be an upper sum, you technically should be taking a supremum. (3) I recommend not breaking up $[0,1]$ that way, because it makes it harder.2011-01-22
2

I am presuming you are talking about the Cantor Set in $[0,1]$, where you remove the middle third.

Since the Cantor set is of measure zero, the Lebesgue integral of its characteristic function is $0$.

If it were Riemann integrable (which it is, as the points of discontinuity is of measure $0$), then the value of the Riemann integral would equal the Lebesgue integral and so would be $0$.

  • 1
    @Matt: You said you want to know "how to calculate the Riemann integral" of the function. You did not give any definition of "calculate", or any context to allow us to know that you intended to ask for a method dealing explicitly with Riemann sums. The tag "measure-theory" seems to put it in a context where it is natural to use basic measure theoretic facts to quickly do the calculation.2011-01-22