What is the (Lebesgue) integral over the reals of the function that takes the value 1 at the rationals and 0 at any other point?
This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try
refreshing the page, (b) enabling javascript if it is disabled on your browser and,
finally, (c)
loading the
non-javascript version of this page
. We're sorry about the hassle.
this is the integral ∫ R 1 Q ( x ) d μ ( x ) , where 1 Q ( x ) is the indicator function on the reals that evaluates to 1 if x is rational, and to 0 otherwise. μ is Lebesgue measure. Then this integral is simply μ ( Q ) = 0 , since the rationals have zero Lebesgue measure.