Difference between revisions of "Deformation retraction/Definition"
From Maths
(Saving work) |
m (Fixing broken subpage link) |
||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
==Definition== | ==Definition== | ||
</noinclude> | </noinclude> | ||
| − | A [[subspace (topology)|subspace]], {{M|A}}, of a [[topological space]] {{Top.|X|J}} is called a ''deformation retract'' of {{M|X}}, if there exists a [[retraction]]{{rAITATJJR}}, {{M|r:X\rightarrow A}}, with the additional property: | + | A [[subspace (topology)|subspace]], {{M|A}}, of a [[topological space]] {{Top.|X|J}} is called a ''deformation retract'' of {{M|X}}, if there exists a [[retraction]]{{rAITATJJR}}{{rITTMJML}}, {{M|r:X\rightarrow A}}, with the additional property: |
| − | * {{M|i_A\circ r\simeq\text{Id}_X}}<ref name="AITATJJR"/> | + | * {{M|i_A\circ r\simeq\text{Id}_X}}<ref name="AITATJJR"/><ref name="ITTMJML"/> (That {{M|i_A\circ r}} and {{M|\text{Id}_X}} are [[homotopic maps]]) |
| + | *: Here {{M|i_A:A\hookrightarrow X}} is the [[inclusion map]] and {{M|\text{Id}_X}} the [[identity map]] of {{M|X}}. | ||
| + | Recall that a [[topological retraction|retraction]], {{M|r:X\rightarrow A}} is simply a continuous map where {{M|1=r\vert_A=\text{Id}_A}} (the [[restriction]] of {{M|r}} to {{M|A}}). This is equivalent to the requirement: {{M|1=r\circ i_A=\text{Id}_A}}. | ||
{{#if:{{{hideCaution|}}}|| | {{#if:{{{hideCaution|}}}|| | ||
: {{Caution|Be sure to see the '''''[[Deformation retraction#Warnings on terminology|warnings on terminology]]'''''}}<!-- | : {{Caution|Be sure to see the '''''[[Deformation retraction#Warnings on terminology|warnings on terminology]]'''''}}<!-- | ||
-->}}<noinclude> | -->}}<noinclude> | ||
==References== | ==References== | ||
| + | {{Todo|Mention something about how we must have a [[homotopy equivalence]] as a result. If {{M|1=r\circ i_A=\text{Id}_A}} then {{M|r\circ i_A}} and {{M|\text{Id}_X}} are trivially homotopic. As {{M|i_A\circ r\simeq\text{Id}_A}} we have the definition of a [[homotopy equivalence]]}} | ||
<references/> | <references/> | ||
{{Definition|Topology|Homotopy Theory|Algebraic Topology}} | {{Definition|Topology|Homotopy Theory|Algebraic Topology}} | ||
</noinclude> | </noinclude> | ||
Latest revision as of 08:19, 13 December 2016
Definition
A subspace, A, of a topological space (X,J) is called a deformation retract of X, if there exists a retraction[1][2], r:X→A, with the additional property:
- iA∘r≃IdX[1][2] (That iA∘r and IdX are homotopic maps)
- Here iA:A↪X is the inclusion map and IdX the identity map of X.
Recall that a retraction, r:X→A is simply a continuous map where r|A=IdA (the restriction of r to A). This is equivalent to the requirement: r∘iA=IdA.
- Caution:Be sure to see the warnings on terminology
References
TODO: Mention something about how we must have a homotopy equivalence as a result. If r∘iA=IdA then r∘iA and IdX are trivially homotopic. As iA∘r≃IdA we have the definition of a homotopy equivalence
