Excluded Point Space is not Locally Arc-Connected

From ProofWiki
Jump to navigation Jump to search


Let $T = \struct {S, \tau_{\bar p} }$ be an excluded point space.

Then $T$ is not locally arc-connected.


Let $\BB \subseteq \tau_{\bar p}$ be a basis for $\tau_{\bar p}$.

Since $\BB$ covers $S$, there must be an open set $B \in \BB$ such that $p \in B$.

By definition of the excluded point topology, the only open set containing $p$ is $S$ itself.

Hence necessarily $S \in \BB$.

But by Excluded Point Space is not Arc-Connected, $S$ is not arc-connected.

Hence $\BB$ does not consist only of arc-connected sets.

Because $\BB$ was arbitrary, there cannot exist a basis for $\tau_{\bar p}$ comprising only arc-connected sets.

Hence, by definition, $T$ is not locally arc-connected.