泛函分析中的概念和命题赋范空间,算子,泛函定理:赋范线性空间是有限维的当且仅当它的单位球是列紧的;有限维赋范线性空间上的任两个范数是等价的;有限维赋范线性空间是Banach 空间.定理:M 是赋范线性空间()||||,⋅X 的一个真闭线性子空间,则,1||||,,0=∈∃>∀y X y ε使得: M x x y ∈∀->-,1||||ε定理:设X 是赋范线性空间,f 是X 上的线性泛函,则1.*X f ∈()()的闭线性子空间是X x f X x f N }0|{=∈=⇔ 2.()()中稠密在是不连续的非零线性泛函X f N x f ⇔定理:()空间是空间是则是赋范空间,Banach ,Banach },{,Y X B Y X Y X ⇔≠θ ()()()||||||||||||,,,,,,,,B A AB Z X B AB Z Y B Y X B A Z Y X ≤∈∈∈且则是赋范空间,可分B 空间:()()[]可分b a C c c p l L p P ,,,,1,1,00∞<≤ ()∞∞l L ,10,不可分 Hahn-Banach 泛函延拓定理设X 为线性空间,上的实值函数是定义在X p ,若:(1)()()()()为次可加泛函则称p X y x y p x p y x p ,,,∈∀+≤+(2)()()()为正齐性泛函,则称p X x x p x p ∈∀≥∀=,0,ααα (3) ()()()为对称泛函,则称p X x x p x p ∈∀∈∀=,K ,||ααα 实Hahn-Banach 泛函定理: 设X 是实线性空间,()x p 是定义在X 上的次可加正齐性泛函,0X 是X 的线性子空间,0f 是定义在0X 上的实线性泛函且满足()()()00X x x p x f ∈∀≤,则必存在一个定义在X 上的实线性泛函f ,且满足:1.()()()X x x p x f ∈∀≤02. ()()()00X x x f x f ∈∀=复Hahn-Banach 泛函定理: 设X 是复线性空间,()x p 是定义在X 上的次可加对称泛函,0X 是X 的线性子空间,0f 是定义在0X 上的线性泛函且满足()()()00||X x x p x f ∈∀≤,则必存在一个定义在X 上的线性泛函f ,且满足:1.()()()X x x p x f ∈∀≤||02. ()()()00X x x f x f ∈∀=定理: 设X 是线性空间, 若}{θ≠X , 则在X 上必存在非零线性泛函。
Hahn-Banach 延拓定理: 设X 是赋范线性空间, 0X 是X 的线性子空间,0f 是定义在0X 上的有界线性泛函,则必存在一个定义在X 上的有界线性泛函f ,满足:1.0||||||||0X f f =2. ()()()00X x x f x f ∈∀=定理:设X 是赋范线性空间,M 是X 的线性子空间,(),0,,00>=∈d M x X x ρ则必有 *X f ∈,满足:(1)()()1||||)3()2(,00==∈∀=f d x f M x x f ;;定理:设X 是赋范空间,()1||||||,||,},{00*0==∈∃-∈∀f x x f X f X x 使必θ定理:设X 是赋范空间,1}||||,|)(sup{|||||,*000=∈=∈∀f X f x f x X x :必有凸集分离定理极大线性子空间:一个线性空间的子空间,真包含它的线性空间是全空间超平面:它是线性空间中某个极大线性子空间对某个向量的平移,也称极大线性流形承托超平面:的在点凸集0x E 承托超平面0x L L E L 有公共点的一侧,且与在是指 Minkowski 泛函:上作一个点的凸子集,在的含有是是线性空间,设X X M X θ 取值于],0[+∞的函数: ()()X x M x x p ∈∀∈>=},|0inf{λλ与M 对应,称函数p 为M 的Minkowski 泛函定理:L 是赋范空间X 的(闭)超平面⇔存在X 上的非零(连续)线性泛函f 及()}|{,,r x f X x H H L R r r f rf =∈==∈其中使Hahn-Banach 定理的几何形式: 设X 是赋范空间,E 是X 的具有内点的真凸子集,又设00,x E E X x 与离则必存在一个超平面分-∈定理:设X 是赋范空间,;具有内点,且的两个非空凸集,是和φ=⋂F E E X F E 0则 F E H X f s sf 和分离使得超平面及},{R *θ-∈∈∃Ascoli 定理:设X 是赋范空间,E 是X 的真闭凸子集,则R ,,*0∈∈∃-∈∀αX f E X x 适合()()()E x x f x f ∈∀<<,0α Mazur 定理:设X 是赋范空间,E 是X 的一个有内点的凸子集,F 是X 的一个线性流形,又设的一侧在,使的闭超平面则存在一个包含L E L F F E ,0φ=⋂定理:设X 是赋范空间,E 是X 的一个含有内点的闭凸集,则通过E 的每个边界点都可以作出E 的一个承托超平面 基本定理定理:()()()εθθε,1,,0,Banach ,O TB Y X B T Y X ⊃>∃∈使得是满射,则空间,是设 开映射定理:()是开映射是满射,则空间,是设T Y X B T Y X ,Banach ,∈Banach 逆算子定理:()()Y X B T Y X B T Y X ,,Banach ,1∈∈-是双射,则空间,是设等价范数定理:设X 是线性空间,1||||•和2||||•是X 上的两个范数,若X 关于这两个范数都成为Banach 空间,而且2||||•强于1||||•,则1||||•也强于2||||•,从而1||||•和2||||•等价闭算子:是赋范空间,设Y X ,()的映射,到是Y X T D T ⊂若T 的图像()()}|,{T D x Tx x ∈是赋范线性空间Y X ⨯中的闭集,则称T 是闭映射或闭算子闭算子判别定理:设Y X ,是赋范空间,()⇔⊂是闭映射的映射,则到是T Y X T D T(),}{T D x n ⊂∀若()00000,,Tx y T D x Y y Tx X x x n n =∈∈→∈→,且则闭图像定理:空间,是设Banach ,Y X ()的线性映射到是Y X T D T ⊂,而且是闭算子,若 ()T D 是X 的闭线性子空间,则T 是连续的定理:空间,是设Banach ,Y X 的线性算子到是Y X T ,则T 连续⇔T 是闭算子 共鸣定理:空间,是设Banach X Y 是赋范空间,().,,Λ∈∈λλY X B T 如果X x ∈∀,都有有界:则}||{||,||||sup Λ∈+∞<Λ∈λλλλT x T自反空间与共轭算子除声明外下面的Y X ,都是一般的赋范线性空间共轭空间:[]()[]()共轭,,q p p b a C l c c l l L L q p q P ,,1b ,a V ,,)(,)(,)(0*1*0***∞<≤===== 伴随算子:()()()()||||||||,,*******T T X Y B T f f T Tx f x f Y X B T =∈==∈,,,, 1.()()||||||||,,,**********T T T T X X T T X B T ==∈的延拓且是则的子空间看成若将记 2.()()1**1*)(,--=⇔∈T T T T Y X B T 有有界逆,且此时有有界逆,则3.()()的保范线性算子到是由映射***,,X Y B Y X B A A4.()()()***,,,,A B AB Z Y B B Y X B A =∈∈则若 定理:若)(11*不自反,可分。
可分,则l L X X ⇒;X 是Banach 空间,自反自反X X ⇔* 自反空间的闭线性子空间是自反空间自然嵌入映射**x x →:τ是赋范空间X 到**X 的保范的有界线性算子,即:||||||||**x x =Riesz 表示定理:设X 是局部紧空间,()()则:时,},|sup{|||||X x x f f X C f c ∈=∈ (1) 若()X C c 是ϕ上的正线性泛函,则存在X 上一个正则Borel 测度u ,使得对任()X C f c ∈都有()⎰=u f f d ϕ(2) 若()*X C c ∈ϕ,则存在X 上一个广义正则Borel 测度u ,使()⎰=u f f d ϕ(3) 若()X C c 是X 上具有紧支集的复连续函数空间,则对()X C c 上任一有界复线性泛函ϕ,存在复正则Borel 测度u ,使()⎰=u f f d ϕ弱收敛和弱列紧基本概念:弱收敛;算子列的一致收敛,强收敛,弱收敛;泛函列的*弱收敛;弱列紧;局部弱列紧;*弱列紧;局部*弱列紧定理:设()()当且仅当:强收敛于某个空间,是Y X T Y X B T Y X n ,B ,}{Banach ,∈⊂1.() ,3,2,1||||0||}{||=≤>n M T M T n n ,使有界,即有2.收敛,,使中的稠集存在}{x T D x D X n ∈∀定理:设当且仅当:弱收敛于某个则空间,是***}{,}{Banach X f f X f X n n ∈⊂1.有界;||}{||n f2.()收敛,,使中的稠集存在}{x f D x D X n ∈∀ 定理:设当且仅当:弱收敛于某个是赋范空间,则X x X x X n ∈⊂}{1.有界;||}{||n x2.()()x f x f D f D X n 收敛于,有,使中的稠集存在}{*∈∀定理:设,}{X x X x X n ∈⊂弱收敛于某个是赋范空间,则存在由}{n x 的凸组合构成的点列使其强收敛到x ,且||||lim ||||n n x x ∞→≤ 定理:可分赋范空间的共轭空间是局部*弱列紧的;自反空间是局部弱列紧的Hilbert Space基本概念:除声明外下面所涉及的空间都是Real or Complex Hilbert Space X内积:一个(数域K 上)线性空间X 上的内积指的是共轭双线性泛函:K →⨯X X ,它满足正定性和共轭对称性。
内积空间:定义了内积的线性空间。
定义了内积的复(实)线性空间称为复(实)内积空间。
内积导出的范数满足平行四边形公式。
内积(按内积导出的范数)是X X ⨯上的连续函数.若由内积导出的范数是完备的,这样的内积空间称为Hilbert 空间定理:设()()⋅⋅,,X 是内积空间,||||⋅是由内积()⋅⋅,导出的范数,则||||⋅与()⋅⋅,满足如下关系:当X 是实线性空间时,()()X y x y x y x y x ∈∀--+=,,||||||||41,22 当X 是复线性空间时,()()X y x iy x i iy x i y x y x y x ∈∀--++--+=,,||||||||||||||||41,2222 极化恒等式:()()()()()[]iy x iA iy x iA y x A y x A y Ax --++--+=41,,()()x Ax x A ,= 定理:为了在赋范线性空间()||||,⋅X 中引入内积()⋅⋅,,使得由()⋅⋅,导出的范数就是||||⋅,当且仅当||||⋅满足平行四边形公式:()2222||||||||2||||||||y x y x y x +=-++定理:设()()⋅⋅,,X 是内积空间,M 是X 的非空子集,()X n y y x n ∈= ,2,1,,,则1.222||||||||||||y x y x y x +=+⇒⊥ 2.()y x y y n y x n n ⊥⇒→=⊥,,2,1 3.M x M x span ⊥⇒⊥ 4.()⊥⊥⊥⊥=⊂M M M M , 5.}{θ=⇒⊥MX M 中稠在 6.()⊥⊥⊥=spanM M X M 的闭线性子空间,且是定理:设X 是希尔伯特空间,M 是X 的非空闭凸子集,则M y X x o ∈∃∈∀唯一的,,使得()}||inf{||,||||0M y y x M x y x ∈-==-:ρ正交分解定理:设M 是希尔伯特空间X 的一个闭线性子空间,X x ∈∀,存在唯一的正交分解:⊥⊥⊕=∈∈+=M M X M x M x x x x 即:),,(,1010定理:设()()⋅⋅,,X 是希尔伯特空间,M 是X 的线性子空间,则:1.()M M =⊥⊥2. }{θ=⇔⊥M X M 中稠在定理:系中必存在完备标准正交空间}){(θ≠H H H ilb ert定理:假定}|{Λ∈=ααe S 是中的标准正交系空间H H ilb ert ,那么.H x ∈∀有Parseval 不等式:∑Λ∈≥αα2||||2||||c x定理:}|{Λ∈=ααe S 是中的完备标准正交系空间H Hilbert ,⇔.H x ∈∀有Fourier 展开式和Parseval 等式:∑Λ∈=∑Λ∈=ααααα2||||2||||,c x e c x ,其中:()()系数的称为Fourier ,x e x c Λ∈=ααα。