Dini's theorem: A constructive case study

MaRDI QIDQ2752144zbMATH OpenFDO

Authors Douglas Bridges

Publication date 9 February 2003

zbMATH Keywords

Ascoli's theoremconstructive mathematicsDini's theoremequicontinuityincreasing sequences of continuous functionsuniform convergence

Mathematics Subject Classification ID

Constructive real analysis (26E40)

Review text

This paper deals with constructive aspects of Dini's theorem -- on the uniform convergence of increasing sequences of continuous functions. The main result, for compact metric spaces, establishes the theorem constructively under the additional hypothesis of equicontinuity. The key to the proof is a constructive form of Ascoli's theorem due to Errett Bishop. Several other constructive forms of Dini's theorem, with various special hypotheses, are also given. The paper includes several conjectures and suggestions for further work. Also noteworthy is an introduction which includes a concise and very readable overview of the various forms of constructive mathematics, their relation to computer science and logic, and references to recent work. For the entire collection see [Zbl 0967.00065].

Recommendations

• scientific article; zbMATH DE number 27504
• A note on a paper ``The generalizations of the Dini theorem
• A variant formulation of Dini's theorem
• Dugundji's theorem revisited
• Classifying Dini's theorem
• On Dinur’s proof of the PCP theorem
• On a convergence theorem of Dini
• On a Ditzian-Totik theorem
• On the Dinitz conjecture and related conjectures

Cited in

(4)

• Dini’s Theorem in the Light of Reverse Mathematics
• A constructive version of the extremum value theorem for spaces of vector-valued functions
• From Bolzano‐Weierstraß to Arzelà‐Ascoli
• Classifying Dini's theorem

Describes a project that uses

Uses Software

• Nuprl

This page was built for publication: Dini's theorem: A constructive case study

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2752144)