Abstract
We formulate and prove in Mizar the Ascoli-Arzelà’s theorem, which gives necessary and sufficient conditions for a collection of continuous functions to be compact. We use the metric space setting, and the notions of equicontinuousness and equiboundedness of a set of continuous functions are utilized.
Language: English
Page range: 141 - 147
Submitted on: Nov 28, 2024
Published on: Dec 31, 2024
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2024 Keiichi Miyajima, Hiroshi Yamazaki, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 3.0 License.