Continuity of monotone functions
The author has obtained the following results for real functions on the closed unit interval in the style of \textit{E. A. Bishop's} Foundations of constructive analysis (1967): (Theorem 1) For nondecreasing f the following are equivalent, pointwise continuity, uniform continuity, f is antidecreasing \((f(x)<f(y)\to x<y)\) and approximates intermediate values. The proof uses an unpublished result by Mines and Richman that pointwise continuous functions approximate intermediate values; (Theorem 3) For increasing functions the existence of an inverse, the attaining of intermediate values, the approximation of intermediate values are equivalent. The proof uses the further result (Theorem 2) that increasing functions f have totally bounded sections \(X_{\alpha}=\{x:\quad f(x)\leq \alpha \}\) for all \(\alpha \geq f(0).\) Furthermore (Theorem 4) increasing pointwise continuous functions have increasing uniformly increasing inverses.
- Realizability interpretation of proofs in constructive analysis
- Unique existence, approximate solutions, and countable choice.
- Moore systems and Moore convergence classes of families of nets
- Monotone and convex restrictions of continuous functions
- Continuity of monotone functions with values in Banach lattices
- On the continuity of the inverses of strictly monotonic functions
- The pointwise limit of continuous monotonic functions and functions with bounded variation
- A General Constructive Intermediate Value Theorem
- Continuity and differentiability properties of monotone real functions of several real variables
- Exact calculation of inverse functions
- On monotonicity of real functions
- scientific article; zbMATH DE number 7297867 (Why is no real title available?)
- scientific article; zbMATH DE number 2213575 (Why is no real title available?)
- On Monotonous Separately Continuous Functions
- Logical Approaches to Computational Barriers
- The double negation of the intermediate value theorem
- Computer-assisted proofs for Lyapunov stability via sums of squares certificates and constructive analysis
- \(\epsilon\)-continuity and monotone operators
This page was built for publication: Continuity of monotone functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792477)
