Are the following sets isomorphic or have the same order type ?
- $(\mathbb R, \le) ,\ (\mathbb R,\ge)$
- $(\mathbb Q, \le), \ (\mathbb R, \le) $
- $(\mathbb N,\ge ), \ (\mathbb N,\le)$
- $\omega+\omega, \ \omega\cdot\omega$
So in order to show they're isomorphic I need to find an injective function.
They are, there is no maximal/minimal element, both have the same cardinality. the function is $f(x)=x $.
No, they have different cardinality (is that enough?).
I think they aren't since one have a minimal element while the other does not.
Both have the same cardinality but the elements are different: one is {1,2,3...1',2'...} the other is {(0,1),(0,2)...} but I think there could be an injection.
Answer
You need $f(x)=-x$ instead.
Yes. So there cannot be any bijection, much less isomorphism.
You're correct.
Simpler argument appear to be $\omega+\omega=\omega\cdot2<\omega\cdot\omega$
No comments:
Post a Comment