23/02/05 06:31:04.37 wVajbkib.net
>>203
正確には X 上の層とは、前層 F = {F(U), ρUV} であって、
X の各開集合 U に対して開被覆
U = ∪{λ∈Λ} U_λ
が任意に与えられたとき、
F(U) の元 s, t が任意の λ に対して
s|U_λ = t|U_λ
を満たすならば常に s = t が成立（既約性条件）し、
さらに切断の族 (sλ ∈ Uλ)λ∈Λ が常に
s_λ|U_λ∪U_μ =s_μ|U_λ∪U_μ
を満たすものであるならば
常に、F(U) の元 s で
s|_U_λ = s_λ
をすべての λ に対して満たすものが存在する（閉条件）
ようなもののことをいう。