For what spaces can we say that every open set is a union of (any number of) (not necessarily disjoint) sets that are homeomorphic to the entire space?

In $\mathbb{R}$ it's true (even with a countable number of open intervals, and with disjoint unions - but I don't care for these conditions in this question). I think that in $\mathbb{R}^n$ it's also possible with open balls. What about in a metric space, or even a topological space?

I think I need to exclude finite spaces because for them a subspace won't be homeomorphic to the whole space because of different cardinality.

  • 2
    $\begingroup$ In any normed linear space open balls are homeomorphic to the whole space and any open set is a union of open balls. $\endgroup$ – Kavi Rama Murthy Mar 17 '18 at 12:19
  • 1
    $\begingroup$ In any infinite cofinite space, a non-empty open set is homeomorphic to the whole space. $\endgroup$ – Henno Brandsma Mar 17 '18 at 12:50
  • 1
    $\begingroup$ You need to exclude closed surfaces, like spheres or tori, because there the only subset homeomorphic to the whole space is the whole space. Similarly for higher-dimensional closed manifolds (and also lower-dimensional --- the circle needs to be excluded). $\endgroup$ – Andreas Blass Mar 17 '18 at 18:14
  • $\begingroup$ @AndreasBlass oh, that's the counterexample I was missing .... thanks! $\endgroup$ – Dan Mar 18 '18 at 0:25
  • $\begingroup$ No proper open subset of $[0,1]$ is homeomorphic to $[0,1]$. $\endgroup$ – Kavi Rama Murthy Mar 19 '18 at 23:32

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.