Namespaces
Variants
Actions

Path

From Encyclopedia of Mathematics
Revision as of 14:54, 7 June 2020 by Ulf Rehmann (talk | contribs) (tex encoded by computer)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search


A continuous mapping $ f $ of the interval $ [ 0 , 1 ] $ into a topological space $ X $. The points $ f ( 0) $ and $ f ( 1) $ are called the initial and the final points of the path $ f $. Given $ f $, the path defined by the formula $ t \rightarrow f ( 1- t ) $, $ t \in [ 0 , 1 ] $, is called the path inverse to $ f $ and is denoted by $ f ^ { - 1 } $. Given $ f _ {1} $ and $ f _ {2} $ with $ f _ {1} ( 1) = f _ {2} ( 0) $, the path defined by the formula

$$ t \rightarrow \left \{ \begin{array}{ll} {f _ {1} ( 2t ) , } &{ t _ {2} \leq 1/2 , } \\ {f( 2t- 1), } &{ t \geq 1/2 , } \\ \end{array} \right .$$

is called the composite of the paths $ f _ {1} $ and $ f _ {2} $ and is denoted by $ f _ {1} f _ {2} $. In a path-connected space $ X $ with distinguished point $ * $, the set of all paths with initial point $ * $ forms the path space of $ X $.

Comments

Generally one is interested not so much in the individual paths in a space as in the homotopy classes thereof; if one factors by the equivalence relation of homotopy relative to $ \{ 0, 1 \} $, the composition defined above becomes associative, and $ f ^ { - 1 } $ becomes a genuine inverse to $ f $. See Fundamental groupoid.

More precisely, one may define a path as being any continuous mapping $ f: [ 0, r] \rightarrow X $, where $ r \geq 0 $ is called the length of the path $ f $. Then $ f _ {1} $ and $ f _ {2} $, with $ f _ {1} $ of length $ r $ and $ f _ {2} ( 0) = f _ {1} ( r) $, are composed to $ f _ {1} f _ {2} $, taking $ t \leq r $ to $ f _ {1} ( t) $ and $ t $ in $ [ r, r+ s] $( where $ f _ {2} $ has length $ s $) to $ f _ {2} ( t- r) $. This composition is associative (not only homotopy associative).

References

[a1] P.J. Hilton, S. Wylie, "Homology theory. An introduction to algebraic topology" , Cambridge Univ. Press (1965)
How to Cite This Entry:
Path. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Path&oldid=49517
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article