Definition
Let be a topological space, and let . We say that the pair has the homotopy extension property if, given a homotopy and a map such that, there exists an extension of to the homotopy such that .
That is, the pair has the homotopy extension property if any map can be extended to a map (i.e. and agree on their common domain).
If the pair has this property only for a certain codomain, we say that has the homotopy extension property with respect to .
Read more about this topic: Homotopy Extension Property
Famous quotes containing the word definition:
“The man who knows governments most completely is he who troubles himself least about a definition which shall give their essence. Enjoying an intimate acquaintance with all their particularities in turn, he would naturally regard an abstract conception in which these were unified as a thing more misleading than enlightening.”
—William James (1842–1910)
“The definition of good prose is proper words in their proper places; of good verse, the most proper words in their proper places. The propriety is in either case relative. The words in prose ought to express the intended meaning, and no more; if they attract attention to themselves, it is, in general, a fault.”
—Samuel Taylor Coleridge (1772–1834)
“One definition of man is “an intelligence served by organs.””
—Ralph Waldo Emerson (1803–1882)