# Which topological spaces contain dense simply connected subspace?

And when can this subspace be chosen to be open?

As the answer to this question indicates, any manifold contains an open dense subset, which is homeomorphic to $\mathbb{R}^{n}$, and so for manifolds the stronger of the two properties holds. I wonder how widespread this phenomenon is.

Note that simply connected spaces are assumed to be connected, and so we only consider connected topological spaces. Also feel free to narrow the class of spaces further, e.g. add local path connectedness, local compactness, etc.

• A negative example for the stronger property is the Sierpinski carpet en.wikipedia.org/wiki/Sierpinski_carpet , a connected compact plane set, whose non-empty open subsets are not simply connected. – Pietro Majer May 3 '17 at 15:52
• @PietroMajer Although it looks very intuitive, how exactly do you prove it? – erz May 3 '17 at 16:01
• The infinite-dimensional torus $S^{\mathbb N}$ with product topology is a more obvious example perhaps of a space with no simply connected open sets. – Christian Remling May 3 '17 at 17:22
• @erz: any non-empty open subset of the Sierpinski carpet $S$ contains the boundary of some square $Q$ disjoint from $S$ (one of the squares removed in the construction). Of course $\partial Q$ is a loop which is not contractible in $\mathbb{R}^2\setminus Q$, and a fortiori in $S$ . – Pietro Majer May 3 '17 at 17:50
• @JeremyBrazas why cannot we just remove a point from each of the circles? – erz May 4 '17 at 14:18

Proof: Let $T$ be a spanning tree for the graph. Your open set is obtained by removing a point from every edge not in $T$.
Any real semialgebraic set $X \subset \mathbb{R}^N$ has a dense, open subset that is a submanifold: just take the complement of its singular set. In fact, the singular set is Zariski closed in $X$, hence nowhere dense in the euclidean topology of $X$.
Using your remark about manifolds, it follows that any semialgebraic set contains an open, dense subspace homeomorphic to $\mathbb{R}^n$, with $n = \dim X$.