09数本7班 黎耀泽 2009294325(38)
泛函分析课程总结论文
第一部分:知识点体系
第七章:度量空间和赋范线性空间
度量空间:把距离概念抽象化,对某些一般的集合引进点和点之间的距离,使之成为距离空间,这将是深入研究极限过程的一个有效步骤。
泛函分析中要处理的度量空间,是带有某些代数结构的度量空间,例如赋范线性空间,就是一种带有线性结构的度量空间。
一、度量空间的进一步例子 1、度量空间的定义
定义1.1 设X为一个集合,一个映射d:XXR.若对于任何x,y,z属于X,有
1°d(x,y)0,且d(x,y)0当且仅当xy(非负性); 2°d(x,y)d(y,x)(对称性);
3°d(x,y)d(x,z)d(z,y) (三角不等式) 则称d为集合X的一个度量,同时称X,d为一个度量空间
(课本第二章第一节中已经讲解了度量空间的定义,第七章第一节接着讲解度量空间,下面介绍六种度量空间。)
2、常见的度量空间 例2.1 离散的度量空间
1,ifxyx,yX,令 d(x,y)设 x是任意的非空集合,对 x 中的任意两点 0,ifxy(X,d)为离散的度量空间。 称
例2.2 序列空间S
令S表示实数列(或复数列)的全体,对S中的任意两点
x(1,2,...,n,...),y(1,2,...,n,...), 1|ii|(S,d)为序列空间。 d(x,y)i令 称
21||i1ii
例2.3 (3)有界函数空间B(A)
1
湛江师范学院数科院
09数本7班 黎耀泽 2009294325(38)
设A是一个给定的集合,令B(A)表示A上有界实值(或复值)函数全体,
d (x,y)sup|x(t)y(t)|对B(A)中任意两点x,y ,定义
tA
例2.4 可测函数空间
设M(X)为X上实值(或复值)的勒贝格可测函数全体,m为勒贝格测度,
m(X),对任意两个可测函数 f(t)及 g(t)若
|f(t)g(t)|dt|f(t)g(t)|由于 ,所以这是X上的可积函数。令 d(f,g)X11|f(t)g(t)| 1|f(t)g(t)|
例2.5 C[a,b]空间
令C[a,b] 表示闭区间[a,b]上实值(或复值)连续函数全体,对 C[a,b]中任意两点x,y,定义d (x,y)max|x(t)y(t)|atb
例2.6 l.
记lxxkxk2,设xxkl2,yykl2,定义
k122d(x,y)(ykxk)2,
k1则d是l上的距离(可以证明d),l按dx,y成为度量空间.
2212
(在第二章第二节的理论基础上,进一步导入度量空间的相关概念。)
二、度量空间中的极限、稠密集、可分空间 1、收敛点列
xX,使 {xn}是(X,d)中点列,如果存在 limd(xn,x)0设
n{xn}是(X,d)中的收敛点列,x是点列 {xn的极限。}则称点列
收敛点列性质:
(1)在度量空间中,任何一个点列最多只有一个极限,即收敛点列的极限是唯一的。
(2)M是闭集的充要条件是M中任何收敛点列的极限都在M中。 2、收敛点列在具体空间中的意义
1°R为n维欧氏空间,xm(1nm,2,…n,…),m1,2,…,为Rn中的点列,
mmx1,2,…,nRn,不难证明 dxm,x0iim,1in.
m2°Ca,b空间中,设xn及x分别为Ca,b中点列及点,则
dxn,x0xnx一致收敛.
3°序列空间S中,设xm(1
m,2,…n,…),m1,2,…及
mm2
湛江师范学院数科院
09数本7班 黎耀泽 2009294325(38)
x1,2,…,n,?分别为S中点列及点,则dxm,x0xm依分量收敛于x.
4°可测函数空间().设fn及f分别为()中的点列及点,则
dfn,f0fnf(可测).
3、稠密集,可分空间
1°设X是度量空间,E和M是X中的两个子集,令 表示M的闭包,如果 EM,那么称集M在集E中稠密。 4、等价定义:
如果E 中任何一点x 的任何邻域都含有集M中的点,就称M在E中稠密。
xE,有M中的点列 xnx(n){xn},使得 对任一
2°当E=X时,称集M为X的一个稠密子集。
3°如果X有一个可数的稠密子集时,称X为可分空间。
(根据度量空间和直线上函数连续性的定义,第三节继续导入度量空间中映射连续性的概念。)
三、连续映射
1、度量空间中的连续性
设 X=(X,d),Y=(Y,d) 是两个度量空间,T是X到Y中的映射, x0X,,存在00d(x,x0) 如果对于任意给定 ,使对X中一切满足
x0连续。 的x,成立 d(Tx,Tx0)则称T在
我们也可以用集显来定义映射的连续性
连续性的极限定义
设T是度量空间(X,d)到(Y,d) 中的映射,那么T在 x0X,xnx0(n)时,必有 TxnTx0(n)连续的充要条件为当
2、连续映射
如果映射T在X的每一点都连续,则称T是X上的连续映射。
{x|xX,TxMY}为集合M在映射T下的原像。 称集合
定理:
度量空间X到Y的映射T是X上的连续映射的充要条件为Y中任意开集M的
1原像 T是MX中的开集。
3.判断映射连续性共有如下四种方法:
1°(定义法)设
x0,d,YY,d是两个度量空间,T是到Y中映射,
,如果对于任意给定的正数,存在正数0,使对中一切满足
的x,有 ,则称T在
x0dx,x0dTx,Tx0连续.
3
湛江师范学院数科院
09数本7班 黎耀泽 2009294325(38)
2°(邻域法)对
Tx0的每个一邻域,必有
x0x0的某个一邻域V使TVU,连续. 到度量空间
其中TV表示V在映射T作用下的像,则称T在
3°(极限法)定理3.1 设T是度量空间,dY,d中的映射,
xx0nx那么T在0连续的充要条件为当n时,必有TxnTx0n.
4°(开集法)定理3.2 度量空间到Y中的映射T是上连续映射的充
1要条件为Y中任意开集的原像T是中的开集.(在这个定理中把开集改
为闭集后定理仍然成立)
四、柯西点列和完备度量空间 1、柯西点列
0,{xn}是X中点列,设 X=(X,d)是度量空间, 如果对任何事先给定的
NN(),使当n,m>N时,必有 d(xn,xm)则称 {xn是}X中的存在正整数
柯西点列或基本点列。
总结:在实数空间当中,柯西点列一定是收敛点列;但是在一般的度量空间当中,柯西点列不一定收敛,但是每一个收敛点列一定是柯西点列。 2、完备的度量空间
如果度量空间(X,d)中每一个柯西点列都在(X,d)中收敛,则称(X,d)是完备的度量空间。
例:1、C[a,b]是完备度量空间
2、l是完备度量空间
nR3、是完备的度量空间
2注意:1、Q全体按绝对值距离构成的空间不完备
2、柯西点列不一定收敛,但是度量空间中每一个收敛点列都是柯西点列 3、实系数多项式全体P[a,b],P[a,b]作为C[a,b]的子空间不是完备度量空间
3、子空间完备性定理
完备度量空间X的子空间M,是完备空间的充要条件是:M是X中的闭子空间。
五、度量空间的完备化
4
湛江师范学院数科院
09数本7班 黎耀泽 2009294325(38)
1、等距同构映射 设(X,d), X的保距映射T ,(X,d),是两个度量空间,如果存在X到 即 Xd(Tx,Ty)d(x,y),则称 (X,d) 和 (X,d),等距同构,此时 T称为X 到 上的等距同构映射。
六、压缩映射原理及其应用
作为完备度量空间概念的应用,我们介绍巴纳赫的压缩映射原理,它在许多关于存在唯一性的定理(例如微分方程,代数方程,积分方程等)的证明中是一个有力的工具。
在介绍压缩映射原理前,我们来介绍压缩映射以及不动点 1、压缩映射
Copyright © 2019- igat.cn 版权所有 赣ICP备2024042791号-1
违法及侵权请联系:TEL:199 1889 7713 E-MAIL:2724546146@qq.com
本站由北京市万商天勤律师事务所王兴未律师提供法律服务