シャウダーの不動点定理

3行要約

1. コンパクト凸集合から自身への連続写像が、少なくとも一つの不動点を持つという数学の定理である。
2. ブラウワーの不動点定理を無限次元のバナッハ空間へ拡張したものであり、関数解析学の重要課題。
3. 非線形微分方程式の解の存在を証明する際などに、強力な道具として利用される。