A systematic generalization procedure for fixed-point theorems

From MaRDI portal





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.











This page was built for publication: A systematic generalization procedure for fixed-point theorems

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