Fixed-point theorems in infinite-dimensional spaces: Difference between revisions

Revision as of 04:11, 3 February 2005

Revision as of 04:48, 3 February 2005

Line 3:

The '''Schauder fixed point theorem''' states, in one version, that if ''C'' is a [[nonempty]] [[closed set|closed]] [[convex]] subset of a [[Banach space]] ''V'' and ''f'' is a continuous map from ''C'' to ''C'' whose image is [[compact|countably compact]], then ''f'' has a fixed point.

OneAnother variant of this theorem states that if ''U'' is an [[open subset]] of ''C'' containing the origin (zero), then any bounded, [[Contraction mapping|contractive map]] ''f'' on the closure of ''U'' has one, or both of the following properties: (1) ''f'' has a unique fixed point, or (2) there is a point ''x'' on the boundary of ''U'' such that ''f''(''x'') = ''a'' ''x'' for some 0 < a < 1.

The '''Tikhonov (Tychonoff) fixed point theorem''' is now applied to any [[locally convex topological vector space]] ''V''. For any non-empty [[compact]] convex set ''X'' in ''V'', and [[continuous function]]