Connected and locally connected but not path connected for sober spaces?

222 Views Asked by At

In connected and locally connected toposes are path connected, the authors cite two spaces which are connected but not path connected - infinite sets with codiscrete topologies, and the extended long line. A space in the first class can never be sober, and topoi generalize sober spaces, so let's ignore that. The introduction to the paper, however, says the essential reason for the validity of the title as a proposition is that there are no cardinality problems in the topos setting. The extended long line isn't path connected because the last interval is too far from everything else in a strictly set-theoretic sense - the image of a path would have greater cardinality than it's domain, contradicting surjectivity.

This answer presents a bunch of connected but not path-connected spaces. I'm no topologist and to be honest I don't really care about all these pathologies, at least not enough to study each of them. What I would like is to understand to what extend "cardinality problems" are the only problems for a connected sober space to be path connected, and for a connected and locally connected space to be path connected.

  1. This $\pi$-base search gives a bunch of examples, so local connectedness really is important. Why? How does it get us "closer" to path connectedness?
  2. This $\pi$-base search only gives the extended long line and the lexicographical order on the unit square as counterexamples. The latter doesn't seem very geometric, but the issue doesn't seem to be a cardinality problem. What's going on here? Are these two examples in some sense the only ones?