I'm working on the following problem from N.L. Carother's Real Analysis:
Let I=(R∖Q)∩[0,1] with its usual metric. Prove that there is a continuous function g mapping I onto Q∩[0,1].
My thoughts:
I feel the preimage of open sets definition of continuity will be the easiest way to prove this. If I could show V⊂Q∩[0,1] is open for all open sets V, and I could show that f−1(V) is open as well, then that would mean f is continuous. I've considered trying to prove that (Q∩[0,1])c is closed, but that doesn't seem much easier. I know Q is dense in R, and so maybe I can use that to say that Bϵ(x)∖{x}∩(Q∩[0,1])≠∅, which would mean every x∈Q∩[0,1] is a limit point of Q∩[0,1], but I still don't see how this could be helpful.
Any hints on how to proceed would be appreciated. Thanks.
Answer
Hint: let a1=0,a2=1/2,a3=2/3,…,ai=1−1/i and define f to be constant on (R∖Q)∩[ai,ai+1].
No comments:
Post a Comment