The Schauder fixed-point theorem is an extension of the Brouwer fixed-point theorem to locally convex topological vector spaces, which may be of infinite dimension. It asserts that if is a nonempty convex closed subset of a Hausdorff locally convex topological vector space and is a continuous mapping of into itself such that is contained in a compact subset of , then has a fixed point.