位相空間上の前層がさらに次の2つを満たすとき、は層であると定義される。 をの開集合、 をの開被覆とする。このような任意の に対し以下の(S1)(S2)を満たすようなを上の層と呼ぶ。 (S1) を満たす は 0のみ。 (S2) 各からを取り出した族 がに対して を満たし…

をリーマン面とし、 をの開集合として、 はの開集合全体を動くとする。 このとき以下はすべて層となる。ただし制限写像は関数の自然な制限で定義する。 U上の正則関数 U上の有理型関数 U上の正則1形式 U上の級 n形式 U上の級 (p,q)形式 U上の複素数値局所定…