在数学中，阿尔泽拉-阿斯科利定理（）是泛函分析中的一个定理，给出了从紧致度量空间射到度量空间的函数集合在一致收敛的拓扑意义上是紧集的一個充分必要条件。其中主要涉及的条件是函数集的等度连续性质。
等度连续的概念大约是在十九世纪的八十年代由两位意大利数学家朱利奥·阿斯科利（於1883年－1884年） 和切萨雷·阿尔泽拉（於1882年－1883年）提出的。阿斯科利在1883年的论文中，证明了定理中，连续函数集为紧集的充分条件，而阿尔泽拉则在1895年的另一篇论文中证明了定理的另一部分：成为紧集的必要条件，并首次给出了定理的完整证明。而不久之后，在1906年，法国数学家弗雷歇又将这个定理进行了推广，使得在任意的能够定义极限的空间中都有同样的结果（比如度量空间或豪斯多夫空间）。
在阿尔泽拉-阿斯卡利定理首次獲证的年代，人们并没有充分理解该定理的重要意义。随着研究的不断深入，紧致性成为了分析学、拓扑学领域的关键概念，而此定理就描述了紧致性。
该定理是利用欧拉法证明常微分方程组理论中的皮亚诺存在性定理时不可或缺的一环，也是複分析中的蒙泰尔定理的证明中的重要组成部分。此外，彼得-外尔定理的一个证明中用到了此定理。
定義
以下的定義在定理的叙述和证明中会不斷使用到。
等度連續
设 K 和 X 是两个度量空间，C(K,X)是蒐集所有从 K 到 X 的连续映射的所形成的集合。如果 C(K,X)的一个子集 \mathcal{F} 滿足对所有 x \in K和 \epsilon >0，存在一個 x 的邻域 U_x，使得对所有 y \in U_x 和 f\in\mathcal{F}，都有 d\left(f(y) , f(x)\right)
則称 \mathcal{F}是等度连续的。
一致有界與逐點有界
设 K 是一个度量空间，C(K,\mathbf{R})是蒐集所有 K 上的實連續函數。設 \mathcal{F}是 C(K,\mathbf{R})的一个子集
- 如果存在 M>0，使得對所有 f\in\mathcal F, x\in K都有 |f(x)|，則稱 \mathcal{F}是一致有界的。
- 如果對所有 x\in K，都有 \sup _{f\in {\mathcal {F}}}|f(x)|，則稱 \mathcal{F}是逐點有界的。
注意到一致有界可推得逐點有界，此外，如果已知 \mathcal{F}是等度連續且 K 是 (比如說緊緻) 的，則一致有界若且唯若逐點有界。
叙述
实数域上的情况
這是最簡單的情況，此时阿尔泽拉-阿斯科利定理的可以敘述为
:考虑一个定义在闭区间 [a,b] 上的实函数序列 \{f_n\}_{n\in \mathbf N}。如果\{f_n\}_{n\in \mathbf N}是逐點有界且等度连续的，那么在这个函数序列中，必定存在一个子序列 \{f_{n_k}\}_{k\in \mathbf N}是一致收敛的。另一方面，如果 \{f_n\}_{n\in \mathbf N} 的任何子序列\{f_{n_k}\}_{k\in \mathbf N}都有一個一致收斂的子序列\{f_{n_{k_r}}\}_{r\in \mathbf N}，則 \{f_n\}_{n\in \mathbf N}是逐點有界且等度连续的。
例子
设 \{f_n\}_{n\in \mathbf N} 是一个逐點有界、可微分，并且导数是一致有界的函数序列，即\sup_{f\in \mathcal F, x\in K}|f'(x)|，則可以证明 \{f_n\}_{n\in \mathbf N}也是等度连续的，因此满足阿尔泽拉-阿斯科利定理的条件。所以它拥有一个一致收敛的子序列
:设 X 为一个紧豪斯多夫空间，那么 C(X,Y) 的子集 F 在紧致开拓扑中是紧致的当且仅当它是等度连续、完全有界的闭集。
阿尔泽拉-阿斯科利定理是对于紧豪斯多夫空间上，连续函数的代数性质的一个重要结果。进一步的研究可以将上面的结果推广。比如说，函数的取值空间可以換为豪斯多夫的拓扑向量空间，这时仍然有基本相同的定理。
证明
以下證明在實數域上的敘述。
必要性
该定理的必要性比较显然，实用价值也比较小。若紧度量空间 X 是个有限集，則充分性显然。因此，設 X 是個無窮集，由 X 的緊緻性可知，存在在 X 中稠密的序列 E=\{x_k\}_{k\in \mathbf N}。
考虑 \mathcal{F}中任意一個映射序列 \{f_n\}_{n\in \mathbf N}。由于 \mathcal{F} 是逐點有界的，序列 \{f_n(x_1)\} 在 Y 中是有界的。根据波尔查诺-魏尔斯特拉斯定理和 Y 的完备性，该序列拥有收敛的子列，记作\{f^1_n(x_1)\}。而序列\{f^1_n(x_2)\}又存在收敛的子列，记作 \{f^2_n(x_2)\} … 。如此重复，即得到了一系列的映射序列 \{f^1_n\}, \{f^2_n\}, \{f^3_n\}, \dots。考虑其中對角線元素 g_n=f_n^n所构成的序列\{g_n\}_{n\in \mathbf N}。則对于序列 E 中任意一点 x_k，序列 \{g_n(x_k)\}_{n\geq k}是 \{f^k_n(x_k)\}_{n \in \mathbf N}的子序列，因此序列 \{g_n(x_k)\}_{n\in \mathbf N}收敛。
給定 \epsilon >0，因為 \mathcal{F}是等度连续的，延用等度连续定義裡的 U_x，所以 \{U_x\}_{x\in [a,b]}是 [a,b] 區間的一個開覆蓋。由於 [a,b] 區間是緊緻的，存在有限集 \{\xi_1,\dots ,\xi_l\}使得 [a,b]=\bigcup_{i=1}^l U_{\xi_i}。因為 E 在 [a,b]中是稠密的，所以 E 有一個子集 \{x_{n_1},\dots ,x_{n_l}\}滿足 x_{n_i}\in U_{\xi_i}。由 g_n 在 E 中各点的收敛性可知，对每个 x_{n_i}，存在 N_i，使得对任一對比 N_i大的正整數對 m 和 n 都有 |g_m(x_{n_i})-g_n(x_{n_i})|。定義 N=\max_{1\leq i\leq l}N_i，則前一句話中的 N_i可以改成 N。
对 X 中每个点 x，存在一個 \xi_i使得 x\in U_{\xi_i}。而对于任何比 N 大的正整數對 m 和 n，都有 |g_m(x_{n_i})-g_n(x_{n_i})|，此外由|g_m(x_{n_i})-g_m(\xi_i)|、|g_m(x)-g_m(\xi_i)|、|g_n(x_{n_i})-g_n(\xi_i)|、|g_n(x)-g_n(\xi_i)|
可知 |g_m(x)-g_n(x)|。
因此，\{g_n\}是一個 C([a,b])上的柯西列，因為 [a,b]是完備的可推得 C([a,b])也是，所以 \{g_n\}是 \{f_n\}的一致收斂子序列。
参考来源
评论 (0)