共找到2條詞條名為層論的結果 展開
- 書籍
- 數學術語
層論
數學術語
多複變函數論中著名的庫辛問題(庫辛第一問題與庫辛第二問題)是日本數學家岡潔利用了層係數的上同調論與全純域給出解答的。以層論為基礎,結合嘉當(Cartan,H.)與岡潔關於全純函數理想論的研究,發展為凝聚層的概念,利用凝聚層的理論,嘉當與塞爾(Serre,J.P.)得到施坦流形的基本定理——嘉當定理A與嘉當定理B。
勒雷(Leray,J.)1945年發表的在戰俘營中講授代數拓撲的講義中包含著層論的萌芽,而在1946年的兩篇短文中正式引進層、層的上同調和譜序列等概念,接著從1947年起在法蘭西學院系統講授,而於1950年詳細發表。
嘉當在其討論班(1950-1951年間)發表了層論,採納了拉扎爾(Lazard,M.)的建議重新定義了層的概念。
這就是希策布魯赫(Hirzebruch, F.E.P.)1956年著作中採用的層(德文Gavbe),原來勒雷意義下的層將其中閉集改為開集后被稱為Gar-bendaten。在1966年的英文版中分別被譯成為sheaf和presheaf。
格羅騰迪克(Grothendieck,A.)在1957年又重新定義層的概念,並由哥德曼(Godement,R.)的書廣為傳播。預層概念與嘉當-拉扎爾的一樣,層定義為滿足附加兩條性質的預層,並且嘉當-拉扎爾的層被稱為平展空間。可以證明,嘉當-拉扎爾的說法與格羅騰迪克的說法是等價的。但由於這兩種講法已廣泛流傳,便派生出陳述上的困難。