nLab
locally path-connected space

Context

Topology

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

see also algebraic topology, functional analysis and topological homotopy theory

Introduction

Basic concepts

Universal constructions

Extra stuff, structure, properties

Examples

Basic statements

Theorems

Analysis Theorems

topological homotopy theory

Contents

Definition

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.

Properties

Lemma

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.

Proof

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.

Proposition

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

Proof

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.

Examples

Examples

(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.

Example

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 (46.183.103.17)