Q1) Assuming that |R|=|[0,1]| is true, how can we rigorously prove that |

|=|[0,1] x [0,1]|? How to define the bijection?

Q2)

**Prove that |[0,1] x [0,1]| ≤ |[0,1]|** __Proof:__ Represent points in [0,1] x [0,1] as infinite decimals

x=

y=

Define f(x,y)=

To avoid ambiguity, for any number that has two decimal representations, choose the one with a string of 9's.

f: [0,1] x [0,1] -> [0,1] is one-to-one, but not onto.

This one-to-one map proves that |[0,1] x [0,1]| ≤ |[0,1]|.

Now

**how can we formally prove that f is a one-to-one map (i.e. f(m)=f(n) => m=n)? **All textbooks are avoiding this step, they just say it's obviously one-to-one, but this is exactly where I'm having trouble. How to prove formally?

Thanks a million!

[also under discussion in math links forum]