Let $X$ be a countable simple ordered set. I am trying to prove that there exists on X a real, order-preserving function, continuous in the order topology.
I construct by induction an order-preserving function $f$ taking X into some finite real interval $[a,b]$. And I try to prove its continuity by prove $\{x\in X|f(x)\le \alpha, \alpha\in[a,b]\}$ is close. If $\alpha\in f(X)$ or $\{x\in X|f(x)<\alpha\}$ has a largest element, it's obvious. But it's an open set when $\{x\in X|f(x)<\alpha\}$ doesn't have a largest element. So I think that the function need to be modified. But I don't know how to do it.
Or such function may not exist? Is there a counterexample? Thanks for any help in advance.
[Original question]
Let X be a countable simple ordered set. I am trying to prove that there exists on X a real, order-preserving function, continuous in the order topology.
The question of whether a given countable linearly ordered set has a continuous embedding into $\mathbb R$ has an affirmative answer.
[Comment from above]
Yes every countable linear order, order embeds into the rationals.
It is true that every countable linear order embeds into the rationals, but such embeddings need not be continuous in the order topology.
Try this instead. I will use $L$ instead of $X$ to denote the countable linear order of the problem. Say that $b$ covers $a$ in $L$ if $a<b$ and the interval $[a,b]$ equals $\{a, b\}$; i.e., if there is no element between $a$ and $b$. Define $L^*$ to be the linear order obtained from $L$ by inserting a copy of $\mathbb Q$ (the rationals) between $a$ and $b$ whenever $b$ covers $a$, inserting a copy of $\mathbb Q$ at the bottom of $L$ if $L$ has a least element, and inserting a copy of $\mathbb Q$ at the top of $L$ if $L$ has a greatest element. (Roughly: fill in all gaps of $L$ with copies of $\mathbb Q$ to obtain a countable dense linear order without endpoints, $L^*$.) Let $\alpha\colon L\to L^*$ be inclusion.
$L^*$ is order isomorphic to the rationals, so there exists an order embedding $\beta\colon L^*\to \mathbb R$ which maps $L^*$ ONTO the rationals. I claim that the composite embedding $\gamma = \beta\circ\alpha \colon L\to L^*\to \mathbb R$ is continuous in the order topology.
To show continuity, it suffices to show that $\gamma^{-1}((r,\infty))$ and $\gamma^{-1}((-\infty,s))$ are open in $L$ for each real $r$ and $s$. By symmetry it is enough to just show that $\gamma^{-1}((r,\infty))$ is open. To obtain a contradiction, assume that $F=\gamma^{-1}((r,\infty))$ is not open. Since $F$ is an upward closed subset of $L$ that is not open, $F$ must have a least element (say $t$) and the complement of $F$ must be nonempty and have no greatest element. We must have $\gamma(t)>r$, and $\gamma(t')\leq r$ for all $t'<t$. Thus every rational in the nonempty real interval $(r,\gamma(t))$ is in the $\beta$-image of some elements of $L^*$, but none of these elements are in the $\gamma$-image of elements of $L$. What this means is that when constructing $L^*$ we inserted infinitely many elements below $t$ but above every element $t' < t$. This insertion could only have happened if $t$ covered an element of $L$. But if $t$ covers an element, then the complement of $F = [t,\infty)$ HAS a greatest element after all. This is a contradiction to the assumption that $F$ is not open, so the map $\gamma$ is continuous.