Equivalence of Definitions of Locally Path-Connected Space/Definition 3 implies Definition 4

From ProofWiki
Jump to navigation Jump to search

Theorem

Let $T = \struct {S, \tau}$ be a topological space.

Let $T$ have a basis consisting of path-connected sets in $T$.


Then

the path components of open sets of $T$ are also open in $T$.


Proof

Let $U$ be an open subset of $T$.

From Open Set is Union of Elements of Basis, $U$ is a union of open path-connected sets in $T$.

From Open Set in Open Subspace and Path-Connected Set in Subspace, $U$ is a union of open path-connected sets in $U$.

From Path Components are Open iff Union of Open Path-Connected Sets, the path components of $U$ are open in $U$.

From Open Set in Open Subspace then the path components of $U$ are open in $T$.

$\blacksquare$