Local (path) connectedness

Locally path connected spaces have identical connected and path-connected components

Let be a locally path-connected topological space. Then for any , is path-connected to iff is connected to . #m/thm/topology

Corollaries

• A locally path-connected space is path-connected iff it is connected

#state/develop | #lang/en | #SemBr