Overspill: Difference between revisions
en>SchreiberBike Disambiguation needed for the link Extension (mathematics) |
en>Mark viking Added wl |
||
Line 1: | Line 1: | ||
The '''Schauder fixed point theorem''' is an extension of the [[Brouwer fixed point theorem]] to [[topological vector space]]s, which may be of infinite dimension. It asserts that if <math>K</math> is a [[convex set|convex]] subset of a topological vector space <math>V</math> and <math>T</math> is a continuous mapping of <math>K</math> into itself so that <math>T(K)</math> is contained in a [[compact set|compact]] subset of <math>K</math>, then <math>T</math> has a [[fixed point (mathematics)|fixed point]]. | |||
A consequence, called '''Schaefer's fixed point theorem''', is particularly useful for proving existence of solutions to [[nonlinear]] [[partial differential equations]]. | |||
Schaefer's theorem is in fact a special case of the far reaching [[Leray–Schauder theorem]] which was discovered earlier by [[Juliusz Schauder]] and [[Jean Leray]]. | |||
The statement is as follows: | |||
Let <math>T</math> be a continuous and compact mapping of a Banach space <math>X</math> into itself, such that the set | |||
: <math> | |||
\{ x \in X : x = \lambda T x \mbox{ for some } 0 \leq \lambda \leq 1 \} | |||
</math> | |||
is bounded. Then <math>T</math> has a fixed point. | |||
==History== | |||
The theorem was conjectured and proven for special cases, such as Banach spaces, by Juliusz Schauder in 1930. His conjecture for the general case was published in the [[Scottish Café|Scottish book]]. In 1934, [[Andrey Nikolayevich Tychonoff|Tychonoff]] proved the theorem for the case when ''K'' is a compact convex subset of a [[Locally convex topological vector space|locally convex]] space. This version is known as the '''Schauder–Tychonoff fixed point theorem'''. B. V. Singbal proved the theorem for the more general case where ''K'' may be non-compact; the proof can be found in the appendix of Bonsall's book (see references). The full result (without the assumption of local convexity) was finally proven by Robert Cauty in 2001. | |||
==See also== | |||
* [[Fixed-point theorem]]s | |||
* [[Banach fixed point theorem]] | |||
* [[Kakutani fixed point theorem]] | |||
==References== | |||
*J. Schauder, ''Der Fixpunktsatz in Funktionalräumen'', Studia Math. 2 (1930), 171–180 | |||
*A. Tychonoff, ''Ein Fixpunktsatz'', Mathematische Annalen 111 (1935), 767–776 | |||
*F. F. Bonsall, ''Lectures on some fixed point theorems of functional analysis'', Bombay 1962 | |||
*Robert Cauty, ''Solution du problème de point fixe de Schauder'', Fund. Math. 170 (2001), 231-246 | |||
*D. Gilbarg, [[N. Trudinger]], ''Elliptic Partial Differential Equations of Second Order''. ISBN 3-540-41160-7. | |||
* E. Zeidler, ''Nonlinear Functional Analysis and its Applications, ''I'' - Fixed-Point Theorems'' | |||
==External links== | |||
* {{springer|title=Schauder theorem|id=p/s083320}} | |||
* {{planetmath reference|title=Schauder fixed point theorem|id=4455}} with attached proof (for the Banach space case). | |||
{{Functional Analysis}} | |||
[[Category:Fixed-point theorems]] | |||
[[Category:Fixed points (mathematics)]] | |||
[[Category:Functional analysis]] | |||
[[Category:Theorems in topology]] |
Latest revision as of 22:46, 20 September 2013
The Schauder fixed point theorem is an extension of the Brouwer fixed point theorem to topological vector spaces, which may be of infinite dimension. It asserts that if is a convex subset of a topological vector space and is a continuous mapping of into itself so that is contained in a compact subset of , then has a fixed point.
A consequence, called Schaefer's fixed point theorem, is particularly useful for proving existence of solutions to nonlinear partial differential equations. Schaefer's theorem is in fact a special case of the far reaching Leray–Schauder theorem which was discovered earlier by Juliusz Schauder and Jean Leray. The statement is as follows:
Let be a continuous and compact mapping of a Banach space into itself, such that the set
is bounded. Then has a fixed point.
History
The theorem was conjectured and proven for special cases, such as Banach spaces, by Juliusz Schauder in 1930. His conjecture for the general case was published in the Scottish book. In 1934, Tychonoff proved the theorem for the case when K is a compact convex subset of a locally convex space. This version is known as the Schauder–Tychonoff fixed point theorem. B. V. Singbal proved the theorem for the more general case where K may be non-compact; the proof can be found in the appendix of Bonsall's book (see references). The full result (without the assumption of local convexity) was finally proven by Robert Cauty in 2001.
See also
References
- J. Schauder, Der Fixpunktsatz in Funktionalräumen, Studia Math. 2 (1930), 171–180
- A. Tychonoff, Ein Fixpunktsatz, Mathematische Annalen 111 (1935), 767–776
- F. F. Bonsall, Lectures on some fixed point theorems of functional analysis, Bombay 1962
- Robert Cauty, Solution du problème de point fixe de Schauder, Fund. Math. 170 (2001), 231-246
- D. Gilbarg, N. Trudinger, Elliptic Partial Differential Equations of Second Order. ISBN 3-540-41160-7.
- E. Zeidler, Nonlinear Functional Analysis and its Applications, I - Fixed-Point Theorems
External links
- Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
my web-site http://himerka.com/ - Template:Planetmath reference with attached proof (for the Banach space case).