Unveiling the Foundations: Reverse Mathematics of Caristi's Fixed Point Theorem & Ekeland's Variational Principle 🔍

The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: Caristi's fixed point theorem is a fixed point theorem for functions that are controlled by continuous functions but are necessarily continuous themselves. Let a 'Caristi system' be a tuple (X,V,f), where X is a complete separable metric space, V is a continuous function from X to the non-negative reals, and f is an arbitrary function from X to X such that for all x in X, d(x,f(x)) ≤ V(x) - V(f(x)). Caristi's fixed point theorem states that if (X,V,f) is a Caristi system, then f has a fixed point. In fact, Caristi's fixed point theorem also holds if V is only lower semi-continuous. in this talk, we explore the strengths of Caristi's fixed point theorem and related statements, such as Ekeland's variational principle, which vary from WKL0 in certain special cases to beyond Pi11-CA0.