I have encountered myself with the following exercise:
Let $\langle A, <_R\rangle$ and $\langle B, <_S\rangle$ be two linearly ordered sets so that each one is isomorphic to a subset of the other, that is, there exists $A'\subseteq A$ and $B'\subseteq B$ such that:
$$\langle A,<_R\rangle\cong\langle B',<_S\cap(B'\times B')\rangle\qquad\&\qquad\langle B,<_S\rangle\cong\langle A',<_R\cap(A'\times A')\rangle$$
Is it necessarily true that $\langle A,<_R\rangle\cong\langle B,<_S\rangle$?
The original statement talked about well-ordered sets, but that case is pretty easy, because supposing that $\langle B',<_S\cap(B'\times B')\rangle$ is not isomorphic to $\langle B,<_S\rangle$, the theorem of comparison between well-ordered sets assures that $B'$ with its restricted relation $<_S$ is isomorphic to an initial section of $\langle B,<_S\rangle$. But then, composing the unique isomorphism between $A$ and $B'$ with the restriction to $B'$ of the only isomorphism between $B$ and $A'$, we find that $A$ is isomorphic to a subset of $A$ with strict upper bounds (namely, the image of the element of $B$ that defines the initial section of $B'$ via the isomorphism between $B$ and $A'$) in the sense of $<_R$, which is absurd.
However, when the sets are not well-ordered, can we find a couple of linearly ordered sets that, although verifying the stated property, are not isomorphic to each other?
I have tried with many examples between subsets of $\mathbb{R}$ and other subsets of $\mathbb{R}$, but it seems that they are all isomorphic to each other.
I ran out of ideas. Are there any counterexamples to this statement? Or does this property actually characterize when two ordered structures are isomorphic? In case the second part holds, why is that the case?
Thanks in advance for your time.
P.S.: I have thought, for instance, that a closed interval of $\mathbb{R}$ shouldn't be isomorphic to the whole $\mathbb{R}$. How can we prove this assertion, if true?
from Hot Weekly Questions - Mathematics Stack Exchange
Post a Comment