Why Is This Space Contractible?

gn.general-topology

Is the following space, obtained by glueing a Cantor set worth of "hairs" to a closed disk in $\Bbb R^2$ contractible?

enter image description here

The obvious attempt of contracting the hairs to the root and then contracting the disk doesn't look continuous on the boundary of the disk.

Motivation: While looking for an example providing an answer to a question I posted a couple of days ago I stumbled on this construction of a compact contractible space which is nowhere locally connected, attributed to Robert Edwards but only published as an abstract of the AMS that I cannot find online. Showing that the space constructed by Edwards is contractible boils down to showing that the space depicted above is.

Best Answer

Calling the space $X$, you can consider the homotopy $f_t:X\to X$ such that $f_t$ rotates every point an angle of $-t$ around the origin. For points of the hairs you rotate them keeping them inside their hair, and after they reach the 'singular point', they keep rotating in the boundary of the disk.

Then $f_0$ is the identity and $f_{2\pi}(X)$ is contained in the disk, so $X$ is contractible.

Related Question