Sunday, July 7, 2019

real analysis - Is there a bijection from (infty,infty) to [0,1]?


Previous questions established, for example, that a continuous bijection f:(0,1)[0,1] does not exist, but the proof relied on continuity. Clearly, with continuity similar proofs can be invoked to show there is no bijection f:(,)[0,1].



Similarly, one can show there is no order-preserving bijection: Suppose there were, then there is an x(,) such that f(x)=1. But there exists some y(,) such that y>x, and for a bijection this requires f(y)>f(x)=1, which is a contradiction.


But what if the bijection need not be continuous? Is there a bijection, or can you prove there isn't?


Answer



Without continuity there is a bijection.


Let x1=12,x2=13,..,xn=1n+1,.... Define f(x1)=1,f(x2)=0,f(x3)=x1,...,f(xn)=xn2,.. and f(x)=x for all x not in the sequence.


Then f is a bijection from (0,1) to [0,1].


Now use the fact that 12+1πarctan(x) is a bijection from (,) to (0,1).


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...