Wednesday, December 6, 2017

elementary set theory - Do we have |mathbbQtimesmathbbQ|=|mathbbQ|? or |]a,b[|=|mathbbR|?

I'm stuck into two proof about cardinality and countable set :


I have to prove that |Q×Q| = |Q|, i have a hint in my lessons which is |N|=|Q|, but I don't know how to proceed. This is what I did for the moment : Since Q is countable, it exist a f:QN which is a bijection. I define g: N×NN by g(m,n)=2m(2n+1)1 which is bijective. then g(f×f) is a bijection Q×QN


Another question is to prove that |]a,b[|=|R|, for $a

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