Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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