シャウダーの不動点定理
数学においてシャウダーの不動点定理(シャウダーのふどうてんていり、英: Schauder fixed point theorem)は、ブラウワーの不動点定理を無限次元であることもある線型位相空間に拡張したものである。 を、ハウスドルフ線型位相空間 の凸部分集合とし、 を からそれ自身への連続写像で が のコンパクト部分集合であるようなものとする。このとき、 は不動点を持つというのが定理の主張である。
その結果として得られるシェファーの不動点定理(Schaefer's fixed point theorem)と呼ばれるものは、非線形偏微分方程式の解の存在を示す上で特に有用となる。シェファーの定理は実際、ユリウス・シャウダーとジャン・ルレイによって発見されていたルレイ=シャウダーの定理の特別な場合である。その内容は次のようなものである:
をバナッハ空間 からそれ自身への連続かつコンパクトな写像で、集合
が有界となるようなものとする。このとき は不動点を持つ。
歴史
編集この定理は、ユリウス・シャウダーによって1930年、バナッハ空間のような特別な場合に対して証明が与えられていた。一般の場合に対する彼の予想は、Scottish book において発表されていた。1934年、アンドレイ・チコノフは、この定理を K が局所凸位相ベクトル空間のコンパクト凸部分集合である場合に証明した。この場合の定理は、シャウダー=チコノフの不動点定理(Schauder-Tychonoff fixed point theorem)としても知られている。B. V. Singbal は、この定理をより一般に K がコンパクトでない場合も含めて証明した。その証明は、Bonsall の本(参考文献を参照)の補遺に示されている。局所凸性も仮定しない完全な結果は、Robert Cauty によって2001年に証明された。
関連項目
編集参考文献
編集- 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
外部リンク
編集- Hazewinkel, Michiel, ed. (2001), “Schauder theorem”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
- Schauder fixed point theorem - PlanetMath.org with attached proof (for the Banach space case).