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

数学におけるアスコリ＝アルツェラの定理（アスコリ＝アルツェラのていり、英: Ascoli–Arzelà theorem）は、有界な閉区間上で定義された実数値連続函数の族のすべての列が一様収束する部分列を持つための必要十分条件を与える解析学の一結果である。その主要な条件は、函数の族の同程度連続性である。この定理は、常微分方程式論におけるペアノの存在定理や、複素解析学におけるモンテルの定理、調和解析におけるを含む多くの数学的結果の証明の基盤となっている。 同程度連続性の概念は、 と によってほぼ同時期に導入された。この定理の弱い場合として、コンパクト性のための十分条件は によって証明された。またその必要条件も含めた結果の明示は によって初めて行われた。その後、定義域がコンパクト距離空間である実数値連続函数の集合への定理の一般化は によって行われた。近年におけるこの定理では、定義域はコンパクトなハウスドルフ空間、値域は任意の距離空間にまで拡張されている。より一般的な定理の構成として、から一様空間への函数の族が、コンパクト開位相においてコンパクトであるための必要十分条件を与えるものも存在する, page 234)。