数学 › 代数幾何 II(層コホモロジー・曲線・交叉) › 層コホモロジー

脆弱層

定義 4.1(「層コホモロジー」§4)

位相空間 XX 上の層 F\mathcal F が脆弱(flasque)であるとは、すべての開集合 U⊆XU \subseteq X について制限写像 F(X)→F(U)\mathcal F(X) \to \mathcal F(U) が全射であることをいう。このとき開集合 U⊆VU \subseteq V について F(V)→F(U)\mathcal F(V) \to \mathcal F(U) も全射である(F(X)→F(U)\mathcal F(X) \to \mathcal F(U) が F(V)\mathcal F(V) を経由するため)。

本文で読む(前後の説明と例)→

閉包の状態

定義

定義は閉包の起点です(証明を要しません)。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

これを使っている定理

証明で明示的に参照している定理は、まだありません。

関連するノック 2 問