数学 旧 .com 迁移

泛函分析-徐小绪:度量空间 / 压缩映射原理

从旧 .com 全量搬运的历史内容,来源路径:/math/课程/泛函分析-徐小绪/章节/度量空间/压缩映射原理/

迁移来源

definition

T:(X,ρ)(X,ρ)T:(\mathscr X,\rho)\to(\mathscr X,\rho) 是一个映射.

若存在 0<α<10<\alpha<1 是的 ρ(T(x),T(y))αρ(x,y) x,yX\rho(T(x),T(y))\leqslant\alpha\rho(x,y)\ \forall x,y\in \mathscr X 则称 TT 是压缩映射.

definition

T:(X,ρ)(Y,r)T:(\mathscr X,\rho)\to(\mathscr Y,r) 是一个映射, 若对于 X\mathscr X 中的任意收敛列 {xn}\lbrace x_n\rbrace (收敛至 xx), 都有 {T(xn)}\lbrace T(x_n)\rbrace 收敛至 T(x)T(x) (r(T(xn),T(x))0r(T(x_n),T(x))\to 0), 则称 TT 是连续的.

tip

压缩映射一定是连续映射.

tip

(X,ρ)(\mathscr X,\rho) 是一个完备的度量空间, 若存在一个该度量空间上的压缩映射 TT, 则存在唯一的 xXx\in\mathscr X, 使得 Tx=xTx=x.

tip

若映射 TT 本身不一定是压缩映射, 但存在 nn 使得 TnT^n 是压缩映射, 则存在唯一的 xx, x=Txx=Tx.

question

题目 #

fL2[a,b],K(,)L2([a,b]×[a,b])f\in L^2[a,b], K(\cdot,\cdot)\in L^2([a,b]\times [a,b]), 证明:

x(t)=f(t)+λabK(t,s)x(s)dsx(t)=f(t)+\lambda\int_a^b K(t,s)x(s)\text{d} s

λ|\lambda| 充分小时有唯一解.

题目 #

证明定理 \ref{压缩::Tn压缩}

题目 #

(Volterra 积分方程) 设 K(,)C([a,b]×[a,b])K(\cdot,\cdot)\in C([a,b]\times[a,b]), 证明: 对于任意的 fC[a,b]f\in C[a,b] 下列积分方程

x(t)=f(t)+atK(t,s)x(s)dsx(t)=f(t)+\int_a^t K(t,s)x(s)\text{d} s

总有唯一解 xC[a,b]x\in C[a,b].

题目 #

(X,ρ)(\mathscr X,\rho) 是完备的度量空间且 X\mathscr X\neq\varnothing. T:(X,ρ)(X,ρ)T:(\mathscr X,\rho)\to(\mathscr X,\rho) 是压缩映射, 即存在 α(0,1)\alpha\in(0,1) 使

ρ(Tx,Ty)αρ(x,y)(x,yX)\rho(Tx,Ty)\leqslant\alpha \rho(x,y)\quad(\forall x,y\in\mathscr X)

对任意的 R0R\geqslant 0, 定义 AR:={xX:ρ(x,Tx)R}A_R:=\lbrace x\in\mathscr X:\rho(x,Tx)\leqslant R\rbrace. 证明:

  • ((1)) diamAR2R1α\text{diam} A_R\leqslant\frac{2R}{1-\alpha}.
  • ((2)) 对任意的 R0R\geqslant 0, ARA_RX\mathscr X 中的非空闭子集.
  • ((3)) 利用闭集套定理证明压缩映射定理.

讨论

评论

正在加载评论...