- 314 名前：１３２人目の素数さん [03/10/25 22:13]
- >>313
以下のようにしてsch/Rがprojective limitが構成できると思うんですが
どうでしょう？
Π=(Xi,πij)がprojective system、X=proj.limXi (ただし位相空間の圏におけるprojective limit)
とおく。πi:X→Xiを(位相空間の圏の)cannonical projectionとする。
πi^*(O_{X_i})はX上のR代数の層のinductive systemになる。このinductive systemの
inductive limitをO_Xとおく。(前層のinductive limitの層化が層のinductive limitになる。)
でたぶん(X,O_X)はΠのprojective limitになってると思うんですが。もひとつ自信がありません。
どうでしょう？
