コンパクト空間 → 連続関数族 → 一様ノルム → 同程度連続性 → 点ごとの有界性 → Arzelà-Ascoli の定理
入口
コンパクト空間
目標
Arzelà-Ascoli の定理
進捗
ルート設計中
関数列を調べる舞台を用意する
たくさんの連続関数をまとめて扱う
関数全体の最大誤差を測る
関数族全体で連続性をそろえる
各点で値が逃げないことを見る
関数族から一様収束部分列を取り出す