72+42: characterizations of the completeness and Archimedean properties of ordered fields

DOI10.14321/REALANALEXCH.39.2.0261MaRDI QIDQ2356299zbMATH OpenOpenAlexFDO

Authors Michael Deveau, Holger Teismann

Publication date 29 July 2015

Published in Real Analysis Exchange (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1507.03919, https://projecteuclid.org/euclid.rae/1435669996

zbMATH Keywords

Archimedean propertycompletenessordered fieldsingle variable analysis

Mathematics Subject Classification ID

Ordered fields (12J15) Research exposition (monographs, survey articles) pertaining to real functions (26-02) Foundations: limits and generalizations, elementary topology of the line (26A03) One-variable calculus (26A06) Real-valued functions in general topology (54C30)

Abstract: The paper continues the intriguing theme that many key facts of (single-variable) Real Analysis are not only crucially dependent on the completeness of the real numbers, but are actually equivalent to it. The list of these characterizations of completeness is long and contains many prominent items, but so far the "biggest price", the Fundamental Theorem of Calculus (FTC), had resisted inclusion in the list. We show that the FTC $can$ be included, if one considers uniformly differentiable anti-derivatives. In the process, we exhibit some interesting facts about uniformly differentiable functions, including an additional characterization of completeness. We also discuss the second part of the FTC, the "Evaluation Theorem".

Review text

In this survey, the authors provide a comprehensive list of statements of real analysis of one variable that are equivalent to the completeness, or to the Archimedean property, of totally ordered fields. There are 72 characterizations of completeness and 42 characterization of the Archimedean property. Some of these statements include basic theorems for which the equivalence is well-known, some other ones are more unusual and do not seem to have previously been mentioned in this context, in which case complete proofs are provided.

Recommendations

• On characterizations of the ordered field of real numbers
• scientific article; zbMATH DE number 2058514
• Toward a more complete list of completeness axioms
• A Comparison of the Archimedean and Completeness Properties
• Real analysis in reverse

Cited in

(19)

• Increasing positive monoids of ordered fields are FF-monoids
• Completeness of ordered fields and a trio of classical series tests
• More of Dedekind: his series test in normed spaces
• Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications
• First-order continuous induction and a logical study of real closed fields
• Real analysis in reverse
• Would real analysis be complete without the fundamental theorem of calculus?
• On characterizations of the ordered field of real numbers
• scientific article; zbMATH DE number 7293605 (Why is no real title available?)
• scientific article; zbMATH DE number 3963988 (Why is no real title available?)
• scientific article; zbMATH DE number 715465 (Why is no real title available?)
• scientific article; zbMATH DE number 2058514 (Why is no real title available?)
• A functional equation characterization of Archimedean ordered fields
• Another Face of the Archimedean Property
• Toward a more complete list of completeness axioms
• The instructor's guide to real induction
• A Comparison of the Archimedean and Completeness Properties
• Littlewood's principles in reverse real analysis
• The fabulous destiny of Richard Dedekind

This page was built for publication: \(72+42\): characterizations of the completeness and Archimedean properties of ordered fields

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