Friday, 15 March 2019

elementary set theory - example of non order preserving bijection




I read that "the set of integers and the set of rational numbers (with the standard ordering) do not have the same order type, because even though the sets are of the same size (they are both countably infinite), there is no order-preserving bijective mapping between them."



I am still new to set theory, I see that integers can have a bijection with the set of rational numbers, but why is there no order-preserving bijection mapping?


Answer



Assume, for contradiciton, that $f:\Bbb Z\to \Bbb Q$ is an order-preserving bijection. Now consider $f(1)$ and $f(2)$. Since $f$ is order-preserving, we must have $f(1). But more than that, we have
$$
f(1)<\frac{f(1) + f(2)}2$$

That number in the middle is a rational number, and $f$ is a bijection, so there must be an integer $n$ such that $f(n) = \frac{f(1) + f(2)}{2}$. Which is to say that
$$

f(1)$$

But $f$ is order-preserving, meaning we have
$$
1$$

which is impossible. Thus, by contradiciton, there cannot be any order-preserving bijections between the integers and the rationals.


No comments:

Post a Comment

real analysis - How to find $lim_{hrightarrow 0}frac{sin(ha)}{h}$

How to find $\lim_{h\rightarrow 0}\frac{\sin(ha)}{h}$ without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...