Sober空間論：開集合束からの空間復元とSober化の全貌

目次

本稿は、いかなる外部文献も参照することなく、Sober（ソバー / 簡素）空間に関する主定理とSober化の多様な具体例を完全に理解できるように記述された自己完結的な解説テキストである。

I. 基礎理論

1. 位相空間論と順序集合の基礎定義

位相空間 (Topological Space) と閉集合
集合$X$とその部分集合族$\mathcal{O} \subseteq \mathcal{P}(X)$の組$(X, \mathcal{O})$が位相空間であるとは、以下の3条件を満たすことである。
  1. $\emptyset, X \in \mathcal{O}$
  2. 任意の$U_1, U_2 \in \mathcal{O}$に対し、$U_1 \cap U_2 \in \mathcal{O}$（有限交叉）
  3. 任意の開集合族$\{U_i\}_{i \in I} \subseteq \mathcal{O}$に対し、$\bigcup_{i \in I} U_i \in \mathcal{O}$（任意和）
$\mathcal{O}$の元を開集合と呼ぶ。部分集合$C \subseteq X$が閉集合であるとは、$X \setminus C \in \mathcal{O}$となることである。
閉包 (Closure) と $T_0$ 分離公理
部分集合$A \subseteq X$を含む最小の閉集合を$A$の閉包と呼び、$\overline{A}$と表す。
空間$X$が$T_0$空間（コルモゴロフ空間）であるとは、任意の異なる2点$x, y \in X$（$x \neq y$）に対して「$\overline{\{x\}} \neq \overline{\{y\}}$」が成り立つことと同値である。

2. 既約閉集合とSober空間の定義

既約閉集合 (Irreducible Closed Set)
位相空間$X$の空でない閉集合$C$が既約であるとは、$C$が2つの真の閉部分集合の和集合として表せないことである。
すなわち、任意の閉集合$C_1, C_2 \subseteq X$について、 $$C = C_1 \cup C_2 \implies C = C_1 \text{ または } C = C_2$$ が成り立つことである。
生成点 (Generic Point) と Sober空間
閉集合$C$に対して、$\overline{\{x\}} = C$を満たす点$x \in X$を$C$の生成点と呼ぶ。
位相空間$X$がSober空間であるとは、以下の条件を満たすことである：
「$X$の空でない任意の既約閉集合$C$に対して、生成点$x \in X$がただ一つ存在する。」

3. 開集合の束と完全素フィルター

完全素フィルター (Completely Prime Filter)
開集合系$\mathcal{O}(X)$の部分集合$F \subseteq \mathcal{O}(X)$が完全素フィルターであるとは、以下の4条件を満たすことである。
  1. $X \in F$
  2. $U \in F$かつ$U \subseteq V$ならば、$V \in F$
  3. $U, V \in F$ならば、$U \cap V \in F$
  4. 任意の開集合族$\{U_i\}_{i \in I}$に対し、$\bigcup_{i \in I} U_i \in F \implies \exists i \in I, U_i \in F$
（※条件4において添字集合が空の場合を考えると、空集合$\emptyset \notin F$が直ちに従う。）

4. 空間の復元定理（主定理）の完全な証明

【補題】完全素フィルターと既約閉集合の全単射
任意の位相空間$X$において、以下の2つの集合の間に自然な全単射が存在する。 対応は以下で与えられる：
Step 1: $\Phi(C)$が完全素フィルターであること
$C$を空でない既約閉集合とする。$F = \Phi(C)$とおく。
1. $C \neq \emptyset$より$X \cap C \neq \emptyset$。よって$X \in F$。
2. $U \in F, U \subseteq V$なら$U \cap C \neq \emptyset \implies V \cap C \neq \emptyset$。よって$V \in F$。
3. $U, V \in F$とする。もし$U \cap V \notin F$と仮定すると、$(U \cap V) \cap C = \emptyset$。すると、 $$C = C \setminus (U \cap V) = (C \setminus U) \cup (C \setminus V)$$ $C$の既約性より$C = C \setminus U$または$C = C \setminus V$。すなわち$C \cap U = \emptyset$または$C \cap V = \emptyset$となるが、これは$U, V \in F$に矛盾。ゆえに$U \cap V \in F$。
4. $\bigcup U_i \in F$とする。$C \cap (\bigcup U_i) \neq \emptyset \implies \bigcup (C \cap U_i) \neq \emptyset$。よってある$i$で$C \cap U_i \neq \emptyset$、すなわち$U_i \in F$。

Step 2: $\Psi(F)$が空でない既約閉集合であること
$F$を完全素フィルターとする。$W = \bigcup_{U \notin F} U$とおく。$C = \Psi(F) = X \setminus W$は閉集合である。
$F$の完全素性より、$W \notin F$。$X \in F$なので$W \neq X$。ゆえに$C \neq \emptyset$。
$C$が既約であることを示す。$C \subseteq A \cup B$（$A, B$は閉集合）と仮定する。補集合をとると$(X \setminus A) \cap (X \setminus B) \subseteq W$。
$W \notin F$であり上方閉性より$(X \setminus A) \cap (X \setminus B) \notin F$。
もし$X \setminus A \in F$かつ$X \setminus B \in F$なら有限交叉性で共通部分も$F$に入り矛盾。よって一方は$F$に属さない。一般性を失わず$X \setminus A \notin F$とすると、$X \setminus A$は$W$の構成要素の1つとなり、$X \setminus A \subseteq W$。補集合をとって$C \subseteq A$。よって$C$は既約。

Step 3: $\Phi$と$\Psi$が互いに逆であること
・$\Psi(\Phi(C)) = X \setminus \bigcup_{U \cap C = \emptyset} U$。$U \cap C = \emptyset$を満たす最大の開集合は$X \setminus C$なので、和集合は$X \setminus C$に一致し、$X \setminus (X \setminus C) = C$。
・$\Phi(\Psi(F)) = \{ U \mid U \not\subseteq W \}$。$U \not\subseteq W \iff U \in F$より、$\Phi(\Psi(F)) = F$。
点付き空間 (Pointed Space) $\operatorname{pt}(\mathcal{O}(X))$ と評価写像
完全素フィルター全体の集合を$\operatorname{pt}(\mathcal{O}(X))$とする。各$U \in \mathcal{O}(X)$に対して、$\tilde{U} = \{ F \in \operatorname{pt}(\mathcal{O}(X)) \mid U \in F \}$を開集合とする位相を入れる。
各$x \in X$に対し、開近傍系$F_x = \{ U \in \mathcal{O}(X) \mid x \in U \}$は完全素フィルターである。自然な評価写像： $$\eta_X : X \to \operatorname{pt}(\mathcal{O}(X)), \quad x \mapsto F_x$$ が定まる。
【主定理】 評価写像 $\eta_X$ が同相写像であるための必要十分条件は、$X$ が Sober空間であることである。
$F_x = \{ U \mid U \cap \overline{\{x\}} \neq \emptyset \} = \Phi(\overline{\{x\}})$ である。
1. $\eta_X$が単射 $\iff F_x = F_y \implies x=y \iff \overline{\{x\}} = \overline{\{y\}} \implies x=y$。これは$X$が$T_0$空間であることと同値。
2. $\eta_X$が全射 $\iff$ 任意の完全素フィルター$F$（すなわち既約閉集合$C$）に対し、$F = \Phi(\overline{\{x\}})$となる$x$が存在する。これは全ての既約閉集合が生成点を持つことと同値。
3. よって$\eta_X$の全単射性はSober性の定義そのものである。
4. 位相同型性：$\eta_X^{-1}(\tilde{U}) = \{ x \mid F_x \in \tilde{U} \} = \{ x \mid x \in U \} = U$より連続かつ開写像。全単射であれば同相写像となる。

5. Sober化（Soberification）の構成メカニズム

Soberでない空間$X$に対して構築される空間 $X^s = \operatorname{pt}(\mathcal{O}(X))$ をSober化と呼ぶ。写像 $\eta_X : X \to X^s$ は以下の2つの作用をもたらす。

  1. 点の同一視（$T_0$商）： $\overline{\{x\}} = \overline{\{y\}}$ なる位相的に区別できない点は、$F_x$ という1つの点にまとめられる。
  2. 生成点の追加： 生成点を持たない既約閉集合$C$に対して、対応するフィルター$\Phi(C)$が新たな「点」として空間に補充される。

※重要な性質として、$U \mapsto \tilde{U}$ は、元の空間とSober化空間の開集合の束の同型 $\mathcal{O}(X) \cong \mathcal{O}(X^s)$ を与える。

II. Sober化の10の具体例と完全な証明

例1. ハウスドルフ空間（常にSoberである例）

【証明】 $X$をハウスドルフ空間（$T_2$空間）とし、$C$を既約閉集合とする。
もし$C$が2つ以上の異なる点$x, y$を含むと仮定する。$T_2$分離公理より、互いに素な開集合$U, V$で$x \in U, y \in V$となるものが存在する。
$C$の相対閉集合 $C_1 = C \setminus U$ と $C_2 = C \setminus V$ を考える。
$U \cap V = \emptyset \implies C_1 \cup C_2 = C \setminus (U \cap V) = C$。
$x \in U$より$x \notin C_1$なので$C_1 \neq C$。同様に$C_2 \neq C$。
よって$C$は真の部分閉集合の和で書けてしまい、既約であることに矛盾する。
したがって、$C$は1点のみからなる集合$\{x\}$でなければならない。$T_2$より1点は閉集合なので$\overline{\{x\}} = \{x\} = C$。生成点は自明に一意であり、Sober空間である。

例2. 密着空間（点が同一視されて消える例）

【設定】 $X = \{a, b\}$ に密着位相 $\mathcal{O} = \{\emptyset, X\}$ を入れる。
【証明】 閉集合は $\emptyset, X$ のみ。空間全体$X$は空集合の和で書けないため既約閉集合である。
$\overline{\{a\}} = X, \overline{\{b\}} = X$ であり、既約閉集合$X$を生成する点が2つ存在するためSoberではない（一意性の破れ）。
開集合系 $\{\emptyset, X\}$ から作られる完全素フィルターは $F = \{X\}$ のただ1つである。
よってSober化空間 $X^s$ は、要素を1つしか持たない 1点空間 $\{ \ast \}$ となり、位相的に区別できない点$a, b$が同一視されたことがわかる。

例3. 一般の有限空間（点は絶対に追加されないことの証明）

【事実】 有限空間$X$において、Sober化とは単なる$T_0$商をとる操作に等しく、新たな生成点が追加されることは決してない。
【証明】 $X = \{x_1, \dots, x_n\}$ を有限空間とする。任意の閉集合$C$は、それに含まれる有限個の点の閉包の和集合として記述できる： $$C = \bigcup_{x_i \in C} \overline{\{x_i\}}$$ $C$が既約閉集合であるとする。上の式は有限個の閉集合の和であるから、既約性の定義（和集合に対して分解できない）を帰納的に適用すると、ある$x_i \in C$が存在して$C = \overline{\{x_i\}}$とならざるを得ない。
したがって、有限空間においては任意の既約閉集合は必ず生成点を持つ。
Sober性の要件である「存在性」は常に満たされるため、Soberでない原因は「一意性」の欠如（非$T_0$）のみである。よって有限空間のSober化は点の追加を伴わない。

例4. $\operatorname{MaxSpec}(\mathbb{Z})$（代数幾何・生成点の追加）

【設定】 $X = \{ (p) \mid p \text{ は素数 } \}$ （素数が生成する極大イデアルの集合）に、補有限位相（有限集合と全体のみが閉集合）を入れる。
【証明】 空間全体$X$は無限集合なので、2つの有限集合（真の閉部分集合）の和で書けず、既約閉集合である。
しかし任意の点$(p)$はそれ自身が閉集合なので $\overline{\{(p)\}} = \{(p)\} \neq X$。
$X$全体を生成する点が存在しないためSoberではない。
Sober化によって、全体$X$を生成するための仮想的な点として「零イデアル $(0)$」が空間に自動的に追加され、$X^s = \operatorname{Spec}(\mathbb{Z})$ （すべての素イデアルの空間）が復元される。

例5. 実数直線 $\mathbb{R}$ の補有限位相（非可算無限における点の追加）

【設定】 $X = \mathbb{R}$ に補有限位相を入れる。閉集合は有限集合と $\mathbb{R}$ 全体のみ。
【証明】 例4と全く同様に、$\mathbb{R}$ は無限集合であるため2つの有限集合の和で書けず、既約閉集合である。
任意の点 $x \in \mathbb{R}$ について $\overline{\{x\}} = \{x\} \neq \mathbb{R}$。
Sober化により、$\mathbb{R}$ 全体を閉包とするただ1つの「生成点 $\eta$」が追加され、$X^s = \mathbb{R} \cup \{\eta\}$ となる。この $\eta$ は特定の実数ではなく、実数直線全体に遍在する概念的な点である。

例6. 実数直線 $\mathbb{R}$ の可算補位相（無限次元の概念的生成点）

【設定】 $X = \mathbb{R}$ に可算補位相を入れる。閉集合は「可算集合」と「$\mathbb{R}$ 全体」のみである。
【証明】 $\mathbb{R}$ 全体は既約閉集合であるか？ もし $\mathbb{R} = C_1 \cup C_2$（共に真の部分閉集合）とすると、$C_1, C_2$ は可算集合である。しかし可算集合の和集合は可算であり、非可算集合である $\mathbb{R}$ と一致することはなく矛盾する。よって $\mathbb{R}$ は既約閉集合である。
一方で各点 $x$ について $\overline{\{x\}} = \{x\}$ （有限なので可算）であり、生成点が存在しない。
Sober化により、非可算の広大な空間全体を束ねる生成点 $\eta$ がただ1つ追加される。

例7. 整数 $\mathbb{Z}$ の右半直線位相（無限遠点の追加）

【設定】 $X = \mathbb{Z}$。開集合を $U_n = \{x \in \mathbb{Z} \mid x \ge n\}$ と $\emptyset, \mathbb{Z}$ とする。
閉集合は左半直線 $C_n = \{x \in \mathbb{Z} \mid x < n\}$ と $\emptyset, \mathbb{Z}$ である。
【証明】 空間全体 $\mathbb{Z}$ は既約である。なぜなら、真の部分閉集合は上に有界な $C_n$ の形をしており、2つの上に有界な集合の和は必ず上に有界で $\mathbb{Z}$ にならないからである。
任意の $x \in \mathbb{Z}$ について、$\overline{\{x\}} = C_{x+1} \neq \mathbb{Z}$ であるため生成点がない。
Sober化によって $\mathbb{Z}$ を生成する点（ $+\infty$ に相当）が1つ追加され、$X^s = \mathbb{Z} \cup \{+\infty\}$ となる。

例8. 有理数 $\mathbb{Q}$ の右半直線位相（デデキント切断による実数の構成）

【設定】 $X = \mathbb{Q}$。開集合を右半直線 $(a, \infty) \cap \mathbb{Q}$ と $\emptyset, \mathbb{Q}$ とする。
閉集合は左半直線 $(-\infty, a] \cap \mathbb{Q}$ と $\emptyset, \mathbb{Q}$。
【証明】 $C = \{ x \in \mathbb{Q} \mid x^2 < 2 \text{ または } x < 0 \}$ を考える。これは閉集合（$\sqrt{2}$未満の左半直線）であり既約である。しかし $\mathbb{Q}$ の中にこの集合の最大値（上限）は存在しないため、閉包の起点となる生成点がない。
Sober化によって、すべての「無理数の位置で切断された左半直線」に対して新しい生成点（無理数）が追加され、さらに $\mathbb{Q}$ 全体の生成点 $\{+\infty\}$ も追加される。
結果として、$X^s = \mathbb{R} \cup \{+\infty\}$ へと空間が拡張され、位相的Sober化が実数の完備化を自動的に実行する。

例9. 半順序集合のアレクサンドロフ位相（イデアル完備化）

【設定】 半順序集合 $(P, \le)$ に、上方閉集合を開集合とするアレクサンドロフ位相を入れる。閉集合は下方閉集合となる。
【証明】 この位相における既約閉集合は、順序集合における「有向イデアル（directed lower set）」に完全に一致する。各点 $x$ の閉包は単項イデアル $\downarrow x$ である。
上限（極限）を持たない有向イデアルが存在する場合、それを生成する点が存在せずSoberではない。
Sober化を行うと、極限を持たなかったすべての有向イデアルに対して仮想的な「上限の点」が追加される。
これは順序集合論において、半順序集合に極限を付け加えて有向完備半順序集合 (DCPO) を作るイデアル完備化 (Ideal completion) と全く同値である。

例10. 2次元アフィン空間 $\mathbb{C}^2$（ザリスキー位相と重層的生成点）

【設定】 複素平面 $\mathbb{C}^2$ にザリスキー位相を入れる。閉集合は多項式の方程式で描かれる代数多様体（点、曲線、全体）である。
【証明】 座防 $(a, b)$ は閉集合であり問題ない。しかし、既約な代数曲線（例えば放物線 $y = x^2$）や空間全体 $\mathbb{C}^2$ は既約閉集合である。
元の空間の点は0次元であるため、1次元の曲線や2次元の全体を一撃で生成する（閉包をとるとそれになる）ただ1つの点は $\mathbb{C}^2$ 内に存在しない。
Sober化空間 $X^s = \operatorname{Spec}(\mathbb{C}[x, y])$ を構築すると、すべての既約な代数曲線に対して「その曲線を代表する生成点（generic point）」が無数に追加され、さらに空間全体を代表する生成点も追加される。これにより、次元の階層構造を持った代数幾何の標準空間が完成する。