阿爾澤拉-阿斯科利定理

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

數學中,阿爾澤拉-阿斯科利定理泛函分析中的一個定理,給出了從緊緻度量空間射到度量空間的函數集合一致收斂拓撲意義上是緊集的一個充分必要條件。其中主要涉及的條件是函數集的等度連續性質。

等度連續的概念大約是在十九世紀的八十年代由兩位意大利數學家朱利奧·阿斯科利(於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》的內容,版權遵守知識共享協議:署名-相同方式共享協議