泛函分析知识点
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
泛函分析知识点
知识体系概述
(一)、度量空间和赋范线性空间 第一节 度量空间的进一步例子
1.距离空间的定义:设X 是非空集合,若存在一个映射d :X ×X →R ,使得∀x,y,z ∈X,下列距离公理成立:
(1)非负性:d(x,y)≥0,d(x,y)=0⇔x=y;
(2)对称性:d(x,y)=d(y,x);
(3)三角不等式:d(x,y)≤d(x,z)+d(z,y);
则称d(x,y)为x 与y 的距离,X 为以d 为距离的距离空间,记作(X ,d ) 2.几类空间
例1 离散的度量空间 例2 序列空间S
例3 有界函数空间B(A) 例4 可测函数空M(X)
例5 C[a,b]空间 即连续函数空间 例6 l 2
第二节 度量空间中的极限,稠密集,可分空间 1. 开球
定义 设(X,d )为度量空间,d 是距离,定义
U(x 0, ε)={x ∈X | d(x, x 0) <ε}
为x 0的以ε为半径的开球,亦称为x 0的ε一领域. 2. 极限
定义 若{x n }⊂X, ∃x ∈X, s.t. ()lim ,0n n d x x →∞
= 则称x 是点列{x n }的极限.
3. 有界集
定义 若()(),sup ,x y A
d A d x y ∀∈=<∞,则称A 有界
4. 稠密集
定义 设X 是度量空间,E 和M 是X 中两个子集,令M 表示M 的闭包,如果E M ⊂,那么称集M 在集E 中稠密,当E=X 时称M 为X 的一个稠密集。 5. 可分空间
定义 如果X 有一个可数的稠密子集,则称X 是可分空间。
第三节 连续映射
1.定义 设X=(X,d),Y=(Y, ~
d )是两个度量空间,T 是X 到Y 中映射,x0X ∈,如果对于任意
给定的正数ε,存在正数0δ>,使对X 中一切满足
()0,d x x δ
<
的x ,有
()~
0,d Tx Tx ε
<,
则称T 在
x 连续.
2.定理1 设T 是度量空间(X,d )到度量空间~Y,d ⎛⎫ ⎪
⎝
⎭中的映射,那么T 在
0x X
∈连续的充
要条件为当()0n x x n →→∞时,必有()0n Tx Tx n →→∞
3.定理2 度量空间X 到Y 中的映射T 是X 上连续映射的充要条件为Y 中任意开集M 的原像1T M -是X 中的开集.
第四节 柯西(cauchy )点列和完备度量空间
1.定义 设X=(X,d)是度量空间,{}n x 是X 中点列,如果对任意给定的正数0ε>,
存在正整数()N N ε=,使当n,m>N 时,必有
(),n m d x x ε<,
则称{}n x 是X 中的柯西点列或基本点列。如果度量空间(X,d )中每个柯西点列都在 (X,d )中收敛,那么称(X,d )是完备的度量空间.
【注意】(1)Q 不是完备集 (2)n
R 完备
(3)cauchy 列不一定收敛,但收敛列一定是cauchy 列. (4)C[a,b]完备
2.定理 完备度量空间X 的子空间M 是完备空间的充要条件为M 是X 中的闭子空间. 第五节 度量空间的完备化
1.定义 设(X,d ),( ~
X ,~
d )是两个度量空间,如果存在X 到~
X 上的保距映射T ,即
()()~,,d Tx Ty d x y =,则称(X,d )和( ~X ,~d )等距同构,此时T 称为X 到~
X 上等距
同构映射。
2.定理1(度量空间的完备化定理) 设X=(X,d )是度量空间,那么一定存在一完
备度量空间~X =( ~X ,~d ),使X 与~X 的某个稠密子空间W 等距同构,并且~
X 在等距同
构意义下是唯一的,即若( ^X ,^d )也是一完备度量空间,且X 与~
X 的某个稠密子空间等距同构,则( ~
X ,~
d )与( ^X ,^
d )等距同构。
3.定理1’ 设X=(X,d )是度量空间,那么存在唯一的完备度量空间~X =( ~X ,~
d ),
使X 为~
X 的稠密子空间。
第六节 压缩映射原理及其应用
1.定义 设X 是度量空间,T 是X 到X 中的映射,如果存在一个数α,0<α<1,使得对所有的,x y X ∈,
()(),,d Tx Ty d x y α≤,
则称T 是压缩映射。
2.定理1(压缩映射定理)(即Barnach 不动点定理) 设X 是完备的度量空间,T 是X 上的压缩映射,那么T 有且只有一个不动点(就是说,方程Tx=x,有且只有一个解). 补充定义:若Tx=x,则称x 是T 的不动点。
x 是T 的不动点⇔x 是方程Tx=x 的解。 3.定理2 设函数(),f x y 在带状域 ,a x b y ≤≤-∞<<∞
中处处连续,且处处有关于y 的偏导数()'
,y f x y .如果还存在常数m 和M 满足
()'
0,,y m f x y M m M <≤≤<,
则方程(),0f x y =在区间[],a b 上必有唯一的连续函数()y x ϕ=作为解: ()()
[],0,,f x x x a b ϕ≡∈
第七节 线性空间
1.定义1 设X 是一非空集合,在X 中定义了元素的加法运算和实数(或复数)与X 中元素的乘法运算,满足下列条件:
(1)关于加法成为交换群,即对任意x,y ∈X ,存在u ∈X 与之相对应,记为u=x+y,称为x 和y 的和,满足 1)x y y x +=+;
2)()()()
,,x y z x y z x y z X ++=++∈任何;
3)在X 中存在唯一元素θ,使对任何x X ∈,成立x x θ+=,称θ为X 中零元素;
4)对X 中每个元素x ,存在唯一元素x X '∈,使x x θ'+=,称x '为x 的负元素,记为x -; (2)对于X 中每个元素x X ∈,及任意实数(或复数)a ,存在元素u X ∈与之对应,记为u ax =,称为a 与x 的数积,满足 1)1x x =;
2)()()a bx ab x =对任意实数(或复数)a 和b 成立;