📐 Proposition VIII.3.7・Corollary VIII.3.8（コンパクト性 = 開被覆の有限部分被覆）
- 📐 Proposition VIII.3.7・Corollary VIII.3.8（コンパクト性 = 開被覆の有限部分被覆） #Card
- 位相空間でのコンパクト性の古典的特徴づけと、その導出は。
$\xi$ が位相のとき: $A$ が $\xi$-compact $\iff$ 開集合族 $\mathcal{Q}\subset\mathcal{O}_\xi$ で $A\subset\bigcup\mathcal{Q}$ を満たすものに対し、常に有限部分族 $\mathcal{Q}0\subset{\mathrm{fin}}\mathcal{Q}$ で $A\subset\bigcup\mathcal{Q}_0$（Prop VIII.3.7）。
Corollary VIII.3.8（古典的定式化）: 位相空間の部分集合 $A$ がコンパクト $\iff$ $A$ のどの開被覆も有限部分被覆を持つ。
導出: cards/topology/compact-ideal-characterization（Prop VIII.3.5/3.6）のイデアルを $\mathcal{Q}$ が生成するイデアル（有限合併の下方閉包）に取ることで、集合演算子（inh/adh）による抽象的特徴づけが具体的な有限被覆条件に落ちる。第I〜VII章の全機構（フィルター→超フィルター→adherence→compact ideal）がこの一文に収束する、章全体のクライマックス。
isCompact_iff_finite_subcover。
本ノート RoyalRoad.ChapterVIII.thm_VIII_3_compact_tfae（Notes/ChapterVIII.lean、lake build 済み。cards/topology/compact-convergence-definition と同一命題の TFAE）