-continuity and monotone operators

DOI10.2140/PJM.1984.115.385MaRDI QIDQ790110zbMATH OpenOpenAlexFDO

Authors William H. Julian

Publication date 1984

Published in Pacific Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2140/pjm.1984.115.385

zbMATH Keywords

Bishop's constructive mathematicsBrouwer's fan theoremepsilon-continuity

Mathematics Subject Classification ID

Other constructive mathematics (03F65) Continuity and related questions (modulus of continuity, semicontinuity, discontinuities, etc.) for real functions in one variable (26A15)

Review text

We prove constructively in the sense of Bishop that a monotone, \(\epsilon\)-continuous operation from [0,1] into a metric space is 2\(\epsilon\)-uniformly continuous. We derive a suitable version of Brouwer's fan theorem.

Recommendations

• A continuity principle equivalent to the monotone \(\Pi^0_1\) fan theorem
• What is continuity, constructively?
• Constructive equivalents of the uniform continuity theorem
• Constructive continuity
• Continuity of monotone functions

This page was built for publication: \(\epsilon\)-continuity and monotone operators

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