【泛函分析】距离空间和赋范空间
文章目录
- 距离空间与赋范空间
- 距离空间的定义
- 距离空间中的极限
- 距离空间中的函数连续性
- 赋范空间的定义
- 范数的连续性
距离空间与赋范空间
距离空间的定义
定义. 设 X X X 是一个非空集合, 若存在函数 d : X × X → R d: X\times X \rightarrow \mathbb{R} d:X×X→R, 满足:
(1) d ( x , y ) ≥ 0 d(x,y)\geq 0 d(x,y)≥0, ∀ x , y ∈ X \forall x,y\in X ∀x,y∈X, 且 d ( x , y ) = 0 d(x,y)=0 d(x,y)=0 当且仅当 x = y x=y x=y;
(2) d ( x , y ) = d ( y , x ) d(x,y) = d(y,x) d(x,y)=d(y,x), ∀ x , y ∈ X \forall x,y\in X ∀x,y∈X;
(3) d ( x , y ) ≤ d ( x , z ) + d ( z , y ) d(x,y)\leq d(x,z)+d(z,y) d(x,y)≤d(x,z)+d(z,y), ∀ x , y , z ∈ X \forall x,y,z\in X ∀x,y,z∈X;
则称 d d d 是 X X X 上的距离. 进一步地, 若 X X X 是线性空间, 则定义了距离 d d d 的 X X X 称为距离空间, 记为 ( X , d ) (X,d) (X,d).
距离空间中的极限
定义. 设 { x n } \{x_n\} {xn} 是距离空间中的一个序列, 若存在 x ∈ X x\in X x∈X, 满足 lim n → ∞ d ( x n , x ) = 0 \lim\limits_{n\rightarrow \infty}d(x_{n},x) = 0 n→∞limd(xn,x)=0 则称 { x n } \{x_n\} {xn} 按距离收敛于 x x x, x x x 是 { x n } \{x_n\} {xn} 的极限. 记作 lim n → ∞ x n = x \lim\limits_{n\rightarrow \infty}x_{n}=x n→∞limxn=x 或 x n → x x_{n}\rightarrow x xn→x.
Theorem. 在距离空间中, 有:
(1) 收敛序列的极限是唯一的;
(2) 收敛序列是有界的;
(3) 若 { x n } \{x_{n}\} {xn} 收敛, 则 { x n } \{x_{n}\} {xn} 的任一子列也收敛于同一极限.
证明:
(1) 若 { x n } \{x_{n}\} {xn} 存在两个极限 x ≠ y x\neq y x=y, 则
0 ≤ d ( x , y ) ≤ d ( x , x n ) + d ( x n , y ) → 0 ( n → ∞ ) 0\leq d(x,y)\leq d(x,x_{n})+d(x_{n},y)\rightarrow0 \ (n\rightarrow \infty) 0≤d(x,y)≤d(x,xn)+d(xn,y)→0 (n→∞)
故 x = y x=y x=y, 矛盾.
(2) 任取 ϵ > 0 \epsilon >0 ϵ>0, 存在 N N N, 当 n ≥ N n\geq N n≥N 时, ∣ x n − x ∣ ≤ ϵ |x_{n}-x|\leq \epsilon ∣xn−x∣≤ϵ, 即 ∣ x n ∣ ≤ ∣ x ∣ + ϵ |x_{n}|\leq |x|+\epsilon ∣xn∣≤∣x∣+ϵ. 记 M = max 1 ≤ n < N x n M = \max\limits_{1\leq n< N}x_{n} M=1≤n<Nmaxxn, 则 x n ≤ max { M , ∣ x ∣ + ϵ } x_{n} \leq \max\{M, |x|+\epsilon\} xn≤max{M,∣x∣+ϵ}.
(3) 设 { x n } \{x_{n}\} {xn} 的极限为 x x x, 子列 { x n k } \{x_{n_{k}}\} {xnk} 的极限为 y ≠ x y\neq x y=x, 则 lim n → ∞ d ( x n , x ) = 0 \lim\limits_{n\rightarrow \infty}d(x_{n},x)=0 n→∞limd(xn,x)=0, 即对任意 ϵ > 0 \epsilon>0 ϵ>0, ∃ N \exists N ∃N, n ≥ N n\geq N n≥N 时, d ( x n , x ) ≤ ϵ d(x_{n},x)\leq \epsilon d(xn,x)≤ϵ. 进而 n k ≥ N n_{k}\geq N nk≥N 时, d ( x n k , x ) ≤ ϵ d(x_{n_{k}}, x)\leq \epsilon d(xnk,x)≤ϵ. 即 ∃ K ( N ) \exists K(N) ∃K(N), 当 k > K ( N ) k>K(N) k>K(N) 时, d ( x n k , x ) ≤ ϵ d(x_{n_{k}}, x)\leq \epsilon d(xnk,x)≤ϵ. 所以 x x x 也为子列 { x n k } \{x_{n_{k}}\} {xnk} 的极限, 与极限唯一性矛盾.
距离空间中的函数连续性
定义. 设 X , Y X,Y X,Y 是距离空间, T T T 是 X X X 到 Y Y Y 的映射, 对于 x 0 ∈ X x_{0}\in X x0∈X, 若对于 ∀ ϵ > 0 \forall \epsilon \gt 0 ∀ϵ>0, 存在 δ > 0 \delta\gt0 δ>0, 使得对于 ∀ x \forall x ∀x, d ( x , x 0 ) ≤ δ d(x,x_{0})\leq \delta d(x,x0)≤δ , 有 d ( T x , T x 0 ) ≤ ϵ d(Tx, Tx_{0})\leq \epsilon d(Tx,Tx0)≤ϵ, 则称 T T T 在 x 0 x_{0} x0 连续. 若 T T T 在 X X X 上每一点都连续, 则称 T T T 在 X X X 上连续.
定理. T T T 在 x 0 x_{0} x0 处连续等价于: (1) 对于 T x 0 Tx_{0} Tx0 的任一邻域 V V V, 存在 x 0 x_{0} x0 的邻域 U U U 使得 T ( U ) ⊂ V T(U)\subset V T(U)⊂V, 则称 T T T 在 x 0 x_{0} x0 处连续.
(2) 对于任意 { x n } \{x_{n}\} {xn}, x n → x 0 x_{n}\rightarrow x_{0} xn→x0, 序列 T x n → T x 0 Tx_{n} \rightarrow Tx_{0} Txn→Tx0.
证明:
(1) 充分性: 对于任意 ϵ > 0 \epsilon \gt 0 ϵ>0, 由题设条件可知, 对于 T x 0 Tx_{0} Tx0 的邻域 U ( T x 0 , ϵ ) U(Tx_{0}, \epsilon) U(Tx0,ϵ), 存在 x x x 的邻域 U ( x , δ ) U(x, \delta) U(x,δ), 使得 T ( U ) ⊂ V T(U)\subset V T(U)⊂V, 即对于 ∀ x \forall x ∀x, d ( x , x 0 ) ≤ ϵ d(x,x_{0})\leq \epsilon d(x,x0)≤ϵ, T x ∈ V Tx \in V Tx∈V, 即 d ( T x , T x 0 ) ≤ ϵ d(Tx, Tx_{0})\leq \epsilon d(Tx,Tx0)≤ϵ.
必要性: 对于 T x 0 Tx_{0} Tx0 的邻域 V = U ( T x 0 , ϵ ) V=U(Tx_{0}, \epsilon) V=U(Tx0,ϵ), 由连续性可知, 存在 δ > 0 \delta\gt0 δ>0, 使得对于 ∀ x \forall x ∀x, d ( x , x 0 ) ≤ δ d(x,x_{0})\leq \delta d(x,x0)≤δ, 有 d ( T x , T x 0 ) ≤ ϵ d(Tx, Tx_{0})\leq \epsilon d(Tx,Tx0)≤ϵ, 所以对于 ∀ x ∈ U ( x , δ ) \forall x\in U(x, \delta) ∀x∈U(x,δ), 满足 d ( T x , T x 0 ) ≤ ϵ d(Tx, Tx_{0})\leq \epsilon d(Tx,Tx0)≤ϵ, 即 T ( U ( x , δ ) ) ⊂ V T(U(x, \delta))\subset V T(U(x,δ))⊂V.
(2) 充分性: 任取 ϵ > 0 \epsilon\gt 0 ϵ>0, 假设 T T T 在 x 0 x_{0} x0 处不收敛, 则存在 ϵ > 0 \epsilon\gt 0 ϵ>0, 使得对于 ∀ δ > 0 \forall \delta\gt 0 ∀δ>0, 总存在 x x x, d ( x , x 0 ) ≤ δ d(x,x_{0})\leq \delta d(x,x0)≤δ, 有 d ( T x , T x 0 ) > ϵ d(Tx, Tx_{0})\gt \epsilon d(Tx,Tx0)>ϵ. 取 δ = 1 n \delta=\frac{1}{n} δ=n1, 每个 δ \delta δ 对应的 x x x 可构成 { x n } \{x_{n}\} {xn}, 则 x n → x 0 x_{n}\rightarrow x_{0} xn→x0, 由题设可知, 序列 T x n → T x 0 Tx_{n} \rightarrow Tx_{0} Txn→Tx0. 而 d ( T x n , T x 0 ) > ϵ d(Tx_{n}, T x_{0})\gt \epsilon d(Txn,Tx0)>ϵ, 说明 T x n ↛ T x 0 Tx_{n} \nrightarrow Tx_{0} Txn↛Tx0, 矛盾.
必要性: 设 T T T 在 x 0 x_{0} x0 处连续, 则对于 ∀ ϵ > 0 \forall \epsilon \gt 0 ∀ϵ>0, 存在 δ > 0 \delta\gt 0 δ>0, 使得当 d ( x , x 0 ) ≤ δ d(x,x_{0}) \leq \delta d(x,x0)≤δ 时, d ( T x , T x 0 ) ≤ ϵ d(Tx, Tx_{0})\leq \epsilon d(Tx,Tx0)≤ϵ, 若 x n → x 0 x_{n}\rightarrow x_{0} xn→x0, 则存在 N > 0 N\gt 0 N>0, 使得当 n ≥ N n\geq N n≥N 时, d ( x n , x 0 ) ≤ δ d(x_{n}, x_{0})\leq \delta d(xn,x0)≤δ, 因此当 n ≥ N n\geq N n≥N 时, d ( T x , T 0 ) ≤ ϵ d(Tx, T_{0})\leq \epsilon d(Tx,T0)≤ϵ, 所以 T x n → T x Tx_{n}\rightarrow Tx Txn→Tx.
赋范空间的定义
设 X X X 是一个线性空间, 其标量域为 K K K, 若函数 ∥ ⋅ ∥ : X → R \left\|\cdot\right\|: X\rightarrow \mathbb{R} ∥⋅∥:X→R, 满足
(1) ∥ x ∥ ≥ 0 \left\|x\right\|\geq 0 ∥x∥≥0, ∀ x \forall x ∀x, 且 ∥ x ∥ = 0 \left\|x\right\| = 0 ∥x∥=0 当且仅当 x = 0 x=0 x=0;
(2) ∥ a x ∥ = ∣ a ∣ ∥ x ∥ \left\|ax\right\| = |a|\left\|x\right\| ∥ax∥=∣a∣∥x∥, ∀ a ∈ K , ∀ x ∈ X \forall a\in K, \forall x\in X ∀a∈K,∀x∈X;
(3) ∥ x + y ∥ ≤ ∥ x ∥ + ∥ y ∥ \left\|x+y\right\| \leq \left\|x\right\|+\left\|y\right\| ∥x+y∥≤∥x∥+∥y∥;
则称 ∥ ⋅ ∥ \left\|\cdot\right\| ∥⋅∥ 是 X X X 的范数, 定义了范数 ∥ ⋅ ∥ \left\|\cdot\right\| ∥⋅∥ 的线性空间 X X X 构成赋范空间, 记为 ( X , ∥ ⋅ ∥ ) (X, \left\|\cdot\right\|) (X,∥⋅∥).
注:
(1) 赋范空间 ( X , ∥ ⋅ ∥ ) (X, \parallel \cdot\parallel) (X,∥⋅∥) 可以视为距离空间: 定义 d ( x , y ) = ∥ x − y ∥ d(x,y) = \left\|x-y\right\| d(x,y)=∥x−y∥, ∀ x , y ∈ X \forall x,y\in X ∀x,y∈X, 可以证明 d ( x , y ) d(x,y) d(x,y) 是 X X X 上的距离. 一般也把赋范空间视作距离空间, 距离的定义如上所示.
(2) 范数还有一条常用性质:
∣ ∥ x ∥ − ∥ y ∥ ∣ ≤ ∥ x − y ∥ | \parallel x \parallel - \parallel y \parallel | \leq \parallel x-y \parallel ∣∥x∥−∥y∥∣≤∥x−y∥
证明: 由三角不等式, 有
∥ x ∥ ≤ ∥ x − y ∥ + ∥ y ∥ \parallel x \parallel\leq \parallel x-y \parallel + \parallel y \parallel ∥x∥≤∥x−y∥+∥y∥∥ y ∥ ≤ ∥ y − x ∥ + ∥ x ∥ \parallel y \parallel \leq \parallel y-x \parallel + \parallel x \parallel ∥y∥≤∥y−x∥+∥x∥
整理即可得上式.
范数的连续性
- 范数 ∥ x ∥ \left\|x\right\| ∥x∥ 是连续函数
证明: 范数 ∥ x ∥ \left\|x\right\| ∥x∥ 是连续函数的充要条件是: 对于任意 x ∈ X x\in X x∈X, 满足: 对于任意收敛于 x x x 的序列 { x n } \{x_{n}\} {xn}, 有 ∥ x n ∥ → ∥ x ∥ \left\|x_{n}\right\|\rightarrow \left\|x\right\| ∥xn∥→∥x∥.
已知 lim n → ∞ ∥ x n − x ∥ = 0 \lim\limits_{n\rightarrow \infty}\left\|x_{n}-x\right\| = 0 n→∞lim∥xn−x∥=0, 求证 lim n → ∞ ∣ ∥ x n ∥ − ∥ x ∥ ∣ = 0 \lim\limits_{n\rightarrow \infty}|\left\|x_{n}\right\|- \left\|x\right\||=0 n→∞lim∣∥xn∥−∥x∥∣=0. 由范数的性质, 有
∣ ∥ x n ∥ − ∥ x ∥ ∣ ≤ ∥ x n − x ∥ |\left\|x_{n}\right\|- \left\|x\right\||\leq \left\|x_{n}-x\right\| ∣∥xn∥−∥x∥∣≤∥xn−x∥
命题显然成立.
- 赋范空间中的加法和数乘运算连续. 即: 若 x n → x , y n → y x_{n}\rightarrow x, y_{n}\rightarrow y xn→x,yn→y, 则 x n + y n → x + y x_{n}+y_{n}\rightarrow x+y xn+yn→x+y; 若 x n → x x_{n} \rightarrow x xn→x, 则 α x n → α x \alpha x_{n}\rightarrow \alpha x αxn→αx
∥ x n + y n − x − y ∥ ≤ ∥ x n − x ∥ + ∥ y n − y ∥ → 0 , n → ∞ \left\|x_{n}+y_{n}-x-y\right\|\leq \left\|x_{n}-x\right\|+\left\|y_{n}-y\right\| \rightarrow 0, n\rightarrow \infty ∥xn+yn−x−y∥≤∥xn−x∥+∥yn−y∥→0,n→∞
∥ α x n − α x ∥ ≤ α ∥ x n − x ∥ → 0 , n → ∞ \left\|\alpha x_{n}-\alpha x\right\|\leq \alpha \left\|x_{n}-x\right\| \rightarrow 0, n\rightarrow \infty ∥αxn−αx∥≤α∥xn−x∥→0,n→∞
【泛函分析】距离空间和赋范空间相关推荐
- 泛函分析 02.02 赋范空间-完备的赋范空间
§2.2完备的赋范空间 \color{blue}{\S 2.2 完备的赋范空间} 赋范空间是一类重要的空间,这类空间在泛函分析的理论 赋范空间是一类重要的空间,这类空间在泛函分析的理论 及其应用中都是 ...
- 泛函分析 02.01 赋范空间-基本概念
第二章赋范空间 \color{blue}{第二章 赋范空间} 赋以欧氏距离的平面可作为赋范空间的典型例子. 赋以欧氏距离的平面可作为赋范空间的典型例子. 从三方面来了解平面上的数学结构: 从三方面来了 ...
- 泛函分析 02.04 赋范空间-有限维赋范空间
§2.4有限维赋范空间 \color{blue}{\S 2.4 有限维赋范空间} 2.4.1等价的范数 \color{blue}{2.4.1 等价的范数} 如同在一个空间上可以定义不同的距离一样,我们 ...
- 泛函分析 02.03 赋范空间-几何结构
§2.3赋范空间的几何结构 \color{blue}{\S 2.3 赋范空间的几何结构} 内容: 内容: (1)赋范空间中的凸集; (1) 赋范空间中的凸集; (2)子空间; (2) 子空间; ...
- 【泛函分析】线形赋范空间
- 「管理数学基础」2.3 泛函分析:赋范空间与巴拿赫空间
赋范空间与巴拿赫空间 线性空间建立了元素间的线性运算,而有时还需元素的度量.距离是任两元素间一种度量,而范数则是每个元素自己(或与0元素间)的度量. 范数与赋范空间 范数 与距离的条件相比,第(2)条 ...
- 泛函分析笔记2:赋范空间
在度量空间中,我们重点关注的是两个元素之间的距离,而这一部分要引出来的赋范空间中,则对每个元素本身也赋予了"范数",也就是"长度". 文章目录 1. 线性空间 ...
- 距离空间,线性空间,赋范线性空间,Banach空间,内积空间,Hilbert空间的内在关系
转自一个百度百科的回答,觉得很概括,学习一下. 原帖地址:http://zhidao.baidu.com/question/510246021.html 4.1 联系 如果在实数域或复数域上距离空间是 ...
- 泛函分析笔记05:赋范空间的基本概念
第二章:赋范空间 2.1基本概念 定义 3.1(赋范空间): 设 K=R\mathbb{K}=\mathbb{R}K=R 或 C,X\mathbb{C}, XC,X 为 K\mathbb{K}K 上的 ...
最新文章
- 【转载】split / break polylines at point intersections
- C++入门之常量与变量
- ACM常见错误提示及可能的解决办法
- xmemcached spring 配置文件
- Java数组概述和定义
- hibernate框架学习之使用SQLQuery查询数据
- 优酷html5视频网站,国内主要视频网站的嵌入方式
- Java NIO学习篇之通道Channel详解
- LeetCode 134 Gas Station
- MyEclipse中防止代码格式化时出现换行
- anroid adt离线下载地址(可自己选最新版本使用迅雷下载)
- axure rp pro 8.0 中文+破解补丁 v8.0.0.3333专业版
- PS更改图片的像素大小和格式
- 计算机考试PPT主题背景没换,2013职称计算机考试:搞定PPT背景设置中的问题
- web大前端-------初识html
- 帝国cms系统使用初级教程一(较全面)
- hiveSQL执行计划(explain使用全网最详细!!)
- nps内网穿透服务器搭建教程(阿里云)-小宇特详解
- golang 脚本卡住
- Windows下VMware准备IOS开发环境