단사층: 두 판 사이의 차이
내용 삭제됨 내용 추가됨
Osteologia (토론 | 기여) |
Osteologia (토론 | 기여) 편집 요약 없음 |
||
2번째 줄:
== 정의 ==
[[위상 공간 (수학)|위상 공간]] ''X'' 위의 [[아벨 군]] 값을 갖는 [[층 (수학)|층]]들의 [[아벨 범주]] <math>\operatorname{Sh}(X;\operatorname{Ab})</math>는 항상 충분한 [[단사 대상]]을
* 층 <math>\mathcal B\in\operatorname{Sh}(X;\operatorname{Ab})</math>
* <math>\mathcal B</math>의 부분층 <math>A\subseteq B</math>
32번째 줄:
에 대하여, 만약 <math>\pi_{\mathcal F}\circ s=\operatorname{id}_C</math>라면 <math>s</math>를 <math>\mathcal F</math>의 <math>C</math> 위의 '''단면'''이라고 한다.
[[위상 공간 (수학)|위상 공간]] <math>X</math> 위의 아벨 군층 <math>\mathcal F</math>에 대하여, 만약 [[닫힌집합]] <math>C\subseteq X</math> 위의 모든 단면을 <math>X</math> 전체의 단면으로 확장시킬 수 있다면, <math>\mathcal F</math>를 '''무른 층'''이라고 한다.
[[위상 공간 (수학)|위상 공간]] <math>X</math> 위의 아벨 군층 <math>\mathcal F</math>에 대하여, 만약 [[콤팩트 집합]] <math>K\subseteq X</math> 위의 모든 단면을 <math>X</math> 전체의 단면으로 확장시킬 수 있다면, <math>\mathcal F</math>를 '''콤팩트 무른 층'''({{llang|en|c-soft sheaf}})이라고 한다.
=== 늘어진 층 ===
줄 76 ⟶ 77:
* {{웹 인용|url=http://ncatlab.org/nlab/show/abelian+sheaf+cohomology|제목=Abelian sheaf cohomology|작품명=nLab|언어고리=en}}
* {{웹 인용|url=https://amathew.wordpress.com/2011/06/10/soft-sheaves/|제목=Soft sheaves|이름=Akhil|성=Mathew|작품명=Climbing Mount Bourbaki|날짜=2011-06-10|언어고리=en}}
== 같이 보기 ==
* [[층 코호몰로지]]
* [[단사 대상]]
* [[단사 가군]]
[[분류:층론]]
| |||