Wednesday, 24 September 2014

cardinals - A simple bijection between mathbbR and mathbbR4 or mathbbRn?




How to form a bijection from (0,1] to R:



f(x)={21xif x(0,.5]2x11xif x(.5,1].



So, to go from R to R4 shouldn't be so hard... First we convert all of R in to a decimal representation. The numbers then have the form:
a1a2a3a4 

Where the ais are the digits 0, 1, 2,,9



At some point there is a decimal point, suppose it precedes the ajth digit (could be the first)



Eliminate all duplicate representations:  3.41=3.4099999 and 0002=2, by choosing the one with the fewest digits. 



Now map the remaining representations to
(a1a5a9,a2a6a10,a3a7a11,a4a8a12)



Put a decimal point in each one preceding the aj, aj+1aj+2 and aj+3 digits.




This is not bijective, though! I know such a mapping exists, but I don't want in existence proof I want a scalable mapping I can use.



Is there some modification I can make to make it bijective?


Answer



Let f be any bijection from R to P(N) (the simplest one I could think of uses continued fractions, e.g. see here). To construct a bijection from R to Rn take gi(A)={xin| xA,x=i (mod n)} and set hi=f1gif and then h(x)=h0(x),h1(x),,hn1(x) will be your bijection.


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