3
$\begingroup$

Is $S^1$ an open subspace of a contractible space?

$\endgroup$
2
  • $\begingroup$ No, because it would have to be a clopen set there, while a contractible space is connected $\endgroup$
    – erz
    Commented May 6, 2021 at 12:50
  • 5
    $\begingroup$ @erz This works only if the ambient space is Hausdorff. $\endgroup$ Commented May 6, 2021 at 13:07

2 Answers 2

6
$\begingroup$

The space $\mathbb{C}/\mathbb{R}_{>0}$ is obtained by adding a point to $S^1$ in such a way that the added point is closed and the topology is the coarsest possible under these conditions (so that a subset is open iff it is an open subset of $S^1$ or the whole space).

The subspace $S^1=\mathbb{C}^\times/\mathbb{R}_{>0}$ of $\mathbb{C}/\mathbb{R}_{>0}$ is open, and the ambient space is contractible (by passing to the quotient the retracting homotopy $(z,t)\mapsto tz$).

As erz said in the comments, this is not possible if you want your contractible space to be Hausdorff, because otherwise $S^1$ would be one of its connected components.

$\endgroup$
1
$\begingroup$

Let $K=\{\emptyset, \{p\}, \{p, q\}\}$ be the Kuratowski pair. The quotient of the product space $S^1\times K$ by $S^1\times \{q\}$ is contractible and contains $S^1$ as an open subspace.

This is imitating the cone construction of contractible non-locally contractible spaces.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .