Skip to main content
2 of 3
In 2., interested in images of neighbourhoods not neighbourhoods of images
Robin Saunders
  • 3.6k
  • 24
  • 34

More on continuous images of dense orders

In this question I asked if there was an analogue of connectedness which applied to dense orders which were not required to be complete. Between them, Noah and Joel showed that every (infinite) topological space is the continuous image of some dense order. But a couple of new questions arose:

  1. As Noah suggests, what happens if we restrain the continuous map f to be injective? It seems to me it's sufficient to restrict f not to be locally constant at any point.

  2. Is there some sort of local property P, stronger than continuity, which applies to the map, in the sense that every x in the dense order X must have a neighbourhood U such that f(U) has property P? For example, in Noah and Joel's construction the map is locally constant, so that a local form of connectedness still holds.

Robin Saunders
  • 3.6k
  • 24
  • 34