15
$\begingroup$

$f(x) = \begin{cases} 1 & x\in\Bbb Q \\[2ex] 0 & x\notin\Bbb Q \end{cases}$

Is this function Riemann integrable on $[0,1]$?

Since rational and irrational numbers are dense on $[0,1]$, no matter what partition I choose, there will always be rational and irrational numbers in every small interval. So the upper sum and lower of will always differ by $1$.

However, I know rational numbers in $[0,1]$ are countable, so I can index them from 1 to infinity. For each rational number $q$ in $[0,1]$, I can cover it by $[q-\frac\epsilon{2^i},q+\frac\epsilon{2^i}]$. So all rational numbers in $[0,1]$ can be covered by a set of measure $\epsilon$. On this set, the upper sum is $1\times\epsilon=\epsilon$. Out of this set, the upper sum is 0. So the upper sum and lower sum differ by any arbitrary $\epsilon$. Thus, the function is integrable.

One of the above arguments must be wrong. Please let me know which one is wrong and why. Any help is appreciated.

$\endgroup$
5
  • $\begingroup$ It's not Riemann integrable. Btw. this is known as Dirichlet function as far I know. $\endgroup$
    – Cortizol
    Dec 23, 2014 at 20:55
  • 2
    $\begingroup$ In your second argument, you failed to account for the fact that the intervals will all overlap with each other and cover the entire interval $[0,1]$, however small you take $\epsilon$. So you can not conclude correctly that the upper sum will be lower than 1. $\endgroup$ Dec 23, 2014 at 21:02
  • $\begingroup$ See my complete reply. $\endgroup$ Dec 23, 2014 at 21:13
  • 1
    $\begingroup$ @Raskolnikov it is not necessarily the case that the intervals overlap $\endgroup$ Dec 23, 2014 at 21:20
  • 1
    $\begingroup$ @Omnomnomnom: let $I$ be an interval around some rational $q$. Let $q'$ be any other rational in that interval. Then the interval $I'$ that we construct around $q'$ will certainly overlap $I$... $\endgroup$ Feb 20, 2015 at 11:46

4 Answers 4

16
$\begingroup$

The answer depends in which sense you want to integrate the function.

The function is not Riemann integrable. The problem is that you consider finite partitions there to form the Riemann sums; so, roughly speaking, you cannot make a choice for each rational as you consider finite partitions. (Your first argument is correct.)

The function is however Lebesgue integrable. There the argument using measure is relevant.

The function is also integrable in the Henstock-Kurzweil sense. Very roughly, this is similar as Riemann but in fact allows to make "more choices."

$\endgroup$
14
$\begingroup$

Recall that a function is Riemann integrable if and only if, for any $\varepsilon > 0$, there exists a partition $P$ such that $U(f, P) - L(f, P) < \varepsilon$.

Now consider any partition $P$ of $[0,1]$. The lower sum is always zero since the infimum of the function values along any interval is zero. Further, the supremum of the function values along any interval is $1$ as every interval contains a rational number, so we have:

$$U(f, P) - L(f, P) = U(f, P) = \sum_{k = 1}^n (x_k - x_{k-1}) = 1$$

And so the integrability criterion in the first line fails for any $\varepsilon < 1$.

$\endgroup$
7
$\begingroup$

An important theorem about Riemann integrability is known as Lebesgue's Criterion. It says that if we have a function $f(x)$ defined on a closed interval $I$, then $f$ is integrable on $I$ if and only if $f$ is bounded and the set of discontinuities of $f(x)$ has measure zero.

In this case, the set of discontinuities will be the entire interval $[0,1]$, so by Lebesgue's criterion the function is not integrable.

The definition of "measure zero" is closely related to your flawed proof: a set has measure zero if for every $\epsilon > 0$ the set can be covered by a sequence of open intervals such that the sum of the widths of the open intervals is less than $\epsilon$.

So the real issue is how to prove that this cannot be done for the unit interval -- how to prove that the unit interval does not have measure $0$. That proof uses compactness, which you may or may not be familiar with. The compactness of $[0,1]$ shows that if we cover $[0,1]$ with a sequence of open intervals, in fact some finite number of those open intervals already cover $[0,1]$. But you can show that any finite sequence of open intervals that covers $[0,1]$ has to have total length greater than $1$, and in particular cannot have total length less than $1/2$ (the easiest way to prove this is by induction on the number of intervals).

$\endgroup$
1
$\begingroup$

What you showed is that the function is not Riemann integrable, while it is Lebesgue integrable.

$\endgroup$
1
  • $\begingroup$ And...? This answer could be much better if you extended it to include more information. $\endgroup$ Feb 20, 2015 at 11:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .