Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be a set and let $<_1,<_2$ be order relations on $X$.

Let $T_1,T_2$ be the topologies induced on $X$ respectively.

If $(X,T_1)$ is homeomorphic to $(X,T_2)$, does that imply that $(X,<_1)$ and $(X,<_2)$ are order isomorphic?

And a derived philisophical question: The other way around is easy to prove, so if this holds this means that, in some sense, homeomorphism between order topologies is equivalent to order isomorphism. What does that mean?

share|cite|improve this question

1 Answer 1

up vote 5 down vote accepted

The answer is no. A trivial counterexample: if $\le$ is a linear order on $X$, $\langle X,\tau_\le\rangle$ and $\langle X,\tau_\ge\rangle$ are homeomorphic, but the orders are anti-isomorphic. Less trivially, the discrete topology on $X$ is generated by any discrete linear order on $X$, of which there are many. For example, if $\langle A,\le\rangle$ is any countably infinite linear order, the lexicographic order on $\langle A\times\Bbb Z\rangle$ induces the discrete topology on $A\times\Bbb Z$ and hence, via some bijection, on $\Bbb N$.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.