Namespaces
Variants
Actions

Path

From Encyclopedia of Mathematics
Revision as of 17:25, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A continuous mapping of the interval into a topological space . The points and are called the initial and the final points of the path . Given , the path defined by the formula , , is called the path inverse to and is denoted by . Given and with , the path defined by the formula

is called the composite of the paths and and is denoted by . In a path-connected space with distinguished point , the set of all paths with initial point forms the path space of .


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 , the composition defined above becomes associative, and becomes a genuine inverse to . See Fundamental groupoid.

More precisely, one may define a path as being any continuous mapping , where is called the length of the path . Then and , with of length and , are composed to , taking to and in (where has length ) to . 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=48142
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article