Intereting Posts

For a prime $p \equiv 1$ or $3$ (mod $8$), show that the equation $x^{2} + 2y^{2} = p$ has a solution.
solve system of two trigonometric equations
Prove uniform distribution
Sum the series $\sum_{n = 0}^{\infty} (-1)^{n}\{(2n + 1)^{7}\cosh((2n + 1)\pi\sqrt{3}/2)\}^{-1}$
Taking Calculus in a few days and I still don't know how to factorize quadratics
complement of zero set of holomorphic function is connected
Can $A$ be singular
In the card game Set, what's the probability of a Set existing in n cards?
Compactness in minimax theorem
What is the cardinality of the set of infinite cardinalities?
How many Jordan normal forms are there for this characteristic polynomial?
Distance Between A Point And A Line
The relationship between eigenvalues of matrices $XY$ and $YX$
Expected value of game involving 100-sided die
Show that $\sqrt{n^2+1}-n$ converges to 0

Let $X \subset \mathbb{R}$ and give $X$ its order topology. (When) is it true that $X$ is homeomorphic to some subspace of $Y \subset \mathbb{R}$?

*Example:* Let $X = [0,1) \cup \{2\} \cup (3,4]$, then $X$ is order isomorphic to $Y=[0,2]$ in a fairly obvious way, hence the order topologies on $X$ and $Y$ are homeomorphic. But, the order topology on $Y$ agrees with the subspace topology on $Y$, so this particular $X$ is indeed homeomorphic to a subspace of $\mathbb{R}$.

*Example:* Let $X$ equal the set of endpoints of the Cantor set. The order on $X$ is a bit strange (it’s order isomorphic to $\mathbb{Q} \times \{0,1\}$ in the dictionary order with a largest and smallest element adjoined), so one might expect the order topology on $X$ to be strange, but… $X$ is clearly 2nd countable under the order topology (there are countably many points, hence countably many intervals) and any order topology is regular, so $X$ is metrizeable by Urysohn. It is also easy to see the order topology on $X$ has no isolated points so, by a theorem of Sierpinski (any countable metric space without isolated points is homeomorphic to $\mathbb{Q}$), the order topology on $X$ is homeomorphic to the subspace $Y = \mathbb{Q}$ of $\mathbb{R}$.

- Is the intersection of a closed set and a compact set always compact?
- Prove that the identity map $(C,d_1) \rightarrow (C,d_\infty)$ is not continuous
- Can locally “a.e. constant” function on a connected subset $U$ of $\mathbb{R}^n$ be constant a.e. in $U$?
- Are the complements of two homeomorphic compact, connected subsets of $\mathbb{R}^2$ homeomorphic?
- Show $\Bbb R ^n$ with a finite set removed is still connected.
- Why is compactness so important?

For any countable $X$, the argument above shows the order topology on $X$ is metrizeable. In fact, I think the order topology on *any* $X \subset \mathbb{R}$ is metrizeable by this theorem of Lusin (an order topology $X$ is metrizeable if and only if the diagonal in $X \times X$ is a $G_\delta$ set). But this doesn’t preclude the possiblity of $X$ weird enough to not be homeomorphic to any subspace of $\mathbb{R}$. I’m not sure how one would arrange this though. If it can be arranged with $X$ countable there would need to be many isolated points to avoid Sierpinski’s result for instance…

**Advertisement:** Brian’s positive answer below actually proves something even better. Namely:

**Theorem:** Let $X \subset \mathbb{R}$. Then there is an order isomorphism (hence homeomorphism of order topologies) $\varphi$ from $X$ to a new set $Y \subset \mathbb{R}$ whose order topology and subspace topology coincide.

Roughly, approach is to take countable set $D \subset X$ such that each point in $X \setminus D$ is a 2-sided limit (topologically) of points in $D$. Using countability of $D$, one can find an order embedding $\varphi$ of $D$ into $\mathbb{Q}$ such that $\varphi(D)$ has no “topological gaps” that are not also “order gaps” (this is the property which makes the subspace and order topologies coincide). The final step is to extend $\varphi$ to the rest of $X$ and check nothing goes awry in doing so.

- $\mathbb R = X^2$ as a Cartesian product
- Uniqueness of compact topology for a group
- What tools are used to show a type of convergence is or is not topologizable?
- Confusion in proof of theorem ($2.7$) in Rudin's Real and complex analysis
- order isomorphism maps $f < g$ to $Tf < Tg$?
- $C^1$ is closed in $C$
- Stein-Shakarchi Real Analysis Ch1 Ex 12a: an open disc in ${\bf R}^2$ is not the disjoint union of open rectangles
- Why does topology rarely come up outside of topology?
- complement of zero set of holomorphic function is connected
- Are there any countable Hausdorff connected spaces?

This is a completely different argument from the previous one (and with a little luck a correct one this time), but the conclusion is the same: the answer is *yes, always*.

Suppose that $X\subseteq\mathbb{R}$. Let $\tau_o$ and $\tau_s$ respectively be the order and subspace topologies on $X$; certainly $\tau_o\subseteq\tau_s$. In the sequel all intervals will be taken in $X$ unless subscripted with $\mathbb{R}$, so that for example $$[x,\to)=\{y\in X:x\le y\},$$ and $$[x,\to)_\mathbb{R}=\{y\in\mathbb{R}:x\le y\}\;.$$

Let $N$ be the set of points of $X$ that have either an immediate predecessor or an immediate successor in $X$; clearly $N$ is countable.

Let $L=\{x\in X:[x,\to)\in\tau_s\setminus\tau_o\}$ and $R=\{x\in X:(\leftarrow,x]\in\tau_s\setminus\tau_o\}$; I’ll call points of $L$ *left pseudogaps* and points of $R$ *right pseudogaps* of $X$. It’s not hard to see that for any $x\in X$:

- $x\in L$ iff there is $\epsilon>0$ such that $(x-\epsilon,x)_\mathbb{R}\cap X=\varnothing\ne(\leftarrow,x)$, and $x$ has no immediate predecessor in $X$; and
- $x\in R$ iff there is $\epsilon>0$ such that $(x,x+\epsilon)_\mathbb{R}\cap X=\varnothing\ne(x,\to)$, and $x$ has no immediate successor in $X$.

It follows immediately that $L\cup R$ is countable. Moreover, it’s well-known that $\tau_s$ has a base of intervals, not necessarily open, in $X$, so $L\cup R$ is precisely the set of points at which $\tau_s$ and $\tau_o$ disagree.

Let $D_0$ be a countable $\tau_s$-dense subset of $X\setminus(L\cup R\cup N)$, and let $D=D_0\cup L\cup R\cup N$; we may assume that $D$ contains any endpoints of $X$. Enumerate $D=\{x_n:n\in\omega\}$ and $\mathbb{Q}=$ $\{q_n:n\in\omega\}$. Recursively define $\varphi:D\to\mathbb{Q}$ as follows: if $\varphi(x_k)$ has been defined for $k<n$, let $$m=\min\bigg\{i\in\omega:\forall k<n\big[q_i<\varphi(x_k)\leftrightarrow x_n<x_k\big]\bigg\}\;,\tag{1}$$ and set $\varphi(x_n)=q_m$. Clearly $\varphi$ is order-preserving.

Suppose that $x\in L$. Then $x=\sup_X(\leftarrow,x)\cap D$, and the construction guarantees that $\varphi(x)=$ $\sup_\mathbb{R}\varphi[(\leftarrow,x)\cap D]$. Similarly, $\varphi(x)=\inf_\mathbb{R}\varphi[(x,\to)]$ for each $x\in R$.

Now extend $\varphi$ to $X$ by setting $\varphi(x)=\sup_\mathbb{R}\{\varphi(y):y\in(\leftarrow,x)\cap D\}$ for $x\in X\setminus D\;$; clearly $\varphi$ is strictly order-preserving. Moreover, the construction ensures that if $x=\sup_X(\leftarrow,x)$, then $\varphi(x)=\sup_\mathbb{R}\varphi[(\leftarrow,x)]$, and if $x=\inf_X(x,\to)$, then $\varphi(x)=\inf_\mathbb{R}\varphi[(x,\to)]$. (This is a consequence of setting $\varphi(x_n)$ to $q_m$ with $m$ given by $(1)$.)

Let $Y=\varphi[X]$; clearly $Y$ with the order topology is homeomorphic to $\langle X,\tau_o\rangle$. Suppose that $y=\varphi(x)$ is a left pseudogap of $Y$. Then $\varphi(x)\ne\sup_\mathbb{R}\varphi[(\leftarrow,x)]$, so $x\ne\sup_X(\leftarrow,x)$. This is possible only if $x$ has an immediate predecessor $x^-$ in $X$, and in that case $(\varphi(x^-),y)=\varnothing$, and $y$ is not a left pseudogap of $Y$ after all. Similarly, $Y$ has no right pseudogaps, and therefore the subspace and order topologies on $Y$ coincide with each other, and $\langle X,\tau_o\rangle$ is homeomorphic to $Y$.

According to this paper, any second countable ordered space is (order) homeomorphic to a subspace of $\mathbb{R}$. Moreover, any separable one is homeomorphic to a subspace of the Sorgenfrey line. The proofs seem similar to Brian’s.

- Can there be $N$ such that $P \equiv a \mod n$ a prime $\Rightarrow P+N$ also prime?
- Singular asymptotics of Gaussian integrals with periodic perturbations
- Does $gHg^{-1}\subseteq H$ imply $gHg^{-1}= H$?
- Is the ring and semi-ring definition of algebra and set linked?
- Solution verification: Prove by induction that $a_1 = \sqrt{2} , a_{n+1} = \sqrt{2 + a_n} $ is increasing and bounded by $2$
- primitive element $a$ of $\mathbb F_{p^n}/\mathbb F_p$ such that $a^n\in\mathbb F_p$
- How to compute SVD (Singular Value Decomposition) of a symmetric matrix
- Does the series $\;\sum\limits_{n=0}^{\infty}\left(\frac{\pi}{2} – \arctan(n)\right)$ converge or diverge?
- What's the minimum of $\int_0^1 f(x)^2 \: dx$, subject to $\int_0^1 f(x) \: dx = 0, \int_0^1 x f(x) \: dx = 1$?
- Find the maximum value of $xy^2z^3$ given that $x^2 + {y}^2 + {z}^2 = 1$, using AM-GM
- Every radical ideal in a Noetherian ring is a finite intersection of primes
- How often does $D(n^2) = m^2$ happen, where $D(x)$ is the deficiency of $x$?
- A natural proof of the Cauchy-Schwarz inequality
- Group Actions of $S_n$ and $O(n)$
- Rational analysis