Path-connected space

From Topospaces
Jump to: navigation, search
This article defines a homotopy-invariant property of topological spaces, i.e. a property of homotopy classes of topological spaces


View other homotopy-invariant properties of topological spaces OR view all properties of topological spaces
This is a variation of connectedness. View other variations of connectedness


This article is about a basic definition in topology.
VIEW: Definitions built on this | Facts about this | Survey articles about this
View a complete list of basic definitions in topology

Definition

Symbol-free definition

A topological space is said to be path-connected or arc-wise connected if given any two points on the topological space, there is a path (or an arc) starting at one point and ending at the other.

Definition with symbols

A topological space is said to be path-connected or arc-wise connected if for any two points there is a continuous map such that and .

Relation with other properties

Stronger properties

Weaker properties

Metaproperties

Metaproperty name Satisfied? Proof Statement with symbols
subspace-hereditary property of topological spaces No path-connectedness is not hereditary It is possible to have a path-connected space and a subset of such that is not path-connected in the subspace topology.
weakly hereditary property of topological spaces No path-connectedness is not weakly hereditary It is possible to have a path-connected space and a closed subset of such that is not path-connected in the subspace topology.
product-closed property of topological spaces Yes path-connectedness is product-closed Suppose , are all path-connected spaces. Then, the Cartesian product is also a path-connected space with the product topology.
box product-closed property of topological spaces No path-connectedness is not box product-closed It is possible to have all path-connected spaces such that the Cartesian product is not path-connected in the box topology.
coarsening-preserved property of topological spaces Yes path-connectedness is coarsening-preserved If is path-connected under a topology , it remains path-connected when we pass to a coarser topology than .
continuous image-closed property of topological spaces Yes path-connectedness is continuous image-closed If is a path-connected space and is the image of under a continuous map, then is also path-connected.
connected union-closed property of topological spaces Yes path-connectedness is connected union-closed
closure-preserved property of topological spaces No path-connectedness is not closure-preserved It is possible to have a a subset of that is path-connected in the subspace topology but such that the closure is not path-connected in its subspace topology.

References

Textbook references

  • Topology (2nd edition) by James R. MunkresMore info, Page 155 (formal definition)
  • Lecture Notes on Elementary Topology and Geometry (Undergraduate Texts in Mathematics) by I. M. Singer and J. A. ThorpeMore info, Page 52 (formal definition): introduced under name arcwise connected space
  • An Introduction to Algebraic Topology (Graduate Texts in Mathematics) by Joseph J. RotmanMore info, Page 25 (formal definition)