バナッハの不動点定理（縮小写像の原理）は、完備距離空間上の縮小写像が一意の不動点をもつことを保証します。微分方程式の解の存在証明などに広く応用されます。
縮小写像の定義
距離空間 上の写像 が 縮小写像 であるとは、ある定数 が存在して
が成り立つことをいいます。この を縮小定数といいます。
縮小写像は一様連続ですが、リプシッツ連続より強い条件です。
定理の主張
を空でない完備距離空間、 を縮小写像とします。このとき
存在
は一意の不動点 （すなわち ）をもちます。
収束
任意の初期点 に対して、反復列 は に収束します。
収束速度
が成り立ちます。
証明の概略
任意の から始めて で点列を構成します。縮小性から
これより はコーシー列です。 の完備性から極限 が存在し、 の連続性から が従います。
一意性は、, とすると より となることからわかります。
応用例
常微分方程式の解の存在
初期値問題 , を積分方程式 に変換します。 がリプシッツ条件を満たせば、右辺を作用素とみなして縮小写像の原理が適用できます（ピカールの定理）。
非線形方程式の解法
方程式 を として反復 で解く方法は、 が縮小写像なら収束が保証されます。
バナッハ空間に限らず完備距離空間で成り立つため、応用範囲が非常に広い定理です。
