20/09/02 07:49:10.24 gNHKAJku.net
>>91
>そもそも層の起源の一つは、ルレイのトポロジーの研究にあるんだがね
不正確だな（＾＾；
下記より Leray、”for application to PDE theory”
・1945 Jean Leray publishes work carried out as a prisoner of war, motivated by proving fixed-point theorems for application to PDE theory; it is the start of sheaf theory and spectral sequences.
・1947 Henri Cartan reproves the de Rham theorem by sheaf methods, in correspondence with Andre Weil (see De Rham?Weil theorem).
Leray gives a sheaf definition in his courses via closed sets (the later carapaces).
・1951 The Cartan seminar proves theorems A and B, based on Oka's work.
岡、不定域イデアルと連接定理
・不定域イデアル：現在の前層にあたるもの
・岡の連接定理：複素多様体上の正則函数の層が環の連接層であるという定理
でした！ by チコちゃん（＾＾；
（参考）
URLﾘﾝｸ(en.wikipedia.org)(mathematics)#History
Sheaf (mathematics)
History
The first origins of sheaf theory are hard to pin down ? they may be co-extensive with the idea of analytic continuation[clarification needed]. It took about 15 years for a recognisable, free-standing theory of sheaves to emerge from the foundational work on