Constructive Equivalents of the Uniform Continuity Theorem
نویسنده
چکیده
For the purpose of constructive reverse mathematics, we show the equivalence of the uniform continuity theorem to a series of propositions; this illuminates the relationship between Brouwer’s fan theorem and the uniform continuity theorem.
منابع مشابه
Factoring Out Intuitionistic Theorems: Continuity Principles and the Uniform Continuity Theorem
We prove the equivalence between some intuitionistic theorems and the conjunction of a continuity principle and a compactness principle over Bishop’s Constructive Mathematics within the programme of Constructive Reverse Mathematics. To clarify our line of thought, we first point out the relation between quasi-equicontinuity, quasi-uniform convergence, and the continuity principle saying that th...
متن کاملUniform Boundedness Principle for operators on hypervector spaces
The aim of this paper is to prove the Uniform Boundedness Principle and Banach-Steinhaus Theorem for anti linear operators and hence strong linear operators on Banach hypervector spaces. Also we prove the continuity of the product operation in such spaces.
متن کاملLebesgue's dominated convergence theorem in Bishop's style
We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993). 1. Both ...
متن کاملWhat is Continuity, Constructively?
The concept of continuity for mappings between metric spaces should coincide with that of uniform continuity in the case of a compact domain, and still give rise to a category. In Bishop’s constructive mathematics both requests can be fulfilled simultaneously, but then the reciprocal function has to be abandoned as a continuous function unless one adopts the fan theorem. This perhaps little sat...
متن کاملUniqueness, Continuity, and Existence of Implicit Functions in Constructive Analysis
We extract a quantitative variant of uniqueness from the usual hypotheses of the implicit functions theorem. This leads not only to an a priori proof of continuity, but also to an alternative, fully constructive existence proof.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 11 شماره
صفحات -
تاریخ انتشار 2005