Sunday, 30 November 2014

elementary set theory - Prove that [0,1] is equivalent to (0,1) and give an explicit description of a 1-1 function from [0,1] onto (0,1)



The problem is stated as follows:




Show that there is a one-to-one correspondence between the points of the closed interval [0,1] and the points of the open interval (0,1). Give an explicit description of such a correspondence.




Now, I think I can prove the first part of the problem by demonstrating the following:




Define f:(0,1)R as follows.



For nN, n2,  f(1n)=1n1
and for all other x(0,1),  f(x)=x




  1. Prove that f is a 11 function from (0,1) onto (0,1]


  2. Slightly modify the above function to prove that [0,1) is equivalent to [0,1]


  3. Prove that [0,1) is equivalent to (0,1]





Since the "equivalent to" relation is both symmetric and transitive, it should follow that [0,1] is equivalent to (0,1). Hence, there does exist a one-to-one correspondence between [0,1] and (0,1).



I have no trouble with the above. My problem is in "finding an explicit description of such a correspondence." Can I modify the above function, or will that not suffice?


Answer



Steps 2 and 3 are not necessary. The function g:(0,1][0,1] defined by g(1)=0 and g(x)=f(x) if x1 is a bijection. This shows that (0,1] is equivalent to [0,1] and, by transitivity, that (0,1) is equivalent to [0,1]. Furthermore, the function gf is a one-to-one correspondence between (0,1) and [0,1] that you can describe explicitly.


No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

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