Skip to main content
1 of 3
Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 82

Extending a homeomorphism from a dense set

Let $X$ and $Y$ be topological spaces, and let $f : X \to Y$ be a Borel-measurable function. Suppose that $D \subseteq X$ is dense, that the image $f(D) \subseteq Y$ is dense, and that $f$ is a homeomorphism from $D$ to $f(D)$.

Does it follow that $f$ is a homeomorphism from $X$ to $Y$?

Tom LaGatta
  • 8.5k
  • 1
  • 43
  • 82