a connected and locally path connected space is path connected
Theorem. A connected, locally path connected topological space
is path connected.
Proof. Let be the space and fix . Let be the set of all points in that can be joined to by a path. is nonempty so it is enough to show that is both closed and open.
To show first that is open: Let be in and choose an open path connected neighborhood of . If we can find a path joining to and then join that path to a path from to . Hence is in .
To show that is closed: Let be in and choose an open path connected neighborhood of . Then . Choose . Then can be joined to by a path and can be joined to by a path, so by addition of paths, can be joined to by a path, that is, .