数学 › 可換環論 › 局所化と素イデアルのスペクトル

既約な空間

定義 4.3（「局所化と素イデアルのスペクトル」§4）

位相空間 XX が既約であるとは、X≠∅X \ne \varnothing であり、X=Z1∪Z2X = Z_1 \cup Z_2（ZiZ_i は閉集合）ならば X=Z1X = Z_1 または X=Z2X = Z_2 となることをいう。部分集合が既約であるとは、相対位相で既約であることをいう。

本文で読む（前後の説明と例）→

閉包の状態

定義

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

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

これを使っている定理 証明で参照している 1 件