フレシェ＝コルモゴロフの定理

3行要約

1. 関数空間 L^p において、集合がコンパクトであるための必要十分条件を与える定理。
2. 関数の平行移動に対する連続性が一様であることを条件とし、近似の可能性を保証する。
3. 偏微分方程式の解の存在証明や、関数解析学の理論構築において重要な役割を果たす。