Cardinality of R, [0,1], R^2, [0,1] x [0,1]

Q1) Assuming that |R|=|[0,1]| is true, how can we rigorously prove that | |=|[0,1] x [0,1]|? How to define the bijection? [Q1 is solved, please see Q2]

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]