Path-connected and locally connected space that is not locally path-connected

Let $\mathbb{R}_c$ be $\mathbb{R}$ with the cocountable topology. We'll show that its cone is not locally path-connected, where the cone is $$X=(\mathbb{R}_c \times [0,1])/\sim$$ with $(x,t)\sim (x',t')$ if $t=t'=1$.

Lemma. Let $A$ be an uncountable set with the cocountable topology. Then compact subsets of $A$ are finite and connected subsets are either singletons or uncountable.

Proof. Suppose $B\subset A$ is compact and (countably or uncountably) infinite. Given any countably infinite subset $B_0\subset B$, we can cover $A$ with sets of the form $U_b=b \cup (A \setminus B_0)$ for $b \in B_0$. A finite subcollection of these sets $U_b$ can contain only finitely many elements of $B$, hence $B$ is not compact. Now suppose that $C \subset A$ is connected and contains more than one element. Since finite/countable subspaces in the cocountable topology have the discrete (subspace) topology, $C$ is uncountable. $\square$

Claim 1. Every path into $\mathbb{R}_c$ is constant. Thus no open subsets of $\mathbb{R}_c$ are path-connected; in particular, $\mathbb{R}_c$ is not locally path-connected.

Proof. Let $f:[0,1] \to \mathbb{R}_c$ be continuous. The image $f([0,1])$ is compact and connected, so it must be a singleton set by the lemma. $\square$

Claim 2. The cone on $\mathbb{R}_c$, denoted $X$, is not locally path-connected.

Proof. Fix a point $(x,t)$ in the open subset $\mathbb{R}_c \times [0,1) \subset X$. Any path $f:[0,1] \to\mathbb{R}_c \times [0,1)$ projects to a path $p \circ f:[0,1] \to \mathbb{R}_c$ under the projection $p: \mathbb{R}_c \times [0,1) \to \mathbb{R}_c$. By Claim 1, $p \circ f$ is constant, so all paths into $\mathbb{R}_c \times [0,1)$ have a fixed first coordinate. Because every open neighborhood of $(x,t)$ includes points $(x',t')$ with $x'\neq x$, it follows that no neighborhood of $(x,t)$ is path-connected. Thus $X$ is not locally path-connected. $\square$

Remark. Any uncountable set with the cocountable topology is connected because any two (nonempty) open sets intersect. It follows that open subsets of such a space are themselves uncountable sets with the cocountable (subspace) topology, hence all open subsets are connected. Then certainly the original space is locally connected. Since a finite product of locally connected spaces is locally connected, $\mathbb{R}_c \times [0,1]$ is locally connected. Quotient maps also preserve local connectedness, so this implies that the cone $X$ is locally connected.


A very nice example for (4) is a "long circle". That is, let $L$ be the closed long line, with endpoints $0$ and $\omega_1$, and adjoin to $L$ a path from $0$ to $\omega_1$ to get a space $S$ (or equivalently, you could just identify $0$ and $\omega_1$ together). Then $S$ is path-connected and locally connected (and also compact and Hausdorff), but it is not locally path-connected at $\omega_1$.