Namespaces
Variants
Actions

Difference between revisions of "Path-connected space"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (fixing spaces)
 
Line 31: Line 31:
 
then any two fibres have the same weak homotopy type.
 
then any two fibres have the same weak homotopy type.
  
The multi-dimensional generalization of path connectedness is  $  k $-
+
The multi-dimensional generalization of path connectedness is  $  k $-connectedness (connectedness in dimension  $  k $).  
connectedness (connectedness in dimension  $  k $).  
 
 
A space  $  X $
 
A space  $  X $
 
is said to be connected in dimension  $  k $
 
is said to be connected in dimension  $  k $
if any mapping of an  $  r $-
+
if any mapping of an  $  r $-dimensional sphere  $  S  ^ {r} $
dimensional sphere  $  S  ^ {r} $
 
 
into  $  X $,  
 
into  $  X $,  
 
where  $  r \leq  k $,  
 
where  $  r \leq  k $,  

Latest revision as of 10:17, 19 January 2022


A topological space in which any two points can be joined by a continuous image of a simple arc; that is, a space $ X $ for any two points $ x _ {0} $ and $ x _ {1} $ of which there is a continuous mapping $ f : I \rightarrow X $ of the unit interval $ I = [ 0 , 1 ] $ such that $ f ( 0) = x _ {0} $ and $ f ( 1) = x _ {1} $. A path-connected Hausdorff space is a Hausdorff space in which any two points can be joined by a simple arc, or (what amounts to the same thing) a Hausdorff space into which any mapping of a zero-dimensional sphere is homotopic to a constant mapping. Every path-connected space is connected (cf. Connected space). A continuous image of a path-connected space is path-connected.

Path-connected spaces play an important role in homotopic topology. If a space $ X $ is path-connected and $ x _ {0} , x _ {1} \in X $, then the homotopy groups $ \pi _ {n} ( X , x _ {0} ) $ and $ \pi _ {n} ( X , x _ {1} ) $ are isomorphic, and this isomorphism is uniquely determined up to the action of the group $ \pi _ {1} ( X , x _ {0} ) $. If $ p : E \rightarrow B $ is a fibration with path-connected base $ B $, then any two fibres have the same homotopy type. If $ p : E \rightarrow B $ is a weak fibration (a Serre fibration) over a path-connected base $ B $, then any two fibres have the same weak homotopy type.

The multi-dimensional generalization of path connectedness is $ k $-connectedness (connectedness in dimension $ k $). A space $ X $ is said to be connected in dimension $ k $ if any mapping of an $ r $-dimensional sphere $ S ^ {r} $ into $ X $, where $ r \leq k $, is homotopic to a constant mapping.

References

[1] E.H. Spanier, "Algebraic topology" , McGraw-Hill (1966)

Comments

A connected space is not necessarily path-connected. It is not true that in an arbitrary path-connected space any two points can be joined by a simple arc: consider the two-point Sierpinski space $ \{ 0, 1 \} $ in which $ \{ 0 \} $ is open and $ \{ 1 \} $ is not. The mapping $ f: I \rightarrow \{ 0, 1 \} $ defined by

$$ f ( x) = \left \{ \begin{array}{ll} 0 & \textrm{ if } x < 1/2 , \\ 1 & \textrm{ if } x \geq 1/2 , \\ \end{array} \right .$$

is continuous and connects 0 and 1. A space in which any two points can be joined by a simple arc is called arcwise connected. Thus, path-connected Hausdorff spaces are arcwise connected.

References

[a1] A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian)
[a2] B. Gray, "Homotopy theory. An introduction to algebraic topology" , Acad. Press (1975) pp. 15ff, 130
How to Cite This Entry:
Path-connected space. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Path-connected_space&oldid=51904
This article was adapted from an original article by S.A. Bogatyi (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article