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
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]