アスコリ＝アルツェラの定理
数学におけるアスコリ＝アルツェラの定理（アスコリ＝アルツェラのていり、）は、有界な閉区間上で定義された実数値連続函数の族のすべての列が一様収束する部分列を持つための必要十分条件を与える解析学の一結果である。その主要な条件は、函数の族の同程度連続性である。この定理は、常微分方程式論におけるペアノの存在定理や、複素解析学におけるモンテルの定理、調和解析におけるを含む多くの数学的結果の証明の基盤となっている。
同程度連続性の概念は、 と によってほぼ同時期に導入された。この定理の弱い場合として、コンパクト性のための十分条件は によって証明された。またその必要条件も含めた結果の明示は によって初めて行われた。その後、定義域がコンパクト距離空間である実数値連続函数の集合への定理の一般化は によって行われた。近年におけるこの定理では、定義域はコンパクトなハウスドルフ空間、値域は任意の距離空間にまで拡張されている。より一般的な定理の構成として、から一様空間への函数の族が、コンパクト開位相においてコンパクトであるための必要十分条件を与えるものも存在する。
ある区間 上の連続函数の列 が一様有界であるとは、ある数 "M" が存在して、
がその列に含まれるすべての函数 とすべての に対して成立することをいう。その列が同程度連続であるとは、すべての に対してある が存在し、 であるなら
がその列のすべての函数 に対して常に成り立つことをいう。簡潔に述べると、ある列が同程度連続であるための必要十分条件は、その元が同一のを持つことをいう。アスコリ＝アルツェラの定理の最も簡潔な場合は、次のようなものである：
定理の仮定は、一様有界な導函数を持つ一様有界な微分可能函数の列 に対して満たされる。実際、導函数が一様有界であれば、平均値の定理より、すべての と に対して次が成立する。
ここで "K" はその列に含まれる函数の導函数の上限であり、 に依存しない。したがって が与えられたとき、 とすることで列の同程度連続性の定義を確かめることが出来る。これにより次の系が成り立つ：さらに二階導函数の列も一様有界であるなら、一階導函数も（部分列の違いを除いて）一様収束する。その他、連続的微分可能函数に対しても一般化が成立する。函数 は連続的微分可能で、その導函数 は一様同程度連続かつ一様有界であり、列 } は各点ごとに有界（あるいはただ一つの点で有界）とする。このとき、ある連続的微分可能函数に一様収束する の部分列が存在する。
さらに、次の結果も示される。この極限の函数も同じリプシッツ定数 によってリプシッツ連続である。この結果をさらに改良すると次のようになる。この結果は、より一般に、コンパクト距離空間 上のスカラー函数で、その距離に関するヘルダー条件を満たすものに対しても成立する。
アスコリ＝アルツェラの定理は、より一般に、-次元ユークリッド空間 に値を取る函数 に対しても成立し、その証明は非常に簡潔である。すなわち、-値の場合の結果を 回適用することで、第一座標において一様収束する部分列を選び、その中から第二座標において一様収束する部分列を選ぶ、という手順を繰り返せばよい。上述の例は、ユークリッド空間に値を取る函数の場合に対しても容易に一般化される。
証明は対角線論法に本質的に基づくものである。最も簡単な場合は、次の有界閉区間上の実数値函数の場合である："I" 内の有理数の数え上げ {"x"} を固定する。F は一様有界なので、点 {"f"("x")} の集合は有界である。したがってボルツァーノ＝ワイエルシュトラスの定理より、{"f"("x")} が収束するような F 内の相異なる函数の列 {"f"} が存在する。点 {"f"("x")} の列に対して同様の議論を繰り返すことで、{"f"("x")} が収束するような {"f"} の部分列 {"f"} の存在が分かる。
帰納的にこの手順はどこまででも繰り返すことが出来、次の包含関係を満たす部分列
で、各 "k" = 1, 2, 3, ..., に対して部分列 {"f"} が "x", ..., "x" において収束するようなものが存在する。今、"m" 番目の項 "f" が "m" 番目の部分列 {"f"} の "m" 番目の項であるような対角部分列 {"f} を構成する。この構成法より、"f" は "I" のすべての有理点において収束する。
したがって、与えられた任意の と "I" 内の有理数 "x" に対し、ある整数 が存在して次が成り立つ。
族 F は同程度連続であるため、この固定された "ε" と "I" 内のすべての "x" に対して、"x" を含むある開区間 "U" が存在し、
がすべての "f" ∈ F と、 であるような "I" 内のすべての "s", "t" に対して成立する。
区間 "U", "x" ∈ "I" の集合は "I" の開被覆を構成する。"I"  はコンパクトなので、この被覆より有限部分被覆 が構成できる。その各開区間 "U", が有理数 "x", を含むような整数 "K" が存在する。すると、任意の "t" ∈ "I" に対し、 "t" と "x" が同じ区間 "U" に属するような "j" と "k" が存在する。このように選ばれた "k" に対して、
が、すべての } に対して成立する。したがって列 {"f"} は一様コーシー列であり、主張の通りにある連続函数に収束する。
有界性と同程度連続性の定義は、任意のコンパクト距離空間、あるいはさらに一般のコンパクトハウスドルフ空間に対して一般化される。"X" をコンパクトハウスドルフ空間とし、"C"("X") を "X" 上の実数値連続函数の空間とする。部分集合 が同程度連続であるとは、すべての "x" ∈ "X" と に対し、"x" が次を満たす近傍 "U" を持つことをいう。
集合 が各点有界（pointwise bounded）であるとは、すべての "x" ∈ "X" に対して次が成立することをいう。
アスコリ＝アルツェラの定理の別の場合は、コンパクトハウスドルフ空間 "X" 上の実数値連続函数の空間 "C"("X") に対しても同様に成り立つ ：
したがってアスコリ＝アルツェラの定理は、コンパクトハウスドルフ空間上の連続函数の環の研究における基本的な結果である。
上述の結果には様々な一般化が存在する。例えば、距離空間あるいは（ハウスドルフ）線型位相空間に値を取る函数に対して以下のようにわずかに変化した定理も成り立つ（例えば , を参照）：
ここで各点ごとに相対コンパクトとは、各 "x" ∈ "X" に対して集合 が "Y" において相対コンパクトであることをいう。
ここで与えられた証明は、定義域の可分性に依存しない方法で一般化することが出来る。例えば、コンパクトハウスドルフ空間 "X" 上で、各 ε = 1/"n" に対してある "X" の有限部分被覆が存在し、各族に含まれる任意の函数の振動がその被覆に含まれる各開集合上で ε よりも小さくなる。このとき有理数の役割は、この方法で得られた可算個の各被覆における各開集合より選ばれる点の集合によって与えられ、上述と全く同様の手順で主要な部分の証明が行われる。
ほとんどの種類のアスコリ＝アルツェラの定理では、函数族がある位相において（相対的に）コンパクトであるための十分条件が主張されているが、それらは通常、必要条件でもある。例えば、ある集合 F が、コンパクトなハウスドルフ空間上の実数値連続函数の集合で一様ノルムを備えるバナッハ空間 "C"("X") においてコンパクトであるなら、それは "C"("X") 上の一様ノルムにおいて有界であり、特に各点ごとに有界である。F 内のすべての函数で、開部分集合 "U" ⊂ "X" に関するが "ε" より小さいものの集合を "N"("ε", "U") とする。すなわち、
とする。固定された "x"∈"X" と "ε" に対して、"U" が "x" の開近傍を変動するとき、集合 "N"("ε", "U") は F の開被覆を形成する。その有限部分被覆を選ぶと、同程度連続性が得られる。