Content deleted Content added
Rm pargrph until I hear from contrib. This page needs a careful read from somebody knowing these things (eg, explain why the name of Leray was mentioned in the first paragraph), elaborate on Tikhonov. |
expand and clarify introduction |
||
Line 1:
In [[mathematics]], a number of '''[[fixed point (mathematics)|fixed point]] theorems in infinite-dimensional spaces''' generalise the [[Brouwer fixed point theorem]]. They have applications, for example, to the proof of [[existence theorem]]s for [[partial differential equation]]s
The first result in the field was the '''Schauder fixed point theorem''', proved in 1930 by [[Juliusz Schauder]]. 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 complex]]es, to spaces of infinite dimension. For example, the research of [[Jean Leray]] founding [[sheaf theory]] came out of efforts to extend Schauder's work.
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 function|continuous map]] from ''C'' to ''C'' whose image is [[compact set|countably compact]], then ''f'' has a fixed point.
| |||