"특이 호몰로지"의 두 판 사이의 차이

크기가 바뀐 것이 없음 ,  4년 전
잔글
잔글 (→‎경계)
 
<math>n</math>차원 특이 단체 <math>\sigma_n\colon\Delta^n\to X</math>의 '''경계'''(境界, {{llang|en|boundary}}) <math>\partial_n\sigma_n\in C_{n-1}(X;R)</math>는 다음과 같다.
:<math>\partial_n\sigma_n=\sum_{k=10}^n(-1)^k\sigma|_{[p_0,\dots,\hat p_k,\dots,p_n]}</math>.
경계 연산자 <math>\partial_n</math>는 특이 단체뿐만 아니라 일반적인 사슬에 대해서도 선형으로 자연스럽게 확장할 수 있다. 즉 <math>\partial_n\colon C_n\to C_{n-1}</math>이다. 이는 <math>R</math> 위의 [[가군]]의 [[가군 준동형]]을 이룬다. 또한, <math>\partial_{n-1}\circ\partial_n\colon C_n(X)\to C_{n-2}(X)</math>는 항상 0이다. 따라서 <math>(C_\bullet(X),\partial_\bullet)</math>은 [[사슬 복합체]]를 이룬다. 이 사슬 복합체를 이용하여 정의한 [[호몰로지]]
:<math>\operatorname H_n(X)=\ker\partial_n/\operatorname{im}\partial_{n+1}</math>

편집

148