アスコリ＝アルツェラの定理

3行要約

1. 関数族が等程度連続かつ一様有界であるとき、収束する部分列を持つという定理。
2. 関数空間におけるコンパクト性を判定するための重要な指標となる。
3. 微分方程式の解の存在証明や解析学の様々な分野で広く利用される。