23/02/05 06:24:03.54 wVajbkib.net
>>202
>b)層(sheaf)について、説明せよ！
定義は以下の通り
前層の定義
組 (X,T)を X が集合、T が X の開集合系である位相空間とする。
X 上の（集合の）前層 F とは、次の条件を満たす
X の開集合から集合への対応規則である。
・X の開集合 U∈T に対して集合 F(U) が定まる。
開集合の包含関係 U⊂V に応じて制限写像（せいげんしゃぞう、restriction map）と呼ばれる写像
ρUV： F(V)→F(U)
が定まり、さらに次の条件を満たす。
1. ρUU=id U（ここで、id U:F(U)→F(U)は恒等写像である）。
2. U⊂V⊂W⇒ρUW=ρUV・ρVW(・は写像の結合)。
各開集合 U に対して F(U) の元を前層 F の U 上の切断（せつだん、section）あるいは断面（だんめん）と呼ぶ。
層の定義
位相空間 X 上の前層はその切断が局所的な切断の張り合わせで定義できるとき層と呼ばれる。