Z-stability in constructive analysis

DOI10.2168/LMCS-12(3:10)2016MaRDI QIDQ2974781zbMATH OpenOpenAlexFDO

Authors Douglas Bridges, James B. Dent, Maarten McKubre-Jordens

Publication date 11 April 2017

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1602.07368

zbMATH Keywords

\(Z\)-stabilityanti-Speckerconstructivitypositivity principlewell-behaved function

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60)

Abstract: We introduce Z-stability, a notion capturing the intuition that if a function f maps a metric space into a normed space and if the norm of f(x) is small, then x is close to a zero of f. Working in Bishop's constructive setting, we first study pointwise versions of Z-stability and the related notion of good behaviour for functions. We then present a recursive counterexample to the classical argument for passing from pointwise Z-stability to a uniform version on compact metric spaces. In order to effect this passage constructively, we bring into play the positivity principle, equivalent to Brouwer's fan theorem for detachable bars, and the limited anti-Specker property, an intuitionistic counterpart to sequential compactness. The final section deals with connections between the limited anti-Specker property, positivity properties, and (potentially) Brouwer's fan theorem for detachable bars.

Recommendations

• scientific article; zbMATH DE number 6386979
• The anti-Specker property, positivity, and total boundedness
• scientific article; zbMATH DE number 1948156
• Intuitionistic sequential compactness?
• Weak continuity properties in constructive analysis

Cites work

• A fan-theoretic equivalent of the antithesis of Specker's theorem
• A uniformly continuous function on [0,1] that is everywhere different from its infimum
• Constructive notions of equicontinuity
• scientific article; zbMATH DE number 6386979 (Why is no real title available?)
• scientific article; zbMATH DE number 3163006 (Why is no real title available?)
• scientific article; zbMATH DE number 5676623 (Why is no real title available?)
• scientific article; zbMATH DE number 4070894 (Why is no real title available?)
• Inheriting the anti-Specker property
• Reclassifying the antithesis of Specker's theorem
• The anti-Specker property, positivity, and total boundedness
• The Approximation of Fixed Points of a Continuous Mapping

This page was built for publication: \(Z\)-stability in constructive analysis

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