Given this modified Dirichlet function: $f(x) = 0$ if $x$ is in $\mathbb{Q}$, else $f(x) = x$. I am wondering if this function is Darboux integrable on the interval $[0, 2]$.


I managed to show that every lower Darboux sum is equal to zero, therefore the lower Darboux integral is 0. My intuition tells me that the upper Darboux integral is also 0, but I can't think of how to show that.


I thought of using the fact that f(x) is Darboux integrable if and only if: for every epsilon there exists a partition of $[0, 2]$ such that $S(P) - s(P) < \epsilon$ where S, s are the lower Darboux sums. In our case $s(P)=0$ for every P so we have to show that for every $\epsilon>0$ there exists a partition such that $S(P) < \epsilon$, but didn't manage to come close to anything.


PS. If possible, please don't give a solution that uses Riemann's integral, I haven't studied it.



Modified Dirichlet function Darboux integrable on $[0,2]$?
The function is not integrable by Darboux (and equivalently by Riemann) as any point in (0,2] is a discontinuity point. (take a rational sequence approaching $x$, the values of $f(x\_n)$ are constantly $0$. If $x$ is irrational, then $\lim f(x\_n) \neq f(x)$)


If you want to stick to the Darboux integral definition, since the lower Darboux sum is always 0, and the upper Darboux sum of a given finite partition is $\sum\_{i = 1}^{n-1} (x\_{i+1}-x\_i)\cdot x\_{i+1}$.


In this case, the upper sum is just the sum of the rectangles created by the partition, so if we reduce each rectangle by the parts it exceeded the function $f(x)=x$ 


Take some finite partition $P = \langle 0 = x\_0,\ldots,x\_{n+1}=2 \rangle$ of $[0,2]$.


$\sum\_{i=0}^n (x\_{i+1} - x\_i)\cdot x\_{i+1} \ge $


$\sum\_{i=0}^n (x\_{i+1} - x\_i)\cdot x\_{i+1} - \frac{1}{2}\sum\_{i=0}^n(x\_{i+1} - x\_i)^2 =$


$\frac{1}{2}\sum\_{i=0}^n (2x\_{i+1}^2 - 2x\_{i+1}x\_i - x\_{i+1}^2 + 2x\_{i+1}x\_i - x\_i^2) =$
$\frac{1}{2}\sum\_{i=0}^n(x\_{i+1}^2 - x\_i^2) = 2$ 


and therefore we have that every upper sum is $\ge2$ for every partition.


