A Constructive Version of Ekeland's Variational Principle
arXiv:2606.10339
Abstract
Building on preliminary results about lower sections of real-valued functions on a metric space, we provide a constructive counterpart of Ekeland's theorem on the approximate optimisation of real-valued functions.