ネーター的位相空間
提供: miniwiki
数学において、ネーター的位相空間(英: noetherian topological space)とは、閉部分集合について降鎖条件を満たす位相空間のことである。
定義
位相空間 X がネーター的とは、任意の閉部分集合の列
- [math] Y_1 \supseteq Y_2 \supseteq \cdots [/math]
に対して、ある r が存在し、
- [math]Y_r=Y_{r+1}=\cdots[/math]
となることである。
特徴づけ
x を位相空間とするとき、以下は同値。
- X はネーター的(すなわち閉部分集合について降鎖条件を満たす)。
- X の閉部分集合の空でない任意の族は包含関係に対して極小元をもつ。
- X は開部分集合について昇鎖条件を満たす。
- X の開部分集合の空でない任意の族は包含関係に対して極大元をもつ。
性質
例
- 体 k 上のアフィン n-空間 [math]\mathbb{A}^n_k[/math] はザリスキ位相でネーター的である。