3.1. 層についての一般論 3.1. 層についての一般論 $X$ を (必ずしも分離的とは限らない) 位相空間とする. $\supset$ により順序付けられた $X$ の空でない開部分集合上に定義される集合の帰納系すべてを $X$ 上の集合の前層と呼ぶことを思い出そう (1.7 例 …