Friday, December 20, 2019

elementary set theory - Proving cardinality of the reals and the cross product of the reals

I am trying to prove that R×RR using the Cantor-Bernstein Theorem. So then that would mean that I need to prove that |R||R×R| and |R×R||R|.




This is my work so far:



For the first part (|R||R×R|) I let RR×R be defined as f(r)=(r,r),rR, which is the identity function. So then also let f(s)=(s,s),sR, where rs. So then since (r,r)(s,s), then f(r)f(s). Hence f is injective and therefore |R||R×R|.



Is this correct so far? Am I on the right track?



I'm confused about how to go about proving the second part, that |R×R||R|. I know I need to show that there is an injection from R×RR but I can't figure out how to do it. Also how would I define this function for the second part?

No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f:AB and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...