Is the characteristic function of the irrationals Riemann integrable on [a,b]?

[AxiomOfChoice]

The characteristic function of the RATIONALS is a well-known example of a bounded function that is not Riemann integrable. But is the characteristic function of the IRRATIONALS (that is, the function that is 1 at every irrational number and 0 at every rational number) Riemann integrable on an arbitrary interval [a,b]? It seems like it would be, and that its integral would be equal to 1.

But maybe I'm wrong. Anyone know for a fact?

 

[HallsofIvy]

No, the characteristic function of the irrationals on an integral is not Riemann integrable for the same reason the the characteristic function of the rationals isn't. Within any interval, no matter how small, there exist both rational and irrational functions. That means that there exist values of 1 and 0 in any interval. The "upper sum" between a and b is 1(b-a)= b-a while the lower sum is 0(b-a)= 0 for any partition. This is true for both functions.

 

[AxiomOfChoice]

I buy that. Thanks very much for your help.

 

[Take_it_Easy]

The characteristic function of the RATIONALS is a well-known example of a bounded function that is not Riemann integrable. But is the characteristic function of the IRRATIONALS (that is, the function that is 1 at every irrational number and 0 at every rational number) Riemann integrable on an arbitrary interval [a,b]? It seems like it would be, and that its integral would be equal to 1.

But maybe I'm wrong. Anyone know for a fact?

The (powerful) Vitali theorem states that a bounded function f: D \subset \mathbb R \longrightarrow \mathbb R defined on a bounded domain is Riemann integrable IF AND ONLY IF it has a set of point of discontinuity of measure zero.

Now in your function you have that [a,b] is the set of the points where the function is not continuous. So it has no measure zero and is not Riemann integrabel.. unless b=a.

 

[HallsofIvy]

Indeed, both functions, f(x)= 1 if x is rational and 0 if x is irrational or g(x)= 0 if x is rational or 1 if x is irrational have all real numbers as points of discontinuity- which is NOT of measure 0!

 

[zhentil]

Keep in mind that the indicator function of the irrationals is one minus the indicator function of the rationals. That seems to be a pretty quick proof.