Stone transform と Stone topology（(XII.7.1)・(XII.7.3)）

• Stone transform と Stone topology（(XII.7.1)・(XII.7.3)） #Card
  • $\beta X$（超フィルター全体）上に Stone 変換・Stone 位相をどう定義するか。$p$ と $U(p)$ の二重の役割は。

Back

超フィルター $p\in\beta X$ は「$\beta X$ の点」と「$X$ の部分集合族」の二重の役割を持つため記法を分ける: $p$ を点として見るとき、同じ超フィルターを族として見たものを $U(p)$ と書く（$p\in\beta X\iff U(p)\in\mathcal{U}X$）。

Stone 変換 $\beta:\mathfrak{F}X\to2^{\beta X}$: $\mathcal{F}\in\mathfrak{F}X$ に対し $\beta\mathcal{F}:={p\in\beta X: U(p)\geq\mathcal{F}}$。$F\subset X$ の主フィルターなら $\beta F:={p: F\in U(p)}$。$\beta^*X:=\beta(X)_0$（$X$ 上の自由超フィルター全体）。

性質: $\mathcal{F}_0\leq\mathcal{F}_1\implies\beta\mathcal{F}_0\supset\beta\mathcal{F}_1$（順序反転）、$\beta(\mathcal{F}_0\vee\mathcal{F}_1)=\beta\mathcal{F}_0\cap\beta\mathcal{F}_1$、$\beta(\mathcal{F}_0\wedge\mathcal{F}_1)=\beta\mathcal{F}_0\cup\beta\mathcal{F}_1$。

Stone 位相 $\beta=\beta\iota_X$: ${\beta A: A\subset X}$ を開基とする $\beta X$ 上の位相（この基は $\beta(A_0\cap A_1)=\beta A_0\cap\beta A_1$ から基の公理を満たす）。${\beta U: U\in U(p)}$ が $p$ の近傍フィルター基。

Meaning

XII.7 の導入意図は、超フィルターを単なる組合せ的対象ではなく「コンパクト Hausdorff 空間の点」として再解釈することにある。Stone transform を介してフィルター順序と位相的閉集合が結びつき、Stone–Čech 普遍性へ進む土台がここで作られる。

出典: refs/math/topology/royal-road-to-topology/pdfs/chp12-2024-compact-topologies.pdf p.269–271

Lean

Ultrafilter X と Ultrafilter.instTopologicalSpace（Ultrafilter X の位相は Stone–Čech の言葉そのもの）。