A few days ago, I came across this question in a review queue. I tried my luck at it. Here is what I did:
- If I want a homomorphism (isomorphism, but even just homomorphism) $f:\mathbb{R}\to F$, then I'll need 0 and 1 to map to themselves. From this, via homomorphism properties, I conclude $\mathbb{Q}$ has to map to itself.
- $F$ is ordered, so it has an order topology which is easily seen to be Hausdorff. So I can take the identity of $\mathbb{Q}$ and extend it to $f:\mathbb{R}\to F$ via sequential continuity, i.e. if $x_n\to x$ and $x_n\in\mathbb{Q}$, I want $f(x_n)\to f(x)$ in $F$. This is a well-defined extension.
- $f$ is order preserving. Naturally, I am assuming "ordered subfield" means the operations and order of $F$ restrict the the normal operations and order of $\mathbb{Q}$. With that, that it preserves the order of $\mathbb{Q}$ is obvious. So let e.g. $a\in\mathbb{R}\smallsetminus\mathbb{Q}$. $\mathbb{Q}$ is dense, which is what allows $f$ to be defined on all $\mathbb{R}$, so there exists $a_n\to a$ a sequence of rationals. Naturally, $f(a)=\lim f(a_n)$. $a_n$ has to eventually be in every open set around $a$, including $(a-\frac d2,a+\frac d2)$, where $d=b-a$. So eventually $a_n<b$, and $f(a_n)<f(b)$ since $b$ is rational. But then $f(a)>f(b)$ is a contradiction. So $f(a)\leq f(b)$. We need injectivity to conclude strict preserving of the order. Oh with similar arguments we conclude for the case $a,b$ both irrational. I'm having problems recalling my proof of this injectivity…
- $f$ is a homomorphism. On the rationals it is evident, so let $a,b$ be irrational. Then $a_n\to a,b_n\to b$ exist in the rationals. $a_nb_n\to ab$, so $f(ab)=\lim f(a_nb_n)=\lim(f(a_n)f(b_n))=\lim f(a_n)\cdot\lim f(b_n)=f(a)f(b)$. Similarly you prove additive linearity.
So modulo recalling the proof of injectivity, we have proven that any complete ordered field containing $\mathbb{Q}$ as an ordered subfield must contain an isomoprhic copy of $\mathbb{R}$, which is homeomorphic to $\mathbb{R}$ if equipped with the restricted order topology, as one can easily verify since sequential continuity, which is the basis for the definition of $f$, implies continuity in first countable spaces and the order topology is first countable by taking intervals of size $\frac1n$ as local bases. Completeness of $F$ was of course used when defining $f$ via limits, to ensure those limits existed: the sequences of rationals are Cauchy both in $\mathbb{R}$ and in $F$, so the images converge by completeness of $F$.
We are left with proving $f(\mathbb{R})=F$, i.e. $f$ is surjective. I tried by contradiction, and assumed there was $x\in F\smallsetminus f(\mathbb{R})$. I concluded all real multiples of $x$ were of that kind, i.e. not reals, except for $0x=0$. But I can't see how to go on from there.
Can you help me? Is there a more algebraic and less topological way, perhaps an easier way, to do this?