Misplaced Pages

Fixed-point theorems in infinite-dimensional spaces

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.
(Redirected from Tikhonov fixed-point theorem) Theorems generalizing the Brouwer fixed-point theorem

In mathematics, a number of fixed-point theorems in infinite-dimensional spaces generalise the Brouwer fixed-point theorem. They have applications, for example, to the proof of existence theorems for partial differential equations.

The first result in the field was the Schauder fixed-point theorem, proved in 1930 by Juliusz Schauder (a previous result in a different vein, the Banach fixed-point theorem for contraction mappings in complete metric spaces was proved in 1922). Quite a number of further results followed. One way in which fixed-point theorems of this kind have had a larger influence on mathematics as a whole has been that one approach is to try to carry over methods of algebraic topology, first proved for finite simplicial complexes, to spaces of infinite dimension. For example, the research of Jean Leray who founded sheaf theory came out of efforts to extend Schauder's work.

Schauder fixed-point theorem: Let C be a nonempty closed convex subset of a Banach space V. If f : CC is continuous with a compact image, then f has a fixed point.

Tikhonov (Tychonoff) fixed-point theorem: Let V be a locally convex topological vector space. For any nonempty compact convex set X in V, any continuous function f : XX has a fixed point.

Browder fixed-point theorem: Let K be a nonempty closed bounded convex set in a uniformly convex Banach space. Then any non-expansive function f : KK has a fixed point. (A function f {\displaystyle f} is called non-expansive if f ( x ) f ( y ) x y {\displaystyle \|f(x)-f(y)\|\leq \|x-y\|} for each x {\displaystyle x} and y {\displaystyle y} .)

Other results include the Markov–Kakutani fixed-point theorem (1936-1938) and the Ryll-Nardzewski fixed-point theorem (1967) for continuous affine self-mappings of compact convex sets, as well as the Earle–Hamilton fixed-point theorem (1968) for holomorphic self-mappings of open domains.

Kakutani fixed-point theorem: Every correspondence that maps a compact convex subset of a locally convex space into itself with a closed graph and convex nonempty images has a fixed point.

See also

References

External links

Category: