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

数学におけるアスコリ＝アルツェラの定理（アスコリ＝アルツェラのていり、テンプレート:Lang-en-short）は、有界な閉区間上で定義された実数値連続函数の族のすべての列が一様収束する部分列を持つための必要十分条件を与える解析学の一結果である。その主要な条件は、函数の族の同程度連続性である。この定理は、常微分方程式論におけるペアノの存在定理や、複素解析学におけるモンテルの定理、調和解析におけるテンプレート:仮リンクを含む多くの数学的結果の証明の基盤となっている。

同程度連続性の概念は、テンプレート:Harvtxt と テンプレート:Harvtxt によってほぼ同時期に導入された。この定理の弱い場合として、コンパクト性のための十分条件は テンプレート:Harvtxt によって証明された。またその必要条件も含めた結果の明示は テンプレート:Harvtxt によって初めて行われた。その後、定義域がコンパクト距離空間である実数値連続函数の集合への定理の一般化は テンプレート:Harvtxt によって行われたテンプレート:Harv。近年におけるこの定理では、定義域はコンパクトなハウスドルフ空間、値域は任意の距離空間にまで拡張されている。より一般的な定理の構成として、テンプレート:仮リンクから一様空間への函数の族が、コンパクト開位相においてコンパクトであるための必要十分条件を与えるものも存在するテンプレート:Harvtxt。

定理の内容と第一の結果

ある区間 テンプレート:Math 上の連続函数の列 テンプレート:Math が一様有界であるとは、ある数 M が存在して、

$$|f_n(x)|\le M$$

がその列に含まれるすべての函数 テンプレート:Math とすべての テンプレート:Math に対して成立することをいう。その列が同程度（一様）連続であるとは、すべての テンプレート:Math に対してある テンプレート:Math が存在し、テンプレート:Math であるなら

$$|f_n(x)-f_n(y)|<\epsilon$$

がその列のすべての函数 テンプレート:Math に対して常に成り立つことをいう。簡潔に述べると、ある列が同程度連続であるための必要十分条件は、その元が同一のテンプレート:仮リンクを持つことをいう。アスコリ＝アルツェラの定理の最も簡潔な場合は、次のようなものである：

実数直線の有界閉区間 テンプレート:Math 上で定義される実数値連続函数 テンプレート:Math を考える。この列が一様有界かつ同程度（一様）連続であるなら、一様収束するある部分列 (f_nk) が存在する。

テンプレート:Math のすべての部分列がそれ自身一様収束部分列を持つなら、テンプレート:Math は一様有界かつ同程度連続であるという意味で、この逆もまた真となる（この証明は後述を参照）

例

微分可能函数

定理の仮定は、一様有界な導函数を持つ一様有界な微分可能函数の列 テンプレート:Math に対して満たされる。実際、導函数が一様有界であれば、平均値の定理より、すべての テンプレート:Mvar と テンプレート:Mvar に対して次が成立する。

$$|f_n(x)-f_n(y)|\le K|x-y|.$$

ここで K はその列に含まれる函数の導函数の上限であり、テンプレート:Mvar に依存しない。したがって テンプレート:Math が与えられたとき、テンプレート:Math とすることで列の同程度連続性の定義を確かめることが出来る。これにより次の系が成り立つ：

• {f_n} を テンプレート:Math 上で一様有界な実数値微分可能函数で、導函数 {f_n′} も一様有界であるようなものの列とする。このとき、テンプレート:Math 上で一様収束する部分列 {f_nk} が存在する。

さらに二階導函数の列も一様有界であるなら、一階導函数も（部分列の違いを除いて）一様収束する。その他、連続的微分可能函数に対しても一般化が成立する。函数 テンプレート:Math は連続的微分可能で、その導函数 テンプレート:Math は一様同程度連続かつ一様有界であり、列 テンプレート:Math} は各点ごとに有界（あるいはただ一つの点で有界）とする。このとき、ある連続的微分可能函数に一様収束する テンプレート:Math の部分列が存在する。

リプシッツ連続かつヘルダー連続な函数

さらに、次の結果も示される。

• テンプレート:Math が テンプレート:Math 上の実数値函数の一様有界列で、各 f は同じリプシッツ定数 テンプレート:Mvar によってリプシッツ連続であるとする。すなわち、

$$|f_n(x)-f_n(y)|\le K|x-y|$$

がすべての テンプレート:Math と テンプレート:Math に対して成り立つとする。このとき、テンプレート:Math 上で一様収束する部分列が存在する。

この極限の函数も同じリプシッツ定数 テンプレート:Mvar によってリプシッツ連続である。この結果をさらに改良すると次のようになる。

• テンプレート:Math の函数 テンプレート:Math で、一様有界かつ次数 テンプレート:Mvar, テンプレート:Math と固定された定数 テンプレート:Mvar に対するヘルダー条件

$$|f(x)-f(y)|\le M|x-y{|}^{\alpha },x,y\in [a,b]$$

を満たすものからなる集合 テンプレート:Math は、テンプレート:Math 内において相対コンパクトである。特に、ヘルダー空間 テンプレート:Math は テンプレート:Math 内においてコンパクトである。

この結果は、より一般に、コンパクト距離空間 テンプレート:Mvar 上のスカラー函数で、その距離に関するヘルダー条件を満たすものに対しても成立する。

ユークリッド空間

アスコリ＝アルツェラの定理は、より一般に、テンプレート:Mvar-次元ユークリッド空間 テンプレート:Math に値を取る函数 テンプレート:Math に対しても成立し、その証明は非常に簡潔である。すなわち、テンプレート:Math-値の場合の結果を テンプレート:Mvar 回適用することで、第一座標において一様収束する部分列を選び、その中から第二座標において一様収束する部分列を選ぶ、という手順を繰り返せばよい。上述の例は、ユークリッド空間に値を取る函数の場合に対しても容易に一般化される。

証明

証明は対角線論法に本質的に基づくものである。最も簡単な場合は、次の有界閉区間上の実数値函数の場合である：

• テンプレート:Math を有界閉区間とする。一様有界かつ同程度連続な函数 テンプレート:Math の無限集合を F とする。このとき、I 上で一様収束する F の元の列 f_n が存在する。

I 内の有理数の数え上げ {x_i}_{i ∈N} を固定する。F は一様有界なので、点 {f(x₁)}_f∈F の集合は有界である。したがってボルツァーノ＝ワイエルシュトラスの定理より、{f_n1(x₁)} が収束するような F 内の相異なる函数の列 {f_n1} が存在する。点 {f_n1(x₂)} の列に対して同様の議論を繰り返すことで、{f_n2(x₂)} が収束するような {f_n1} の部分列 {f_n2} の存在が分かる。

帰納的にこの手順はどこまででも繰り返すことが出来、次の包含関係を満たす部分列

$$\left\{f_{n_1}\right\}\supseteq \left\{f_{n_2}\right\}\supseteq \cdots$$

で、各 k = 1, 2, 3, ..., に対して部分列 {f_nk} が x₁, ..., x_k において収束するようなものが存在する。今、m 番目の項 f_m が m 番目の部分列 {f_nm} の m 番目の項であるような対角部分列 {f} を構成する。この構成法より、f_m は I のすべての有理点において収束する。

したがって、与えられた任意の テンプレート:Math と I 内の有理数 x_k に対し、ある整数 テンプレート:Math が存在して次が成り立つ。

$$|f_n(x_k)-f_m(x_k)|<\frac{\epsilon }{3},n,m\ge N.$$

族 F は同程度連続であるため、この固定された ε と I 内のすべての x に対して、x を含むある開区間 U_x が存在し、

$$|f(s)-f(t)|<\frac{\epsilon }{3}$$

がすべての f ∈ F と、テンプレート:Math であるような I 内のすべての s, t に対して成立する。

区間 U_x, x ∈ I の集合は I の開被覆を構成する。I  はコンパクトなので、この被覆より有限部分被覆 テンプレート:Math が構成できる。その各開区間 U_j, テンプレート:Math が有理数 x_k, テンプレート:Math を含むような整数 K が存在する。すると、任意の t ∈ I に対し、 t と x_k が同じ区間 U_j に属するような j と k が存在する。このように選ばれた k に対して、

$$\begin{array}{cc}|f_n(t)-f_m(t)|& \le |f_n(t)-f_n(x_k)|+|f_n(x_k)-f_m(x_k)|+|f_m(x_k)-f_m(t)|\\ & <\frac{\epsilon }{3}+\frac{\epsilon }{3}+\frac{\epsilon }{3}\end{array}$$

が、すべての テンプレート:Math} に対して成立する。したがって列 {f_n} は一様コーシー列であり、主張の通りにある連続函数に収束する。

一般化

コンパクト距離空間とコンパクトハウスドルフ空間

有界性と同程度連続性の定義は、任意のコンパクト距離空間、あるいはさらに一般のコンパクトハウスドルフ空間に対して一般化される。X をコンパクトハウスドルフ空間とし、C(X) を X 上の実数値連続函数の空間とする。部分集合 テンプレート:Math が同程度連続であるとは、すべての x ∈ X と テンプレート:Math に対し、x が次を満たす近傍 U_x を持つことをいう。

$$\mathrm{\forall }y\in U_x,\mathrm{\forall }f\in 𝐅:|f(y)-f(x)|<\epsilon .$$

集合 テンプレート:Math が各点有界（pointwise bounded）であるとは、すべての x ∈ X に対して次が成立することをいう。

$$\sup \{|f(x)|:f\in 𝐅\}<\mathrm{\infty }$$

アスコリ＝アルツェラの定理の別の場合は、コンパクトハウスドルフ空間 X 上の実数値連続函数の空間 C(X) に対しても同様に成り立つ テンプレート:Harv：

X をコンパクトハウスドルフ空間とする。このとき、C(X) の部分集合 F が一様ノルムによって導かれる位相において相対コンパクトであるための必要十分条件は、それが同程度連続かつ各点有界であることである。

したがってアスコリ＝アルツェラの定理は、コンパクトハウスドルフ空間上の連続函数の環の研究における基本的な結果である。

上述の結果には様々な一般化が存在する。例えば、距離空間あるいは（ハウスドルフ）線型位相空間に値を取る函数に対して以下のようにわずかに変化した定理も成り立つ（例えば テンプレート:Harvtxt, テンプレート:Harvtxt を参照）：

X をコンパクトハウスドルフ空間とし、Y を距離空間とする。このとき テンプレート:Math がコンパクト開位相においてコンパクトであるための必要十分条件は、それが同程度連続かつ各点ごとに相対コンパクトで、閉であることである。

ここで各点ごとに相対コンパクトとは、各 x ∈ X に対して集合 テンプレート:Math が Y において相対コンパクトであることをいう。

ここで与えられた証明は、定義域の可分性に依存しない方法で一般化することが出来る。例えば、コンパクトハウスドルフ空間 X 上で、各 ε = 1/n に対してある X の有限部分被覆が存在し、各族に含まれる任意の函数の振動がその被覆に含まれる各開集合上で ε よりも小さくなる。このとき有理数の役割は、この方法で得られた可算個の各被覆における各開集合より選ばれる点の集合によって与えられ、上述と全く同様の手順で主要な部分の証明が行われる。

必要性

ほとんどの種類のアスコリ＝アルツェラの定理では、函数族がある位相において（相対的に）コンパクトであるための十分条件が主張されているが、それらは通常、必要条件でもある。例えば、ある集合 F が、コンパクトなハウスドルフ空間上の実数値連続函数の集合で一様ノルムを備えるバナッハ空間 C(X) においてコンパクトであるなら、それは C(X) 上の一様ノルムにおいて有界であり、特に各点ごとに有界である。F 内のすべての函数で、開部分集合 U ⊂ X に関するテンプレート:仮リンクが ε より小さいものの集合を N(ε, U) とする。すなわち、

$$N(\epsilon ,U)=\{f|{\mathrm{osc}}_{U}f<\epsilon \}$$

とする。固定された x∈X と ε に対して、U が x の開近傍を変動するとき、集合 N(ε, U) は F の開被覆を形成する。その有限部分被覆を選ぶと、同程度連続性が得られる。

例

• テンプレート:Math に対し、テンプレート:Math 上で p-可積分であるすべての函数 テンプレート:Mvar に対し、テンプレート:Math 上で定義される次の函数 テンプレート:Mvar を関連付けることが出来る。

$$G(x)=\underset{0}{\overset{x}{\int }}g(t)\mathrm{d}t.$$

テンプレート:Math を、空間 テンプレート:Math の単位球における函数 テンプレート:Mvar に対応する函数 テンプレート:Mvar の集合とする。テンプレート:Mvar を、テンプレート:Mvar に対して テンプレート:Math を満たすもので定義されるヘルダー共役とすると、ヘルダーの不等式より、テンプレート:Math に含まれるすべての函数は テンプレート:Math と定数 テンプレート:Math に対してヘルダー条件を満たすことが分かる。

テンプレート:Math は テンプレート:Math においてコンパクトである。これより、対応 テンプレート:Math がバナッハ空間 テンプレート:Math と テンプレート:Math の間のコンパクト線型作用素 テンプレート:Mvar を定義する。テンプレート:Math から テンプレート:Math への単射を構成することで、テンプレート:Mvar は テンプレート:Math からそれ自身へのコンパクト作用素であることが分かる。テンプレート:Math の場合は、ソボレフ空間 $H_0^1(\mathrm{\Omega })$ から テンプレート:Math への単射は、テンプレート:Math 内の有界開集合 テンプレート:Math に対してコンパクトであるという事実を示す簡単な一例である。

• テンプレート:Mvar がバナッハ空間 テンプレート:Mvar からバナッハ空間 テンプレート:Mvar へのコンパクト線型作用素であるとき、その転置 テンプレート:Math は（連続）双対空間 テンプレート:Math から テンプレート:Math へのコンパクト作用素である。これはアスコリ＝アルツェラの定理によって確かめることが出来る。

実際、テンプレート:Mvar の閉単位球 テンプレート:Mvar の像 テンプレート:Math は、テンプレート:Mvar のコンパクト部分集合 テンプレート:Mvar に含まれる。テンプレート:Math の単位球 テンプレート:Math は、テンプレート:Mvar から テンプレート:Mvar へ制限されることにより、有界かつ同程度連続な テンプレート:Mvar 上の（線型）連続函数の集合 テンプレート:Math を定義する。アスコリ＝アルツェラの定理より、テンプレート:Math 内のすべての列 テンプレート:Math} に対して、テンプレート:Mvar 上で一様収束する部分列が存在する。これは、その部分列の像 $T^{*}(y_{n_k}^{*})$が テンプレート:Math においてコーシーであることを意味する。

• テンプレート:Math が、開円板 テンプレート:Math における正則函数で、その絶対値が テンプレート:Mvar より小さいなら、（例えばコーシーの積分公式によって）その導函数の絶対値はより小さい円板 テンプレート:Math において テンプレート:Math よりも小さくなる。テンプレート:Math 上の正則函数の族が テンプレート:Math 上で定数 テンプレート:Mvar によって有界であるなら、テンプレート:Math への制限の族 テンプレート:Math は テンプレート:Math 上で同程度連続となる。したがって、テンプレート:Math 上で一様収束する部分列を選ぶことが出来る。これはモンテルの定理の第一ステップである。

関連項目

• ヘリーの選択定理
• フレシェ＝コルモゴロフの定理

参考文献

• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation.
• テンプレート:Citation
• テンプレート:Citation.
• テンプレート:Citation.
• Arzelà-Ascoli theorem at Encyclopaedia of Mathematics
• テンプレート:Citation
• テンプレート:Citation
• テンプレート:Citation