# Name for connected spaces homeomorphic to all of their open proper connected subsets? (Besides $\mathbb{R}$?)

Because $$\mathbb{R}$$ is homeomorphic to any open interval, and a subset of $$\mathbb{R}$$ is connected if and only if it is an interval, it has the unusual property of being homeomorphic to any of its proper open connected subsets. In particular, given any point in $$\mathbb{R}$$, all of its proper connected open neighborhoods are homeomorphic to $$\mathbb{R}$$ itself.

Additionally, any space with the trivial topology vacuously has this property, since it has no proper open subsets.

Question: Are there any other nontrivial spaces besides $$\mathbb{R}$$ with this unusual/idiosyncratic property? If so, has anyone ever studied this class of topological spaces and given them a name? If so, what is the name?

Note that $$\mathbb{R}^n$$ for $$n \ge 2$$ does not have this property (cf. this question or this one), $$\mathbb{R}^2 \setminus \{0 \}$$ is a counterexample (and one that shows we have to get algebraic topology involved for $$n \ge 2$$).

• Regarding the one point space example, are you sure that $\emptyset$ should count as a proper subset in this context? Because if so then $\emptyset\subset \mathbb R$ is a proper open connected subset which is not homeomorphic to $\mathbb R$. Once you stop counting $\emptyset$ as a proper subset, every indiscrete topology becomes an example of a space with your property. Mar 7, 2022 at 0:46
• (I didn't post that as an answer because I figured it wasn't in the spirt of the question and that you'd want to edit to rule it out. If not, let me know and I'll post it as an answer to your first question. I don't know the answer to the second question.) Mar 7, 2022 at 0:55
• BTW, $\mathbb{R}^2 \setminus \{0 \}$ not homeomorphic to $\mathbb{R}^2$ does not necessarily involve algebraic topology, see, for instance, my answer to this question. (Same proof applies to higher dimensions.)
– Ulli
Mar 7, 2022 at 10:29
• I doubt that this property has a name, as I don't expect that it is a very interesting property in applications (though I am willing to be convinced otherwise). Personally, I might refer to this as a kind of "topological self-similarity". Generally speaking, a metric space is self-similar if it can be decomposed into copies of itself which are geometrically similar (for example, a square can be decomposed into four smaller squares). Mar 11, 2022 at 1:05
• In this case, you are looking for both a stronger condition (in that you are not asking for the mere existence of such a decomposition, but rather that every connected open set is similar to the whole space), but also a weaker condition, in that you aren't asking for geometric similarity, but only topological similarity. So... "connection-strong topological self-similarity"? Can I throw in more adjectives? Mar 11, 2022 at 1:06

• To clarify the first example (replacing $\mathbb{Z}$ with $\mathbb{N}$), let's say our open set is $\{3,4,5,6,...\}$, then would a homeomorphism be $\mathbb{N} \to \mathbb{N}$, $n \mapsto n+2$? These are good examples - I wanted to hold off on accepting an answer in case some person turns out to actually know a term or a reference for these kinds of spaces but I'm not sure whether that makes sense Mar 9, 2022 at 22:24