deformation retract
Let and be topological spaces such that .A deformation retract
of onto is a collection
ofmappings , such that
- 1.
, the identity mapping on ,
- 2.
,
- 3.
is a retract
of via (that is, restricted to is the identity on )
- 4.
the mapping , is continuous
, where the topology on is the product topology.
Of course, by condition 3, condition 2 can be improved: .
A deformation retract is called a strong deformation retract if condition 3 above is replaced by a stronger form: is a retract of via for every .
Properties
- •
Let and be as in the above definition. Then a collection ofmappings , isa deformation retract (of onto ) if and only if it is ahomotopy
(http://planetmath.org/HomotopyOfMaps) rel Y and some retraction of onto .
Examples
- •
If , then, shows that deformation retracts onto .Since ,it follows that deformation retract is not an equivalence relation
.
- •
The same map as in the previous example can be used to deformation retract any star-shaped set in onto a point.
- •
we obtain adeformation retraction of onto the http://planetmath.org/node/186-sphere by setting
where , ,
- •
The http://planetmath.org/node/3278Möbius strip deformation retracts onto the circle .
- •
The -torus with one point removed deformation retracts ontotwo copies of joined at one point. (The circles can bechosen to be longitudinal and latitudinal circles of the torus.)
- •
The characters
E,F,H,K,L,M,N, and T all deformation retract onto the charachter I, while the letter Q deformation retracts onto the letter O.