How do I show there isn't an order isomorphism b/w the two sets $\{1, 2, 3,...\}$ and $\{1, 2, 3, ..., \omega \}$

1.4k Views Asked by At

That is, how can I prove there isn't a bijection $f$ from one set to the other such that $f(x) < f(y)$ iff $x < y$?

2

There are 2 best solutions below

2
On BEST ANSWER

Suppose that $f:\{1,2,3,\dots\}\to\{1,2,3,\dots,\omega\}$ is an order-preserving bijection. There must be some $n\in\{1,2,3,\dots,\}$ such that $f(n)=\omega$. What can $f(n+1)$ be?

0
On

Note that an order isomorphism preserves maximum properties, namely if $a$ is a maximum then $f(a)$ is a maximum of the image.

In particular a linearly ordered set with a maximum is never isomorphic to one without.