Homotopy of Paths
Paths and loops are central subjects of study in the branch of algebraic topology called homotopy theory. A homotopy of paths makes precise the notion of continuously deforming a path while keeping its endpoints fixed.
Specifically, a homotopy of paths, or path-homotopy, in X is a family of paths ft : I → X indexed by I such that
- ft(0) = x0 and ft(1) = x1 are fixed.
- the map F : I × I → X given by F(s, t) = ft(s) is continuous.
The paths f0 and f1 connected by a homotopy are said to homotopic (or more precisely path-homotopic, to distinguish between the relation defined on all continuous functions between fixed spaces). One can likewise define a homotopy of loops keeping the base point fixed.
The relation of being homotopic is an equivalence relation on paths in a topological space. The equivalence class of a path f under this relation is called the homotopy class of f, often denoted .
Read more about this topic: Path (topology)
Famous quotes containing the word paths:
“Happy are those who find wisdom, and those who get understanding, for her income is better than silver, and her revenue better than gold. She is more precious than jewels, and nothing you desire can compare with her. Long life is in her right hand; in her left hand are riches and honor. Her ways are ways of pleasantness, and all her paths are peace. She is a tree of life to those who lay hold of her; those who hold her fast are called happy.”
—Bible: Hebrew, Proverbs 3:13-18.