Friday, 30 September 2016

real analysis - How to construct a bijection from (0,1) to [0,1]?











I wonder if I can cut the interval (0,1) into three pieces:
(0,13)(13,23)(23,1), in which I'm able to map point 13 and 23 to 0 and 1 respectively.
Now the question remained is how to build a bijection mapping from those three intervels to (0,1).



Or, my method just goes in a wrong direction. Any correct approaches?


Answer



Consider the sequence
12,13,14,15,,1n,
Map every other point f:(0,1)[0,1] that is not in this sequence to itself, and then map the above sequence to the corresponding points in this one :
0,1,12,13,14,.
In other words, map 12 to 0, 13 to 1, and then map 1n to 1n2 for n4.



The reason why you can map some set into some bigger set bijectively is precisely because they are infinite, so you must exploit this fact. If you don't, you have no chance.



Now to answer your actual question, the trick you try to use doesn't feel relevant to me ; I'm not saying there is absolutely no way it could work, because I actually know there is, since your set (the union of the three intervals) and the interval (0,1) have the same cardinality. The problem with your idea is that I don't think a construction will naturally come out of it. In general, to map bijectively a set into a bigger one you must be "moving things around", so I expect any fairly understandable construction involving your idea to be similar to the one I've shown you.




Hope that helps,


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