변형 수축: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
7번째 줄:
** <math>h(x,1)\in A</math>
** <math>h(a,1)=a</math>
즉, 포함 사상 <math>i\colon A\hookrightarrow X</math> 대하여, <math>r=h(-,1)</math> <math>h_1\circ i</math>와 [[상수 함수]] <math>\operatorname{id}_A</math> 사이의 [[호모토피]]를 이룬다.대하여,
:<math>r\circ i=\operatorname{id}_A</math>
:<math>i\circ r\simeq\operatorname{id}_X</math>
이다.
 
[[위상 공간 (수학)|위상 공간]] <math>X</math>의 [[부분 공간]] <math>A\subset X</math>에 대하여, 다음 조건을 만족시키는 [[호모토피]] <math>h\colon X\times[0,1]\to X</math>가 존재한다면, <math>A</math>를 <math>X</math>의 '''강한 변형 수축'''({{llang|en|strong deformation retract}})이라고 한다.<ref name="Hatcher">{{서적 인용| last=Hatcher |first= Allen |title=Algebraic topology |url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html |날짜= 2002 |publisher=Cambridge University Press |place=Cambridge |zbl=1044.55001|mr=1867354|isbn=978-0-521-79540-1|언어고리=en}}</ref>{{rp|2}}
줄 14 ⟶ 17:
** <math>h(x,1)\in A</math>
** <math>h(a,t)=a</math>
즉, 포함 사상 <math>i\colon A\hookrightarrow X</math> 및 <math>r=h(-,1)</math>에 대하여,
:<math>r\circ i=\operatorname{id}_A</math>
:<math>i\circ r\simeq \operatorname{id}_X\quad(\operatorname{rel}A)</math>
이다.
 
== 성질 ==