단사층: 두 판 사이의 차이

내용 삭제됨 내용 추가됨
편집 요약 없음
편집 요약 없음
31번째 줄:
 
=== 늘어진 층 ===
[[위상 공간 (수학)|위상 공간]] <math>X</math> 위의, 아벨[[구체적 군층범주]] <math>\mathcal FC</math> 대하여,값을 임의의갖는 [[열린집합]] <math>U,V\subseteqmathcal XF</math>에 대하여, 임의의 두 [[열린집합]] <math>V\subseteq U\subseteq X</math>라면, 제한대하여 준동형제한 사상
:<math>\operatorname{res}_{UV}\colon\Gamma(U,\mathcal F)\to\Gamma(V,\mathcal F)</math>
이 [[전사 함수]]라면, <math>\mathcal F</math>를 '''늘어진 층'''이라고 한다.<ref name="Hartshorne">{{책 인용 | 이름=Robin|성=Hartshorne| 날짜 = 1977|제목=[[대수기하학 (하츠혼)|Algebraic geometry]]|저자고리=로빈 하츠혼|고리=|출판사=Springer| isbn = 978-0-387-90244-9|mr=0463157 | zbl = 0367.14001 | 언어고리=en|doi=10.1007/978-1-4757-3849-0|총서=Graduate Texts in Mathematics|권=52|issn=0072-5285}}</ref>{{rp|67, Exercise 1.16}}<ref name="Tennison">{{책 인용|제목=Sheaf theory|성=Tennison|이름=B. R.|출판사=Cambridge University Press|날짜=1975|총서=London Mathematical Society Lecture Note Series|권=20|언어고리=en}}</ref>{{rp|137}} 즉, 임의의 열린집합에[[열린집합]]에 정의된 단면을 공간 전체로 연장할 수 있는 층이다.
 
이름의 "늘어진"({{llang|fr|flasque}}, {{llang|en|flabby}})은 주어진 단면을 쉽게 연장할 수 있는 성질을 말랑말랑한 찰흙 따위에 빗댄 것이다.
55번째 줄:
* [[매끈한 다양체]] <math>M</math> 위의 실수 [[매끄러운 함수]]들의 층 <math>\mathcal C^\infty(M;\mathbb R)</math>
그러나 [[복소 다양체]] 위의 [[정칙 함수]]들의 층은 섬세층이 아니며, 늘어진 층 또한 아니다. 즉, 임의 열린 집합 위에 정의된 [[정칙 함수]]는 공간 전체로 [[해석적 연속]]을 하지 못할 수 있다.
 
[[기약 공간]] 위의 [[상수층]]은 늘어진 층이다.<ref name="Hartshorne"/>{{rp|67, Exercise 1.16a}}
 
== 참고 문헌 ==