- 664 名前：１３２人目の素数さん [03/11/06 02:13]
- >>662
貼り合わせがユニークに存在するっていうこと。
(3) ∀i s|V_i = 0 ⇒ s = 0
っていう条件は、
(3)'∀i s|V_i = t|V_i ⇒ s = t
と書き換えられることに注意。
> (3)の条件って層の既約性のことだと思うけど
> これってかなり特殊な例（例えばA.S.前層）
> を除くためのものって理解してた
> ちがう？
これはちょっと言っていることがいまいち掴めませんが（「A.S.前層」って何でしょう？）、
(3) の条件を満たさない前層なんていくらでも存在しますよ。「特殊な例」っていう感じじゃない。
