Ascoli-Arzelà Theorem (Metric Space Version)

[1] Cesare Arzelà. Sulle funzioni di linee. Mem. Accad. Sci. Ist. Bologna Cl. Sci. Fis. Mat., 5(5):55–74, 1895.Search in Google Scholar

[2] Giulio Ascoli. Le curve limite di una varietà data di curve. Atti della R. Accad. Dei Lincei Memorie della Cl. Sci. Fis. Mat. Nat., 18(3):521–586, 1883–1884.Search in Google Scholar

[3] Bruce K. Driver. Analysis Tools with Applications. Springer, Berlin, 2003.Search in Google Scholar

[4] John L. Kelley. General Topology, volume I, II. von Nostrand, 1955.Search in Google Scholar

[5] Serge Lang. Real and Functional Analysis (Texts in Mathematics). Springer-Verlag, 1993.Search in Google Scholar

[6] The mathlib Community. The Lean mathematical library. In Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, CPP 2020, pages 367–381, New York, NY, USA, 2020. Association for Computing Machinery. doi:10.1145/3372885.3373824.Open DOISearch in Google Scholar

[7] Kazuo Matsuzaka. Sets and Topology (Introduction to Mathematics). IwanamiShoten, 2000.Search in Google Scholar

[8] Keiichi Miyajima and Hiroshi Yamazaki. Compactness of neural networks. Formalized Mathematics, 30(1):13–21, 2022. doi:10.2478/forma-2022-0002.Open DOISearch in Google Scholar

[9] Tohru Ozawa. Ascoli-Arzelà theorem. 2012.Search in Google Scholar

[10] Michael Read and Barry Simon. Functional Analysis (Methods of Modern Mathematical Physics). Academic Press, 1980.Search in Google Scholar

[11] Colin Rothgang, Artur Korniłowicz, and Florian Rabe. A new export of the Mizar Mathematical Library. In Fairouz Kamareddine and Claudio Sacerdoti Coen, editors, Intelligent Computer Mathematics, pages 205–210, Cham, 2021. Springer International Publishing. doi:10.1007/978-3-030-81097-9 17.Open DOISearch in Google Scholar

[12] Walter Rudin. Functional Analysis. New York, McGraw-Hill, 2nd edition, 1991.Search in Google Scholar

[13] Laurent Schwartz. Théorie des ensembles et topologie, tome 1. Analyse. Hermann, 1997.Search in Google Scholar

[14] Laurent Schwartz. Calcul différentiel, tome 2. Analyse. Hermann, 1997.Search in Google Scholar

[15] Hiroshi Yamazaki, Keiichi Miyajima, and Yasunari Shidama. Ascoli-Arzelà theorem. Formalized Mathematics, 29(2):87–94, 2021. doi:10.2478/forma-2021-0009.Open DOISearch in Google Scholar

[16] Kôsaku Yosida. Functional Analysis. Springer, 1980.Search in Google Scholar