Z-stability in Constructive Analysis

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 no...

Full description

Bibliographic Details
Main Authors: Douglas Bridges, James Dent, Maarten McKubre-Jordens
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2017-04-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/2031/pdf