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

잔글
언어 틀 정비; 예쁘게 바꿈
잔글
잔글 (언어 틀 정비; 예쁘게 바꿈)
[[대수적 위상수학]]에서, '''특이 호몰로지'''({{lang|ko-Hani|特異homology}}, {{llang|en|singular homology|싱귤러 호몰로지}})는 단체({{lang|en|simplex}})를 사용하여 정의하는 [[호몰로지]] 이론이다.
 
== 정의 ==
=== 특이단체 ===
<math>n</math>차원 '''표준단체'''({{lang|ko-Hani|標準單體}}, {{lang|en|standard simplex}}) <math>\Delta^n\subset\mathbb R^{n+1}</math>은 다음과 같다.
:<math>\Delta^n=\left\{(x_0,x_1,\dots,x_n)|0\le x_i\le1,\;\sum_ix_i=1\right\}</math>.
이는 [[선분]]과 [[삼각형]], [[정사면체|사면체]]를 일반화한 것이다.
 
<math>X</math>가 [[위상공간 (수학)|위상공간]]이라고 하자. <math>X</math> 위의 <math>n</math>차원 '''특이단체'''({{lang|ko-Hani|特異單體}}, {{lang|en|singular complex}})는 [[연속함수]] <math>\sigma_n\colon\Delta^n\to X</math>를 뜻한다. <math>X</math> 위의 <math>n</math>차원 '''사슬'''({{lang|en|chain}})은 모든 <math>n</math>차원 특이단체로 의하여 생성되는 자유 [[아벨 군]]의 원소다. 이 아벨 군을 <math>C_n(X)</math>이라고 쓰자.
 
=== 경계 연산자 ===
로 쓰자.
 
<math>n</math>차원 특이단체 <math>\sigma_n\colon\Delta^n\to X</math>의 '''경계'''({{lang|ko-Hani|境界}}, {{lang|en|boundary}}) <math>\partial_n\sigma_n\in C_{n-1}(X)</math>는 다음과 같다.
:<math>\partial_n\sigma_n=\sum_{k=1}^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>\partial_{n-1}\circ\partial_n\colon C_n(X)\to C_{n-2}(X)</math>는 항상 0이다. 따라서 <math>(C_\bullet(X),\partial_\bullet)</math>은 [[사슬 복합체]]를 이룬다. 이 사슬 복합체를 이용하여 정의한 [[호몰로지]] 군
== 참고 문헌 ==
* {{책 인용|성=Hatcher|이름=Allen|제목=Algebraic topology|출판사=Cambridge University Press|연도=2002|ISBN=0-521-79540-0|url=http://www.math.cornell.edu/~hatcher/AT/ATpage.html|쪽=108}}
* {{책 인용|제목=대수적 위상수학|저자=조용승|출판사=경문사|날짜=2010-09|isbn= 978-89-6105-365-5|url=http://kyungmoon.com/shop_product/shop_pdt_view.php?&p_idx=6810}}
 
[[분류:대수적 위상수학]]

편집

1,347,852