On a Continuity Theorem for Constructive Functions

被引：0

作者：

Vladimirov A.A. ^{[1
]}

机构：

[1] Dorodnitsyn Computing Center, Moscow

来源：

Journal of Mathematical Sciences | 2014年 / 199卷 / 1期

关键词：

Limit Point; Arbitrary Point; Semantic System; Constructive Function; Continuity Theorem;

D O I：

10.1007/s10958-014-1828-9

中图分类号：

学科分类号：

摘要：

We prove that any everywhere defined constructive mapping from a compact metric space into a complete metric space that preserves the precompactness of subsets is uniformly continuous. Bibliography: 8 titles. © 2014 Springer Science+Business Media New York.

引用

页码：6 / 15

页数：9

共 50 条

[1] A constructive uniform continuity theorem
Ishihara, H
Schuster, P
[J]. QUARTERLY JOURNAL OF MATHEMATICS, 2002, 53 : 185 - 193
[2] Constructive equivalents of the uniform continuity theorem
Berger, J
[J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2005, 11 (12) : 1878 - 1883
[3] DIFFERENTIABILITY AND UNIFORM CONTINUITY OF CONSTRUCTIVE FUNCTIONS
KUSHNER, BA
[J]. DOKLADY AKADEMII NAUK SSSR, 1985, 281 (06): : 1314 - 1316
[4] Sequential continuity of functions in constructive analysis
Bridges, D
Mahalanobis, A
[J]. MATHEMATICAL LOGIC QUARTERLY, 2000, 46 (01) : 139 - 143
[5] A PROOF OF THE CONTINUITY THEOREM FOR CHARACTERISTIC FUNCTIONS
SADOOGHIALVANDI, SM
[J]. STATISTICS & PROBABILITY LETTERS, 1993, 16 (01) : 27 - 28
[6] INVARIANT CONTINUITY THEOREM FOR MEROMORPHIC FUNCTIONS
AURICH, V
[J]. MANUSCRIPTA MATHEMATICA, 1980, 31 (1-3) : 149 - 166
[7] Uniqueness, continuity and the existence of implicit functions in constructive analysis
Diener, H.
Schuster, P.
[J]. LMS JOURNAL OF COMPUTATION AND MATHEMATICS, 2011, 14 : 127 - 136
[8] A Constructive Proof of the Leech Theorem for Rational Matrix Functions
Trent, Tavan T.
[J]. INTEGRAL EQUATIONS AND OPERATOR THEORY, 2013, 75 (01) : 39 - 48
[9] A Constructive Proof of the Leech Theorem for Rational Matrix Functions
Tavan T. Trent
[J]. Integral Equations and Operator Theory, 2013, 75 : 39 - 48
[10] CONSTRUCTIVE CONTINUITY
MANDELKIERN, M
[J]. MEMOIRS OF THE AMERICAN MATHEMATICAL SOCIETY, 1983, 42 (277) : 1 - &

← 1 2 3 4 5 →