コンパクト空間 → 連続関数環 → 一様収束 → 部分代数 → 点分離 → Stone-Weierstrass の定理
入口
コンパクト空間
目標
Stone-Weierstrass の定理
進捗
ルート設計中
連続関数を近似する舞台を用意する
連続関数を足し算と掛け算で扱う
空間全体で同時に近づく意味を見る
近似に使う関数の集まりを用意する
異なる点を見分ける条件を置く
十分な関数族で連続関数を一様近似する