Wednesday, June 5, 2019

real analysis - Discontinuous everywhere but range is an interval


Does there exist a function which is discontinuous everywhere but range set is an interval.


Answer



Yes. We have f:[0,1][0,1] given by f(x)={x if x is rational x+12 if x<12 is irrational x12 if x>12 is irrational

For any x[0,1] it's easy to see that f(x)[0,1] as well. For any y[0,1], we have f(y)=y if y is rational, otherwise f(y±1/2)=y, with sign depending on whether y>1/2 or not. So the unit interval is the range set.


As for discontinuity, let 0<ϵ<1/2. Then there is no δ small enough, no matter what x is, since in any open interval containing x there are both rational and irrational numbers.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...