Post History

Probably one of the simpler ways of establishing this is reducing it to a case where you already know the answer. I will assume that you have proven at some point that the circle, $\mathbb S^1$, is not simply connected. Simple connectedness is a topological property so it is preserved by homeomorphism. Another important and useful fact about simply connected spaces is that a retract of a simply connected space is simply connected. The proof outline is then simply to show that the circle is a retract of $M$ and thus $M$ can't have been simply connected.

A **retraction** of a space $X$ onto a subspace $A \subseteq X$ is a continuous function $r : X \to A$ such that $\forall a \in A. r(a) = a$. We say that $A$ is a **retract** of $X$ if there exists a retraction $X \to A$.

The function $r(x,y,z) = ((y-1)^2 + (z-1)^2)^{-\frac{1}{2}}(0, y, z)$ is a retraction $M \to \mathbb S^1$ where we're identifying $\mathbb S^1$ with unit circle in the $yz$-plane centered at $(0, 1, 1)$. You should prove that this is a continuous function. (It clearly would *not* be continuous if we didn't omit the line $y = z = 1$.) Intuitively, this projects to the $yz$-plane and then maps each point on a ray in the $yz$-plane starting at $(0, 1, 1)$ to the corresponding point at unit distance from $(0, 1, 1)$. To be nitpicky, you should also prove that the subset of $M$ we were calling $\mathbb S^1$ is, in fact, homeomorphic to the circle. Alternatively, you can just directly prove that this subspace is not simply connected.

See [these lecture notes](https://sites.math.washington.edu/~lee/Courses/441-2012/simplyconn.pdf?v2) for discussion and proofs of the subresults, though I recommend attempting to prove them yourself first if you haven't already.