On a continuity theorem for constructive functions
Logic
2007-12-03 v1 Functional Analysis
Abstract
One proves that any everywhere defined constructive mapping from a complete metric space into a complete metric space which preserves the property of precompacity of subsets is locally uniformly continuous. This fact can be viewed as interpretation of L. E. J. Brower's fan theorem in terms of A. A. Markov's constructive analysis.
Cite
@article{arxiv.0711.4963,
title = {On a continuity theorem for constructive functions},
author = {A. A. Vladimirov},
journal= {arXiv preprint arXiv:0711.4963},
year = {2007}
}
Comments
13 pages