|
|
|
|
a connected and locally path connected space is path connected
|
(Theorem)
|
|
|
Theorem. A connected, locally path connected topological space is path connected.
Proof. Let $X$ be the space and fix $p \in X$ . Let $C$ be the set of all points in $X$ that can be joined to $p$ by a path. $C$ is nonempty so it is enough to show that $C$ is both closed and open.
To show first that $C$ is open: Let $c$ be in $C$ and choose an open path connected neighborhood $U$ of $c$ . If $u \in U$ we can find a path joining $u$ to $c$ and then join that path to a path from $p$ to $c$ . Hence $u$ is in $C$ .
To show that $C$ is closed: Let $c$ be in $\overline{C} $ and choose an open path connected neighborhood $U$ of $c$ . Then $C \cap U \neq \varnothing$ . Choose $q \in C \cap U$ . Then $c$ can be joined to $q$ by a path and $q$ can be joined to $p$ by a path, so by addition of paths, $p$ can be joined to $c$ by a path, that is, $c \in C$ .
|
"a connected and locally path connected space is path connected" is owned by Mathprof.
|
|
(view preamble | get metadata)
Cross-references: addition, closed, join, neighborhood, open path, open, closed and open, path, points, fix, proof, path connected, topological space, locally path connected, connected, theorem
This is version 3 of a connected and locally path connected space is path connected, born on 2007-03-17, modified 2007-03-17.
Object id is 9090, canonical name is LocallyPathConnectedSpaceIsPathConnectedAConnected.
Accessed 1002 times total.
Classification:
| AMS MSC: | 54D05 (General topology :: Fairly general properties :: Connected and locally connected spaces ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|