Content deleted Content added
formatting |
m Added reference to Banach's fixed point theorem as a remark |
||
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]] (a previous result in a different vein, the [[Banach fixed-point theorem]] for [[Contraction mapping|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 complex]]es, 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.
<blockquote>'''[[Schauder fixed-point theorem]]:''' Let ''C'' be a [[nonempty]] [[Closed set|closed]] [[Convex set|convex]] subset of a [[Banach space]] ''V'', if ''f'' : ''C'' → ''C'' is [[continuous function|continuous]] with a [[compact set|compact]] image, then ''f'' has a fixed point.</blockquote>
| |||