Saturday, 27 April 2013

real analysis - Let f:(mathbbRsetminusmathbbQ)cap[0,1]tomathbbQcap[0,1]. Prove there exists a continuousf.



I'm working on the following problem from N.L. Carother's Real Analysis:





Let I=(RQ)[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 VQ[0,1] is open for all open sets V, and I could show that f1(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 xQ[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=11/i and define f to be constant on (RQ)[ai,ai+1].


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find lim without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...