定義 壓縮映射 設是度量空間,
是
到
中的映射,如果存在一個數
,
, 使得對所有的
則稱T是壓縮映射.
定理1 壓縮映射定理(不動點定理) 壓縮映射有唯一的不動點.
設是完備的度量空間,
是
上的壓縮映射,那么
有且只有一個不動點(也就是說,方程
有且只有一個解).
證明 略.
定理2 隱函數存在定理 設函數在帶狀區域
中處處連續,且處處有關于y的偏導數
. 如果還存在常數m和M,滿足
,
,
則方程在區間
上必有唯一的連續函數
作為解,即
證明 在完備空間 中作映射
, 使得對任意的函數
, 有
. 按照定理條件,
是連續的, 因此
也連續, 即
. 所以
是
到自身的映射.
現在證明A是壓縮映射. 任取, 根據微分中值定理, 存在
, 滿足
由于, 所以令
, 則有
, 且
按中距離的定義, 即知
因此 是壓縮映射. 由壓縮映射原理, 存在唯一的
, 滿足
, 即
. 因此,
證畢.