A systematic generalization procedure for fixed-point theorems (Q5928704)

This paper presents another way to explore theorems through the sharing of hypotheses (two standard ways of exploring theorems are by weakening the hypotheses and strengthening the conclusion) and it develops this idea in the context of three classical fixed-point theorems: the Banach contraction principle, the Tarski fixed-point theorem for complete lattices and the Brouwer fixed-point theorem for solid \(n\)-spheres.