| |
| | Algebraic Topology: Homotopy |
 | | Given two spaces X,Y, and a map f from X to Y, let [f] denote the homotopy class of f, that is, the set of all maps from X to Y homotopic to f. |
 | | Under suitable assumptions homotopy classes are precisely the path-components in the space C(X,Y) of continuous functions from X to Y. |
 | | It follows that if f is a homotopy equivalence from X to Y (that is, a map such that there is a map g from Y to X such that both fg and gf are nullhomotopic), then f* is an isomorphism. |
| www.win.tue.nl /~aeb/at/algtop-3.html (2011 words) |
|