Homotopy equivalence of topological spaces: Difference between revisions
No edit summary |
No edit summary |
||
| Line 2: | Line 2: | ||
Suppose <math>A</math> and <math>B</math> are [[topological space]]s. A homotopy equivalence between <math>A</math> and <math>B</math> is a map <math>f:A \to B</math> such that there exists a map <math>g:B \to A</math> for which <math>f \circ g</math> is homotopic to the identity on <math>B</math> and <math>g \circ f</math> is homotopic to the identity on <math>B</math>. | Suppose <math>A</math> and <math>B</math> are [[topological space]]s. A homotopy equivalence between <math>A</math> and <math>B</math> is a map <math>f:A \to B</math> such that there exists a map <math>g:B \to A</math> for which <math>f \circ g</math> is homotopic to the identity on <math>B</math> and <math>g \circ f</math> is homotopic to the identity on <math>B</math>. | ||
Two topological spaces between which there exists a homotopy equivalence are termed [[homotopy-equivalent topological spaces]]. | |||
==Relation with other properties== | ==Relation with other properties== | ||
Revision as of 22:00, 10 November 2007
Definition
Suppose and are topological spaces. A homotopy equivalence between and is a map such that there exists a map for which is homotopic to the identity on and is homotopic to the identity on .
Two topological spaces between which there exists a homotopy equivalence are termed homotopy-equivalent topological spaces.