locally path-connected space



topology (point-set topology, point-free topology)

see also algebraic topology, functional analysis and topological homotopy theory


Basic concepts

Universal constructions

Extra stuff, structure, properties


Basic statements


Analysis Theorems

topological homotopy theory



A topological space is called locally path-connected if it has a basis of path-connected neighbourhoods. In other words, if for every point xx and neighbourhood VxV \ni x, there exists a path-connected neighbourhood UVU \subset V that contains xx.



Let XX be a locally path connected space. Then the path connected component P xXP_x \subset X over any point xXx \in X is an open set.


It is sufficient to show that every point yP xy \in P_x has an neighbourhood U yU_y which is still contained in P xP_x. But by local path connectedness, yy has a neighbourhood V yV_y which is path connected. It follows by concatenation of paths that V yP xV_y \subset P_x.

A locally path-connected space is connected if and only if it is path-connected.


The connected components of a locally path-connected space are the same as its path-connected components.


A path connected component is always connected (this lemma), and in a locally path-connected space is it also open (lemma 1). This means that every path-connected component is also connected.

Conversely, it is now sufficient to see that every connected component is path-connected. Suppose it were not, then it would be covered by more than one disjoint non-empty path-connected components. But by lemma 1 these would be all open. This would be in contradiction with the assumption that UU is connected. Hence we have a proof by contradiction.



(Euclidean space is locally path-connected)

For nn \in \mathbb{N} then Euclidean space n\mathbb{R}^n (with its metric topology) is locally path-connected, since each open ball is path-connected topological space.


Every open subspace of a locally path connected topological space is itself locally path connected.

The condition is a necessary assumption in the

in the form of the condition for

Revised on June 13, 2017 04:11:10 by Urs Schreiber (