I noticed that the natural order of the Reals alone, being complete ( satisfying LUB ) , is able to prove that the induced order topology is complete ( every Cauchy sequence converges ). We are able to talk about completeness of such topology, because it ends up being uniformizable ( even more, it is metrizable ).
Now, i'm asking myself if any total order that is complete can induce a topology that is at least uniformizable, so that it will be able to prove the completeness of its induced uniform structure.
Finally, i'm a real beginner in topology and real analysis, i don't even know if there could be any possible example of a complete order whose induced order topology ( even if uniformizable ) that would be interesting ... I'm crawling in the dark but at the same time just trying to see to what degree of generality things hold.
Thanks in advance.
Let $\langle X,\le\rangle$ be a linear order, and let $\tau$ be the order topology on $X$ induced by $\le$: $\tau$ has as a subbase $\{(\leftarrow,x):x\in X\}\cup\{(x,\to):x\in X\}$. Then the space $\langle X,\tau\rangle$ is $T_5$, i.e., $T_1$ and hereditarily normal; you can find proofs here. In particular, $X$ is completely regular and therefore uniformizable. None of this requires that the order be complete.
If the order is complete, including endpoints, then $X$ is compact; if it’s complete in the weaker sense that every set bounded above has a supremum, then it need not be compact, since it need not have endpoints, but it satisfies a Heine-Borel theorem: a subset of $X$ is compact if and only if it’s closed and bounded. In particular, $X$ is locally compact, so it satisfies the Baire category theorem, just as if it were a complete metric space.