作为完备度量空间概念的应用,我们介绍巴拿赫( Banach)的压缩映射原理,它在许多关于存在唯一性的定理(例如微分方程、代数方程、积分方程等)的证明中是一个有力的工具
定义
设 X X X 是度量空间, T T T 是 X X X 到 X X X 中 的映射,如果存在一个数 α , 0 < α < 1 , \alpha , 0 < \alpha < 1 , α,0<α<1, 使得对所有的 x , y ∈ X , x , y \in X , x,y∈X,
d ( T x , T y ) ⩽ α d ( x , y ) , ( 1 ) d ( T x , T y ) \leqslant \alpha d ( x , y ) ,\quad\quad(1) d(Tx,Ty)⩽αd(x,y),(1)
则称 T T T 是压缩映射。
压缩映射在几何上的意思是说点 x x x 和 y y y 经 T T T 映射后,它们像的距离缩短了,不超过 d ( x , y ) d ( x , y ) d(x,y) 的 α \alpha α 倍 ( α < 1 ) . ( \alpha < 1 ) . (α<1).
定理1(压缩映射原理)
设 X X X 是 完备的度量空间, T T T 是 X X X 上的压缩映射,那么 T T T有且只有一个不动点(就是说,方程 T x = x T x = x Tx=x 有且只有一个解).
证明
设 x 0 x _ { 0 } x0 是 X X X 中任意一点.令 x 1 = T x 0 , x 2 = T x 1 = T 2 x 0 , ⋯ , x n = T x n − 1 = T n x 0 , ⋯ . x _ { 1 } = T x _ { 0 } , x _ { 2 } = T x _ { 1 } = T ^ { 2 } x _ { 0 } , \cdots , x _ { n } = T x _ { n - 1 } = T ^ { n } x _ { 0 } , \cdots . x1=Tx0,x2=Tx1=T2x0,⋯,xn