Question #235646

Show that the function f:[0,4] by fx=0 where x is rational and fx=2 where x is irrational is not remann integrable but is lesberg integrable



1
Expert's answer
2021-09-13T00:29:02-0400

Solution:

Given function is same as, f is 0 at every rational number and 2 at every irrational number.

If P={I1​,I2​,…,In​} is a partition of [0,4], then

Mk=supIkf=2,mk=infIk=0M_{k}=\sup _{I_{k}} f=2, \quad m_{k}=\inf _{I_{k}}=0  

since every interval of non-zero length contains both rational and irrational numbers. It follows that

U(f;P)=2,L(f;P)=0U(f ; P)=2, \quad L(f ; P)=0  

for every partition P of [0,1], so U(f)=1 and L(f)=0 are not equal.

Hence, this function is not Riemann integrable.

Further, the given function is clearly Lebesgue-integrable as being equal to 0 almost everywhere.

Let x[a,b]Qx \in[a, b] \cap \mathbb{Q} . Then f(x)=2. Pick a sequence of irrational numbers (xn)nN with xnx\left(x_{n}\right)_{n \in \mathbb{N}}\ with\ x_{n} \rightarrow x . Then f(xn)=01=f(x)f\left(x_{n}\right)=0 \rightarrow 1=f(x) , so f is not continuous in x.

Let x[a,b]\Qx \in[a, b] \backslash \mathbb{Q} . Then f(x)=0. Pick a sequence of rational numbers (xn)nN with xnx\left(x_{n}\right)_{n \in \mathbb{N}}\ with\ x_{n} \rightarrow x . Then f(xn)=20=f(x)f\left(x_{n}\right)=2 \rightarrow 0=f(x) , so f is not continuous in x.

The above argument shows that f is discontinuous in all the points of [a, b], which is a set of Lebesgue measure ba0b-a \neq 0 , therefore f is lebesgue integrable on [a, b].

Hence, proved.


Need a fast expert's response?

Submit order

and get a quick answer at the best price

for any assignment or question with DETAILED EXPLANATIONS!

Comments

No comments. Be the first!
LATEST TUTORIALS
APPROVED BY CLIENTS