阿尔泽拉-阿斯科利定理

緊度量空間到度量空間的函數集合,在均勻收斂拓撲下,何時為緊

数学中,阿尔泽拉-阿斯科利定理泛函分析中的一个定理,给出了从紧致度量空间射到度量空间的函数集合一致收敛拓扑意义上是紧集的一个充分必要条件。其中主要涉及的条件是函数集的等度连续性质。

等度连续的概念大约是在十九世纪的八十年代由两位意大利数学家朱利奥·阿斯科利(于1883年-1884年)[1]切萨雷·阿尔泽拉(于1882年-1883年)[2]提出的。阿斯科利在1883年的论文中,证明了定理中,连续函数集为紧集的充分条件,而阿尔泽拉则在1895年的另一篇论文中证明了定理的另一部分:成为紧集的必要条件,并首次给出了定理的完整证明[3]。而不久之后,在1906年,法国数学家弗雷歇又将这个定理进行了推广,使得在任意的能够定义极限的空间中都有同样的结果(比如度量空间或豪斯多夫空间)。

在阿尔泽拉-阿斯卡利定理首次获证的年代,人们并没有充分理解该定理的重要意义。随着研究的不断深入,紧致性成为了分析学、拓扑学领域的关键概念,而此定理就描述了紧致性。[4] 该定理是利用欧拉法证明常微分方程组理论中的皮亚诺存在性定理时不可或缺的一环,[5]也是复分析中的蒙泰尔定理的证明中的重要组成部分。此外,彼得-外尔定理的一个证明中用到了此定理[6]

定义

编辑

以下的定义在定理的叙述和证明中会不断使用到。[7]

等度连续

编辑

设 K 和 X 是两个度量空间 是搜集所有从 K 到 X 的连续映射的所形成的集合。如果  的一个子集   满足

对所有   ,存在一个 x 的邻域  ,使得对所有   ,都有  

则称  等度连续的。

一致有界与逐点有界

编辑

设 K 是一个度量空间 是搜集所有 K 上的实连续函数。设   的一个子集

  • 如果存在  ,使得对所有  都有  ,则称  一致有界的。
  • 如果对所有  ,都有  ,则称  逐点有界的。

注意到一致有界可推得逐点有界,此外,如果已知  是等度连续且 K 是完全有界英语totally bounded space (比如说紧致) 的,则一致有界当且仅当逐点有界。

叙述

编辑

实数域上的情况

编辑

这是最简单的情况,此时阿尔泽拉-阿斯科利定理的可以叙述为[8]

考虑一个定义在闭区间   上的实函数序列  。如果 是逐点有界且等度连续的,那么在这个函数序列中,必定存在一个子序列  一致收敛的。另一方面,如果   的任何子序列 都有一个一致收敛的子序列 ,则  是逐点有界且等度连续的。

例子

编辑

  是一个逐点有界、可微分,并且导数是一致有界的函数序列,即 ,则可以证明  也是等度连续的,因此满足阿尔泽拉-阿斯科利定理的条件。所以它拥有一个一致收敛的子序列[7]

紧度量空间和紧豪斯多夫空间

编辑

对于一般的度量空间,阿尔泽拉-阿斯科利定理断言[8]

  为一个度量空间,  为一个完备的度量空间,那么  的子集  紧致开拓扑中是紧致的当且仅当它是等度连续、完全有界的闭集。

这里,  表示从  射到  的连续函数的集合。而它的子集   被称作完全有界当且仅当  ,集合  都是  相对紧致的子集。如果一个集合 A紧致开拓扑中是紧致的,那么 A 中的所有序列都拥有一个在 A 中一致收敛的子序列。

更广泛地,对于 X 是紧豪斯多夫空间的情况,定理一样成立:[9]

  为一个紧豪斯多夫空间,那么   的子集  紧致开拓扑中是紧致的当且仅当它是等度连续、完全有界的闭集。

阿尔泽拉-阿斯科利定理是对于紧豪斯多夫空间上,连续函数的代数性质的一个重要结果。进一步的研究可以将上面的结果推广。比如说,函数的取值空间可以换为豪斯多夫的拓扑向量空间,这时仍然有基本相同的定理[10][11]

证明

编辑

以下证明在實數域上的叙述。

必要性

编辑

该定理的必要性比较显然,实用价值也比较小[12]。事实上,由紧度量空间 X 到完备的度量空间 Y 的任何一列连续映射序列 {fn} 如果在 X 上一致收敛,那么它收敛到一个连续映射 f. 由紧度量空间上,连续映射 f一致连续性和收敛的一致性,可以证明该映射序列是等度连续的。同时由收敛的一致性和连续映射将紧集映为紧集的性质,可以推出该序列完全有界。[7]

若集合 F 中的映射不一致有界,则由定义,对任意 nN, 存在 F 中的映射 fn,其范数大于n, 于是 {fn} 的任意一个子列都不是完全有界的,故任意子列都非一致收敛,与假设矛盾。若集合 F 中的映射不等度连续,则存在 ε>0,对任意的 nN,存在 x1, x2 和集合中某个映射 fn,满足 d(x1,x2) < 1/n,但 d(fn(x1), fn(x2)) ≥ ε. 这样,{fn} 的任意一个子列都不是等度连续的,从而任意子列都非一致收敛,同样与假设矛盾。[7]

充分性

编辑

充分性的证明用到了对角论证法[12]。若紧度量空间 X 是个有限集,则充分性显然。因此,设 X 是个无穷集,由 X 的紧致性可知,存在在 X 中稠密的序列  

考虑  中任意一个映射序列  。由于   是逐点有界的,序列   在 Y 中是有界的。根据波尔查诺-魏尔斯特拉斯定理Y 的完备性,该序列拥有收敛的子列,记作 。而序列 又存在收敛的子列,记作   … 。如此重复,即得到了一系列的映射序列  。考虑其中对角线元素  所构成的序列 。则对于序列 E 中任意一点  ,序列   的子序列,因此序列  收敛。[7][12]

给定  ,因为  是等度连续的,延用等度连续定义里的  ,所以    区间的一个开覆盖。由于   区间是紧致的,存在有限集  使得  。因为 E 在  中是稠密的,所以 E 有一个子集  满足  。由   在 E 中各点的收敛性可知,对每个  ,存在  ,使得对任一对比  大的正整数对 m 和 n 都有  。定义  ,则前一句话中的  可以改成 N。[7][12]

对 X 中每个点 x,存在一个  使得  。而对于任何比 N 大的正整数对 m 和 n,都有  ,此外由

    

可知  [7][12]

因此, 是一个  上的柯西列,因为  是完备的可推得  也是,所以   的一致收敛子序列。[7][12]

参考来源

编辑
  1. ^ Ascoli, G. (1883–1884), "Le curve limiti di una varietà data di curve", Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat. 18 (3): 521–586 .
  2. ^ Arzelà, Cesare (1882–1883), "Un'osservazione intorno alle serie di funzioni", Rend. Dell' Accad. R. Delle Sci. Dell'Istituto di Bologna: 142–159 .
  3. ^ Arzelà, Cesare (1895), "Sulle funzioni di linee", Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat. 5 (5): 55–74 .
  4. ^ O. Williamson. The Arzel-Ascoli Theorem (PDF). Department of Mathematics and Statistics University of Reading. 2014-03-03 [2017-03-12]. [永久失效链接]
  5. ^ 丁同仁. 常微分方程教程. 高等教育出版社. 2004: 70-74. ISBN 9787040143690. 
  6. ^ Louis Auslander. Unitary Representations of Locally Compact Groups: The Elementary and Type I Theory. Department of Mathematics, Yale University. 1962. 
  7. ^ 7.0 7.1 7.2 7.3 7.4 7.5 7.6 7.7 卓里奇. 数学分析 2. 高等教育出版社. 2006: 348-350. ISBN 9787040202571. 
  8. ^ 8.0 8.1 Ascoli-Arzelà theorem. PlanetMath. [2017-03-11]. (原始内容存档于2017-03-12). 
  9. ^ Dunford, Nelson; Schwartz, Jacob T. (1958), Linear operators, volume 1, Wiley-Interscience
  10. ^ Kelley, J. L.; Namioka, I. (1982), Linear Topological Spaces, Springer-Verlag, ISBN 978-0387901695
  11. ^ Kelley, J. L. (1975), General topology, Springer-Verlag, ISBN 978-0387901251
  12. ^ 12.0 12.1 12.2 12.3 12.4 12.5 V. Hutson,J. Pym,M. Cloud. Applications of Functional Analysis and Operator Theory. Elsevier. 2015: 154-155. ISBN 9780080527314. 

本条目含有来自PlanetMathAscoli-Arzelà theorem》的内容,版权遵守知识共享协议:署名-相同方式共享协议