0
$\begingroup$

Is a totally ordered, separable and connected topological space metrizable (in the order topology)?

If we relax the assumption of connectedness, I know the counterexamples, but if we have a linear continuum that is also separable, can we say it is metrizable?

Thanks!

$\endgroup$
4
  • 2
    $\begingroup$ Crossposted to math.se: math.stackexchange.com/questions/3534793/… $\endgroup$
    – bof
    Feb 5, 2020 at 6:57
  • 2
    $\begingroup$ See my answer on math stackexchange here. $\endgroup$ Feb 5, 2020 at 22:16
  • 1
    $\begingroup$ E.g. the so-called double arrow is a classic separable non-metrisable compact LOTS. $\endgroup$ Feb 5, 2020 at 22:46
  • 1
    $\begingroup$ @WholeFood, I rolled your edit back to the previous version because the post was too cryptic in the modified version, whereas the original one is more easily readable. For instance, I had no idea what the acronym "LOTS" was. $\endgroup$
    – Alex M.
    Jul 13, 2021 at 17:26

1 Answer 1

3
$\begingroup$

Yes, because it is regular and has a countable base, namely the family of open intervals with the ends at the dense countable set. The connectedness guarantees that each open interval $(a,b)$ is not empty and hence contains a point from the countable dense set.

$\endgroup$
3
  • 1
    $\begingroup$ Metrizable? Isn't the space described in the question homeomorphic to an interval of the real line? $\endgroup$
    – bof
    Feb 5, 2020 at 6:35
  • $\begingroup$ Yes, it is. But anyway some argument for proving this is necessary. Without connectedness you have a non-metrizable example of the double arrow space. $\endgroup$ Feb 5, 2020 at 6:58
  • 2
    $\begingroup$ The general condition for LOTS's is having a $G_\delta$ diagonal or a $\sigma$-locally countable base. Theory from the 1970's when LOTS's where studied more. $\endgroup$ Feb 5, 2020 at 22:18

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.