|
Zapiski Nauchnykh Seminarov POMI, 2012, Volume 407, Pages 17–34
(Mi znsl5484)
|
|
|
|
On some continuity theorem for constructive functions
A. A. Vladimirov Dorodnitsyn Computing Center, Moscow, Russia
Abstract:
One proves that any everywhere defined constructive mapping from a compact metric space into a complete metric space which preserves the property of precompacity of subsets is uniformly continuous.
Key words and phrases:
constructive metric space, compacity, Hausdorff metric, uniform continuity.
Received: 16.04.2012
Citation:
A. A. Vladimirov, “On some continuity theorem for constructive functions”, Studies in constructive mathematics and mathematical logic. Part XII, Zap. Nauchn. Sem. POMI, 407, POMI, St. Petersburg, 2012, 17–34; J. Math. Sci. (N. Y.), 199:1 (2014), 6–15
Linking options:
https://www.mathnet.ru/eng/znsl5484 https://www.mathnet.ru/eng/znsl/v407/p17
|
Statistics & downloads: |
Abstract page: | 203 | Full-text PDF : | 68 | References: | 25 |
|