scientific article; zbMATH DE number 2058514
Foundations: limits and generalizations, elementary topology of the line (26A03) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24)
A very attractive piece of research, in both scientific and didactic respects; 37 pairwise equivalent conditions are presented, characterizing the ordered field \(K\) of real numbers. We select here some of them: (1) \(K\) is Archimedean and Cauchy-complete; (2) Principle of monotonous convergence; (5) Bolzano-Weierstrass theorem; (6) The existence of the supremum for any non-empty set bounded from above; (7) Connectedness of the interval \([0,1]\); (9) All intervals are connected; (10) Bolzano theorem of intermediate value; (14) For any continuous function \(f\) on \([a,b]\) the maximum is a value of \(f\); (15) Rolle theorem; (18) Taylor development with Lagrange rest; (20) \(f'\equiv 0\Rightarrow f\) const.; (21) \(f'\geq 0\Rightarrow f\) monotonous increasing; (22) \(f'\geq 0\Rightarrow f\) convex; (23) \([0,1]\) is compact; (25) \(K\) is Archimedean, while continuous functions on \([a,b]\) are uniformly continuous; (28) Any continuous function on \([a,b]\) is bounded from above by a natural number; (35) \(K\) is Archimedean and satisfies the majorant criteriom; (37) \(K\) is Archimedean, while any absolutely convergent sequence is convergent. For previous work of this type see \textit{H. G. Steiner} [``Äquivalente Fassungen des Voll\-stän\-dig\-keits\-axioms für die Theorie der reellen Zahlen, Math.-Phys. Semesterber., N.F. 13, 180--201 (1966; Zbl 0147.04201)] and the book in preparation by the author.
- On characterizations of the ordered field of real numbers
- \(72+42\): characterizations of the completeness and Archimedean properties of ordered fields
- Real analysis in reverse
- The theory of functions of a real variable and the theory of Fourier series. 2nd ed. revised and enlarged. Vol. I (1921), II.
- Toward a more complete list of completeness axioms
- scientific article; zbMATH DE number 1405589
- Completeness of ordered fields and a trio of classical series tests
- More of Dedekind: his series test in normed spaces
- \(72+42\): characterizations of the completeness and Archimedean properties of ordered fields
- On characterizations of the ordered field of real numbers
- scientific article; zbMATH DE number 715465 (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
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4455119)
