泛函2-3,2-4
泛函3-6,3-7,3-8,3-9,4-4
GrT =
{( x, Tx ) : x ∈ X }
T 称为映射(算子) 的图象。 称为映射(算子) 的图象。
是赋范空间, 4.9 定义 设 X , Y 是赋范空间,D ⊂ X ,
T : D → Y 称为闭算子,如果 T 的图象 称为闭算子,
GrT = {( x, Tx ) : x ∈ D}
是 X ×Y 中的闭集。 中的闭集。
3.3 定理 如果 A : X → Y 是紧线性算子, 是紧线性算子,
B ∈ B (Y , Z ), C ∈ B ( Z , X ), 则 BA, AC
均是紧线性算子。 均是紧线性算子。 系 如果X为无穷维赋范空间,紧线性算子 如果 为无穷维赋范空间, 为无穷维赋范空间 不可能有定义在Y上的有界 T : X → Y 不可能有定义在 上的有界 逆算子。 逆算子。
T : X → Y 是线性算子,如果 将X中每一 是线性算子,如果T将 中每一
有界集映成Y中的列紧集,则称 为紧线性 有界集映成 中的列紧集,则称T为紧线性 中的列紧集 算子或全连续算子。 算子或全连续算子。
在有限维赋范空间上, 在有限维赋范空间上,任何线性算子 都是有界的,把有界集映成有界集, 都是有界的,把有界集映成有界集,而在 有限维赋范空间中, 有限维赋范空间中,任何有界集都是列紧 集,因此定义在其上的线性算子都是紧线 性算子。 性算子。 在无穷维赋范空间X中,由于列紧集 在无穷维赋范空间 中 必是有界集,所以紧线性算子是有界的, 必是有界集,所以紧线性算子是有界的, 但有界线性算子不一定是紧算子。 但有界线性算子不一定是紧算子。
f ∈ X * ,使得 f ( x j ) = α j , 的数, 的数,则存在
1 ≤ j ≤ n.
8.5 系 设X是赋范空间且 x0 ∈ X ,则 是赋范空间且
gaussian 泛函
gaussian 泛函
摘要:
1.概述
2.泛函的定义
3.高斯泛函
4.高斯泛函的性质
5.高斯泛函的应用
正文:
1.概述
在数学物理中,泛函是一种重要的数学对象,可以用来描述物理系统的性质和行为。
在众多泛函中,高斯泛函是一种常见的泛函,被广泛应用于统计物理、量子力学等领域。
2.泛函的定义
泛函是一种特殊的函数,它接受一个函数作为参数,并返回一个实数。
在数学中,泛函可以被用来描述物理系统,而在物理学中,泛函常常被用来描述一个系统的能量或作用量。
3.高斯泛函
高斯泛函,也被称为高斯积分,是一种常见的泛函,其定义为:f(x) = ∫[0,1] e^(-(x-μ)^2/2σ^2) dx,其中μ是均值,σ是标准差。
4.高斯泛函的性质
高斯泛函具有许多重要的性质,其中最重要的是它的均值和标准差可以控制函数的分布。
当均值为0,标准差为1 时,高斯泛函就变成了高斯函数,
也就是正态分布。
5.高斯泛函的应用
高斯泛函在统计物理学中有着广泛的应用,它可以用来描述一个系统的能量分布,或者用来描述一个物理量的概率分布。
在量子力学中,高斯泛函也被用来描述系统的波函数,从而可以用来求解薛定谔方程。
总的来说,高斯泛函是一种重要的数学对象,它在数学物理中有着广泛的应用。
《泛函分析》课程标准
《泛函分析》课程标准英文名称:Functional Analysis 课程编号:407012010适用专业:数学与应用数学学分数:4一、课程性质泛函分析属于数学一级科下的基础数学二级学科,在数学与应用数学专业培养方案中学科专业教育平台中专业方向课程系列的一门限选课程。
二、课程理念1、培育理性精神,提高数学文化素养基础数学研究数学本身的内在规律,是整个数学学科的基础,它在数学学科其他领域、物理学、工程及社会科学中都有着广泛的应用。
《泛函分析》课程是数学与应用数学本科学生的专业课程之一,是数学分析、高等代数、实变函数等基础课程的后继课程,是研究生学习的基础,。
它不仅在数学学科占有十分重要的地位,而且在其他学科领域也有广泛的应用,掌握泛函分析的方法对学生更好地理解基础课程的理论将有很大的益处。
该课程培养学生的抽象思维能力、逻辑推理能力,体现知识、能力和素质的统一,符合应用型人才培养的目标要求。
2、良好的学习状态,提高综合解题能力本课程面对的是数学与应用数学专业四年级的学生。
学生刚刚结束教育实习,准备考研的学生进入紧张复习阶段,另一部分学生开始准备找工作。
《泛函分析》这门课内容比较抽象,课时又少,所以,如何让学生安保持良好的学习状态,是本门课要面对的一个重要问题,也是学生要面对的一个具体问题。
需要师生共同努力去正确面对才能顺利完成本门课的教学任务。
为学习研究生课程和现代数学打下必要的基础;进一步提高学生的数学素养。
3、内容由浅入深本课程的框架结构是根据教学对象和教学任务来安排的:“度量空间”泛函分析的基本概念之一,十分重要。
首先,引入度量空间的概念,并在引入度量的基础上定义了度量空间中的极限、稠密集、可分空间、连续映照、柯西点列、完备度量空间,对于一般的度量空间,给出了度量空间的完备化定理,并证明了压缩映照原理。
然后,在度量空间上定义线性运算并引入范数,就得到线性赋范空间以及巴拿赫空间。
在赋范空间上定义线性算子及线性泛函,并讨论相关性质。
三维有限元法计算过程
三维有限元法计算过程三维有限元法的计算过程:1)网格单元剖分;2)线性插值;3)单元分析;4)总体刚度矩阵合成;5)求解线性方程组等部分组成。
一、偏微分方程对应泛函的极值问题矿井稳恒电流场分布示意图主要任务是分析在给定边界条件下,求解稳定电流场的Laplace 方程或Poisson方程的数值解,即三维椭圆型微分方程的边值问题:)()((0)(0)()()(000z z y y x x I F u n un u F z u z y u y x u x Lu w D ---=⎪⎪⎪⎩⎪⎪⎪⎨⎧=+∂∂=∂∂=∂∂∂∂+∂∂∂∂+∂∂∂∂≡ΓΓ+Γδδδγσσσ 上述微分方程边值问题等价于下面泛函的极小值问题:dS U dxdydz fU z U y U x U U J w D ⎰⎰⎰⎰⎰Γ+Γ+ΓΩ+-∂∂+∂∂+∂∂=222221}])()()[(2{][γσσ二、网格剖分∞1ρiih ρ......1、网格单元的类型图2-5 网格单元类型2、网格单元剖分原则及其步长选择 因此,网格内的单元剖分应按以下剖分原则1)、各单元节点(顶点)只能与相邻单元节点(顶点)重合,而不能成为其它单元内点;2)、如果求解区域对称,那么单元剖分也应该对称;3)、在场变化剧烈的区域网格剖分单元要密一些,在场变化平缓的区域单元密度应小。
4)、网格单元体的大小变化应逐步过渡。
根据上述剖分原则,以x 、y 、z 坐标轴原点o 为中心,分别向x 、y 、z 方向的两侧作对称变步长剖分,距o 越远,步长应越大。
常用的变步长方法有:c i x x i i )1(1+=∆-∆+ c x x i i =∆∆+/1(i ≠0)c x x i i =∆-∆+111(i ≠0) 以上各式中c 为常数,1+∆i x 、i x ∆为同一坐标轴上相邻步长值。
以x 方向为例,可知,x 正方向与负方向对称,只相差一负号。
若令00=∆x ,只要给出距原点最近节点的坐标1x ∆,由上式即可求出其它相应的步长i x ∆。
Gaussian中有用的IOp一览
*IOp(1/7=N) 设定优化时的收敛限。
力的RMS收敛限设定为N*10^-6(即Threshold显示的值),最大受力被设为1.5*N*10^-6。
RMS位移会设为4*N*10^-6 bohr,最大位移会被设为6*N*10^-6 bohr。
*IOp(1/8=N) 在优化的时候以N*0.01 bohr/弧度为最初置信半径,如果优化中不动态更新置信半径,则每一步步长都不会大于这个值(并非是必须等于这个值)。
减小其数值有助于解决收敛震荡问题,如果势能面平缓,则应当加大以加快优化速度。
默认是30。
等价于opt关键词中maxstep选项。
IOp(1/9=x) 设定对置信半径的处理。
默认对于寻找极小点会每步自动更新置信半径,对于过渡态寻找则不会。
=1代表不更新,=2代表更新,对应opt中NoTrustUpdate和TrustUpdate关键词。
当步长超过置信半径时处理方法用10和20来选择,10代表将位移向量乘以刻度因子使其模等于置信半径(对寻找过渡态是默认的),20代表在置信半径对应的超球面上寻找能量极小点(对寻找极小点是默认的)。
*IOp(1/11=x) =1即noeigentest关键词,=2为总是测试势能面曲率符号,错了就停止任务,即eigentest关键词。
默认对LST/QST方法找过渡态及寻找极小点不测试,对Z矩阵或笛卡尔下TS任务进行检测。
*IOp(1/40=N) 每N步重新精确计算一次Hessian矩阵,期间只是使用一阶导数更新之前的Hessian矩阵。
IOp(1/111=N) 设定温度为N/1000 K,若N为负数则为N/1000000 K。
IOp(1/111=N) 设定压力为N/1000 atm,若N为负数则为N/1000000 atm。
IOp(2/12=x) 默认是1,仅当距离为0时才报错,即geom=nocrowd。
=2是小于0.5埃就报错,即geom=crowd。
=3是即便原子间距离为0,L202也不报错,此选项似乎目前不能用。
1,1,3,3-四硝基环丁烷生成热和爆轰参数的计算
( N B .T ed t ai aa ee r so a lt q ai sw r a oclua d t n ia s h t T C ) h e n t np rm t si t m f m e e u t n ee l a l e .I idct a o o r ne K o s c t et
n t n p es r. a i r s u e o
Ke o d y w r s:I o e mi e c in;S a d r e to o ma in; Co b sin e t ap sd s cr a t o t n a d h a ff r to m u to n h ly;TNCB
近 HM X。多 硝基 氮杂 环丁烷 因其 紧凑张 力 的 四元 杂 环 结构 , 使该 类 化 合 物具 有 很 高 的 能量 , 而 成 为一 类 从 重要 的高能 量 密度 材料 。1 13, , , 3一四硝基 环 丁 烷 ( N B) 构类 似于 T A 其 生 成 热及爆 轰 参 数未 见 有 TC 结 N Z,
TNCB y bea c nd d t ih e p o ie b c u eo sh g eo to e o i ma a i ae h g x l sv e a s fi i h d tnain v lc t t y,d tnain h a nd d t— e o to e ta eo
文 献 标 志码 : A
Ca c l to s o a lu a in fSt nda d e to r a in a t n to r H a fFo m to nd De o a in
Pa a e e s o 1, 3 Te r n t o y l b t ne r m t r f l, 3, - t a ir c e o u a
应用泛函分析修订版(后两章)
赋范线性空间上的有界线性泛函 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · §1.2.1 §1.2.2 §1.2.3 赋范线性空间上的有界线性泛函 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 对偶空间 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · ·
§1.1 赋范线性空间上的有界线性算子
§1.1.1 有界线性算子
定义 1.1.1 设X, Y是同一数域K上的赋范线性空间, T : X → Y是线性算子. 若存在正常 ∥T x∥ ≤ c∥ x∥, 则称T 为X上的有界线性算子. 在(1.1.1 )中, ∥ x∥是表示 x在X中的范数, ∥T x∥ 是表示 T x 在 Y中的范数. 至于在定义中 用“有界”二字是基于下面一个的事实: T : X → Y是有界线性算子, 当且仅当线性算 子 T 把 X 中的任一有界集映成 Y 中的有界集. 考察不等式(1.1.1 ), 对所有的 x ∈ X, x θ, 由(1.1.1 )得 (1.1.2) ∥T x∥ ≤c ∥ x∥
§2.4
曲线拟合的最小二乘法 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 50 §2.4.1 §2.4.2 曲线拟合的最小二乘问题 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 50 最小二乘解的求法 · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · · 51
Irn 0,±(n=2~4)团簇的结构和稳定性的密度泛函理论研究
I3cu tr ,a d i h r d n mi tb l y i o d. r l se s n t te mo y a c sa ii s g o s t
Ke y wor s:I l se ;sr c u e d sa i t d rcu tr s t tr s a t l y;d n iyf n t n lt e r u n b i e st u c i a h o y o
中 图分 类 号 : 6 1 O 4 文 献标 识 码 : A 文章 编 号 :17 40 (08 0 0 8 — 6 63— 87 20 )6— 0 1 0
De st un to lt e r tc lsud fs r c ur s a d s a iiy o n iy f c i na h o e i a t y o t u t e n t b l f t
I , ( 2- )cutr r。 n= - ls s 4 e
Z HANG u o g CUIYa n Xi r n , na
(. eerhIstt o ihr dctn J n s nvrt o c neadTc nl yZ ejn agu220 ,hn ) 1R sac tue f i e uai , i guU i sy f i c n ehoo ,hni gJ n s 10 3 C ia n i Hg E o a e i S e g a i ( . ho o t isSi c n nier g JaguU ie i fSi c dT cnl y Zej g i gu220 ,hn ) 2S ol f e a e eadE g e n , i s nvrt o ce ea eh o g ,hni a s 103 C ia c Ma r l c n n i n sy n n o n a Jn
实变函数与泛函分析要点
实变函数与泛函分析概要之蔡仲巾千创作第一章集合基本要求:1、理解集合的包括、子集、相等的概念和包括的性质.2、掌握集合的并集、交集、差集、余集的概念及其运算性质.3、会求已知集合的并、交、差、余集.4、了解对等的概念及性质.5、掌握可数集合的概念和性质.6、会判断己知集合是否是可数集.7、理解基数、不成数集合、连续基数的概念.8、了解半序集和Zorn引理.第二章点集基本要求:1、理解n维欧氏空间中的邻域、区间、开区间、闭区间、体积的概念.2、掌握内点、聚点的概念、理解外点、界点、孤立点的概念.掌握聚点的性质.3、掌握开核、导集、闭区间的概念及其性质.4、会求己知集合的开集和导集.5、掌握开核、闭集、完备集的概念及其性质, 掌握一批例子.6、会判断一个集合是非是开(闭)集, 完备集.7、了解Peano曲线概念.主要知识点:一、基本结论:1、聚点性质§2 中T1聚点原则:P0是E的聚点⇔ P0的任一邻域内, 至少含有一个属于E而异于P0的点⇔存在E中互异的点列{Pn}, 使P n→P0 (n→∞)2、开集、导集、闭集的性质§2 中T2、T3T2:设A⊂B, 则A་⊂B་, ·A⊂·B,-A⊂-B.T3:(A∪B)′=A′∪B′.3、开(闭)集性质(§3中T1、2、3、4、5)T1:对任何E⊂Rⁿ, Ė是开集, E´和―E都是闭集.(Ė称为开核, ―E称为闭包的理由也在于此)T2:(开集与闭集的对偶性)设E是开集, 则CE是闭集;设E是闭集, 则CE是开集.T3:任意多个开集之和仍是开集, 有限多个开集之交仍是开集. T4:任意多个闭集之交仍是闭集, 有限个闭集之和仍是闭集.T5:(Heine-Borel 有限覆盖定理)设F 是一个有界闭集, ℳ 是一开集族{Ui}i єI 它覆盖了F (即F с∪iєIUi ), 则 ℳ 中一定存在有限多个开集U1, U2…Um, 它们同样覆盖了F (即F ⊂m∪ Ui )(i єI )4、 开(闭)集类、完备集类.开集类:R ⁿ, Φ, 开区间, 邻域、Ė、P о闭集类:R ⁿ, Φ, 闭区间, 有限集, E ΄、E 、P完备集类:R ⁿ, Φ, 闭区间、P二、基本方法:1、判断五种点的界说;2、利用性质定理, 判断导集、邻域等;3、判断开集、闭集;4、关于开闭集的证明.第三章 测度论 基本要求:1、 理解外测度的概念及其有关性质.2、 掌握要测集的概念及其有关性质.3、 掌握零测度集的概念及性质.4、 熟悉开集、闭集、区间、波雷乐集等可测集, 掌握一批可测集的例子.5、 会利用本章知识计算一些集合的测度.6、 掌握“判断集合可测性”的方法, 会进行有关可测集的证明. 要点归纳:外测度:①界说:E ⊂R ⁿ Ii (开区间)∞∪ Ii כE m*(E )=inf ∑i│Ii │②性质:(1) 0≤m*E ≤+∞(非负)(2)若A сB 则m*A ≤ m*B (单调性)(3)m* (∞∪Ai )≤∞∑m*Ai (次可列可加性)③可测集:E ⊂R ⁿ 对任意的T єR ⁿ有:m*(T )= m*(T ∩E )+ m*(T ∩CE )称E 为可测集, 记为mE 其性质:1)T1:E 可测⇔∀ A ⊂E B ⊂CE 使m*(A ∪B )= m*A+ m*B2)T2:E 可测⇔CE 可测④运算性质:设S 1、S 2可测⇒S 1∪S 2可测(T3);设S 1、S 2可测⇒S 1∩S 2可测 (T4);设S 1、S 2可测⇒S 1-S 2可测 (T5).⑤S1、S2…Sn 可测⇒∪Si可测(推论3)∩Si可测(T7)⑥S1、S2…Sn…可测, S i∩S j=φ⇒∪S i可测m(∪S i)= ∑m(S i)(T6)⑦S i递增,S1⊂S2⊂S3⊂…⇒lim(∪S i)=lim mS i=Ms(T8)⑧S i递降可测, S1כS2כS3כ…当mS1<+∞⇒limm(∩S i)=lim mSn (T9)⑨可测集类:1)零测度集:可数集、可列点集、Q、[0, 1] ∩Q、Ф、P零测度集的子集是~, 有限个、可数个零测度集之并是~.2)区间是可测集 mI=│I│ 3)开集、闭集;4)Borel集界说, 设G可表为一列开集的交集, 且称G为Gδ型集如[-1, 1];设F可表为一列闭集之并, 则称为Fσ型集, 如[0, 1]Borel集界说:从开集动身, 用取余集、取有限个或可列个集合的并集或交集(不超越可数次)的集合.T6:设E是任一可测集, 存在Gδ集, 使E⊂G, 且m(G-E)=0T7:设E是任一可测集, 存在Gσ集, 使F⊂E, 且m(F-E)=0可测集是存在的.第四章可测函数基本要求:1、掌握可测函数的概念和主要性质.2、掌握点集上的连续函数、简单函数、几乎处处成立(几乎处处相等、几乎处处有限、几乎处处收敛…)的概念.3、掌握一批可测函数的例子.4、掌握判断函数可测性的方法, 会进行关于可测函数的证明.5、理解叶果洛夫定理和鲁金定理.6、了解依测度收敛的概念及其性质.7、理解三种收敛之间的关系.(一)基本概念1可测函数:ƒ是界说在可测集E Rⁿ上的实函数, 任意的α∈RE[ƒ>α]是可测集, 称ƒ(x)是E上的可测函数ƒ可测⇔任意的α∈R E[ƒ≧α]是可测集⇔任意的α∈R E[ƒ<α]是可测集⇔任意的α∈R E[ƒ≦α]是可测集⇔任意的α, β∈R E[α≤ƒ<β]是可测集 ( │ƒ│<+∞)几乎处处成立2连续函数、简单函数3依测度收敛、收敛 、一致收敛(二)基本结论:可测函数的性质(8个定理)(1) 充要条件(T 1)4 个等价条件(2) 集合分解T 3(2), ƒ在Ei 之并S ∪E i 上, 且在Ei 上可测=>ƒ在S ∪E i 上可测(3) (四则运算)ƒ , g 在E 上可测ƒ+g, ƒg , │ƒ│, 1/ ƒ在E 上可测.(4) 极限运算 { ƒn }是可测函数列, 则μ=inf ƒn λ(x )=sup ƒn 可测(T5)⇒F=lim ƒn G=──lim ƒn 可测(5) 与简单函数的关系:ƒ在E 上可测 ⇒ƒ总可以表成一列简单函数{φn }的极限函数 ƒ=lim n φn , 而且可以办到│φ1│≤│φ2│≤│φ3│≤…2.ЕгopO в定理:mE<+∞ƒn 是E 上a .e 于一个a .e 有限的函数ƒ的可测函数 ⇒ 对任意的δ>0 存在子集E δ⊂E 使得ƒn 在E δ上一致收敛且m (E-E δ)<δ3Лузин定理:ƒ是E 上a.e 有限可测函数,任意δ>0 ∃闭子集E δ⊂E 使得ƒ在E δ上连续 且m (E-E δ)<δ即在E 上a.e 有限的可测函数是:“基本上连续”的函数.4可测函数类:连续函数(T2)、简单函数、R 上单调函⇒f于列;fn ⇒f(x) 在此mE<+∞条件下,可见测度收敛弱于a.e收敛弥补定理(见复旦§3.2 T5) mE<+∞,fn 是E 上可测函数列fn ⇒f ⇔{fn} 的(任何子列)∀fn i , 总可以找到子子列(∃) fn ij →三、基本方法 :1判函数可测(1) 集合判别法, 任意的a ∊R E[f>a] 是可测集(2) 集合分解法, E=∪E i E i ∩E j =Ф f 在E i 上可测(3) 函数分解法, f 可表为若干函数的运算时(4) 几乎处处相等的函数具有相同的可测性(§1, T 8)(5) 可测函数类2判断三种函数之间的关系第五章 积分论 基本要求:1、 了解可测分划、年夜(小)和、上(下)积分、有界函数L 可积和L 积分的概念.2、 掌握有界函数L 积分的性质.3、 理解非负函数L 积分与L 可积的概念.4、 理解一般函数的L 积分确定、L 积分与L 可积的概念.5、 掌握一般函数的L 积分的性质.6、 掌握L 积分极限定理.7、 弄清L 积分与R 积分之间的关系.8、 熟练掌握计算L 积分的方法.9、 会利用L 积分极限定理进行有关问题的证明.10、了解有界变差函数的概念及其主要性质.11、 了解不定积分、绝对连续函数的概念及它们的主要性质.Lebesgue 积分1、 Riemann 积分 分割、作和、取确界、求极限.2、 Lebesgue 积分界说1:E=n∪Ei,各Ei 互不相交, 可测, 则称{E i }为E 的一个分划, 记作D={E i }界说2:设f 是界说在E ⊂R ⁿ(mE <∞)上的有界函数, D={E i }令B і=su pxєEif (x ) bi=in fxєEif (x )年夜和S(D, f)=∞∑BimEi = S(D, f)小和ş(D, f)=∞∑bimEi=ş(D, f)ş(D, f)≤S(D, f)界说3:设f是界说在E⊂Rⁿ(mE<∞)上的有界函数上积分:–∫Ef(x)dx=inf{ S(D, f)}下积分:∫–Ef(x)dx=sup ş(D, f)若上下积分相等, 则称f 在E上可积, 其积分值叫做L积分值, 记(L)∫Ef(x)dxT1:设 f是界说在E⊂R q(mE<∞)上的有界函数, 则f在E上L 可积‹═›任意的ε> 0S(D, f)- ş(D, f)<εT2:f在E上L可积⇔f在E上可测(*)对有界函数而言, L可积⇔可测T3:f, g有界, 在E上可测, f±g, fg, f/g, │f│可积T4:f在[a, b]上R可积═›L可积, 且值相等*L积分的性质:T-1(1):f在E上L可积, 则在E的可测子集上也L可积;反之,E=E1∪E2 E1∩E2=φ E1、E2可测, 若f在E i上L可积, 则f在E上可积∫Efdx= ∫E1fdx+ ∫E2fdx (积分的可加性)(2)f, g 在E上有界可测∫E(f+g)dx=∫Efdx+∫Egdx (3)任意cєR ∫Ecfdx=c∫Efdx(4)f, g在E上L可积, 且f≤g 则∫Efdx≤∫Egdx特别地, b≤f≤B ∫Efdx є[bmE, BmE]推论1:(1)当mE=0 ∫Efdx=0(2)f=c ∫Efdx=cmE(5)f在E上可积, 则│f│可积, 且│∫Efdx│≤∫E│f│dx T-2 (1)设f在E上L可积f≥0 ∫Efdx=0 则于E (2)f在E上L可积, 则对任意的可测集A属于E使limmA→0∫Afdx=0 (绝对连续性)则∫Efdx=∫E g dx证明思路: E=E1∪E2 E1∩E2=φ E1=E[f≠g]∫E (f- g)dx = ∫E1 +∫E2 (f- g)dx=0注:1)在零测度集上随意改变函数值,不影响积分值,甚至在E的一个零测度子集0E 上无界说亦可.2)从E 中除去或添加有限个或可数个点L 积分值不变 一般函数的积分一、 非负函数:f, E ⊂E q二、 界说:f ≥0 E ⊂E q mE <∞[f(x)]n={fnf≤nf>n称[f]n 为(E 上)截断函数 性质:(1)∀ [f(x)]n 有界非负, f ≤n(2)单调 [f]1≤[f]2≤[f]3≤…(3)limn→∞[f]n=f (x ) 界说1:设f 为非负(于E )可测(mE <∞)称∫Efdx =∫E limn→∞[f]nd x (若存在含无穷年夜)为f 在E 上的L 积分当∫E limn→∞[f]nd x 为有限时, 称f 为在E 上的非负可积函数注:①非负可积一定存在分② L 积分三、 设f 在E (mE<+∞)上可测, f + f - 在E 上非负可测, 则│f │可测∫Ef + dx ∫Ef -dx 存在 f= f +- f -∫Ef dx=∫Ef + dx-∫Ef -dx界说 2:设f 在E (mE<+∞)上可测, 若∫Ef + dx 和∫Ef -dx 分歧时为+∞则称f 在E 上积分确定当∫E f dx<+∞时, 则称f 在E 上L 可积注:①f 可测 f 可积②有界函数 −←+f f mE<+∞L 积分的性质:定理1-(1):若 mE=0, 则 ∫E f dx=0(2):f 在E 上可积⇒mE[f=+∞]=0 f 有限a .e于E同(R )(3):f 在E 上积分确定⇒ f 在可测子集E 1⊂E 上积分确定12E E E fdx fdx fdx=-⎰⎰⎰ E=E1∪E2(4):f 在E 上积分确定,f=g a .e 于E 则f,g 的积分确定且相等几乎处处相等的函数具有相同的可积性(值相等)同(R)(5):f,g 在E 上非负可测⇒∫E (f+g) dx=∫E f dx+∫E fgdx 同(R)(6): f,g 在E 上积分确定f ≤g ⇒∫E f dx ≤∫E fgdx L 可积性质定理2:有界可积函数性质仍成立(5条)(略)积分极限定理T-1 L 控制收敛定理设1){fn}是E 上一列可测函数2)│fn │≤f (x ) f 为L 可积函数3)fn ⇒f (fn →f a.e 于E )则f 是E 上L 可积函数,且limn→∞∫E fnd x=∫E fd x L 有界收敛定理 设1){n f }是E 上一列可测函数, mE<+∞2)│n f │≤K (常数)3)n f ⇒f (n f →f a.e 于E )则f 是E 上L 可积函数,且limn→∞∫E n f dx=∫E f dx T-2(Levi)设{n f }是E 上一列非负可测函数,n f ≤1n f +则limn→∞∫E n f dx=∫E limn→∞n f dx T-3设{n f }是E 上一列非负可测函数,则∫E ∑∞=1n n f ndx=∑∞=1n ∫E n f dx (逐项积分定理) T-4(积分的可数可加性)f 在可测集E ⊂E q 上的积分确定,且E=∞∪Ei其中E i 为互不交的可测集, 则 f dx=∞∑∫E i f dx有界变差函数分划:T:a=x0 <x1<x2<…<xn=b 若E{∑│()if x-1()if x-│}为界则称f在[a,b]上是有界变差函数 ,上确界称为全变差,记V ba(f)=sup∑=ni1│f(xi)-f(xi-1)│有限闭区间上满足Lipschtz条件的f是有界变差有限闭区间上单调有限函数是有界变差V ba(f)=│f(b)-f(a)│T-2性质:1)()()b c ba a cf fV V V=+(f)可加性2)f在[a,b]上是有界变差⇒f有界3)f, g有界变差⇒f±g, f g有界变差T-3(Jordan分解)f∈V[a, b] ⇔f可分解为两个有限增函数之差有界变差函数不连续点至多可列个, f∈V[a, b],V ba(f)=0=>f=constT-4(Lebesgue)设f∈V[a, b],则1)在[a, b]上几乎处处存在导数f'(x)2)f'(x)在[a, b]上可积3)若f是增函数,有∫ba f'(x)dx≤f(b)-f(a)不定积分界说1:设f在[a, b]上L可积, f∈L[a, b]∫[a,x]f dx称为f在[a, b]上的不定积分界说2:设F(x) 是[a, b]上的有界函数,∀ε>0 , ∃δ>0 [a i,b i]不交,只要∑=ni1( bi- ai)< δ就有∑=ni1│F(bi)-F(ai)│<ε,则称f 为[a, b]上的绝对连续函数(全连续函数)定理1:f∈[a, b] F(x)=∫[a,x]f dx+C为绝对连续函数绝对连续⇒一致连续且有界变差f满足Lipschtz条件⇒f全连续T2:F(x)为[a, b]上绝对连续函数, F'(x)=0 a.e于[a, b]则F(x)=constT3:f∈绝对连续函数F(x) ,使F'(x)= (x)于[a, b](只需取F(x)=∫[a,x]f dx)T4: f是[a, b]上绝对连续函数,则几乎处处有界说的F'(x)在[a, b]上可积, 且 F(x)= F(a)+ ∫[a,x]f dx即F(x)总是[a, b]上可积函数的不定积分.F是[a, b]上绝对连续函数⇔F是一可积函数的不定积分对绝对连续函数,微分再积分也还原(至多差一常数)T5:(分部积分)f在[a, b]上绝对连续,λ(x)在[a, b]上可积且 g(x)-g(a)=⎰xaλ(x)dx 则有∫baf(x)λ(x)dx=f(x)λ(x)│ba-∫baf'(x)λ(x)dx弥补:(见南京年夜学教材)fє V[a, b], 则f(x)=φ(x)+r(x)+s(x)φ(x)为全连续;r΄(x)为奇异函数;s(x)为跳跃函数f(x)=p(x)-n(x)+f(a)p(x)为正变分;n(x)为负变分.第六章怀抱空间和赋范线性空间基本要求:1、熟练掌握怀抱空间的界说, 理解一些怀抱空间的例子.2、掌握可分空间的概念, 弄清几个罕见空间的可分性.3、了解连续映照的概念及等价条件.4、掌握完备怀抱空间、柯西点列的概念, 弄清一些罕见空间的完备性.5、掌握范数、线性赋范空间的有关概念, 一些罕见的空间范数界说.6、掌握巴拿赫空间的界说及一些罕见的例子.7、了解有限维线性赋范空间的主要性质.怀抱空间1、距离界说:1) d(x, y)≥0 当 x=y 时, d(x, y)=02)d(x, y)≤d(x, z)+d(z, y)三点不等式等价界说, 距离公理:1)d(x, y)≥0非负性;2)d(x, y)= d(x, y)对称性;3)d(x, y)≤ d(x, z)+ d(z, y)三点不等式Rn中罕见的三种距离:d(x, y)=[nΣ(ξi-ηi)²]½d(x, y)=nΣ│ξi-ηi│d(x, y)=max│ξi-ηi│2、可分性:界说:X是怀抱空间, N和M是X的两个子集, 如果N⊂M,N⊂M, 称集M在集N中浓密, 当N=X时, 称M为X的一个浓密子集, 如果X有一个可列的浓密子集, 则称X为可分空间.Rn是可分空间:坐标为有理点的全体是可列浓密子集.离散距离空间X可分充要条件X是可列集.事实上X中无浓密真子集, X中唯一的浓密只有X自己自己.反例, l∞为不成份, 按d(x, y)=sup│ξi-ηi│3、连续映照界说:设X=(X, d) Y=(Y, d)是两个怀抱空间, T是X到Y中的映照, xοєX, 如果对任意的ε>0, 存在δ>0 使d(x, xο)<δ时, d(Tx, Txο)<ε则称T在xο连续用邻域描述:对Txο的ε-邻域N, 存在xο的某个δ—邻域Nο, 使T Nο⊂NT-1:设T是怀抱空间X=(X, d)到Y=(Y, d)中映照, T在xο连续⇔当x n→xο时, 有Tx n→Txο界说2:T在X的每一点连续, 则称T是X上的连续映照, 称集合{x∣x∈X, Tx⊂M}MсY 为集合M在映照T下的像, 简记为T-1MT-2:怀抱空间X到Y中的映照T是X上连续映照⇔Y中任意开集M的原像T-1M是X中的开集(利用T-1(CM)=C (T-1M), 可将定理中开集改成闭集)4、柯西点列界说:X=(X, d)是怀抱空间, {xn}∞n=1是X中的点列, 对∀ε>0∃N(ε), 当n, m>N时, 必有d(xn, xm)<ε则称{xn}∞n=1是X中的柯西 (Cauchy )点列或基本点列, 如果(X, d )中每一个柯西点列都收敛, 则称(X, d )是完备的怀抱空间.有理数全体按绝对值距离构成的空间不完备, 而l ∞是完备的怀抱空间.怀抱空间中任一收敛点列是柯西点列;反之, 怀抱空间的柯西点列未必收敛.T-1:完备怀抱空间的子空间M, 是完备空间的 <=> M是X中的闭子空间P[a, b]([a, b]上实系数多项式全体作为C[a,b]的子空间)是不完备的怀抱空间.5、等距同构界说:设(X, d ), (~X, ~ d)是两个怀抱空间, 如果存在从X 到~X上的保距映照T, 则称(X, d )与(~X, ~ d)等距同构, 此时T 称为~X上的等距同构映照T :(怀抱空间完备化定理)设(X, d )是怀抱空间, 那么一定存在完备怀抱空间(~X, ~ d) 使(X, d )与(~X, ~ d)的某个浓密子空间W 等距同构, 而且~X在等距同构下是唯一的.即若(ˆX , ˆd )也是一个完备的怀抱空间, 且X 与ˆX的某个浓密子空间等距同构, 则(~X, ~ d)与(ˆX , ˆd )等距同构. T ´:设X=(X, d )是怀抱空间, 那么存在唯一的完备怀抱空间~X=(~X, ~ d), 使X 为~X的浓密子空间6、压缩映照界说:X 是怀抱空间, T 是X 到X 的映照, 如果存在一个数α,0<α<1, 使对所有的x, y єX 成立d (Tx, Ty )≤α d (x, y ) 则称T 为压缩映照T-1(压缩映照定理)设X 是完备的怀抱空间, T 是X 上的压缩映照, 那么T 有且仅有一个不动点(方程Tx=x, 有且只有一个解)注:本定理在方程的解的存在性和唯一性证明中起重要作用.T-2设f (,)x y 在带状域:a ≤x ≤b -∞‹y ‹+∞ 中处处连续, 且处处有关于y 的偏导y f (,)x y , 如果还存在常数m 和M, 满足0<m <y f '(,)x y ≤M, m <M 则方程f (,)x y =0在区间[a, b]上必有唯一的连续函数y =φ(x )作为解: f (x, φ(x ))≡0 x є [a, b]证明过程作映照A :A φ=φ-M 1f (x, φ(x ))7、线性空间X 是线性空间, Y 是X 的非空子集, 任意x, y єY 及任意αєR=>x+y єY αx єYY 是X 的子空间, X 和{0}是平凡子空间. 线性相关, 无关概念M 是X 的非空子集, M 中任意有限个向量线性组合全体记为spanM 称为由M 张成的包界说:X 是线性空间, M 是X 中线性无关子集, 若spanM=X, 则称M 的基数为X 的维数, 记为dimX, M 称为X 的一组基, M 的基数是有限时, 则称为有限维线性空间, 如果X 只含有零元素, 则称X 为0维线性空间.8、线性赋范空间界说:设X 为实(复)线性空间, 如果对每一个向量x єX, 有一个确定的实数, 记为║x ║ 与之对应, 而且满足:i ║x ║≥0 且║x ║=0 <=>x=0ii ║αx ║=α║x ║其中α为任意实(复)数iii ║x+y ║≤║x ║+║y ║ x, y єX则称║x ║为向量x 的范数, 称X 按范数║x ║成为线性赋范空间{xn}∞n=1是X中的点列, 如果存在x єX, 使║xn -x ║→0 (n →∞)则称{xn}∞n=1依范数收敛于x, 记为xn →x (n →∞)或limn→∞xn= x令d (x, y )=║x-y ║ 是由范数导出的距离, 由此观之线性贱范空间实际上是一种特殊的怀抱空间. 若d 由║·║导出, 对任意的αєR, x, y єX, 有:(a ) d (x-y, 0)= d (x, y ); (b )d (αx, 0)=|α| d (x, 0)反之, X 是线空间, d 是距离, 满足(a )和(b ), 那么一定可以在X 上界说范数║x ║使d 是由范数导出的距离, ║x ║=d (x, 0)║x║是x的连续函数, 事实上, 任意x, yєX, 由范数条件2)和3)易证| ║y║-║x║|≤║y-x║, 所以, 当║xn -x║→0时║xn║→║x║完备的线性赋范空间称为巴拿赫空间(Banach Spaces)1)Rn║x║=(nΣ|ξi| ²)½构成Banach空间2)C[a, b] ║x║=sup|x(t)| 构成Banach空间3)∞ℓ:║x║=sup|ξi|构成Banach空间4)L p[a, b] ║f║p=(∫ba|f(x)|pdx)1/p构成Banach空间 p≥1证明需用到引理1 和2引理1:(Hölder不等式)设p>1, 1/p+1/q=1, fє Lp[a, b] g є Lq[a, b]那么f, g在[a, b]上L可积且成立:∫ba|f(x)g(x)|dx≤║f║p║g║q引理2:(Minkowsky不等式)设p≥1, f, gє Lp[a, b], 那么f+gє Lp[a, b] 且成立:║f+g║p≤║f║p+║g║pT-2:Lp[a, b] (p≥1)是Banach空间5)lp║x║=(nΣ|ξi|p)1/p是Banach空间T-3设X是n维线性赋范空间, (e1, e2, …en)是X的一组基,则存在常数M和Mˊ使对一切 x=nΣξi e i成立M║x║≤(nΣ|ξi| ²)½≤M′║x║推论1:设在有限维线性空间上,界说了范数║x║和║x║1那么必存在常数M和Mˊ使得M║x║≤║x║1≤M′║x║界说2:设R是线性空间,║x║1和║x║2是R上两个范数,如果存在正数c1,c2,使对一切xєR,成立: c1║x║2≤║x║1≤c2║x ║2则称(R, ║x║1)和(R, ║x║2)是拓扑同构的推论2:任何有限维赋范线性空间都和欧氏空间拓扑同构,相同维数的有限维赋范线性空间彼此拓扑同构.第七章线性赋范空间和线性连续泛函基本要求:1、理解线性算子、线性泛函的概念.2、掌握线性有界算子的概念和有关性质, 以及二者这间的关系.3、了解算子的范数的概念, 熟悉一些线性有界算子的例子, 并知道无界算子是存在的.4、了解线性有界算子空间的概念和性质.5、掌握共轭空间的概念和性质, 知道一些特殊空间的共轭空间.算子界说:线性赋范空间X到Y的映照T被称为算子, 如果Y是数域, 则被称为泛函线性算子和线性泛函 T1:设X和Y是两个同为实(或复)的线性空间, D(Đ)是X的线性子空间, T为D到Y中的映照, 如果对任意的x, y ∈D , 及数α, 成立:T(x+y)=Tx+Ty (1) T(αx)=αTx (2)则称T为D到Y中的线性算子, 其中D称为T的界说域, 记为D (T), T D称为T的值域记为R(T), 当T取值于实(或复)数域时, 称T为实(或复)线性泛函几种罕见的线性泛函: 1、相似算子Tx=αx当α=1时, 恒等算子, 零算子;2、P[0, 1]是[0, 1]上的多项式全体, 界说微分算子, 若t0∈[0, 1],对∀x∊P[0, 1], 界说f(x)=x´(t0)则f是P[0, 1]上的线性泛函.3、积分算子 x∈C[a, b] Tx(t)=∫tax()τdτf x=∫bax()τdτ则f是由积分线性性质知T为线性泛函, 若令()C[a, b]中的线性泛函4、乘法算子 Tx(t)=tx(t)5、Rn中的线性变换是线性算子线性有界算子界说:设X和Y是两个线性赋范空间, T是X的线性子空间D(T)到Y中线性算子, 如果存在常数c, 使对所有x∈D(T), 有:║Tx║≤c║x║, 则称T是D(T)到Y中的线性有界算子, 当D(T)=X时, 称T为X到Y中的线性有界算子,简称为有界算子.否则, 称为无界算子.T-1:设T是线必性赋范空间X到线性赋范空间Y中的线性算子, 则T为有界的充要条件是T是X 上的连续算子.T-2:设X是线性赋范空间, f是X上线性泛函, f是X上连续泛函的⇔f的零空间ℕ(f)是X中的闭子空间.界说:T为线性赋范空间X的子空间D(T)到线性赋范空间Y中线性算子, 称║Tx║=s u p ║Tx║/║x║为算子T在D(T)上的范数x≠0,x∈D(T)引理:T是D(T)上线性有界算子, 成立║T║=s u p ║Tx║/║x║=║Tx║=s u p ║Tx║/║x║x∈D(T),║x║=1 x∈D(T),║x║≤1 线性算子空间和共轭空间X和Y是两个线性赋范空间,以ℬ(X→ℬ(X→Y)时,α是所讨论的数域中的数时,界说ℬ(X→Y)中加法运算如下:对任意的x∈X,令(A+B)x=Ax+Bx(αA)x=αAx则ℬ(X→Y)依照如上加法和数乘运算和算子范数构成线性赋范空间.T:当Y是Banach空间时,ℬ(X→Y)也是Banach空间一般地,设X是线性赋范空间,如果在X中界说了两个向量的乘积,而且满足║xy║≦║x║║y║ x,y∈X 则称X为赋范代数,当X完备时,则称X为Banach代数,由T知,当X完备时,ℬ(X→Y)是Banach代数.共轭空间:设X是线性赋范空间,令X′暗示X上线性连续泛函全体所成的空间,称X为共轭空间.T:任何线性赋范空间的共轭空间是Banach空间.界说:设X和Y是两个线性赋范空间,T是X 到Y中的线性算子,而且对所有的x∈X,有║Tx║=║x║则称T是X 到Y中的保距算子, 如果T又是映照到Y上的, 则称T是同构映照, 此时称X与Y同构.第八章内积空间和希乐伯特空间基本要求:1、掌握内积空间, 希乐伯特空间的概念, 熟悉一些具体例子.2、理解内积与其诱导范数之间的关系.3、理解许瓦兹不等式和平行四边形法则.4、了解凸集的概念, 掌握正交的有关概念.5、掌握直交补空间的界说与性质.6、理解投影算子的概念, 掌握投影算子的性质.内积空间和希尔伯特空间界说:设X是复线性空间, 如果对X中任何两个向量x,y, 有一复数‹x, y›与之对应, 而且满足下列条件:ⅰ≺x,y ≻≥0 ≺x, y≻=0当且仅当x=0,x∈X;ⅱ≺αx+βy,z≻=α≺x, z≻+β≺y,z≺ x y z∈X,αβ∈C(复数)ⅲ≺x, y≻=≺y,x≻ x,y ∈X则称≺x, y≻为x与y的内积,X为内积空间内积引出的范数‖x‖=√‹x, x›引理(Schwarz不等式)设X按内积≺x, y≻成为内积空间,则对X 中任意向量x,y,成立不等式∣≺x, y≻∣≤‖x‖‖y‖当且仅当x与y线性相关时取等号.易得出:范数不等式‖x+y‖≤‖x‖+‖y‖内积导出的范数‖x‖构成线性赋空间,若完备,则称Hilbert空间.满足平行四边形法则. ‖x+y‖2+‖x-y‖2=2(‖x‖2+‖y‖2)(内积空间范数的特征性质)如 L2[a, b] l2是Hilbert空间, 当p≠2时 l p不成为内积空间C[a, b]按范数‖x‖=maxa≤t≤b∣x(t)∣不成为内积空间极化恒等式(内积与范数关系式)(内积可用范数暗示)﹤x, y﹥=1/4(‖x+y‖2-‖x-y‖2+i‖x+iy‖2-i‖x-iy‖2)当X 为实内积空间时, ﹤x, y﹥=1/4(‖x+y‖2-‖x-y‖2)由Schwarz不等式, 立得﹤xn, yn﹥→﹤x, y﹥界说:设X是怀抱空间, M是X的非空子集, x是X中一点, 称infy∈M d(x, y)为点x到M的距离, 记作d(x, M)在线性赋范空间中 d(x, M)=infy∈M‖x-y‖设X是线性空间, x, y是X 中的两点, 称集合{z=αx+(1-α)y;0≦α≦1} 为X中联结点x和y的线段, 记为[x, y], 如果M是X 的子集, 对M中任意两点x, y必有[x, y]⊂M则称M为X中的凸集定理:(极小化定理)设X是内积空间, M是X中非空凸集, 而且按X中由内积导出的距离完备, 那么, 对每一个x∈X,存在唯一的y∈M, 使‖x-y‖= d(x, M)推论1:设X是内积空间, M是X 的完备子空间, 则对每个x∈X, 存在唯一的y∈M, 使‖x-y‖= d(x, M)(应用于微方、现代控制论、迫近论)界说:设X是内积空间, x, y是X中两向量, 如果﹤x, y﹥=0 则称垂直或正交, 记为x⊥y如果X的子集A中每个向量与子集B中每个向量正交, A⊥B x⊥y ⇒‖x+y‖2=‖x‖2+‖y‖2引理1:设X是内积空间, M是X的线性子空间, x∈X, 若存在y∈M使‖x-y‖= d(x, M), 那么x-y⊥M界说2:直接和:Y和Z是X的子空间, 对每一个xєX, 存在唯一的yЄY, Zєz 使x=y+z, 则称x为y和z的直接和.y和z称为一对互补子空间.Z称为Y的代数补子空间. 易知互补子空间必线性无关.界说3:设X 是内积空间, M是X 的子集, 称集合M⊥={xєM│x⊥M}为M在X 中直交补 M⊥是X 中闭线性子空间定理2:设Y是Hilbert空间的闭子空间, 那么成立 X=Y+Y⊥直接和记作:X=Y⊕Z x=y+z, y是x在Y中的直交投影.投影算子 Px=y 具有性质:ⅰ①P是X到Y上的线性有界算子, 且当Y≠{0}时, ‖P‖=1②PX=Y, PY=Y, PY┴=0③P2=P P是投影算子⇔ P=P*=P2设X是内积空间, M是X的子集, 记(M⊥)⊥=M⊥⊥显然有 M⊂M⊥⊥反之有:引理2:设Y是Hilbert空间X的闭子空间, 则成立 Y=Y⊥⊥引理3:设M是Hilbert空间X中非空子集, 则M是线性包SpanM 在X中浓密的充要条件是M⊥={0}界说4:设M是内积空间中不含零的子集, 若M中向量两两直交, 称M为X中直交系, 又若M 中向量范数为1, 则称M为X 中的就范直交系.直交系的基赋性质:①‖x1+x2+...+x n‖2=‖x1‖2+‖x2‖2+...‖x n‖2②直交系M 是X 中线性无关子集界说5:设X 是线性赋范空间,x i , i=1,2,...是X 中一列向量,α1,α2,...αn 是一列数,作形式级数∞ ∑αi x i 称S n =n ∑αi x i 为n项部份和若存在x єX,使S n →x 则称级数收敛,并称x 为其和,记作x=∑∞=1i αi x i界说6:设M 为内积空间X 中就范直交系, x єX,称数集 {﹤x, e ﹥│e єM}为向量x 关于就范直交系M 的富里叶系数集,而称﹤x, e ﹥为x 关于e 的Fourier 系数引理:设X 是内积空间,M 是X 中就范直交系,任取M 中有限个向量e 1,e 2,...e n 那么:(1) ‖x-n ∑﹤x, e i ﹥e i ‖2=‖x ‖-n ∑│﹤x, e i ﹥│2≥0 (2) ‖x-n ∑αi e i ‖≥‖x-n ∑﹤x, e i ﹥e i ‖≥其中αi 为任意的n个数定理(Bassel 不等式)设{e k }是内积空间X 中的有限或可列就范直交系,那么对每一个x єX,成立不等式∞ ∑│﹤x, e i ﹥│2≤‖x ‖2 若上式等号成立,则称为Parseval 等式引理:设{ e k }为Hilbert 空间X 中可列就范直交系, 那么成立:(1)∞ ∑αi e i 收敛的充要条件是∞ ∑│αi │2收敛(2)若x=∞ ∑αi e i 则αi =﹤x, e i ﹥ i=1,2,...故x=∞ ∑﹤x,e i ﹥e i(3) 对任意的x єX,级数∞ ∑﹤x, e i ﹥e i 收敛推论1: 设{ e k }是X 中可列就范直交系, 则对任意的x єX , lim n →∞﹤x, e n ﹥=0界说:设M 是内积空间X 的就范直交系,如果 spanM=X 则称M 是X 中的完全就范直交系.定理:设M 是Hilbert 空间X 中就范直交系, M 完全的充要条件是M ┴={0}定理:M 是Hilbert 空间X 中完全就范直交系的充要条件是, 对所有x єX,Parseval 等式成立.满足定理条件的M X 中的x 可展成x=∞ ∑﹤x, e ﹥e称为向量x关于就范直交系M的Fourier展开式.推论2: (Cтeклов定理)M是Hilbert空间X中就范直交系,若Parseval等式在某个浓密子集N上成立,则M完全.引理3:设{xi}是内积空间X中有限或可列个线性无关向量,那么必有X中就范直交系{e1,e2,...},使对任何正整数n,有span{e1,e2,...e n}= span{x1,x2...x n}本定理的证明过程称为Gram-Schmidt正交化过程定理4;每个非零Hilbert空间必有完全就范直交系.界说5:设X和~X是两个内积空间, 若存在X到~X的映照T, 使对任意的x, y∈X以及数α, β, 满足T(αx+βy)=αTx+βTy‹Tx, Ty›=‹x, y›则称X和同构, 并称T为X 到~X上的同构映照定理5:两个Hilbert空间X与~X同构的充要条件是X与~X有相同的维数.推论3:任何可分的Hilbert空间必和某个Rn或l2同构定理(Riesz定理)设X是Hilbert空间, f是X上线性连续泛函, 那么存在唯一的z∈X, 使对每一个x∈X 有f(x)=‹x, z›而且‖f‖=‖z‖对每个y∈X令Ty=fy其中fy为X上如下界说的泛函:fy(x)=‹x, y › , x∈X显然fy是X上线性连续泛函, 由Riesz定理, T是X到X٭上的映照, X٭是X上线性连续泛函全体所成的Banach空间, 又‖Ty‖=‖y‖.易看出, 对任意的x, y∈X以及数α, β, 成立:T(αx+βy)= αTx+βTy (٭)事实上, 对任何z∈X, 有T(αx+βy)(z)=‹z, αx+βy›=αTx(z)+βTy(z)=(αTx+βTy)(z)所以(٭)成立.称满足(٭)的映照T是复共轭线性映照,Ty= fy 是X到X٭上保范共轭线性映照,称为复共轭同构映照,若存在H空间X到~X上的复共轭同构映照,则称X与~X是复共轭同构,此时将X当做~X,当X是H空间时,X=X٭,即X是自共轭的.定理:设X和Y是两个H空间, A∈ℬ(X→Y), 那么存在唯一的A٭∈ℬ(X→Y), 使对任何的x∈X, y∈Y, 成立‹ Ax, y›=‹x,创作时间:二零二一年六月三十日创作时间:二零二一年六月三十日 A ٭y › 且‖A ‖=‖A ٭‖界说:设A 是H 空间X 到H 空间Y 中的线性有界算子, 则上定理中算子A ٭为A 的Hilbert 共轭算子, 简称共轭算子.共轭算子有下列基赋性质:①(A+B )٭=A ٭+B ٭②(αA )٭=α A ٭③ (A ٭)٭=A④‖AA ٭‖=‖A ٭A ‖=‖A ‖ A ٭A=0等价于A=0⑤ 当X=Y 时, (AB )٭=B ٭A ٭界说:T 为H 空间X 到X 中的线性有界算子, 若T=T ٭, 则称T 为X 上的自伴算子;若TT ٭=T ٭T, 则称T 为X 上正常算子;若T 是X 到X 上的一对一映照, 且T ٭=T -1, 则称T 是X 上的酉算子. 引理:T 为复内积空间X 上线性有界算子, 那么T=0⇔对一切x ∈X,成立 ≺ Tx, x ≻=0定理:设T 为复H 空间X 上线性有界算子, 则T 为自伴算子的⇔对一切的x ∈X,≺ Tx, x ≻ 是实数.自伴的和与差仍为自伴, 下面有:定理:T1和T2是H 空间X 上两个自伴算子, 则T1·T2自伴的充要条件是T1·T2=T2·T1定理:设{Tn}是H 空间X 上一列自伴算子, 而且limn→∞Tn=T, 那么T 仍为X 上自伴算子.定理:设U 及V 是H 空间X 上两个酉算子, 那么(1)U 是保范算子, 即对任何x ∈X, 成立 ‖Ux ‖=‖x ‖;(2)当X ≠{0}时, ‖U ‖=1(3)U -1是酉算子;(4)UV 是酉算子;(5)若Un, n=1, 2, …是X 上一列酉算子, 且Un 收敛于有界算。
泛函1-2 1-3 1-4
有
f n ( x) f m ( x) <
3.7 定理 设 { f n ()} 是E上的连续函数列,如果
{ f n ()}在E上一致收敛于 f () ,则此极限函数
f () 也在E上连续。
3.8 定理 设 { f n ()}是[a,b]上的连续函数列,如果
{ f n ()} 在E上一致收敛于 f () ,则 f () 在[a,b]
任一有界实数列 {xn } 必有收敛子序列 {xn }
k
•定理2.5 的几何解释
柯西准则说明收敛数列各项的值越到后边,彼 此越是接近,以至充分后面的任何两项之差的绝对 值可小于预先给定的任意小正数.或形象地说,收敛 数列的各项越到后面越是挤在一起.
x1 x5 x2 x4
x3
2.7 Heine—Borel有限覆盖定理:
f ( x' ) f ( x) < ,则称 f () 在集合E上一致连续。
例 证明 f ( x) ax b (a 0)在(,)上一致连续。
若 f 在E上一致连续,则 f 在E上连续; 反之不成立(即若 f 在E上连续, f 不一定在
E上一致连续).
1 例 设 f ( x ) , E (0,1) 则 f 在E上连续, x
S
等价定义
M supA 的充要条件
1) M 是 A 的上界
2) " 0, $x0 A 使得 x0 M
m inf A 的充要条件
1) m 是 A 的下界
2) " 0, $x0 A 使得 x0 < m
2.2 确界存在定理: 任何有上界的非空实数子集A必有上确界。任 何有下界的非空实数子集必有下确界。
2-4-1 Hahn-Banach定理
c 的刻画
将 (2) 和 (3) 综合在一起,即
sup
v± D( f )
f(v)
-
p(v-x1)
≤
c
≤ inf u±D( f
)
p(u+x1)
-
f(u)。
即只需对任意 u,v±D( f ),
f(v) - p(v-x1) ≤ p(u+x1) - f(u)。
(4)
将 f 和 p 分离,(4) 等价于
f(u) + f(v) ≤ p(u+x1) + p(v-x1)。
证明第二步:D( f ) = X
用反证法:假设 D( f ) ≠ X。取 x1±X\D( f )。 考虑空间 X1 = span{ x1 }⊕D( f ),目标变为:
将 f 延拓为 X1 上的线性泛函 f1,满足: f1(x) ≤ p(x), x∈X1。
这样就有 f b f1,与 f 为 极大元矛盾。
证明第一步:构造偏序集
记 G = { g | g 为 f0 的延拓,g(x) ≤ p(x),x±D(g)} 在 G 上定义半序“b”:g 为 h 的延拓时,记
hbg 则 G 中的全序子集必有上界(如何证明?)。 从而,由 Zorn 引理,G 中存在极大元 f。f 即 为所要找的延拓。只需要验证: D( f ) = X。
c 的刻画
利用线性性质将 t 去掉 ¾ t = 0,(1) 显然成立; ¾ t > 0,记 u = x/t,(1) 等价于
c ≤ p(u+x1) - f(u), u±D( f ); (2) ¾ t < 0,记 v = -x/t,(1) 等价于
f(v) - p(v-x1) ≤ c, v±D( f )。 (3)
泛函分析题1.4线性赋范空间答案
泛函分析题1.4线性赋范空间答案泛函分析题1_4线性赋范空间p391.4.1 在2维空间 2中,对每一点z = (x, y),令|| z ||1 = | x | + | y |;|| z ||2 = ( x 2 + y 2 )1/2;|| z ||3 = max(| x |, | y |);|| z ||4 = ( x 4 + y 4 )1/4;(1) 求证|| · ||i( i = 1, 2, 3, 4 )都是 2的范数.(2) 画出( 2, || · ||i )( i = 1, 2, 3, 4 )各空间中单位球面图形.(3) 在 2中取定三点O = (0, 0),A = (1, 0),B= (0, 1).试在上述四种不同的范数下求出?OAB三边的长度.证明:(1) 正定性和齐次性都是明显的,我们只证明三角不等式.设z = (x, y), w = (u, v)∈ 2,s = z + w= (x + u, y + v ),|| z||1 + || w||1 = (| x | + | y |) + (| u | + | v |) = (| x | + | u |) + (| y | + | v |)≥ | x + u | + | y + v | = || z+ w||1.( || z||2 + || w||2 )2 = ( ( x 2 + y 2 )1/2 + ( u 2 + v 2 )1/2 )2= ( x 2 + y 2 ) + ( u 2 + v 2 ) + 2(( x 2 + y 2 )( u 2 + v 2 ))1/2 ≥ ( x 2 + u 2 ) + ( y 2 + v 2 ) + 2( x u+ y v )= ( x + u )2 + ( y + v)2 = ( || z+ w||2 )2.故|| z||2 + || w||2 ≥ || z+ w||2.|| z||3 + || w||3 = max(| x |, | y |) + max(| u |, | v |)≥ max(| x | + | u |, | y | + | v |) ≥ max(| x + u |, | y + v |) = || z+ w||3.|| ·||4我没辙了,没找到简单的办法验证,权且用我们以前学的Minkowski不等式(离散的情况,用H?lder不等式的离散情况来证明),可直接得到.(2) 不画图了,大家自己画吧.(3) OA = (1, 0),OB = (0, 1),AB = (- 1, 1),直接计算它们的范数:|| OA||1 = 1,|| OB||1 = 1,|| AB||1 = 2;|| OA||2 = 1,|| OB||2 = 1,|| AB||2 = 21/2;|| OA||3 = 1,|| OB||3 = 1,|| AB||3 = 1;|| OA||4 = 1,|| OB||4 = 1,|| AB||4 = 21/4.1.4.2 设c[0, 1]表示(0, 1]上连续且有界的函数x(t)全体.?x∈c[0, 1],令|| x || = sup{| x(t) | | 0 < t≤ 1}.求证:(1) || ·||是c[0, 1]空间上的范数.(2) l∞与c[0, 1]的一个子空间是等距同构的.证明:(1) 正定性和齐次性都是明显的,我们只证明三角不等式.|| x || = sup{| x(t) | | 0 < t≤ 1}.|| x || + || y || = sup{| x(t) | | 0 < t≤ 1} + sup{| y(t) | | 0 < t≤ 1}≥ sup{| x(t) + y(t) | 0 < t≤ 1} = || x + y ||.所以|| ·||是c[0, 1]空间上的范数.(2) 任意取定(0, 1]中的一个单调递减列{a k },满足(i) a1 = 1;(ii) lim k→∞a k = 0.显然,在每个[a k + 1, a k]上为线性函数的f∈c[0, 1]是存在的.设X = { f∈c[0, 1] | f在每个[a k + 1, a k]上为线性函数}.容易验证X是c[0, 1]的子空间.定义? : X →l∞,f #? ( f ) = ( f (a1), f (a2), ...).则? : X →l∞是线性双射,且|| ? ( f ) ||∞= sup k ≥ 1 | f (a k) | = sup0 < t≤ 1 { | f (t ) | } = || f ||.所以,? : X →l∞是等距同构.因此,l∞与c[0, 1]的一个子空间是等距同构的.1.4.3 在C1[a, b]中,令|| f ||1 = (?[a, b] ( | f(x) |2 + | f’(x) |2) dx )1/2 (?f∈C1[a, b]).(1) 求证:|| · ||1是C1[a, b]上的范数.(2) 问(C1[a, b], || · ||1)是否完备?证明:(1) 正定性和齐次性都是明显的,和前面的习题一样,只验证三角不等式.我们先来证明一个比较一般的结果:若线性空间X上的非负实值函数p, q都满足三角不等式:p(x) + p(y) ≥p(x +y),q(x) + q(y) ≥q(x +y),?x, y∈X;则函数h = ( p2 + q2 )1/2也满足三角不等式.事实上,?x, y∈X,由Minkowski不等式,我们有h(x) + h(y) = ( p(x)2 + q(x)2 )1/2 + ( p(y)2 + q(y)2 )1/2≥ (( p(x)+ p(y))2 + ( q(x) + q(y))2 )1/2 ≥ ( p(x + y)2 + q(x + y)2 )1/2 = h(x + y).回到本题:若令p( f ) = (?[a, b] | f(x) |2dx )1/2,q( f ) = (?[a, b] | f’(x) |2dx )1/2,则( p( f ) + p( g ))2 = ((?[a, b] | f(x) |2dx )1/2 + (?[a, b] | g(x) |2dx )1/2)2= ?[a, b] | f(x) |2dx + 2(?[a, b] | f(x) |2dx )1/2 · (?[a, b] | g(x)|2dx )1/2 + ?[a, b] | g(x) |2dx≥?[a, b] |f(x)|2dx + 2 ?[a, b] | f(x) | · | g(x)| dx + ?[a, b] | g(x)|2dx = ?[a, b] ( | f(x) | + | g(x)| )2dx ≥?[a, b] ( | f(x) + g(x)| )2dx = ( p( f + g ))2.所以有p( f ) + p( g ) ≥p( f + g ).特别地,p( f’) + p( g’) ≥p( f’+ g’),即q( f ) + q( g ) ≥q( f + g ).因此,线性空间C1[a, b]上的非负实值函数p, q都满足三角不等式.根据开始证明的结论,|| · ||1也满足三角不等式.所以,|| · ||1是C1[a, b]上的范数.(2) 在C1[- 1, 1]中,令f n(x) = (x2 + 1/n2 )1/2 ( ?x∈[- 1, 1] ).则f’n(x) = 2x (x2 + 1/n2 )-1/2 ( ?x∈[- 1, 1] ).显然,f n(x)几乎处处收敛于| x |,f’n(x)几乎处处收敛于2sign( x ).因此,f n(x)依测度收敛于| x |,f’n(x)依测度收敛于2sign( x ).则f’n(x) = 2x (x2 + 1/n2 )-1/2 ( ?x∈[- 1, 1] ).显然,f n(x)几乎处处收敛于| x |,f’n(x)几乎处处收敛于2sign( x ).因此,f n(x)依测度收敛于| x |,f’n(x)依测度收敛于2sign( x ).故在L2[- 1, 1]中,f n(x) → | x |,f’n(x) → 2sign( x ).因此,它们都是L2[- 1, 1]中的基本列,故[- 1, 1] | f n(x) -f m(x) |2 dx → 0(m, n→∞);[- 1, 1] | f’n(x) -f m’(x) |2 dx → 0(m, n→∞).故|| f n-f m ||1 = (?[- 1, 1] ( | f n(x) -f m(x) |2 + | f’n(x) -f m’(x) |2 ) dx )1/2→ 0 (m, n→∞).即{ f n }是C1[- 1, 1]中的基本列.下面我们证明{ f n }不是C1[- 1, 1]中的收敛列.若不然,设{ f n }在C1[- 1, 1]中的收敛于f∈C1[- 1, 1].因|| f n-f ||1 = (?[- 1, 1] ( | f n(x) -f(x) |2 + | f’n(x) -f’(x) |2 ) dx )1/2≥ (?[- 1, 1] | f n(x) -f(x) |2dx )1/2,故在L2[- 1, 1]中,f n(x) →f.而在前面已说明L2[- 1, 1]中,f n(x) → | x |;由L2[- 1, 1]中极限的唯一性以及f的连续性,知f(x) = | x |.这样就得到f?C1[- 1, 1],矛盾.所以,{ f n }不是C1[- 1, 1]中的收敛列.这说明C1[- 1, 1]不是完备的.对一般的C1[a, b],只要令f n(x) = (x - (a + b )/2)2 + 1/n2 )1/2( ?x∈[a, b] )就可以做同样的讨论,就可以证明C1[a, b]不是完备空间.1.4.4 在C[0, 1]中,对每个f∈C[0, 1],令|| f ||1 = (?[0, 1] | f(x) |2dx )1/2,|| f ||2 = (?[0, 1] ( 1 + x) | f(x) |2dx )1/2.求证:|| · ||1和|| · ||2是C[0, 1]中的两个等价范数.证明:(1) 在习题1.4.3的证明中已经包含了|| · ||1是C[0, 1]中的范数的证明.下面我们证明|| · ||2是C[0, 1]中的范数,我们仍然只要验证三角不等式.|| f ||2 + || g ||2 = (?[0, 1] ( 1 + x) | f(x) |2dx )1/2 + (?[0, 1] ( 1 + x) | g(x) |2dx )1/2= || (1 + x)1/2f(x) ||1 + || (1 + x)1/2g(x) ||1≥ || (1 + x)1/2f(x) + (1 + x)1/2g(x) ||1= || (1 + x)1/2 ( f(x) + g(x) ) ||1≥ (?[0, 1] (1 + x) | f(x) + g(x) |2dx )1/2= || f + g ||2.所以,|| · ||2也是C[0, 1]中的范数.(2) 我们来证明两个范数的等价性.?f∈C[0, 1]|| f ||1 = (?[0, 1] | f(x) |2dx )1/2 ≤ (?[0, 1] ( 1 + x) | f(x) |2dx )1/2 = || f ||2,|| f ||2 = (?[0, 1] ( 1 + x) | f(x) |2dx )1/2 ≤ 2 (?[0, 1] | f(x) |2dx )1/2 = 2 || f ||1.因此两个范数等价.1.4.5 设BC[0, ∞)表示[0, ∞)上连续且有界的函数f(x)全体,对每个f ∈BC[0, ∞)及a > 0,定义|| f ||a = (?[0, ∞) e-ax | f(x) |2dx )1/2.(1) 求证|| ·||a是BC[0, ∞)上的范数.(2) 若a, b > 0,a≠b,求证|| ·||a与|| ·||b作为BC[0, ∞)上的范数是不等价的.证明:(1) 依然只验证三角不等式.|| f ||a + || g ||a = (?[0, ∞) e-ax | f(x) |2dx )1/2 + (?[0, ∞) e-ax | g(x) |2dx )1/2= || e-ax/2f(x)||L2 + || e-ax/2g(x)||L2≤ || e-ax/2f(x)+ e-ax/2g(x)||L2= || e-ax/2 ( f(x)+ g(x))||L2= (?[0, ∞) e-ax | f(x)+ g(x) |2dx )1/2= || f + g ||a,所以|| ·||a是BC[0, ∞)上的范数.(2) 设f n(x)为[n, +∞)上的特征函数.则f n∈BC[0, ∞),且|| f n||a = (?[0, ∞) e-ax | f n(x) |2dx )1/2 = (?[n, ∞) e-ax dx )1/2 = ((1/a)e-an)1/2.同理,|| f n||b = ((1/b)e-bn)1/2.故若a < b,则|| f n||a/|| f n||b = (b/a)1/2e-(b -a)n/2→ +∞ (n→+∞).因此|| ·||a与|| ·||b作为BC[0, ∞)上的范数是不等价的.1.4.6 设X1, X2是两个B*空间,x1∈X1和x2∈X2的序对(x1, x2)全体构成空间X = X1?X2,并赋予范数|| x || = max{ || x1 ||1, || x2 ||2 },其中x = (x1, x2),x1∈X1,x2∈X2,|| · ||1和|| ·||2分别是X1和X2的范数.求证:如果X1, X2是B空间,那么X也是B空间.证明:(1) 先验证|| · ||的三角不等式.设x = (x1, x2), y = (y1, y2)∈X1?X2,则|| x + y || = || (x1 + y1, x2 + y2) || = max{ || x1 + y1 ||1, || x2 + y2 ||2 }≤ max{ || x1 ||1 + || y1 ||1, || x2 ||2 + || y2 ||2 }≤ max{ || x1 ||1, || x2 ||2 } + max{ || y1 ||1, || y2 ||2 }= || (x1, x2) || + || (y1, y2) ||= || x || + || y ||,而|| · ||的正定性和齐次性是显然的,所以,|| · ||是X1?X2的范数.(2) 设X1, X2是B空间,我们来证明X也是B空间.设x(n) = (x1(n), x2(n))是X = X1?X2中的基本列,则|| x(n) -x(m) || = max{ || x1(n) -x1(m) ||1, || x2(n) -x2(m)||2 } ≥ || x1(n) -x1(m) ||1,故{x1(n)}是X1中的基本列,同理,{x2(n)}是X2中的基本列.因X1, X2是B空间,故{x1(n)}和{x2(n)}分别是X1, X2中的收敛列.设x1(n) →x1∈X1,x2(n) →x2∈X2,令x = (x1, x2).则|| x(n) -x || = max{ || x1(n) -x1 ||1, || x2(n) -x2 ||2 }≤ || x1(n) -x1 ||1 + || x2(n) -x2 ||2→0 (n→∞).所以,|| x(n) -x ||→ 0 (n→∞).即{ x(n) }为X = X1?X2中的收敛列.所以X = X1?X2也是B空间.1.4.7 设X是B*空间.求证:X是B空间,必须且只须对?{x n}?X,∑n≥ 1 || x n || < +∞?∑n≥ 1x n 收敛.证明:(?) ?{x n}?X,记S n = ∑1 ≤j≤n x j,B n = ∑1 ≤j≤n || x n ||,则|| S n + p-S n || = || ∑1 ≤j≤n + p x j -∑1 ≤j≤n x j ||= || ∑n +1 ≤j≤n + p x j ||≤∑n +1 ≤j≤n + p || x j ||= B n + p-B n → 0,(n→∞).故{ S n }为X中的Cauchy列.由X完备,故{ S n }为X中的收敛列,即∑n≥ 1x n 收敛.(?) 反证法.若(X, ρ)不完备,设(Y, d )为(X, ρ)的一个完备化.不妨设(X, ρ)是(Y, d )的子空间,则存在y∈Y \ X.因cl( X ) = Y,故?n∈ +,存在x n∈X,使得d(x n, y) < 1/2n.则ρ(x n, x m) = d(x n, x m) ≤d(x n, y) + d(x m, y) ≤ 1/2n+ 1/2m → 0,因此{x n}是X中的Cauchy列,但不是收敛列.令z n = x n+1-x n,S n = ∑1 ≤j≤n z j;则z n, S n∈X.因|| z n || = || x n+1-x n || = ρ(x n+1, x n) ≤d(x n+1, y) + d(x n+1, y) ≤ 1/2n+1+ 1/2n < 1/2n - 1,故∑n≥ 1 || z n || < +∞.而S n = ∑1 ≤j≤n z j = ∑1 ≤j≤n ( x j+1-x j ) = x n+1-x1;故∑n≥ 1z n 在中不收敛.矛盾.1.4.8 记[a, b]上次数不超过n的多项式全体为n.求证:?f(x)∈C[a, b],存在P0(x)∈ n,使得max a ≤x≤b| f(x) –P0(x) | = min{ max a ≤x≤b| f(x) –P(x) | | P∈ n }.证明:注意到 n是B*空间C[a, b]中的n+1维子空间.{1, x, x2, ..., x n}是 n中的一个向量组,把它看成C[a, b]中的一个有限向量组.根据定理p35, 1.4.23,对任意?f(x)∈C[a, b],存在最佳逼近系数{λ0, λ1, ..., λn},使得|| f(x) –∑0 ≤j≤n λj x j || = min{ || f(x) –∑0 ≤j≤n a j x j || | (a0, a1, ..., a n)∈ n+1}.令P0(x) = ∑0 ≤j≤n λj x j 就得到要证明的结论.1.4.9 在 2中,对?x = (x1, x2)∈ 2,定义范数|| x || = max(| x1 |, | x2 |),并设|| x0–λ e1 ||.e1 = (1, 0),x0 = (0, 1).求a∈ 适合|| x0–a e1 || = minλ∈并问这样的a是否唯一?请对结果作出几何解释.解:g(λ) = || x0–λ e1 || = || (0, 1) –λ(1, 0)|| = || (–λ, 1)|| = max(| λ |, 1) ≥ 1,故g(λ) 当| λ| ≤ 1时取得最小值1.所以a = 0满足要求.显然满足要求的a不是唯一的.从几何上看就是某线段上的点到某定点的距离都是1.1.4.10 求证范数的严格凸性等价于下列条件:|| x + y || = || x || + || y || ( ?x≠θ, y≠θ) ?x = c y ( c > 0).证明:(?) 设范数是严格凸的,若x, y ≠θ满足|| x + y || = || x || + || y ||,事实上,我们总有|| (x/|| x ||) || = || (y/|| y ||) || = 1.因x, y ≠θ,故|| x || + || y || > 0,所以|| x + y || ≠ 0.于是|| x ||/|| x + y || + || y ||/|| x + y || = 1.假若x/|| x || ≠y/|| y ||,由严格凸性,得到|| (|| x ||/|| x + y ||)(x/|| x ||) + (|| y ||/|| x + y ||)(y/|| y ||) || < 1,即|| (( x + y )/|| x + y ||) || < 1,矛盾.因此必然有x/|| x || = y/|| y ||,即x = (|| x ||/|| y ||) y.(?) 设?x, y ≠θ,|| x + y || = || x || + || y ||蕴涵x = c y ( c > 0).下面证明范数是严格凸的.设x≠y,且|| x || = || y || = 1,又设α, β∈(0, 1),且α + β= 1.我们知道|| α x + β y || ≤ || α x || + || β y || = α || x || + β|| y || = α + β= 1.假若|| α x + β y || = 1,根据我们的条件,就得到α x = c (β y),其中c > 0.那么,就有|| α x || = || c (β y) ||,而|| x || = || y || = 1,所以α= c β;故x = y,这就与x≠y相矛盾.所以必然有|| α x + β y || < 1,即范数是严格凸的.1.4.11 设X是线性赋范空间,函数? : X → 1称为凸的,如果不等式( λ x + (1 -λ) y ) ≤λ?( x ) + (1 -λ)?( y ) ( ? 0 ≤λ≤ 1)成立.求证凸函数的局部极小值必然是全空间的最小值.证明:设x0是凸函数?的一个局部极小点.如果存在x∈X,使得?( x ) < ?( x0),则? t ∈(0, 1),( t x + (1 -t ) x0) ≤t ?( x ) + (1 -t )?( x0) < t ?( x0) + (1 -t )?( x0) = ?( x0).而对x0的任意邻域U,都存在t ∈(0, 1),使得t x + (1 -t ) x0∈U.这就与x0是局部极小点相矛盾.因此?x∈X,都有?( x0) ≤?( x ),即x0是?的最小点.1.4.12 设(X, || · ||)是一线性赋范空间,M是X的有限维子空间,{e1, e2, ..., e n}是M的一组基,给定g∈X,引进函数F : n → 1.对?c = (c1, c2, ..., c n)∈ n,规定F(c) = F(c1, c2, ..., c n) = || ∑1 ≤i≤n c i e i-g ||.(1) 求证F是一个凸函数;(2) 若F的最小值点是c = (c1, c2, ..., c n),求证f = ∑1 ≤i≤n c ie i给出g在M中的最佳逼近元.证明:(1) 设c = (c1, c2, ..., c n), d = (d1, d2, ..., d n)∈ n, λ∈[0, 1],则F(λ c + ( 1 -λ) d ) = || ∑1 ≤i≤n ( λ c i + ( 1 -λ) d i ) e i-g || = || λ∑1 ≤i≤n c i e i + ( 1 -λ) ∑1 ≤i≤n d i e i- (λ g+ ( 1 -λ)g )|| = || λ(∑1 ≤i≤n c i e i -g) + ( 1 -λ) ( ∑1 ≤i≤n d i e i-g )||≤λ|| ∑1 ≤i≤n c i e i -g || + ( 1 -λ) || ∑1 ≤i≤n d i e i-g ||= λ F(c)+ ( 1 -λ)F(d),故F是一个凸函数.(2) 因为{e1, e2, ..., e n}是M的一组基,故M中的每个元h都可表示为h = ∑1 ≤i≤n d i e i,其中d = (d1, d2, ..., d n)∈ n.因为F(c) ≤F(d),故|| f-g || = F(c) ≤F(d) = || h-g ||.那么f就是g在M中的最佳逼近元.1.4.13 设X是B*空间,X0是X的线性子空间,假定?c∈(0, 1)使得?y∈X,有inf { || y–x || | x ∈X0 } ≤c || y ||.求证:X0在X中稠密.证明:设y∈X,?ε > 0,x1∈X0,s.t. || y–x1 || < c || y || + ε /4.x2∈X0,s.t. || (y–x1) –x2 || < c || y–x1 || + ε /8.x3∈X0,s.t. || (y–x1 –x2 ) –x3 || < c || y–x1 –x2 || + ε /16.如此下去,可得到一个X0中的点列{ x n },满足|| y–∑1 ≤j≤n +1x j|| < c || y–∑1 ≤j≤n x j|| + ε /2n + 2(?n∈ +).那么,我们可以用数学归纳法证明|| y–∑1 ≤j≤n x j|| < c n || y || + ε (∑1 ≤j≤n 1/2j + 1).当n = 1时,|| y–x1 || < c || y || + ε /4.结论成立.当n = 2时,|| (y–x1) –x2 || < c || y–x1 || + ε /8< c (c || y || + ε /4) + ε /8 < c 2 || y || + ε (1/4 + 1/8),结论成立.当n≥ 3时,若|| y–∑1 ≤j≤n x j|| < c n || y || + ε (∑1 ≤j≤n 1/2j + 1)成立,则|| y–∑1 ≤j≤n +1x j|| < c || y–∑1 ≤j≤n x j|| + ε /2n + 2< c (c n || y || + ε (∑1 ≤j≤n 1/2j + 1)) + ε /2n + 2< c n+1 || y || + ε (∑1 ≤j≤n 1/2j + 1)) + ε /2n + 2< c n+1 || y || + ε (∑1 ≤j≤n+ 11/2j + 1)),因此结论也成立.由数学归纳法原理,?n∈ +,|| y–∑1 ≤j≤n x j|| < c n || y || + ε (∑1 ≤j≤n 1/2j + 1).因为c∈(0, 1),故存在N∈ +,使得c N || y || < ε /2.令x = ∑1 ≤j≤N x j,则x∈X0.且|| y–x || < ε /2 + ε (∑1 ≤j≤N 1/2j + 1) < ε.所以,X0在X中稠密.[张峰同学的证明] 反证法.若不然,则cl(X0)是X的真闭线性子空间.用Riesz引理,存在y∈X,使得|| y || = 1,且inf { || y–x || | x ∈ cl(X0)} > c.故对此y∈X,有inf { || y–x || | x ∈X0 } > c || y ||,矛盾.1.4.14 设C0表示以0为极限的实数全体,并在C0中赋以范数|| x || = max n≥1| ξn |,( ?x = (ξ1, ξ2, ..., ξn, ...)∈C0 ).又设M = {x = (ξ1, ξ2, ..., ξn, ...)∈C0 | ∑n ≥1 ξn/2n = 0}.(1) 求证:M是C0的闭线性子空间.(2) 设x0= (2, 0, 0, ...),求证:inf z ∈M || x0–z || = 1,但?y∈M,有|| x0–y || > 1.证明:(1) 显然M ≠?,容易直接验证M是C0的线性子空间.若x k = (ξ1(k), ξ2(k), ..., ξn(k), ...)为M中的点列,且x k→x = (ξ1, ξ2, ..., ξn, ...)∈C0.则?ε > 0,存在N∈ +,使得?k > N,|| x k -x || < ε.此时,?n∈ +,有|ξn -ξn(k)| ≤ max n≥1| ξn -ξn(k) | = || x k -x || < ε.| ∑n ≥1 ξn/2n | = | ∑n ≥1 ξn/2n-∑n ≥1 ξn(k)/2n | = | ∑n ≥1 (ξn -ξn(k))/2n |≤∑n ≥1 |ξn -ξn(k)|/2n≤∑n ≥1 ε/2n = ε.所以,∑n ≥1 ξn/2n = 0,即x = (ξ1, ξ2, ..., ξn, ...)∈M.所以M是C0的闭线性子空间.(2) x0= (2, 0, 0, ...),?z = (ξ1, ξ2, ..., ξn, ...)∈M,|| x0–z || = max{| 2 -ξ1 |, | ξ2 |, | ξ3 |, ... }.如果| 2 -ξ1 | > 1,则|| x0–z || > 1.如果| 2 -ξ1 | ≤ 1,则| ξ1 | ≥ 1,我们断言{| ξ2 |, | ξ3 |, ... }中至少有一个大于1者.否则,假若它们都不超1,因为ξn → 0 (n→∞),故它们不能全为1.由∑n ≥1 ξn/2n = 0知| ξ1 |/2 = | ∑n ≥2 ξn/2n | ≤∑n ≥2 | ξn | /2n < ∑n ≥2 1/2n = 1/2,这样得到| ξ1 | < 1,矛盾.故{| ξ2 |, | ξ3 |, ... }中至少有一个大于1者.因此也有|| x0–z || > 1.综上所述,但?y∈M,有|| x0–y || > 1.由此,立即知道inf z ∈M || x0–z || ≥ 1.下面证明inf z ∈M || x0–z || ≤ 1.n∈ +,令z n= (1 - 1/2n, -1, -1, ..., -1, 0, 0, ...).( z n从第2个坐标开始有连续的n个-1,后面全部是0 ),则(1 - 1/2n)/2 - 1/4 - 1/8 - ... - 1/2n + 1 = 0,因此z n∈M.此时,|| x0–z n || = max{| 1 + 1/2n|, | 1/4|, | 1/8|, ... } = 1 + 1/2n.故inf z ∈M || x0–z || ≥ inf n || x0–z n || = inf n (1 + 1/2n ) = 1.所以,inf z ∈M || x0–z || = 1.1.4.15 设X是B*空间,M是X的有限维真子空间,求证:?y∈X,|| y|| = 1,使得|| y–x || ≥ 1 ( ?x ∈M ).证明:取定z∈X \ M,令Y = span{z} + M.记S = { y∈Y | || y || = 1 }.则M是Y的真闭子空间,而S是Y中的单位球面.由Riesz引理,?n∈ +,存在y n∈S,使得d( y n, M ) ≥ 1 - 1/n.因为Y也是有限维的,故其中的单位球面为自列紧集.存在{y n}的收敛子列.不妨设y n(k) →y∈S.则d( y n(k), M ) ≥ 1 - 1/n(k),故有d( y, M ) ≥ 1.即|| y–x || ≥ 1 ( ?x ∈M ).1.4.16 若f是定义在区间[0, 1]上的复值函数,定义ωδ( f ) = sup{| f (x) –f (y) | | ?x, y∈[0, 1], | x–y | ≤δ}.如果0< α≤ 1对应的Lipschitz空间Lipα,由满足|| f || = | f(0) | + supδ > 0{δ–αωδ( f )} < +∞的一切f组成,并且以|| f ||为模.又设lipα = { f∈Lipα| lim δ→ 0 δ–αωδ( f ) = 0}.求证Lipα是B空间,而且lipα是Lipα的闭子空间.证明:(1) 显然,C1[0, 1]?Lipα,因此Lipα不空.对区间[0, 1]上的复值函数f, g,?λ∈ ,我们有ωδ( f + g ) = sup{| f (x) + g (x) – f (y) –g (y) | | ?x, y∈[0, 1], | x–y | ≤δ}≤ sup{| f (x) – f (y) | + | g (x) –g (y) | | ?x, y∈[0, 1], | x–y | ≤δ}≤ωδ( f ) + ωδ( g ).ωδ( λ f ) = sup{|λ f (x) –λ f (y) | | ?x, y∈[0, 1], | x–y | ≤δ}= | λ| sup{| f (x) – f (y) | | ?x, y∈[0, 1], | x–y | ≤δ}= | λ| ·ωδ( f ).若f, g∈Lipα,λ∈ ,则|| f + g || = | f(0) + g(0) | + supδ > 0{δ–αωδ( f + g ) }≤ | f(0) | + | g(0) | + supδ > 0{δ–α(ωδ( f ) + ωδ( g )) }= | f(0) | + | g(0) | + supδ > 0{δ–αωδ( f ) + δ–αωδ( g ) }≤ | f(0) | + | g(0) | + supδ > 0{δ–αωδ( f ) }+ supδ > 0{ δ–αωδ( g ) }= || f || + || g || < +∞.|| λ f || = | λ f(0) | + supδ > 0{δ–αωδ( λ f )}= | λ| · | f(0) | + | λ| · supδ > 0{δ–αωδ( f )}= | λ| · || f || < +∞.因此,f + g, λ f∈Lipα,且上述两个不等式表明|| · ||有齐次性和三角不等式.显然,|| f || ≥ 0.当|| f || = 0时,| f(0) | + supδ > 0{δ–αωδ( f )} = 0,意味着f(0) = 0,且ωδ( f ) = 0(?δ> 0).而ωδ( f ) = 0(?δ> 0)则意味着f为常值.所以,f = 0.即|| · ||有正定性.综上所述,Lipα是B*空间.(2) 我们首先证明集合Lipα?C[0, 1].f∈Lipα,?x, y∈[0, 1],x ≠y,记δ = | x -y |.则| f (x) –f (y) | ≤ωδ( f ).而δ–αωδ( f ) ≤ supδ > 0{δ–αωδ( f n-f m) } ≤ || f ||,所以,| f (x) –f (y) | ≤ || f || δα= || f || · | x -y |α,故f∈C[0, 1].我们再证明,?f∈Lipα,|| f ||C≤ || f ||,其中|| ·||C是C[0, 1]范数.事实上,?x∈[0, 1],| f (x) | ≤ | f (0) | + | f (x) – f (0) |,故|| f ||C = max x∈[0, 1] |f (x) | ≤ | f (0) | + max x∈[0, 1] | f (x) –f (0) |≤ | f (0) | + sup x∈(0, 1] | f (x) –f (0) |/| x |α≤ | f (0) | + sup x∈(0, 1] { δ–αωδ( f ) } ≤ || f ||.这说明,如果{ f n }是Lipα中的基本列,则它也必是C[0, 1]中的基本列.而C[0, 1]是完备的,故存在f∈C[0, 1],使得{ f n }一致收敛于f.而{ f n }作为L ipα中的基本列,有|| f n-f m || = | f n(0) -f m(0) | + supδ > 0{δ–αωδ( f n-f m) } → 0 (n, m→∞),因此?ε > 0,?N∈ +,使得?n, m > N,有| f n(0) -f m(0) | + supδ > 0{δ–αωδ( f n-f m) } < ε.因此supδ > 0{δ–αωδ( f n-f m) } < ε.故?δ > 0,ωδ( f n-f m) < εδα.即?x, y∈[0, 1],| x -y | ≤δ,都有| ( f n(x) -f m(x)) - ( f n(y) -f m(y)) | < εδα.令m→∞,得到| ( f n(x) -f(x)) - ( f n(y) -f(y)) | ≤εδα.因此,sup {| ( f n(x) -f(x)) - ( f n(y) -f(y)) | | x, y∈[0, 1],| x -y | ≤δ}≤εδα.即?δ > 0,ωδ( f n-f ) ≤εδα.故supδ > 0{δ–αωδ( f n-f ) } ≤ε.同样地,对不等式| f n(0) -f m(0) | < ε令m→∞,就得到| f n(0) -f(0) | ≤ε.所以,| f n(0) -f(0) | + supδ > 0{δ–αωδ( f n-f ) } ≤ 2ε.这说明f n-f∈Lipα.而f n∈Lipα,故f = ( f -f n ) + f n∈Lipα.而前面的式子也表明|| f -f n || ≤ 2ε.因此|| f n-f || → 0 (n→∞),即{ f n }为Lipα中的收敛列.所以,Lipα是Banach空间.(3) 记lipα = { f∈Lipα| lim δ→ 0 δ–αωδ( f ) = 0 }.f, g∈lipα,?λ∈ ,我们有δ–αωδ( f + g ) ≤δ–α(ωδ( f ) + ωδ( g ) ) = δ–αωδ( f ) + δ–αωδ( g ) → 0 (δ→ 0).δ–αωδ( λ f ) = | λ| ·δ–αωδ( f ) → 0 (δ→ 0).故f + g, λ f∈lipα,因此,lipα是Lipα的线性子空间.设{ f n }是lipα中的序列,且f n→f∈Lipα(n→∞).则{ f n }一致收敛于f.ε > 0,存在N∈ +,使得|| f N →f || < ε /2.故有supδ > 0{δ–αωδ( f N-f ) } < ε /2.因为lim δ→ 0 δ–αωδ( f N) = 0,所以,?? > 0,使得?δ∈(0, ?),有δ–αωδ( f N) < ε /2.此时我们有δ–αωδ( f ) ≤δ–α(ωδ( f N) + ωδ( f -f N))= δ–αωδ( f N) + δ–αωδ( f -f N)< ε /2 + supδ > 0{δ–αωδ( f N-f ) } < ε.所以,lim δ→ 0 δ–αωδ( f ) = 0,即f∈lipα.所以lipα是Lipα的闭子空间.1.4.17 (商空间) 设X是线性赋范空间,X0是X的闭线性子空间,将X中的向量分类,凡是适合x’-x’’∈X0的两个向量x’, x’’归于同一类,称其为等价类,把一个等价类看成一个新的向量,这种向量的全体组成的集合为X/X0表示,并称其为商空间.下列是关于商空间的命题.(1) 设[ y ]∈X/X0,x∈X,求证:x∈[ y ]的充分必要条件是[ y ] = x + X0.证明:设x’, x’’∈X,若它们归于同一类,则记为x’~x’’.我们用[ x ]表示x所在的等价类(大家注意,题目形式已经作了相应的修改).(?) 若x∈[ y ],则x~y.u ∈[ y ],u~y,故u~x,即u –x∈X0.因此u ∈x + X0.所以[ y ] ?x + X0.反过来,?u ∈x + X0,则u~x,故u~y.因此u ∈[ y ].所以x + X0 ? [ y ].所以[ y ] = x + X0.(?) 若[ y ] = x + X0,则y –x∈X0,即y~x.从而x∈[ y ].(2) 在X/X0中定义加法与数乘如下:[ x ] + [ y ] = x + y + X0(?[ x ], [ y ] ∈X/X0 )λ[ x ] = λ x + X0(?[ x ]∈X/X0 , ?λ∈ )其中x和y分别表示属于等价类[ x ]和[ y ]的任一元素.又规定范数|| [ x ] ||0 = inf z∈[ x ] || z || ( ?[ x ]∈X/X0 )求证:(X/X0, || · ||0)是一个B*空间.证明:第(1)部分说明了[ x ] = x + X0.容易看出加法与乘法的定义是合理的.进一步可以证明X/X0 构成数域上的线性空间,且其零元为[ θ] = X0.下面证明|| · ||0是X/X0 上的范数.显然,?[ x ]∈X/X0,|| [ x ] ||0≥ 0.若[ x ] = [ θ] = X0,则|| [ x ] ||0 = 0.若|| [ x ] ||0 = 0,则inf z∈[ x ] || z || = 0.存在z n∈[ x ]使得|| z n || → 0,即z n→θ (n→∞).那么,x-z n∈X0,x-z n→x (n→∞),而X0是闭集,故x∈X0.所以x~θ,即[ x ] = X0.因此|| · ||0有正定性.[ x ]∈X/X0,?λ∈ ,|| λ[ x ]||0 = || [ λ x ] ||0 = inf y∈[ x ] || λ y || = inf y∈[ x ] | λ| · || y ||= | λ| · inf y∈[ x ] || y || = | λ| · ||[ x ]||0.因此|| · ||0有齐次性.[ x ], [ y ]∈X/X0,|| [ x ] + [ y ] ||0 = inf z∈[ x ] + [ y ] || z || = inf u∈[ x ], v∈[ y ] || u + v ||≤ inf u∈[ x ], v∈[ y ] { || u || + || v || } ≤ inf u∈[ x ] { inf v∈[ y ] { || u || + || v ||} }≤ inf u∈[ x ] { inf v∈[ y ] { || u || + || v ||} } = inf u∈[ x ] { || u || + inf v∈[ y ] || v || }= inf u∈[ x ] || u || + inf v∈[ y ] || v || = || [ x ] ||0 + || [ y ] ||0.因此|| · ||0的三角不等式成立.所以,(X/X0, || · ||0)是一个B*空间.(3) 设[ x ]∈X/X0, 求证对?y∈[ x ]有inf { || y -z || | z∈X0 } = || [ x ] ||0.证明:|| [ x ] ||0 = inf u∈[ x ] || u || = inf u∈[ y ] || u || = inf { || u || | u∈y + X0 }= inf { || y + v || | v∈X0 } = inf { || y -z || | z∈X0 }.(4) 定义映射? : X →X/X0为? (x) = [ x ] = x + X0(?x∈X ).求证?是线性连续映射.证明:?x, y∈X,?α, β∈ ,( α x + β y ) = [α x + β y ] = [α x ] + [ β y ] = α [ x ] + β[ y ] = α? (x) + β? (y).|| ? (x) -? (y) ||0 = || [ x ] - [ y ] ||0 = || [ x-y ] ||0 = inf z∈[ x-y ] || z || ≤ || x-y ||.所以,?是线性连续映射.(5) ?[ x ]∈X/X0,求证?y∈X,使得? (y) = [ x ],且|| y || ≤ 2|| [ x ]||0.证明:因为|| [ x ] ||0 = inf z∈[ x ] || z ||,若|| [ x ] ||0 = 0,则由|| · ||0的正定性,知[ x ] = X0,取y = θ即满足要求.若|| [ x ] ||0≠ 0,则inf z∈[ x ] || z || = || [ x ] ||0 < 2 || [ x ] ||0,存在?y∈[ x ],使得|| y || ≤ 2|| [ x ] ||0.此时显然有? (y) = [ x ] = [ y ].(6) 设(X, || · ||)完备,求证(X/X0, || · ||0)也是完备的.证明:设{ [ x ]n }是X/X0中的基本列.为证明它是收敛列,只需证明它存在收敛子列.由基本列性质,可选出子列{ [ x ]n(k)}使得|| [ x ]n(k) - [ x ]n(k+1) ||0 ≤ 1/2k.故∑k ≥ 1 || [ x ]n(k) - [ x ]n(k+1) ||0 收敛.根据(5),?k∈ +,?y k∈[ x ]n(k+1) - [ x ]n(k),使得|| y k || ≤ 2|| [ x ]n(k+1) - [ x ]n(k) ||0.那么,∑k ≥ 1|| y k ||收敛.由X的完备性,s k = ∑ 1 ≤j ≤k y j是X中的收敛列.设其极限为s.由(5)中?的连续性,在X/X0中,?(s k) →?(s) ( k→∞ ).而?(s k) = ?( ∑ 1 ≤j ≤k y j ) = ∑ 1 ≤j ≤k ?( y j )= ∑ 1 ≤j ≤k ( [ x ]n(j+1) - [ x ]n(j)) = [ x ]n(k+1) - [ x ]n(1).故{[ x ]n(k+1) - [ x ]n(1)}收敛,因而{[ x ]n(k)}是收敛列.因此X/X0中的基本列{ [ x ]n }存在收敛子列{[ x ]n(k)},所以,{ [ x ]n }是X/X0中的收敛列.因此,(X/X0, || · ||0)是完备的.(7) 设X = C[0, 1],X0 = { f∈X | f (0) = 0 },求证:X/X0 ? ,其中记号“?”表示等距同构.证明:显然,X0是C[0, 1]中的线性子空间.记X0所确定的等价关系为~,则f~g ? f (0) = g (0).定义Φ : X/X0 → ,Φ([ f ]) = f (0).显然定义是合理的.f, g∈X,?α, β∈ ,Φ(α[ f ] + β[ g ]) = Φ([αf + β g ]) = (αf + β g )(0)= αf (0)+ β g (0) = αΦ([ f ])+ βΦ([ g ]).因此Φ是线性映射.因Φ(X0) = 0,故Φ是单射.而?c∈ ,若记所对应的常值函数为h c∈C[0, 1],则Φ( [ h c] ) = c.故Φ是满射.综上所述,Φ : X/X0 → 是线性同构.f∈X,|| [ f ]||0 = inf g∈[ f ] { || g || } ≥ inf g∈[ f ] { | g (0) | }= inf g∈[ f ] { | f (0) | } = | f (0) | = | Φ([ f ]) |.另一方面,因为常值函数h f (0)∈[ f ],故|| [ f ]||0 = inf g∈[ f ] { || g || } ≤ || h f (0) || = | f (0) | = | Φ([ f ]) |.所以,?f∈X,都有|| [ f ]||0 = | Φ([ f ]) |,因此Φ : X/X0 → 是等距同构.[第4节完]。
泛函分析第4章 内积空间
第四章 内积空间之袁州冬雪创作在第三章中,我们把n 维Euclid 空间n R 中的向量的模长推广到一般线性空间中去,得到了赋范线性空间的概念.但在n R 中可以通过两个向量的夹角讨论向量与方向的问题.这对唯一模长概念的赋范线性空间是做不到的.我们知道,n R 中向量的夹角是通过向量的内积描绘的,因此在本章我们引入了一般的内积空间的概念. 4.1 内积空间的基本概念首先回忆几何空间3R 中向量内积的概念.设123(,,)x t t t =,123(,,)y s s s R =∈,设x 与y 夹角为ϕ,由解析几何知识可得其中,13221()k k x t ==∑,13221()k k y s ==∑令31,k kk x y t s ==∑,称为x 与y 的内积,不难证明它有如下性质:(1)3,0,,,0;x y x R x x x θ≥∀∈=⇔=且(2)3,,,,;x y y x x y R =∀∈(3)3121212,,,,,,;x x y x y x y x x y R +=+∀∈(4)3,,,,,.x yx y R x y R λλλ=∀∈∀∈注:由定义可得x =量的内积有关.操纵内积我们可以讨论如向量的直交及投影等重要几何问题.现在我们引入一般的内积空间的概念.【定义 4.1】 设X 为数域F 上线性空间,若对任两个元素(向量)x ,y X ∈,有惟一F 中数与之对应,记为,x y,而且知足如下性质:(1),0,,,0;x y x X x x x θ≥∀∈=⇔=且(2),,,,;x y y x x y X =∀∈(3)121212,,,,,,;x x y x y x y x x y X +=+∀∈(4),,,,,;x y x y F x y X λλλ=∀∈∀∈则称,x y为x 与y 的内积,有了内积的线性空间叫做内积空间,当F为实数域R (或复数域C ),叫X 为实(或复)内积空间.注:由性质(3)与性质(4)知,内积运算关于第一变元是线性的.由性质(2)与性质(4)可推知,,x yx yλλ=.于是当X 为内积空间时,内积关于第二个变元也是线性的.而常称,,x y x yλλ=为共轭齐次性,因此在X 为赋内积空间时,内积是共轭线性的.此后讨论中不加注明时,恒设X 为复内积空间.【引理 4.1】(Schwaraz 不等式) 设X 为内积空间,对任意x ,y X ∈,成立不等式证明:若y θ=,则任x X ∈,有,0x θ=,则显然不等式成立.现在设y θ≠,则F λ∀∈,有取,,x y y yλ=-代入上式可得2,,0,x y x x y y-≥,由此可得证毕.【定理 4.1】 设X 为内积空间,对任x X ∈,令x =x是x 的范数.证明:因范数的前两条性质可直接由内积的性质推出,我们仅验证它知足第三条性质(即三角不等式).事实上故有x y x y+=+.证毕.注:常称x =成为一个赋范线性空间.在此意义下,第二章关于赋范线性空间的有关内容都适用于内积空间.特别当内积空间X 按由内积导出的范数完备的,称X 为Hilbert 空间.以下先容几个常常使用的Hilbert 空间的例子.nF 暗示(实或复)Euclid 空间,对于12(,,,)n x t t t =,12(,,,)n n y s s s F =∈,近似于几何空间3R 中向量的内积定义,令不难验证n F 成为一个Euclid 空间. 例 4.222121{(,,,):,,1,2,}nn n n i lx t t t t t F n ===<∞∈=∑,当12(,,,)n x t t t =,212(,,,)n y s s s l =∈时,令容易证明2l 成为内积空间.以下证明2l 为Hilbert 空间.任取Cauchy 列n x =()()()212(,,,)n n n n t t t l ∈,则对任0,,N ε>∃当,n m N >时,有因而有故数列()21{}n k n t l F∞=∈⊂是Cauchy列,因数域F完备,则存在(1,2,)k s F k ∈=,使()lim n k k n t s →∞=,令12(,,)x s s =,则任1,2,k =,当,n m N >时,有则令m →∞,对每一个n N ≥及任1,2,k =,有 因而,亦有12()21()n ii i ts ε∞=-≤∑,只要n N≥,所以2n x x l -∈,注意2l 是线性空间,则x =2()n n x x x l -+∈,且n m x x ε-<,n N ≥,这即标明n x 在2l 中收敛,故2l 为Hilbert 空间.例 4.32(),L E E 为有限或无穷区间,对任2()x L E ∈,定义内积 这里2()L E 中的元素是实值或复值二次可积函数,也不难验证2()L E 是内积空间.现在证明2()L E 是Hilbert 空间.设2()n x L E ∈为Cauchy 列,则对每一个1,2,k =,存在自然数k n ,有 对任有限区间,e E me ⊂<∞,由Holder 不等式,有 式中,me 为e 的长度.故级数11()()kk n nk Ex t x t dt +∞=-∑⎰收敛,于是由Levi 引理(见第一章)我们有从而知11()()kk n nk x t x t +∞=-∑是集e 上可积函数,则比在e 上为处处有限函数,即级数在e 上几乎处处收敛,而e 为E 中任意有限区间,则级数11()()kk n n k xt x t +∞=-∑在E上几乎处处收敛,因而级数12132()(()())(()())n n n n n x t x t x t x t x t +-+-+在E 上几乎处处收敛,亦即函数()kn x t 在E 上几乎处处收敛于函数()x t .现在证明2()x L x ∈,且lim0n n x x →∞-=.对任意0ε>,因{}x 为2()L x 中Cauchy 列,则存在N ,当,k n n N >时,有1()()k k n n x t x t ε+-<,即令k →∞,操纵第一章Lebesgue 积分的性质,得到 即k n n x x ε-<,且2()k nn x x L E -∈,因此2()()n n x x x x L E =--∈.因此Cauchy列n x 在2()L E 中收敛,故2()L E 是Hilbert 空间.(1) 内积的持续性.设lim ,lim n n n n x x y y →∞→∞==,则有证明:由Schwarz 不等式,得 因收敛n y 有界.证毕.(2) 极化恒等式.对内积空间X中元素x 与y ,成立证明可直接运用范数的定义和内积的性质得到.留给读者作为操练.注:当X 为实数内积空间时,则极化恒等式为(3) 中线公式.对内积空间X中元素x 与y ,成立证明: 证毕.注:也常称中线公式为平行四边形公式.因在平面2R 中,平行四边形的对角线长度的平方和等于四条边的长度平方和.别的,可以证明中线公式是内积空间中由内积导出的范数的特征性质,即当X为赋范线性空间时,若对其中任何元素x 与y 关于范数成立中线公式,则必在X 中可定义内积,x y,使范数可由此内积导出.也就是一个赋范线性空间成为内积空间的条件是其范数要知足中线公式.因此,内积空间是一类特殊的赋范线性空间.例如,当1p ≥且2p ≠时,p l 不是内积空间.因为,取(1,1,0,0,)x =,(1,1,0,0,)py l =-∈,则1/22x y ==,且2x y x y +=-=,显然不知足中线公式.又例如,[,]C a b 按范数max ()a t bx x t ≤≤=不是内积空间.这只要取()1x t =,[,]t a b ∀∈及()t a y t b a-=-,[,]t a b ∀∈,则1x y ==,且2,1x y x y +=-=,分明不知足中线公式.再例如,[,]p L a b 当1p ≥且2p ≠时,也不是一个内积空间.1. 证明:Schwarz 不等式中等号成立x ⇔与y 线性相关.2. 设X为实内积空间,,x y X ∈,若x y=,证明:,0x y x y +-=.若2X R =,所证明事实有什么几何意义?3. 设X为内积空间,,u v X ∈,若对任何x X ∈,有,,x u x v=,试证明u v =.4. 设X为Hilbert 空间,,n x x X ∈,求证()n x x n →→∞的充要条件是n x x→,且,,()n x x x x n =→∞. 5. 验证极化恒等式. 6. 设12{,,}n e e e 是n 维线性空间X的一组基,对于,x y X ∈,有惟一暗示11,nnk k k k k k x t e y s e ====∑∑,其中,,1,2,k k t s F k n ∈=,求证,x y 是X 上一个内积的充要条件是存在正定矩阵()ij n n A a ⨯=,成立 4.2 内积空间中元素的直交与直交分解 直交及其性质仿照2R 中两个向量的直交概念,我们有如下定义.【定义 4.2】 设X 是内积空间,,x y X ∈,若,0x y =,称x 与y直交,记为x y ⊥.设,x X M X ∈⊂,若x 与M 每一个元素直交时,则称x 与M 直交,记为x M ⊥.又N X ⊂,若,x M y N ∈∈,都有x y ⊥,则称M 与N直交,记为N M ⊥.设M X ⊂,记{:}M x X x M ⊥=∈⊥,则称M ⊥为M 的直交补.由以上定义,可得如下简明事实(性质):(1) 零元素θ与X中每一个元素x 直交.(2) 若x y ⊥,则y x ⊥. (3) x M x θ⊥⇔=. (4) 若M N X ⊂⊂,则N M ⊥⊥⊂.(5) 任M X⊂,若M θ∉,则MM φ⊥=;若Mθ∈,则{}M M θ⊥=.此外我们还有一下几条有用性质:(6) 若()n x x n →→∞,且n x y ⊥,则x y ⊥.这是因为,lim ,0n n x y x y →∞==.(7) 若,x y X ∈,且x y ⊥,则成立勾股公式2222x y x yx y++-=+.这个性质留给读者自己验证.(8) 对任M X⊂,则M ⊥是X 的闭子空间.事实上,任意12,x x M ⊥∈,则对每一个y M ∈,有1x y ⊥,2x y ⊥,于是有1212,,,0x x y x y x y +=+=,故12x x M ⊥+∈;又任意x M ⊥∈,F λ∈,则任意y M ∈,有,,0x y x y λλ==,故x M λ⊥∈,因此M ⊥成为X的线性子空间.现在证明M ⊥是闭集.若()M φ⊥'=,则M ⊥为闭集,当()M φ⊥'=,任取()x M ⊥'∈,则存在n x M ⊥∈,有lim n n x x →∞=.对任意y M ∈,应用事实(6),有则x y ⊥,于是推得x M ⊥,即x M ⊥⊥,因此M ⊥为闭集.证毕.(9) 设M X⊂为非空集,则()spanM M ⊥⊥=.事实上,因()M spanM ⊂,则()spanM M ⊥⊥⊂.别的,对任意x M ⊥∈,任意取()()()y spanM spanM spanM '∈=,若()y spanM ⊂,则y 是M中有限个元素12,,n x x x 的线性组合,即于是1,,0n i i i y x x x λ===∑,即x y ⊥.而当()y spanM '⊂,则存在元素n y spanM ⊂,有lim n n y y →∞=,由以上证明知n y x ⊥,于是由性质(6)得知y x ⊥.综上所说,()x spanM ⊥∈,故()M spanM ⊥⊥∈.证毕.直交投影及变分引理仿照2R 中向量在坐标轴上投影的概念引入以下定义.【定义 4.3】 设M 是内积空间的一个线性子空间,x X ∈,若存在0x M ∈,z M ⊥∈,使成立0x x z =+,则称0x 为x 在M 上的直交投影(可简称为投影).注:一般情况,某个元素x 在X 的某个空间M 上纷歧定存在投影.但当投影存在时,则可证明投影的惟一性.因为若0x 及1x 都是x 在M上的投影,则由定义有z x x =-,11z x x M ⊥=-∈,于是01{}x x z z MM θ⊥-=-∈=,故01x x =.对于2R ,任向量12(,)x t t =在x 轴(即子空间{(,0):}M t t R =∈)上有投影为01(,0)x t =.而且知道点12(,)x t t =到x 轴上每一个点的间隔最小者为02x x t -=.这种现象如何在一般的(特别是无限维)内积空间中表示是个需要探讨的问题.为此,我们首先给出重要概念.【定义 4.4】 设X 是度量空间,M 是X 中非空子集,x X ∈,则称inf (,)y Mx y ρ∈为x 到集M 的间隔,记为(,)x M ρ.若存在某0x M ∈,使0(,)(,)x x x M ρρ=,则称0x 为x 在M中最佳迫近元.注:一般情况下,某元x X ∈,在某集M X ⊂中纷歧定存在最佳迫近元.而且在最佳迫近元存在时也纷歧定惟一.因此,最佳迫近元的存在性及惟一性成为迫近实际中一个主要研究方向.在此我们仅先容一个在微分方程,现代节制论等学科都有重要应用的基本成果.【定理 4.2】(极小化向量定理) 设M 是Hilbert 空间X 中的凸闭集,则任意x X ∈,必有M 中惟一存在最佳迫近元.证明:令inf(,)y Md x y x M ρ∈=-=,则存在n x M ∈,使lim n n x x d →∞-=.因M是凸集,则1()2n m x x M +∈,于是必有1()2n m x x x d -+≥. 在中线公式中以n x x -代换x ,以m x x -代换y ,则有因此n x 是完备内积空间X 中Cauchy 列,则存在0x X ∈,使0lim n n x x →∞=.因M 是闭集,则0x M ∈,而且有这证了然最佳迫近元的存在性.现在证明惟一性.设0y M ∈也是x 的最佳迫近元.还是由中线公式得故000x y -=,即00x y =.证明.我们通常也称此定理为变分引理.由于子空间一定是凸集,并注意定理的证明过程,则定理条件改为M 是内积空间X 中完备的子空间时,定理结论仍成立. 投影定理【定理 4.3】(投影定理) 设M 是内积空间X 的完备线性子空间,则任意x X∈,必在M 中惟一存在投影.即必惟一存在0,x M z M ⊥∈∈,使0x x z =+.证明:由题设,依据极小化向量定理,x 在M 中存在最佳迫近元0x ,记为任取复数,y M λ∈,则0x y M λ+∈,且有 当y θ≠时,取02(,)x x y yλ-=代入上式,得于是推得0,0x x y -=,再注意y θ=,此式也成立,因而0x x M ⊥-∈.令0z x x =-,即有0x x z =+.投影的存在性得证.投影的惟一性已由定义4.3的注得证.证毕.注:(1)X 为hilbert 空间时,则对任闭集子空间M X ⊂投影定理成立.(2)表达式0x xz =+也常称为元素x 的直交分解,故投影定理也叫做直交分解定理,是2R 中向量的直交分解的推广.由于在一般赋范线性空间中没有直交概念,因此不克不及讨论直交分解的问题.(3)对于hilbert 空间X 及子闭空间M ,在投影定理条件下有 即X 暗示为两个直交子空间的直和,常称X 为M 与M ⊥的直交和,或直交分解.投影定理在内积空间实际中是极为重要的基本定理.由于投影0x M ∈,就是元素x X∈在子空间M 中的最佳迫近元,因此在现代迫近论,概率论以及节制论中许多问题都可以抽象为如下的数学问题.设X是内积空间,且12,,,,n x x x x X∈,问是否存在n个数12,n λλλ,,,使得1inf ni i y Mi x x x yλ∈=-=-∑,其中12{,,,}n M span x x x =.而且一般假设12,,,,nx x x x 线性无关.由于M 是一个n 维赋范线性空间,故M 完备,则由投影定理,对于x X ∈,必惟一存在01ni i i x x M λ==∈∑,使0inf y Mx x x y∈-=-.现在我们给出求解0x 的方法,因,1i x M i n ∈≤≤,则由投影定理,我们有即得线性方程组记其系数行列式为n ∆.因为方程组已知有惟一解,故0n ∆≠,而且可计算出,1i i n λ≤≤.最后,我们再给出投影定理的两个推论.【推论 4.1】 设M 是Hilbert 内积空间X 的真闭线性子空间,则M ⊥中必有非零元素.证明:由题设MX≠,则存在x X M ∈-.由投影定理得知,存在0x M ∈,x M ⊥∈,使得0x x z =+,于是必z θ≠,否则0x x M=∈,与之抵触.证毕.【推论 4.2】 设M 是Hilbert 内积空间X 的真闭线性子空间,则()M M ⊥⊥=.特别当{}M θ⊥=,则M在X 中稠密.证明:由性质(8),()M ⊥⊥是X 中真闭线性子空间,因X 完备,则()M ⊥⊥完备.显然,有()M M ⊥⊥⊂,于是()M M ⊥⊥⊂.同样得知M 也完备.如果()M M ⊥⊥≠,于是关于()M M ⊥⊥⊂,应用推论4.1,存在非零元素()x M ⊥⊥∈,且()x M M ⊥⊥⊥∈=,故,0x x =,从而x θ=,抵触.从而必有()M M ⊥⊥=,证毕.1.设X 是实内积空间,若222x y x y+=+,则x y ⊥.问X 是复内积空间时,结论是否成立?2. 证明:内积空间X中的两个元素,x y 直交的充要条件是对任意数F λ∈,成立x y xλ+≥.3. 设12,,,,n x x x x 是内积空间X中两两直交的非零元素组,求证:12,,,,n x x x x 线性无关.4. 设X 是内积空间,,x y X∈,则x y ⊥⇔对任意Fλ∈,有x y x y λλ+=-.5. 设X是hilbert 空间,M 是X 的子集,求证()M ⊥⊥是包含M 的最小闭子空间.6. 设X 是hilbert 空间X 中非空子集,求证:{}spanM X M θ⊥=⇔=.7. 设M为hilbert 空间2[1,1]L -中全体偶函数的集合:(1) 求证M ⊥是2[1,1]L -中全体奇函数. (2) 任意2[1,1]x L ∈-,求x 在X 上的投影.8.设X 为hilbert 空间,元素列n x X ∈且两两直交,求证:级数1n i x ∞=∑收敛⇔数值级数21ni x ∞=∑收敛.9.证明:直交性质(1)-(5).10. 设12,,,,nx x x x 是内积空间X中两两直交元素组,求证:2211nnkkk k x x ===∑∑.4.3 直交系返照2R 中情况,在内积空间引入直角坐标系的概念.【】 设M 是内积空间中一个不含零元的子集,若M 中任意两个分歧元素都直交,则称M 为X 的一个直交系.又若M 中每一个元素的范数都是1,则称M 为尺度直交系.注:为了简单起见,我们仅讨论至多含可列个元素的直交系,因为对不成列情况,在方法上同可列情况并没有实质的区别.例 4.4 在(实或复)Euclid 空间n F 中 是一个尺度直交系.例 4.5在内积空间2l ,以下元素列是一个尺度直交系 其第n 个分量是1,其余分量都是0,1,2,.n =例 4.5在实内积空间2[0,2]L π中,若定义内积为 则三角函数系是2[0,2]L π的一个尺度直交系.【定义 4.6】 设1{}n n e ∞=是内积空间X 中一个尺度直交系,对任x X∈,称,n nc x e =为元素x 关于n e 的Fourier 系数,常简称为x 的Fourier系数.于是有形式级数1n n n c e ∞=∑,称为元素x 关于1{}n n e ∞=可以展开为Fourier 级数.注:一般情况下,Fourier 级数纷歧定收敛.即或收敛,也纷歧定收敛于x .在什么条件下元素x 可以展开为Fourier 级数的问题自然是重要的.【定理4.4】 设1{}n n e ∞=是内积空间X 中一个尺度直交系,记对任意给定x X ∈,则x 在n X 上的投影是1nn k k k s c e ==∑,即n s 是在n X 内的最佳迫近元.证明:因()n n x s x s =+-,由于n n s X ∈,则只须证明n n x s X ⊥-∈.由4.2性质(9),又仅须证,1,2,,.n n x s e k n -⊥=于是由1,,,0nn k k i i ki x s e x e c e e=-=-=∑,知结论成立.证毕.注:任意1nk k n k e X λ=∈∑,任x X ∈,成立【定理4.5】(Bessel 不等式) 设1{}n n e ∞=是内积空间X 中一个尺度直交系,则对任意x X ∈,成立Bessel 不等式 其中,,,1,2,.n n c x e n ==证明:已知()n n s x s ⊥-,其中1nn k k k s c e ==∑,则由勾股定理得令n →∞,得结论成立.证毕.注:Bessel 不等式指元素x 在每一个n e 上投影n n c e 的范数的平方和不大于x 的范数;由此知21n n c ∞=∑为收敛级数,于是推得事实特别对内积空间2[0,2]L π关于尺度直交系三角函数系(见例4.3),对任意2[0,2]x L π∈,其Fourier 系数为其中,n n a b 即通常的Fourier 系数,则由Bessel 不等式,得注意这里用了收敛正项级数的可交换性.在内积空间X 给定尺度直交系1{}n n e ∞=情况下,x X ∈,其对应的Fourier 系数构成一个序列212(,,)c c c l =∈,并确定了由X到内积空间2l 内的一个映射T 为其中,n nc x e =,1,2,n =.不难证明T 是线性映射.反之,任意2l 中的元素12(,,)c c c =,一般情况下,纷歧定存在X中元素x ,使,n nc x e =,1,2,n =,但在X 完备时,有以下定理.【定理 4.6】(Riesz Fisher -) 设1{}n n e ∞=是内积空间X 中一个尺度直交系,则对任意212(,,)c c c l =∈,惟一存在x X ∈,使,n nc x e =,1,2,n =,且成立等式证明:令1nn k k k s c e ==∑,因为221mn mkk n s s c =+-=∑,由于级数21n n c ∞=∑收敛,则根据Cauchy 收敛准则,有故n s 是完备空间X 中一个Cauchy 列,则存在x X ∈,有现在设k 为任意自然数,则 再注意221nnk s c ∞==∑,令n →∞,即得等式221n n c x∞==∑.最后证明惟一性.若y X ∈,也知足定理结论,n nc y e =,且221n n c y ∞==∑则因222nny s y s =+-(由定理 4.3),令n →∞,推得n s y →.由极限的惟一性,必y x =.证毕.注:在X 为Hilbert 空间时,可确定一个有2l 到X 内的映射.但在一般情况下,不克不及断定映射是满射.因此纷歧定为由2l 到X 上的一一映射.在n 维Euclid 空间中,尺度直交基(直角坐标系)的极大性是至关重要的,对此我们有如下推广.【定义 4.7】 设1{}n n e ∞=是内积空间X 中一个尺度直交系,若对任意x X ∈,有,0n x e =,1,2,n =,则必x θ=,我们就称1{}n n e ∞=是完全的.尺度直交系是2l 中一个完全的尺度直交系.【定理 4.7】(Riesz Fisher -) 设1{}n n e ∞=是Hilbert 空间X 中一个尺度直交系,则一下的命题等价:(1)1{}n n e ∞=是完全的;(2)对任意x X ∈,成立Parseval 等式221nn x c ∞==∑,其中,n nc x e =,1,2,n =;(3)对任意x X ∈,有1n n n x c e ∞==∑,其中,n nc x e =,1,2,n =;(4)对任意两个元素,x y X ∈有证明:(1)⇒(2).设1{}n n e ∞=是完全的,对任意x X ∈,记,n nc x e =,1,2,n =212(,,)c c c l =∈,再由定理4.6知,惟一存在y X ∈,使得,n nc y e =且成立221.n n y c ∞==∑因为,,n nx e y e =,1,2,n =,则,0n x y e -=,1,2,n =.由于1{}n n e ∞=是完全的,于是必有y x =,因此有221nn x c ∞==∑,命题(2)成立.(2)⇒(3).现在假设命题(2)成立,任意取x X ∈,令,n nc x e =,1,2,n =,1nn k k k s c e ==∑,则有即得1lim nk k n k c e x →∞==∑,于是命题(3)成立. (3)⇒(4).现在假设命题(3)成立,任意取,x y X ∈,令,n nc x e =,,n nd ye =,则有1lim n k k n k x c e →∞==∑,1lim nk k n k y d e →∞==∑.于是可得即命题(4)成立.(4)⇒(1).现在假设命题(4)成立,取x X ∈,若n x e ⊥,1,2,n =,此时任取y X∈,有1,,,0n n n x y x e y e ∞==⋅=∑,即x X⊥,故x θ=,因此命题(1)成立.证毕.注:若Hilbert 空间X 存在的尺度直交系1{}n n e ∞=,则任意x X ∈,有,n nc x e =,1,2,.n =映射212(,,)Tx c c l =∈是由X到2l 上的一个等距同构映射,故X 与2l 的等距同构.以下的定理在辨别某尺度直交系的完全性时是常常有用的.【定理 4.8】 设1{}n n e ∞=是Hilbert 空间X 中一个尺度直交系,如果Parseval 等式在X中某稠密子集D 上成立,则1{}n n e ∞=是完全的.证明:01{}n n X span e ∞==,则0X 是X 的闭线性子空间.任x D ∈,令,n nc x e =,1,2,n =,则由假设成立221nn x c ∞==∑(2)⇒(3)之证明得1lim nk kn k x c e →∞==∑,故0x X ∈.于是0D X ⊂.因0X 是闭集,则00X D X X =⊂=,即得X X =.由0X 定义,任0x X X∈=,有11lim nn n k kn n k x c e c e ∞→∞====∑∑,且,n nc x e =,1,2,n =.因此由定理4.7命题(3)成立推得则1{}n n e ∞=是完全的.证毕.例 4.72[0,2]L π中三角函数系是完全的. 因为取D在2[0,2]L π中稠密.对任意三角多项式01()(cos sin )2nn k k k a T t a kt b kt ==++∑不难验证成立Parseval 等式.根据定理4.7,对任意2[0,2]x L π∈,其中Fourier 级数依范数收敛于x .但这其实不克不及推知每一个2[0,2]t L π∈,有由线性代数及解析几何的知识,我们知道直交组比一般的线性无关组的性质更为优越,若某向量可用尺度直交组线性暗示,其组合系数有内积容易求出,十分方便.以下先容一个得到尺度直交系的常常使用的方法.对内积空间X中已知的某线性无关序列1{}n n x ∞=,通过Gram Schmidt -尺度直交化过程可获得一个尺度直交系.其过程如下:第一步,把1x 尺度化,令第二步,记111{}{}.X span e span x ==由定理4.4得知,2x 在1X 上的投影为211,x e e ,由投影定理,记22112,x x e e y =+,则21y e ⊥.因为2x ,1e 线性无关,则2y θ≠,此时令 不丢脸出有1212{,}{,}.span e e span x x =第三步,记212{,}X span e e =,也由定理4.4得知,3x 在2X 上的投影为311,x e e +322,x e e ,依据投影定理,记23331,k k k x x e e y ==+∑,则3k y e ⊥,1,2.k =因为3x ,1e ,2e 线性无关,则3y θ≠,此时令且易知123123{,,}{,,}.span e e e span x x x =于是归纳有第n 步,记1121{,,,}n n X span e e e --=,同样由定理4.4得知,nx 在1n X -上的投影为11,n n k kk x e e -=∑,并根据投影定理,记11,n n n k k n k x x e e y -==+∑,则n k y e ⊥,1,2,1k n =-,又因为n x ,1e ,21,,n e e -线性无关,则3y θ≠,此时令 则易知1212{,,,}{,,,}.n n span e e e span x x x =于是以上程序无限停止下去,即得一个尺度直交系1{}n n e ∞=.Hilbert 空间与2l 等距同构.因2l 是可分的(即存在有限或可列稠密子集),则X 也是可分的.相反地,我们有如下定理.【定理4.9】 设X 是Hilbert 空间,则(1) 若X 是可分的,则X 必有至多可列的完全的尺度直交系; (2) 设X是无限维的可分空间,则X 的每一个完全的尺度直交系都是可列集.证明:由于X 存在有限或可列(也称为至多可列)个元素{}k x ,使{}k span x X=,且无妨设{}k x 为线性无关集合.由Gram Schmidt -尺度直交化程序,可构造出对于{}k x 的(等势的)尺度直交系{}k e .当X 为n 维内积空间时,则有1212{,,,}{,,,}n n span e e e span x x x =,故有从而有 于是必有故1{}n n e ∞=是完全的.定理4.9(1)证毕.又X 存在可列稠密子集D ,任取X 一个完全尺度直交系M ,则M 是一个无限集.任取i e ,j e ∈M ,且j i e e ≠,都有 记 {}32:≤-∈=i I e x X x S ,{}32:≤-∈=j J e x X x S则φ=J I S S .由于D 在X 中稠密,则存在i i S D x ∈,j j S D x ∈,有j i x x ≠.于是M 的势大于D 的势.因而M 必是可列集.证毕.1. 在内积空间2l 中,试给出一个使Bessel不等式成为严格不等式的例子.2. 设{}∞=1n n e 是内积空间X中一个尺度直交系,求证对任意x ,y ∈X ,有3.设{}∞=1n n e 是内积空间X中一个尺度直交系,给定x ∈X,令),(n n e x c =, 2,1=n 则对任意0>ξ,求证: (1) 使成立不等式ξ>n c 的n c 唯一有限个; (2) 设{}ξ>n c n :的个数为m ,则有221xm ξ<.4.在[]1,12-L 中,试将1)(1=t x ,t t x =)(2,23)(t t x =尺度直交化. 5.求3210),,(R a a a ∈,使dt t a t a a et2102210)(⎰---取最小值.6.设{}∞=1n n e 是Hilbert 空间X 中一个尺度直交系,若x ,y ∈X 有 n n n e t x ∑∞==1,n n n e s y ∑∞==1求证:(1)-∞=∑=s t y x n n 1, ;(2)级数-∞=∑s t n n 1是相对收敛的.7.设{}∞=1n n e 是Hilbert 空间X中一个尺度直交系,给定x ∈X,若n n n e t x ∑∞==1,求证,,2,1),,( ==n e x t n n 且有∑∞==122n nt x .8.设{}∞=1n n e 是Hilbert 空间X 中一个完全尺度直交系,试问是否每一个x ∈X都可用{}∞=1n n e 线性暗示. 9设{}∞=1n n e 是Hilbert 空间X 中一个尺度直交系,任意x ∈X,求证n n n e e x y ∑∞==1,在X中收敛,而且y x -与每一个n e 直交.Hilbert空间上有界限性泛函在实际及应用中,对一个详细的赋范线性空间X 来讲,往往要和它的共轭空间*X 连系一起来研究.为此,知道有界限性泛函*∈X f 的一般形式,自然是十分重要的.对于一般赋范线性空间,获得这种暗示是相当坚苦的.但对于Hilbert 空间,情况却非常简单.Riesz定理【】)(Riesz 设X 是Hilbert 空间,对于每一个*∈X f ,惟一存在X y ∈,使任意x ∈X,有而且还有 证明:若θ=f为零泛函,则取X 中零元素θ=y 即可.现在设θ≠f,令{}0)(:=∈=x f X x M 为f 的零空间.因f 是持续线性泛函,则M 是X 的闭子空间.因θ≠f ,则必有M 为X 的真子空间.由投影定理,必定有θ≠z 且⊥∈M z .所以0)(≠z f任取x ∈X ,因为 则M z z f x f x ∈-)()(.于是有 从而得zx xz f x f ,))((2=.此时令2_)(zz z f y =,即有存在性得证.现在证明X y ∈由f 惟一确定.如果还有X y ∈1,使 于是有0,1=-y y x ,Xx ∈∀,即X y y ⊥-1,所以y y =1,惟一性得证.最后证明yf =.当θ=f ,事实分明.现在设θ≠f ,则θ≠y .首先由Schwarz不等式有xy y x x f ⋅≤=,)(,X x ∈∀于是推得yf ≤;另外一方面,取y x =,又有 于是推知yf ≥.因此必成立yf =.定理证毕.注*X 到X 内的映射.现在要说明它是一一映射.因为任意取定元素X y ∈,则确定X上一个泛函f 为yx x f ,)(=,X x ∈∀由内积的性质可知f 是线性的.再由Schwarz 不等式,有xy y x x f ⋅≤=,)(,X x ∈∀因而f 是有界泛函,且yf ≤,故*∈X f .近似于定理4.10的证明,可推知yf =.于是可得以下的由X 到*X 上的映射T 是个一一映射:*∈=X f y T )(,Xy ∈∀,使yx x f ,)(=,X x ∈∀.任取复数21,λλ及元素X y y ∈21,,令11f Ty =,22f Ty =,f y y T =+)(2211λλ则对任意X x ∈,有即有22112211)(Ty Ty y y T λλλλ+=+因此称T 为复共轭线性映射,而且有即T 是一个等距映射(或称为保范映射).故称映射T 是X 到*X 上的复共轭等距映射.在这种意义下,认为元素X y ∈与对应的泛函*∈X f 是一致的,即X=*X .因此,称X为自共轭空间(必须注意是在复共轭等距同构意义下).Hilbert空间上的共轭算子我们曾在第3章讨论过赋范线性空间上的共轭算子问题.现在我们操纵Hilbert 空间与共轭空间的一致化,引入所谓Hilbert 空间上的共轭算子概念.这类算子是在研究矩阵及线性微分(或积分)方程的问题中提出来的,有着广泛的应用.【定义4.8】 设X 和Y 是两个内积空间,Y X T →:是一个有界限性算子.又设X Y T →*:是有界算子,若对任意的Y y X x ∈∈,,都有 就称*T 是T 的共轭算子(或陪同算子).注:在复空间情况下,第3章关于赋范线性空间所引进的共轭算子与定义4.8所陈述的共轭算子其实不完全一致,设),(,21Y X L T T ∈及复数21,λλ,按第3章所述定义,有 但依定义4.8的概念,却有而在实空间情况下,二者完全一致.例 4.8 设m n C C ,为复Euclid 空间,对于有界限性算子m n C C T →:,则T 为m 行n 列的矩阵,即 当n n C t t t x ∈=),,(21 时,有此时,任取m m C s s s y ∈=),,(21 ,有 其中我们看到共轭算子*T 是T 的转置共轭矩阵*T .如果X 是n 维(实或复)内积空间,取定{}n e e e ,,21为其一个尺度直交基,Y 是m 维(实或复)内积空间,取定{}n f f f ,,21为其一个尺度直交基.设Y X T →:是一个线性算子(则T 一定有界).令 则任意X x ∈,有惟一暗示j nj j e t x ∑==1,于是有不丢脸出,线性算子Y X T →:由一个m 行n 列的矩阵n m ij a ⨯)(所决议.近似于Euclid 空间的情形,可得T 的共轭算子X Y T →*:由n m ij a ⨯)(的转置共轭矩阵n m ij a ⨯)(暗示.以下定理说了然一般情况下共轭算子的存在性.【定理 4.11】设X 是Hilbert 空间,Y 是内积空间,则对任意有界限性算子Y X T →:,必惟一存在共轭算子*T .证明:对任意取定Y y ∈,确定了X 上线性泛函yTx x f ,)(=,其中Xx ∈.因则*∈X f ,且yT f ⋅≤.由Riesz 定理,惟一存在X z ∈有我们得到了算子X Y T →*:为z y T =*,且zf =.使对任意的Y y X x ∈∈,,有yT x y *=,,.现在证明*T 是由Y 到X 的有界限性算子.任意取复数21,λλ及元素Y y y ∈21,,因有因此22112211)(y T y T y y T ***+=+λλλλ.这说明*T 是线性的.再由*T 的定义,对任意的Y y ∈,有yT f yT ⋅≤=*,因此有TT ≤*,即*T 为有界限性算子,而*T 的惟一性是分明的.证毕.再给出一个实例.设[]),(,,2s t K b a L X =是矩形区域[][]b a b a D ,,⨯=上平方可积函数,则由核),(s t K 定义了空间[]b a L ,2上的有界限性算子T 为T是一个Fredholm型积分算子.现在求T 的共轭算子.任取[]b a L y ,2∈,因为在给定条件下可交换积分次序,有故有 ()()()()⎰=*ba ds s y t s K t y T ,.即*T 是以),(s t K 为核的Fredholm 型积分算子.由例 4.8,我们看到共轭算子是转置共轭矩阵概念的推广,因此它必定具有许多近似转置共轭矩阵的性质.【定理 4.12】(共轭算子的性质) 设X ,Z 是Hilbert 空间,Y 是内积空间.),(),,(,X Z L Q Y X L S T ∈∈,λ是复数,则以下命题成立:(1)**=T T λλ)(; (2)***+=+S T S T )(; (3)T T =**)(; (4)TT T T**==22;(5)***=T Q TQ )(;(6)T 存在有界限性逆算子的充要条件是*T 也存在有界限性逆算子,有11)()(-**-=T T ; (7)(){}T T σλλσ∈=*)(.证明:(1)任取,,Y y X x ∈∈有 因此有()**=T T λλ.性质(1)得证. (2)证明留给读者证明. (3)任取,,Y y X x ∈∈有yT x y Tx *=,,,因此有Txy x y T ,,=*.于是T T =**)(.性质(3)得证.TT ≤*.因此也有***≤T T )(,即*≤T T.于是必*=T T.任取X x ∈,因 则得2TTT ≤*.另外一方面,任取X x ∈,且1=x ,有则得 即有TT T*≤2.综上所证就得到TT TT**==22.性质(4)得证.(5)由假设知),(Y Z L TQ ∈.任取Y y Z z ∈∈,,因于是有()***=T Q TQ .性质(5)得证.(6)设T 存在有界限性逆算子1-T ,则X Y I T T I TT ==--11,,其中Y X I I ,分别是X 及Y 上单位(恒等)算子.因分明有Y Y X XI I I I ==**,,则操纵性质(5)可得因此知*-)(1T 是*T 的逆算子,即成立*--*=)()(11T T .反之,设*T 存在有界限性逆算子,于是由前证有**=)(T T 存在有界限性逆算子.性质(6)得证.定理证毕.(7)设)(T ρλ∈,则),()(1X X L T I ∈--λ,于是由性质(6),*-)(T I λ存在有界限性逆算子,而()**-=-T T I λλ,可见)(*∈T ρλ,故(){}()*⊂∈T T ρρλλ. 同理可证 即所以 ()(){}T T ρλλρ∈=*而()()T T σσ,*分别是)(*T ρ,)(T ρ的余集,因此习题4,41设X是Hilbert空间,Y是内积空间,若()X Y L S S ,,21∈,有Y y X x y S x y S x ∈∈=,,,,21,求证21S S =.2设X 是Hilbert 空间,求证X 是自反空间.3证明θθ==**,I I ,其中θ,I 分别是Hilbert 空间X 上单位算子和零算子.4 试求作用于2l 上的算子的共轭算子: (1)()() ,,,0,,2121t t t t T = (2)()() 3221,,,t t t t T =.5试求作用于()∞∞-,2L 上的算子T 的共轭算子: (1)()()()h t x t Tx +=,其中()∞∞-∈,2L x ,h 是实常数; (2)()()())()(21t x t x t Tx -+=,其中()∞∞-∈,2L x .6 设X 是复Hilbert 空间,()X X L X L T ,)(=∈.求证:若*=T T ,则对任意Xx ∈,有0,Re =x Tx .7设X 是Hilbert 空间,)(X L T ∈且1≤T,求证:{}{}x x T x x Tx x ===*::.8设X ,Y 是Hilbert 空间,),(Y X L T ∈.记T 的零空间与值域分别为(){}θ=∈=Tx X x T N :,{}X x Y Tx T R ∈∈=:)(.(1) 任Y B X A ⊂⊂,,若()B A T ⊂,求证)(⊥*⊥⊃B T A ; (2) 若(1)中,A ,B都是闭线性子空间,若)(⊥*⊥⊃B T A ,求证B A T ⊂)(;(3) 求证()⊥*⊥*==))(()(;)()(T N T R T N T R ;⊥*⊥*==))(()(;))(()(T R T N T R T N .9 设X 是复Hilbert 空间,M 是X 的闭线性子空间,求证:若M 是X 是某个非零有界限性泛函f 的零空间,则⊥M 是X 的一维空间.Hilbert空间上共轭算子的概念,如果()X X L T ,∈,那末()X X L T ,∈*.当X 是实Hilbert 空间且是有穷维时,算子T 便可当作实方阵,而*T 就是T 的转置.若*T =T ,那末矩阵T 就是对称矩阵.通过线性代数我们知道,对称矩阵有很多好的性质.在这里我们将对称矩阵的概念一般化,引入一类重要的算子.【定义4.9】 若*T =T ,则称T 为自共轭算子(或自伴算子). 【定理4.13】 设X 是Hilbert 空间,则下面的结论成立:(1) 若()X X L T ,∈,则T 为自共轭算子当且仅当对x Tx X x ,,∈∀是实数.(2) 若()X X L T T ,,21∈且为自共轭算子,则对任何实数21,,T T βαβα+是自共轭算子.(3) 若()X X L T T ,,21∈且为自共轭算子,则21T T 是自共轭算子的充要条件是1221T T T T =. 证明:(1)设对任何X x ∈,x,是实数,来证*=T T .由于所以()0,=-*xx T T ,令*-=T T S ,那末0,=x Sx .又()0,=++y x y x S 及()0)(,=++iy x S iy x S于是得0,,=+x Sy y Sx 及0,,=-x Sy y Sx故0,=y Sx ,对X y x ∈∀,,可见θ=Sx ,即S 是零算子.于是*=T T .反之,若*=T T ,则 那末x,是实数.(2)由性质(1)之证,由于)x x x x T x x T T ,,,2121βαβα+=+是实数,所以21T T βα+是自共轭算子.(3)首先设1221T T T T =,那末由共轭算子的性质知 即21T T 自共轭,反之注:从定理 4.13的性质(2)可以看出,自共轭算子组成()X X L ,的一个实线性子空间,而且从下面的定理近一步得知,这个子空间在算子的一致收敛和强收敛下均是闭子空间.【定理 4.14】设{}n T 是一列自共轭算子,()X X L T ,∈.若对每一个Xx ∈,有Tx x T n →,则T 是自共轭算子.。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
3.6 定理 设M是Hilbert空间H的闭线性子空间,且
h H ,令 Ph 表。
。
。
P是H上的线性算子;
h H ,|| Ph |||| h ||;
P2 P.这里 P 2 表示P与其自身的复合;
ker P M , R( P) M .
( f ) f (t ) g (t )dt
E ______
1
f 是连续的;
2
3
f 在零点连续;
f 在某一点连续;
4
C 0, 使得 x H , f ( x) C x ;
5
ker f 是闭集。
4.2 有界线性泛函的定义
H上线性泛函称为有
界线性泛函,如果存在常数 C 0 ,使得
x H , f ( x) C x
4.3 有界线性泛函的范数 对有界线性泛函
x1 x 2 x n
2
x1 x 2
2
2
xn
2
3.3 变分引理 设H是Hilbert空间,K是H中非空闭凸集,
h H ,则K中存在唯一的点k 0 使得
|| h - k 0 || = inf{ || h - k || : k K} = dist(h,M)
3.4 投影定理 设M 是Hilbert空间H的闭线性子空间 ,
A A {0}
3.9 系 设A是Hlibert空间H的子集,则 A
是
A在H中的闭线性包,即是包含A的最小 闭线性子空间。 3.10 系 如果Y是Hlibert空间H中的线性子空间,
则Y在H中稠,当且仅当 Y 0
3.11 正交分解定理 设 M 是 H 的闭线性子空间,则
f : H F ,定义 f sup f ( x) : x 1,
由有界线性泛函的定义, f , f 称为 有界线性泛函 f 的范数。
命题 如果 f 是有界线性泛函,则
f ( x) f sup f ( x) : x 1 sup : x H , x 0 inf c 0 : f ( x) c x , x H , x
h H , 且 f 0 是 M 中满足 || h - f0 || = dist(h,M)
的唯一的元素 ,则h - f 0 M . 反之,如果 f 0 M , 且h - f 0 M , 则 || h - f 0 || = dist(h,M)
H的闭子空间 定义 设 h 是Hilbert空间 H的元素,
且 x H , f ( x) f x
4.4 对偶空间 H上所有有界线性泛函组成的集合按加法
(( f1 f 2 )( x) f1 ( x) f 2 ( x)) 和数乘
((f )( x ) f ( x )) 构成一个线性空间,称
为H的对偶空间(或共轭空间),记为 H *
4.5 Riesz表现定理 如 f : H F 是Hilbert空间 H 上的有界线性泛函,则存在唯一的 x0 H ,使 得 x H , f ( x) x, x0 ,且有 f x0
4.6 系 如果 f 是 R n 上有界线性泛函,则存在
(1,2 ,
n ) Rn ,
x (1 , 2 ,
n ) R n , f ( x) ii
i 1
n
4.7 系 如果 是实 L2 ( E) 上有界线性泛函,则存在
唯一的 g L2 ( E), f L2 ( E), ( f ) E f (t ) g (t )dt 如果 是复 L2 ( E) 上有界线性泛函,则
M 中满足 h f M 的唯一的元素 f0 称为 0
h 在 M 上的正交投影,简称投影。
3.5 正交补 如果 A 是内积空间 X 的子集,一切与
A 正交的元素的集合称为 A 的正交补,
记作 A ,即
A f X : g A, f g
命题: A 是内积空间 X 的闭线性子空间
M M 可分解为两个子空间 与 的直和,即 H
x H ,可唯一地表成 x y z ,其中
y M , z M , 这时记作 H M M
第四节 Riesz表现定理
4.1 定理 设 H是数域 F 上的Hilbert空间,而
f : H F 是线性泛函,则以下五者等价:
第三节 正交性
3.1 定义 设X是内积空间, x , y X,如 x, y = 0, 则称x , y为正交的或直交的,记作x y. 设A,B X,如 a A, b B,有a b,
则称A与B正交。如果向量x与A中所有
向量a正交,则称x与A正交,记作x A.
3.2 勾股定理 如果 x1 , x2 ,, xn 在X中两两正交,则
3
4
3.7 定义 如果 M 是Hilbert空间 H 的闭线性子空间,
P 是以上定理中定义的线性算子,则 P
称为 H 到 M 上的正交投影算子,称正交
投影、投影算子或投影
3.8 系 设M是Hlibert空间H的闭线性子空间,则
M
M
( A ) A 一般只有
还有性质:A B A B