The Schauder fixed-point theorem is a fundamental result in fixed-point theory, particularly in the context of functional analysis and topology. It provides conditions under which a continuous function mapping a convex compact subset of a Banach space (or more generally, in a topological vector space) has at least one fixed point.
Articles by others on the same topic
Every continuous map from a nonempty compact convex set in a Banach space to itself has a fixed point. A useful equivalent form takes a nonempty closed bounded convex set and a continuous map whose image is relatively compact. To obtain this version from the compact-domain version, restrict to and use closed convex hull of a compact set.
For a proof on , the Schauder approximation lemma gives continuous maps with finite-dimensional and . The Brouwer fixed-point theorem on the nonempty compact convex set gives , so . A convergent subsequence as and the continuity of give an exact fixed point.