作为完备度量空间概念的应用,我们介绍巴拿赫( 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).
定理2【隐函数存在定理】
设函数 f ( x , y ) f ( x , y ) f(x,y) 在带状域
a ⩽ x ⩽ b , − ∞ < y < ∞ a \leqslant x \leqslant b , \quad - \infty < y < \infty a⩽x⩽b,−∞<y<∞
中处处连续,且处处有关于 y y y 的偏导数 f y ′ ( x , y ) . f _ { y } ^ { \prime } ( x , y ) . fy′(x,y).
如 果还存在常数 m m m 和 M , M , M, 满 足
0 < m ⩽ f y ′ ( x , y ) ⩽ M , m < M , 0 < m \leqslant f _ { y } ^ { \prime } ( x , y ) \leqslant M , m < M , 0<m⩽fy′(x,