泛函分析初步
7. 泛函分析初步

§7 泛函分析初步一、 勒贝格积分1、测度与可测函数[测度与可测集] 设S 为某一区间),(b a 内的任一有界点集,则把覆盖S 的一组区间的长度之和的下确界称为S 的外测度,记作][S m e . 包含S 的任一有界区间),(b a 的长度a b -与S 关于),(b a 的余集(即),(b a 内不属于S 的点的全体)的外测度之差称为S 的内测度,记作][S m i .][S m e =][S m i 的集S 称为可测集,其测度记作][S m .设S 为直线上的一个无界点集,若对一切大于零的x ,S x x ),(-是可测的,则称这个无界点集S 是可测的. 在这种情形下,定义无界点集S 的测度为]),[(lim ][S x x m S m x -=∞→这里][S m 可以有限或无限.每个有界开集都是可测的.可测集的概念可以推广到n 维空间的点集上去.[几乎处处] 若一个性质对区间上除了一个测度为零的集合之外,在其他点都成立,则称这个性质在已知区间上几乎处处成立.[可测函数] 设函数)(x f 在可测集S 上定义,而c 是任意实数. 若在S 上使c x f ≤)(的一切点x 所构成的集是可测的,则称函数)(x f 为在S 上的一个可测函数.在这个定义中,条件c x f ≤)(可用c x f <)(,c x f ≥)(,c x f >)(中任一条件来代替. 在),(b a 内任一连续函数是),(b a 内的可测函数. 若 ),(),(21x f x f 都是),(b a 内的可测函数,则)(),()(21x af x f x f +(a 为常数),)()(21x f x f 和)(lim x f n n ∞→(极限存在)也都是),(b a 内的可测函数.2、勒贝格积分[有界函数的勒贝格积分] 在有界区间),(b a 内给定一个有界可测的实函数)(x f ,在)(x f (),(b a x ∈)的变化范围内插入分点:)()(2110b f y y y a f n n =<<<<<<=ηηη (1) 并用i S 表示使i i y x f y <<-)(1在),(b a 内的点x 所构成的集,对每个分法(1)的序列{}i y ,当{}0max 1→--i i iy y 时,和式∑=ni i i S m 1][η趋于唯一的有限极限I ,记作{}⎰∑===→--b ani iiy y x x f S m I i i id )(][lim1max 1η这个量称为)(x f 在),(b a 内按勒贝格意义的定积分,又称为勒贝格积分,称)(x f 在),(b a 内是可积(在勒贝格意义下,下同)的.[无界函数的勒贝格积分] 若)(x f 在有界区间),(b a 内是无界可测函数,则勒贝格积分⎰bax x f d )(定义如下:⎰⎰⎰∞→∞→+=baB B b aA A bax x f x x f x x f d )(lim d )(lim d )(式中⎪⎩⎪⎨⎧<≥>≥=⎪⎩⎪⎨⎧>≤<≤=))(())(0()()0)((0)())(())(0()()0)((0)(B x f B B x f x f x f x f A x f A A x f x f x f x f B A [在无界区间上的勒贝格积分] 若⎰X ax x f d )(对一切a X >存在,则定义勒贝格积分⎰∞ax x f d )(如下:⎰⎰⎰∞→∞→∞+=2211d )(l i m d )(l i m d )(21X aX X aX ax x f x x f x x f式中 ⎩⎨⎧<≥=⎩⎨⎧>≤=)0)(()()0)((0)()0)(()()0)((0)(21x f x f x f x f x f x f x f x f 同样可以定义⎰∞-b x x f d )(和⎰∞∞-x x f d )(.[在一个点集上的勒贝格积分] 上述有界和无界函数的勒贝格积分的定义可推广到任一个可测集S 上的勒贝格积分⎰Sx x f d )(. 还可推广到n 维空间的区域或可测集上的多重勒贝格积分.[勒贝格积分的存在性与性质]1o 每个有界可测集函数在任一有界可测集上是可积的,在一可测集S 上的可积函数在S 的每个子集上都是可积的.2o 勒贝格积分⎰Sx x f d )(存在的充分必要条件是:勒贝格积分⎰Sx x f d )(存在.3o 在一个测度等于零的集上的勒贝格积分等于零.4o 设 ,,21S S 为一组可数的互不相交(即j i S S j i ≠=,Φ )的可测集,假定)(x f 在),2,1( =i S i 和i iS 上的勒贝格积分都存在,则++=⎰⎰⎰21d )(d )(d )(S S S x x f x x f x x f ii5o 连续性定理 设 ),(),(),(210x f x f x f 和一个正的函数)(x A 在一个可测集S 上都是可测的,并且对一切n 与S 中一切x ,不等式)()(x A x f n ≤几乎处处成立;又设对S 中几乎一切x ,使)()(lim x F x f n n =∞→成立,则⎰→∞Sn n x x f d )(lim存在,且⎰⎰=∞→SSn n x x F x x f d )(d )(l i m6o 勒贝格基本定理 设S 是一个可测集,)(,][x f S m ∞<不一定有界. 若(i) ),(,),(),(21x f x f x f n 都是S 上非负的可测函数; (ii)∑∞==1)()(n n x f x f则∑⎰⎰∞==1d )(d )(n Sn Sx x f x x f3、平方可积函数[L 2空间] 若S 是有界可测集,f (x )为S 上的可测函数,)(2x f 可积,并且∞<⎰Sdx x f )(2则称)(x f 为属于空间)(2S L 的函数,记作)(2S L f ∈,或简写为2L f ∈. 在本段中,假定S 就是区间),(b a .若2L f ∈,2L g ∈,则g f fg ±,都是可积的;并有212121d )(d )(d )(d )(d )(d )()(222222⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡≤⎥⎦⎤⎢⎣⎡+⎥⎦⎤⎢⎣⎡∙⎥⎦⎤⎢⎣⎡≤⎥⎦⎤⎢⎣⎡⎰⎰⎰⎰⎰⎰b a b a b a b a b a b a x x g x x f x g f x x g x x f x x g x f[模与距离] 设2)(L x f ∈,则称1d 2⎥⎦⎤⎢⎣⎡=⎰ba x f f为f 的模(范数).设2,L g f ∈则称g f g f -=),(ρ为f 与g 的距离.设2,,L h g f ∈则(i) 0),(≥g f ρ,只当g f =几乎处处成立时,0),(=g f ρ (ii) ),(),(f g g f ρρ=(iii) ),(),(),(g h h f g f ρρρ+≤[平均收敛] 若2221)(,),(,),(),(L x f L x f x f x f n ∈∈ 并且0l i m =-∞→f f n n则称函数序列)}({x f n 在2L 内收敛或平均收敛,且其极限为)(x f ,记作f f n n =∞→lim * 平均收敛有以下性质:1o 若f f n n =∞→lim ,g g n n =∞→lim 则)()(x g x f =在),(b a 上几乎处处成立.2o 若f f n n =∞→lim ,g f n n =∞→lim 则⎰⎰=∞→bab an n n x x g x f x x g x f d )()(d )()(lim3o 若f f n n =∞→lim ,2L g ∈则⎰⎰=∞→bab an n x x f x g x x f x g d )()(d )()(l i m4o ),(2b a L 中点列{}n f 平均收敛的充分必要条件是它为基本序列.基本序列的定义如下:设),2,1(2 =∈n L f n ,若对任意0>ε总有正整数N ,对一切N m N n ≥≥,,使得ε<-m n f f 则称{}n f 为2L 中的基本序列.由此可见2L 是完备空间(见第二十一章,§4,一). *这里f f n n =∞→lim 不同于)()(lim x f x f n n =∞→.[2L 空间的可分性]1o 设),()(2b a L x f ∈,则对任意0>η,总有连续函数)(x ϕ,使 ηϕ<-)()(x x f2o 设),()(2b a L x f ∈,则对任意0>ε,总有系数为有理数的多项式)(x p ,使 ε<-p f因为所有系数为有理数的多项式组成一个可数集合,并在2L 中处处稠密. 所以2o 表明2L 为可分空间(见二十一章,§3,三).二、希尔伯特空间[希尔伯特(H )空间] 若无限维酉空间V 中每个基本序列收敛于V 中一个元素,则称V 为完备的. 一个完备的无限维酉空间称为希尔伯特空间,或简称H 空间.在n 维空间中的矢量定义为n 个数n f f f ,,,21 的全体. 类似地,无限维空间中的矢量定义为t 从a 变到b 的函数)(t f .矢量的加法与数乘定义为函数的加法与函数和数的乘法. 在H 空间中两矢量的内积(数量积)公式为⎰=ba t t g t f g f d )()(),( (1)[H 空间的度量] 设H t f ∈)(,则⎰b at t f d )(2为矢量)(t f 的长度. 设H t g t f ∈)(),(,则矢量)(t f 与)(t g 之间的距离等于[]⎰-ba t t g t f d )()(2这个表达式称为函数)(t f 与)(t g 的均方差. 就是以均方差作为希尔伯特空间H 中两元素间的距离的度量.在H 空间中两矢量)(t f ,)(t g 间的角度ϕ定义为⎰⎰⎰=b ab ab att g tt f tt g t f d )(d )(d )()(c o s 22ϕ(2)因为对任意两个函数)(t f 与)(t g 都有不等式⎰⎰⎰≤b ab ab at t g tt f t t g t f d )(d )(d )()(22所以等式(2)的右端可以看作某角度ϕ的余弦.[正交函数与正交函数系] 若非零矢量f 与g 的内积0),(=g f ,则由(1)与(2)可知0cos =ϕ,即ο90=ϕ. 因此称矢量f 和g 是正交的. 这时0d )()(=⎰bax x g x f设)(,),(),(21x f x f x f n 表示两两正交的函数,而)()()()(21x f x f x f x f n +++=为它们的和,则)(x f 的长度平方等于)(,),(),(21x f x f x f n 的长度平方和.因为H 空间中矢量的长度是用积分给出的,所以这时类似于商高定理由下面的公式给出:⎰⎰⎰⎰+++=baban babax x f x x f x x f x x f d )(d )(d )(d )(222212以上所述的积分,例如⎰bax x f d )(2,是指勒贝格积分有意义而言的.若H 空间中函数系),(,),(),(21x x x n ϕϕϕ 中的任意两函数相互正交,即)(0d )()(j i x x x baji≠=⎰ϕϕ则称这个函数系为正交函数系. 若还满足)2,1(1d )(2 ==⎰k x x bakϕ则称此函数系为标准正交系.[依标准正交函数系的分解] 若在H 空间中给定一个完备的标准正交函数系),(,),(),(21x x x n ϕϕϕ(即不可能再加一个不恒为零的函数与系中的一切函数正交),则一切函数)(x f 都可依这个系中函数展开成级数(平均收敛):++++=)()()()(2211x a x a x a x f n n ϕϕϕ 式中函数n a 等于矢量)(x f 在标准正交系中的矢量上的投影:),2,1(d )()(),( ===⎰n xx x f f a ba n n n ϕϕ可以证明:∑⎰∞==122d )(k k b aa x x f 它的几何意义是,H 空间中矢量的长度平方等于该矢量在完备的标准正交系中的矢量上的投影平方和.三、 巴拿赫空间[赋范线性空间] 设V 为一个线性空间,对于V 中每个元素α,有一个实数α与之对应,且具有下列性质:(i) 0≥α,当且仅当0=α时*,0=α;(ii) αα⋅=a a ,特别αα=-; (iii) βαβα+≤+;则称V 为赋范线性空间. α称为α的范数或模.对于赋范线性空间V ,βαβαρ-=),(则V 成为一个尺度空间. 以后讲到赋范线性空间,总认为它是一个尺度空间,并且用(1)式表示它的距离.[巴拿赫空间的定义与例子] 完备的赋范线性空间称为巴拿赫空间. 例1 ),(2b a L 是巴拿赫空间.例2 设在),(b a 内所定义的一切连续函数的全体记为C ,令)(11x f f =,)(22x f f =属于C ,c 是任一实数,定义)(),()(2121x cf cf x f x f f f =+=+ 易知C 是一个线性空间,对于C 中的)(x f f =,定义* 这里0是线性空间中的零元素。
理解泛函分析学习泛函分析的基本概念和方法

理解泛函分析学习泛函分析的基本概念和方法泛函分析是数学中的一个重要分支,它研究的是函数的集合和函数间的映射关系。
泛函分析的基本概念和方法对于理解和应用许多数学分支和应用科学领域都具有重要意义。
本文将介绍泛函分析的基本概念和方法,帮助读者更好地理解和学习泛函分析。
1. 范数和内积空间泛函分析的基本概念之一是范数和内积。
范数是定义在线性空间上的一种函数,用来度量空间中的向量的大小。
内积是定义在内积空间上的一种函数,用来度量空间中向量之间的夹角和长度。
了解范数和内积的定义和性质是学习泛函分析的基础。
2. 巴拿赫空间巴拿赫空间是泛函分析中的一个重要概念,它是一个完备的赋范线性空间。
完备性意味着空间中的柯西序列在该空间中有极限。
了解巴拿赫空间的定义和性质对于理解泛函分析的相关定理和方法至关重要。
3. 可分性和正交性可分性是指线性空间中存在可数的稠密子集。
泛函分析中的许多定理和方法依赖于对可分空间的研究。
正交性是指内积空间中存在满足正交关系的向量组。
正交性在泛函分析中有重要应用,如勾股定理和傅里叶级数展开等。
4. 对偶空间和弱收敛对偶空间是泛函分析中的一个重要概念,它是一个原空间的线性函数全体构成的线性空间。
对偶空间的研究对于理解泛函分析的双重性质及其在数学和物理问题中的应用具有重要意义。
弱收敛是指序列在对偶空间中的收敛性质。
了解对偶空间和弱收敛的定义和性质有助于掌握泛函分析中的重要思想和方法。
5. 紧算子和谱理论紧算子是泛函分析中的一个重要概念,它是一种在巴拿赫空间中有紧性的线性算子。
紧算子在泛函分析和泛函微分方程等领域的研究中具有重要应用。
谱理论研究的是算子的谱结构及其与算子性质的关系。
理解紧算子和谱理论对于深入理解泛函分析的相关概念和方法非常重要。
6. 泛函分析的应用领域泛函分析作为数学中的一个重要分支,在许多领域都有广泛的应用,包括数学分析、微分方程、优化理论、量子力学等。
了解泛函分析在不同领域的应用,可以帮助读者更好地理解泛函分析的实际意义,并将其应用于实际问题的研究和解决中。
泛函分析课件

泛函分析课件泛函分析是数学中的一门重要学科,它研究的是无限维空间中的函数和算子。
在实际应用中,泛函分析广泛应用于物理学、工程学、经济学等领域。
本文将介绍泛函分析的基本概念和主要内容,以及其在实际应用中的一些例子。
一、泛函分析的基本概念泛函分析的基本概念包括向量空间、线性映射、内积、范数等。
向量空间是泛函分析的基础,它是一组满足一定条件的向量的集合。
线性映射是指将一个向量空间映射到另一个向量空间的函数,它保持向量空间的加法和数乘运算。
内积是向量空间中的一种运算,它是一个函数,将两个向量映射到一个实数。
范数是向量空间中的一种度量,它衡量向量的大小。
二、泛函分析的主要内容泛函分析的主要内容包括线性算子、连续性、紧性、谱理论等。
线性算子是指将一个向量空间映射到另一个向量空间的线性映射,它在泛函分析中起到了重要的作用。
连续性是指在一个向量空间中,如果两个向量足够接近,它们的映射也应该足够接近。
紧性是指一个映射将有界集映射到有界集,且将紧集映射到紧集。
谱理论是研究线性算子谱性质的一门学科,它对于解析和估计线性算子的特征值和特征向量具有重要意义。
三、泛函分析在实际应用中的例子泛函分析在实际应用中有许多例子,下面将介绍其中的几个。
首先是量子力学中的波函数,它是一个复数函数,描述了量子系统的状态。
泛函分析提供了一种理论框架,可以对波函数进行分析和计算。
其次是信号处理中的傅里叶变换,它将一个信号分解成一系列正弦和余弦函数的叠加。
泛函分析提供了一种数学工具,可以对信号进行分析和处理。
再次是优化问题中的拉格朗日乘子法,它是一种求解约束优化问题的方法。
泛函分析提供了一种理论基础,可以对优化问题进行建模和求解。
最后是经济学中的效用函数,它描述了个体对不同商品或服务的偏好程度。
泛函分析提供了一种数学工具,可以对效用函数进行分析和计算。
综上所述,泛函分析是一门重要的数学学科,它研究的是无限维空间中的函数和算子。
泛函分析的基本概念包括向量空间、线性映射、内积、范数等。
泛函分析第一讲

线性算子和线性泛函
第二章 泛函分析
绪论
2.1 距离空间
第二章 泛函分析
一、距离空间的定义
lim
n
xn
x
0, N, 当 n 时N,有
dx, y x y
x y 0, x y 0当且仅当 x y
xy yx
xy xz zy
xn x
第二章 泛函分析
第一节 距离空间
一、距离空间的定义
第一节 距离空间
一、距离空间的定义
例2.1.2 设 X ,d 是距离空间,对任意 x, y X ,源自定义x,y
d
1+d
x,xy, y ,则
X
,
也是距离空间.
证明 三角不等式 d(x, y) d(x, z) d(z, y),
第二章 泛函分析
第一节 距离空间
一、距离空间的定义
例2.1.3 空间l p p 1.
x0 X. 如果d (xn , x0 ) 0, n , 则称该点列 xn
收敛于 x0 , 并记为
lim
n
xn
x0
或
xn x0 n
定理1 距离空间 X ,d 中,收敛点列的极限是唯一的.
第二章 泛函分析
第一节 距离空间
二、距离空间中的收敛
例2.1.5 在Rn 中,点列的收敛为按坐标收敛.
♣ 泛函分析在微分方程、概率论、函数论、计算 数学、控制论、最优化理论、连续介质力学、量 子物理等以及一些工程技术学科都有重要作用.
第二章 泛函分析
绪论
二、泛函分析课程内容 1.空间 集合 + 一定的结构
距离空间 赋范线性空间 内积空间 Banach空间 Hilbert空间
第三章-泛函分析初步

第三章:泛函分析初步(参阅教材Ch6)§3.1 线性空间定义(线性空间):设W ≠∅(W 为非空集合),满足下列两个条件:第一. W 中的元对“+”构成交换群,即,,W ∀∈X Y Z ,有:ⅰ)W +∈X Y(加法封闭性) ⅱ)()()++=++X Y Z X Y Z (结合律) ⅲ) 0W ∃∈,使0+X X =(存在零元) ⅳ)W ∃-∈X ,使()-+=0X X (存在逆元) ⅴ)+=+X Y Y X(交换律)(满足前2条,构成半群;满足前4条,构成群;满足5条,构成加法交换群,又称为Abel 加群,简称Abel 群。
)第二. ,,,/W C R αβ∀∈∀∈X Y (复数域/实数域),对数乘封闭,即有:ⅵ)()()W αβαβ=∈X X ⅶ)()αβαβ+=+X X X ⅷ)()ααα+=+X Y X Y ⅸ)⋅1X X =则称W 是数域/C R 上的线性空间。
若,R αβ∈,则W 为实线性空间;若,C αβ∈,则W 为复线性空间。
注:1)加法封闭+数乘封闭,i i W C α⇔∀∈∀∈X ,有1Ni i i W α=∈∑X 。
2)[]C ,a b ([],a b 上所有连续函数的全体)是线性空间。
3){}12,,,n span X X X 为由12,,,n X X X 张成的线性空间。
定义(线性算子):线性空间上的算子L 为线性算子{}11L L N Ni i i i i i αα==⎧⎫=⎨⎬⎩⎭∑∑X X ⇔(3-1)推论:零状态线性系统⇔系统算子为线性算子。
§3.2 线性子空间定义(线性子空间):设V W ∅≠⊂,V 是W 的线性子空间⇔对,,,V C αβ∀∈∀∈X Y ,有V αβ∈+X Y 。
定义(直和):设12,,,p W W W 是W 的子空间,若W ∀∈X 对,X 可唯一表示成1p =++X X X ,其中() 1,,i i W i p ∈=X ,则称W 是12,,,p W W W 的直和,记为:12p W W W W =⊕⊕⊕。
信号与系统——泛函分析初步

再如,若一个能量有限信号可以分解成无穷多个分量,即其各分量 平方可和
可证明,按内积构成的内积空间,也是一个Hilbert空间。 Cauchy-Schwarz不等式:为内积空间,,有
定义(和、直和,Sum、Direct sum):
设是的线性子空间,称为子空间的和。如果,即p个子空间彼此无 交集,则这些子空间的和称为直和,记为:。
定理:设是的线性子空间,则 (1)子空间的交也是的子空间; (2)子空间的和也是的子空间; (3)是直和 对于,可唯一表示成
,其中。
§2.3 距离空间(度量空间)
其中,为定义域,为值域。
图2-1 算子的映射作用 定义(数域,Number field):包括0、1且对四则运算封闭 的数集。 定义(泛函,Functional):值域是实/复数域的算子称为 泛函。 注:定积分,距离,范数,内积,函数(第三种定义),(普 通)函数均为泛函。 定义(线性算子):为线性空间,,若对,
Hilbert第六问题:任何物理学理论、物理定 律、实验结论,都可以从一组数学公理出发通
过演绎得到。
希尔伯特第六问题,体现了一种对于统一的追求。
泛函分析:属于基于公理的分析体系,不在于计算,
而着眼于概念演绎,更普适、更一般、更深刻地理
解、解释数学物理问题。
1. 内积空间:
定义(内积,Inner product):设为实或复线性空间,若对 (复数域),均有一实数或复数与之对应,记为,满足:
注意2:满足三条公里的距离定义可以有多种。因此,同一个集合
与不同定义的距离结合,构成不同的度量空间。
泛函分析第5章 非线性分析初步

第5章 非线性分析初步本章主要介绍一些非线性分析的常用概念和基本方法.内容包括抽象函数的微积分,非线性算子的两种微分,反函数和隐函数定理,变分法及非线性最优化.5.1抽象函数的微分和积分抽象函数是普通函数在B anach 空间中的推广.设X 是一个B anach 空间,X *是X 的对偶空间.称()[]:,x t a b X →为抽象函数.首先介绍抽象函数的两种连续性.[定义 5.3]()[][]0:,,,,x t a b X t a b →∈称()x t 在0t 点是连续的,是指()()00l i m 0t t x t x t →-=;称()x t 在0t 点是弱连续的,是指对于每个f X *∈,有()()()()0lim t t fx t f x t →=.如果()x t 在[],a b 的每个点上连续,则称()x t 在[],a b 上连续;如果()x t 在[],a b 的每个点上弱连续,同样,称()x t 在[],a b 上弱连续.注:若()x t 在0t 点连续,则()x t 在0t 点弱连续.这是因为对于f X *∈()()()()()()00f x t f x t fx t x t -≤-所以()()()()00lim t t f x t f x t →=,反之不然.类似于普通函数,有如下定理.[定理 5.1]若()x t 是[],a b 上的连续函数,则()x t 是一致连续的,即对于0,0,εσ∀>∃>当[]',,t t a b ∈且't t σ-<时有()()0x t x t ε-<下面来介绍抽象函数的两种导数的概念.[定义5.2]设()[]:,x t a b X →是一抽象函数,[]0,t a b ∈若0,x X ∃∈使()()0000lim0t x t t x t x t∆→+∆--=∆则称()x t 在0t 点可微,而0x 称为()x t 在0t 点的导数,记为()'x t ,即()()()00'limt x t t x t x t t∆→+∆-=∆上述极限是在范数意义下取的.若对于每个f X *∈,普通函数()()f x t 满足()()()()limt fx tt fx t t∆→+∆-=∆则称()x t 在0t 点是弱可微的,0x 称为()x t 在0t 点的弱导数.注:()x t 在0t 点可微,则()x t 在0t 点是弱可微,反之不然.()x t 在0t 点可微,则()x t 在0t 点连续.若()x t 在[],a b 中每一点均可微(点a 右可微,点b 左可微),则()x t 在[],a b 上可微分,且导函数()'x t 也是一个从[],a b 到X 的抽象函数.例5.1 ()[]11,:,X l x t a b l =→,记为()()()()()12,,,,n x t x t x t x t =⋅⋅⋅⋅⋅⋅若()x t 在0t 点可微,那么()()()()()''''010200,,,,n x t x t x t x t =⋅⋅⋅⋅⋅⋅例 5.2 若()00,x X x t x ∈≡,则()x t 在[],a b 上每一点可微,且()'x t θ=(零元).反之,若()x t 可微,且()'x t θ=,则()0x t x ≡(X 中每一常元).事实上,对于每个f X*∈,()()f x t 可微,且有()()()()()'0d fx t f x t f dtθ===,故()()f x t =常数=()()f x a ,于是()()0x t x a x ==.[定义5.3]设()x t []:,a b X →是一抽象函数,对于分划∆:011n n a t t t t b-=<<⋅⋅⋅<<=作R iem ann 和()()1,niii S x x t ξ=∆=∆∑此处1i i i t t t -∆=-,[]1,i i i t t ξ-∈可任取.在记分划∆的范数为1m ax i i it t -∆=-仿照普通函数R iem ann 的积分定义,抽象函数()x t 的R iem ann 积分定义为:若存在,0,0,I X εδ∈∀>∃>使得对于任何分划∆若满足δ∆<时,相应的任何R iem ann 和(),S x ∆都成立(),S x I ε∆-<即 ()0lim ,S x I ∆→∆=则称()x t 在[],a b 上是R i e m a n n 可积的,并称I 是()x t 在[],a b 上的R i e m a n n 积分,记为()baI x t dt =⎰.与通常函数有相同的性质,即若()x t 在[],a b 上连续,则()x t 在[],a b 上R iem ann可积.[定理 5.2]若()x t 在[],a b 上连续可微,即()'x t 存在且连续,则(N ew ton Leibniz -莱布尼兹)成立,即()()()'b ax t dt x b x a =-⎰证明:对f X *∈,通常函数()()()g t f x t =在[],a b 上连续可微,且()()()()''b baag t dt ft dt g b g a ==-=⎰⎰()()()()f x b f x a -所以有(因()'x t R iem ann 可积)()()'b afx t dt =⎰()()()f x b x a -从而由H ahn B anach -定理的推论得()'b ax t dt ⎰()()x b x a =-[定理5.3]若()x t 在(),a b 内可微,且()x t 在[],a b 上连续,则存在(),a b ξ∈使得()()()()'x b x a b a x ξ-≤-证明:对每个f X *∈,()g t ()()f x t =满足通常函数的微分中值定理的条件.因此由H ahn B anach -定理的推论,取0f X *∈,且01f =那么存在(),a b ξ∈成立()()x b x a -()()()()()()()'000f x b f x a f x b a ξ=-=-()()()()''0f x b a b a x ξξ≤-=-[定理5.4]设()[]:,x t a b X →连续,令()()xay t x s ds =⎰,则()y t 在[],a b 上可微,且()'y t =()x t .证明:对[]0,t a b ∈,由于()x t 在0t 点连续,因此对于0,0,εδ∀>∃>当0t t δ-<时,有()()0x t x t ε-<.注意到当t δ∆<时有()()()()()0000001t tt y t t y t x t x s ds x t ds tt+∆+∆--=-∆∆⎰()()0001t tt x s x t dst +∆=-⎡⎤⎣⎦∆⎰ ()()0001t tt x s x t ds tε+∆≤-<∆⎰所以 ()()()0000lim t y t t y t x t t∆→+∆-=∆即()()'00y t x t =注:在定理5.4的证明中用到了抽象函数积分的如下公式:若()()()12,,x t x t x t 均是[],a b 上的抽象R iem ann 可积函数,,αβ是实数,那么()()()()()12121b bba aax t x t dt x t dt x t dt αβαβ+=+⎡⎤⎣⎦⎰⎰⎰()()()()2bcba a c x t dt x t dt x t dt =+⎰⎰⎰()()()3bb a ax t dtx t dt≤⎰⎰这些性质的证明完全类似于普通函数,这里略去.我们还可以定义抽象函数的高阶导数及其幂级数的展式等类似于普通函数的性质,这里就不再讨论了.习题5.11.证明若()x t 在0t 点可微,则()x t 在0t 点连续.2.设()x t 在[],a b 上R iem ann 可积,则对每个f X *∈,有()()()()b b aafx t dt fx t dt=⎰⎰3.设()x t 在0t 点可微,则对每个f X *∈,有()()()g t f x t =在0t 点也可微()()()''00gt f x t =.4.定义[],C a b 内的抽象函数()[][]:,,x t a b C a b →为()[]()sin ,x t ts s a b =∈. 证明:()x t 在[],a b 上可微,且()[]()'cos ,x t s ts s a b =∈.5.2非线性算子的微分本节介绍非线性算子的两种常用微分'Fre chet 微分和G ateaux 微分,这是高等数学中多元函数的全微分与方向导数的概念在B anach 空间中的推广.本节出现的B anach 空间都是指实B anach 空间.[定义5.4]设,X Y 是两个B anach 空间,X Ω∈是开集,:F Y Ω→是算子,0x ∈Ω,则()1称F 在0x 点连续,是指()()000lim0h F x h F x →+-=()0,h X x h ∈+∈Ω;()2称F 在0x 点是'Fre chet 可微的,如果存在(),T L X Y ∈满足()()()000,F x h F x Th w x h +=++()0,h X x h ∈+∈Ω其中()()0,w x h o h =,即()00,lim0h w x h h→=此时,称T h 为F 在0x 点关于h 的'Fre chet 微分,记为()0d F x h ⎡⎤⎣⎦,算子T 称为F 在0x 点的'Fre chet导算子,并记为()'0T F x =;()3称F 在0x 点是G ateaux 可微的,如果对于任意h X ∈,极限()()000limt F x th F x t→+-在Y 中存在,记其极限为()0D F x h ⎡⎤⎣⎦,即()()()0000lim0t F x th F x D F x h t→+--=⎡⎤⎣⎦此时,称()0D F x h ⎡⎤⎣⎦为F 在0x 点处沿方向h 的G ateaux 微分,如果G ateaux 微分可以表达为()0D F x h Th =⎡⎤⎣⎦,这里(),T L X Y ∈,则称F 在0x 点具有有界线性的G ateaux 微分,并称T为G ateaux 导算子,仍记为()'0F x .例5.3 记F 是由下列函数()()()1112221212,,,,,,n n mm n y f x x x y f x x x y f x x x =⋅⋅⋅⎧⎪=⋅⋅⋅⎪⎨⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⋅⎪⎪=⋅⋅⋅⎩ 所确定的由n R 到m R 的算子.如果每个函数()12,,j n f x x x ⋅⋅⋅在()()000012,,n x x x x =⋅⋅⋅点附近是连续可微的,那么F 在()0x 点是'Fre chet 可微的,并且'Fre chet 导算子()'0Fx 正好是Jacobi 矩阵()()()()()()()()()()()()()()()()()()()()0001111200022212'00012n nm m m nf f f x x x x x x f f f xxx x x x Fx f f f xxx x x x ∂∂∂⎡⎤⋅⋅⋅⎢⎥∂∂∂⎢⎥∂∂∂⎢⎥⋅⋅⋅⎢⎥∂∂∂⎢⎥⎢⎥⋅⋅⋅⋅=⎢⎥⋅⋅⋅⋅⎢⎥⎢⎥⋅⋅⋅⋅⎢⎥∂∂∂⎢⎥⎢⎥∂∂∂⎣⎦证明:取()12,,n n h h h h R =⋅⋅⋅∈,根据Lagrange 中值定理,对每个1j m ≤≤,存在01j θ<<满足()()()()()()0001nj ij j i if xh h f xh f xx θ=∂++-=∂∑(此处对辅助函数()()()0j j g t f x th=+应用中值定理而得),又因为jif x∂∂在()0x 点连续,所以有()()()()000j j j ij iif xhf x A x x θ∂+∂=-→∂∂()0h →当记 ()()()()()()()000'0,w x h F x h F x F x h =+-- 则 ()0,w x h =≤≤因此()00,limlim0h h w x h h→→==例5.4设(),f t x 在[],a b (),⨯-∞+∞上二元连续,且关于x 可导,偏导数(),f t x x∂∂在[],a b (),⨯-∞+∞上也二元连续.定义算子[][]:,,F C a b C a b →为()()()(),Fx t f t x t = ()[](),x x t C a b =∈那么F 在任意点()[]00,x x t C a b =∈处'Fre chet 可微,且'Fre chet 导算子()'0F x 为()()()()()()''00,x F x h t f t x t h t =证明:取[],h C a b ∈,令()()()()0,f t x t h t ϕεε=+,()ϕε作为ε的函数在[]0,1上连续可微,且()()()()''0,x f t x t h t ϕεε=+.对()ϕε应用Lagrange 中值定理,有()00,1ε∈满足()()()()()()''0010,x f t x t h t ϕϕϕεε-==+由于()',x f t x 连续,因此当0h →时有[]()()()()()''000,max ,,0x x t a b f t x t f t x t h t ε∈-+→令()()()()()()00'00,w x h F x h F x F x h =+--,则()[]()()()()()()()''0000,,max ,,x x t a b w x h f t x t h t h t f t x t h t ε∈=+-[]()()()()()()''000,max ,,x x t a b f t x t h t f t x t h t ε∈≤+-所以()()()()()()0''0000,limlim ,,0x x h h w x h f t x t h t f t x t hε→→=+-=从上面两个例子可见,计算一个具体的算子的'Fre chet 微分是比较困难的,它不同于求函数导数那样容易.为了方便起见, 'Fre chet 可微, G ateaux 可微分别称为F -可微,G -可微.下面我们讨论这两种微分之间的关系.[定理5.5]设0:,,F Y x Ω→∈ΩΩ是开集.()1若F 在0x 点F -可微,则F 在0x 点必有有界线性G -微分,并且()()00D F x h d F x h =⎡⎤⎡⎤⎣⎦⎣⎦即在点的导算子与导算子相同;()2若F 在Ω的每一点都有有界线性G -微分,且G -导算子()()':,Fx L X Y Ω→在0x 点连续,那么F 在0x 点F -可微.证明: ()1F 在0x 点附近可表示成()()()()'0000,F x h F x Fx h w x h +=++于是当t 充分小,用th 代替h ,有()()()()()'0000,F x h F x F x th w x th +=++即()()()()000'0,F x h F x w x th Fx h t t+--=而 ()()000,,limlim0t t w x th w x th h tth→→==故 ()()()00'00limt F x h F x Fx h t→+-=可见F 在0x 点具有有界线性的G -微分,且两者导算子相同.()2由于算子F 是G -可微的,且导算子()'F x 在0x 点连续,因此对0,0,εδ∀>∃>当h δ<时,有()()''00Fx h F x ε+-<我们来证,当h δ<时有()()()'000F x h F x Fx hhε+--< ()5.1事实上,根据H ahn B anach -定理的推论,存在y Y **∈,且1y *=时满足()()()()()()''000000F x h F x Fx hy F x h F x Fx h ⎡⎤+--=*+--⎣⎦定义辅助函数()()''0t y F x th h ϕ⎡⎤=*+⎣⎦,根据F 的G -可微,容易证明()t ϕ在[]0,1上连续可微,且()()''0t y F x th h ϕ⎡⎤=*+⎣⎦,从而由Lagrange 中值定理,存在()0,1ξ∈使得()()()'010ϕϕϕε-=即()()()'000y F x h F x y Fx h h ξ⎡⎤*+-=*+⎡⎤⎣⎦⎣⎦注意到h h ξδ≤<,那么()()'00Fx h F x ξε+-<于是()()()'000F x h F x Fx h +--()()()'000y F x h F x F x h ⎡⎤=*+--⎣⎦ ()()''00y F x h h y F x h ξ⎡⎤⎡⎤=*+-*⎣⎦⎣⎦ ()()()''00y F x h F x hξ⎡⎤=*+-⎣⎦()()''00y Fx h F x hξ=*+-h ε≤ 从而不等式()5.1成立.若令()()()()'0000,w x h F x h F x Fx h =+--那么由式()5.1有()00,lim0h w x h h→=即F 在0x 点F -可微.注:在F 点0x 有有界线性G -微分,一般并不能推出在F 点0x 是F -可微的. [定理5.6]设,X Y 是两个B anach 空间,X Ω⊂是开集,:F Y Ω→,则:()1若()0F x y ≡,则()()'Fx θθ=是零算子;()2()(),,,F x Tx T L X Y =∈则()'Fx T =;()3若:H YΩ→,且对0,,x F H ∈Ω均在0x 点F -可微,则对任何实数,R αβ∈,算子F H αβ+在0x 点亦F -可微,且()()()()'''000FHx F x H x αβαβ+=+()4若Z 是一个B anach 空间,1Y Ω⊂是开集()11:,HZ F Ω→Ω⊃Ω.如果0,x F∈Ω在0x 点F 可微,H 在()00y F x =点F -可微,则复合算子:F H Z Ω→仍在0x 点F -可微,且()()()()'''000FH x Hy F x =证明:()()13 容易证明,留给读者,仅证()4. 设,,Y k X h ∈∈那么()()()()h x w h x F x F h x F ,0000='--+ ()5.2()()()()h y w h y F y H h y H ,0000='--+ ()5.3且()()0,lim,0,lim0000==→→kk y w hh x w h h取()()00x F h x F k -+=,则0→k (当0→h 时),且()()h x w h x F k ,00+'=,代入式()5.3得()()()()()()()()()h x w y H h y w hx F y H x HF h x HF ,,0000000'+=''--+注意到()()h x w h x F k ,00+'≤因此,当0→h 时,0→k 且()()()()()()()(),,,lim 0,,lim0000000000=⎥⎥⎦⎤⎢⎢⎣⎡'++'≤='+→→h h x w y H h h x w x F k k y w hh x w y H k y w h h 故HF 在0x 点-F 可微,且()()()()000x F y H x HF ''='.[定理5.7]()中值定理设Y X ,是两个Banach 空间, X ⊂Ω是开凸集,YF →Ω:具有连续的-F 导算子.设X h x ∈Ω∈,0使,0Ω∈+h x 那么()()()()()[]dt h x F th xF h x F x F h x F ⎰'-+'≤'--+100000证明:因0,x ∈Ω是凸集,由0,x ∈Ω,0Ω∈+h x 知,对一切[]1,0∈t 有.0Ω∈+th x .定义抽象函数()[]Y t x →1,0:为()().0th x F t x +=注意到()()()0x t t F x t t h +∆=++∆()()()()()()()000F x th F x th th th x t tF x th h th οο'=+++∆+∆'=+∆++∆那么()()()()0x t t x t th F x th h ttο+∆-∆'-+=∆∆故()()()()00limlim0t t x t t x t th F x th h h th tο∆→∆→+∆-∆'-+==∆∆这说明,()x t 在[]0,1上强导数()x t '存在且()()0x t F x th h ''=+,因此()x t '也强连续.由本章5.1中定理5.2的N ew ton Leibniz -公式有()()()10000F x h F x F x th hdt '+-=+⎰于是()()()()()1000000F x h F x F x h F x th F x hdt '''+--=+-⎡⎤⎣⎦⎰因此()()()()()1000000F x h F x F x h F x th F x h dt '''+--=+-⎰[定义5.5]设():F Y X Ω→Ω⊂是开集在Ω中每一点都F -可微,那么导算子又决定一个算子()():,F x L X Y 'Ω→.若()F x '在0x 点处F -可微,称()F x '在0x 点处的F -导算子()()0F x ''为算子F在0x 点的二阶F -导算子,记为()0F x '',可见()()()0,,F x X L X Y ''∈.类似,可以定义n 阶导算子()()()03,4,nF x n =⋅⋅⋅.注:根据定义5.5关于高阶F -导算子的定义,()()0,F x L X Y '∈,则()()()0,,F x X L X Y''∈,()()()()(),,,,nn F x X L L X Y ⋅⋅⋅∈⋅⋅⋅个例如,对每个()(),,,h X F x h L X Y ''∈∈因此()()F x h Y ''∈,同理,()()()h h h x F ''',,⋅⋅⋅∈Y 一般地,()()()()n Fx h h h Y ⋅⋅⋅⋅⋅⋅∈.为了简化记号,我们记 ()()()()()()n n nFx h Fx h h h =⋅⋅⋅⋅⋅⋅则有()()()()()()1nn n n nn Fx h Fx h Fx h-≤≤⋅⋅⋅≤[定理5.8]()Taylor 展开式设Ω是B anach 空间中的非空开凸集,Y 是B anach 空间.:F Y Ω→有直到n 阶连续F -导算子,且存在常数0M >,使()()()n Fx Mx ≤∈Ω,则对任一0x ∈Ω及h X∈,满足0x h +∈Ω时,有()()()()()100001,!j jn j Fx h F x h F x w x h j -=+=++∑其中()0,w x h 为余项,且有()0,!nM h w x h n ≤.证明:记()()()()()100001,!j jn j Fx h w x h F x h F x j -==+--∑根据H ahn B anach -定理的推论,存在连续线性泛函f Y *∈,满足()()()00,,,1f w x h w x h f ==令()()()0t f F x th ϕ=+,则由F 在Ω内存在直到n 阶的连续F -导算子,可知()t ϕ是n 阶连续可导的函数,且对任何1j n ≤≤有()()()()()[]()00,1j j j t f Fx th h t ϕ=+∈由普通函数的Taylor 展开公式得知,存在()0,1θ∈使得()()()()()()11010!!j nn j j n ϕϕθϕϕ-==++∑即()()()()()()()()()()100001!!j n j n n j f Fx h f F x h h f F x h f F x j n θ-=++=++∑又因为()()()()()00,!n n f Fx h h f w x h n θ+=()()()!nnfF xh hn θ+≤!nM h n ≤()()()Mh xF n≤+θ0因此()0,!nM h w x h n ≤关于高阶导算子的进一步讨论,我们在这里就不赘述了.习题5.21.证明定理5.6的()()31-.2.若X 是H ilbert 空间,()F x x =,若0x θ≠证明:F 在0x 点处是G -可微的,并求出()0F x '3.若2R 上定义2:F R R →如下:()()()()()3211212421212,0,00,0,0x xx x x x x x F x x x ⎧++≠⎪+=⎨⎪=⎩ 证明:F 在()0,0点G -可微,但是不F -可微. 4.设[]0,1X =,定义():F x X R →为,()()()1,F x f x t t dt =⎰,其中(),f u t 是[]0,1R ⨯上的连续可微函数.证明:F在任意点[]00,1x C ∈是F -可微的,并求出()0F x '.5.设X 是B anach 空间,X Ω⊂是开集,0,x h X ∈记{}0:,01l x x th t =+≤≤⊂Ω()1若:FRΩ→在l 上是F -可微的,则存在()0,1θ∈满足()()()000F x h F x F x h h θ'+-=+()2若Y 是另一个B anach 空间, :FRΩ→在l 上是F -可微的,则存在()0,1θ∈满足()()()()0000F x h F x F x h h F x h hθθ''+-≤+≤+(这个练习就是非线性算子的微分中值定理)5.3隐函数与反函数定理5.3.1隐函数与反函数定理本节将给出非线性分析中极其重要的两个基本定义——反函数定理与隐函数定理.[定理5.9] (隐函数定理)设,,X Y Z 是3个B anach 空间,V X Y ⊂⨯是开集,()00,x y V ∈,():,:F x y V Z →连续,且满足:()1()()00,F x y Z F θ=中零元素,在V 内F -可微;()2()'00,y F x y (当x 固定时,关于y 的导算子)有有界逆算子()'00,y F x y ⎡⎤⎣⎦-1()3()',y F x y 在()00,x y 处连续;那么存在0x 点和0y 点的闭球(){}00:B x x x x δδ=-≤ (){}()00:0,0V y x y y λδδλ=-≤>>满足当()0x B x δ∈时,方程(),F x y θ=在()0V y λ内存在惟一连续解()y f x =,且()00y f x =,即由(),F x y θ=决定一个连续算子()()00:f B x V y δλ→,且()(),F x f x θ=.证明:记()'00,y M F x y ⎡⎤=⎣⎦-1,因()',y F x y 在()00,x y 处连续,所以取00,x y 的恰当小闭球()0B x δ及()0V y λ,而当()()()00,x y B x V y δλ∈⨯时成立()()''001,,2y y F x y F x y M-≤()5.4又()0,F x y 关于x 连续,且()00,F x y θ=,因此可以认为当()0x B x δ∈时有 ()0,2F x y Mλ≤()5.5对固定的()0x B x δ∈,作映射()()()1'00,,,y x y y F x y F x y ϕ-⎡⎤=-⎣⎦,我们来证明(),x y ϕ关于y 满足()()()00,:x y V y V y λλϕ→,是压缩映射.事实上由式()5.4知()()()1'''00,,,y y y x y I F x y F x y ϕ-⎡⎤=-⎣⎦()()()1'''0000,,,y y y F x y F x y F x y -⎡⎤≤-⎣⎦2121=⋅≤MM ()6.5再由中值定理(本章5.2解习题5)及式()5.5,式()5.6有()()()()0000,,,,x y y x y x y x y y ϕϕϕϕ-≤-+-()()()()01''0000sup,,,y y y V y x y y y F x y F x y λϕ-∈⎡⎤≤-+⎣⎦MM 22λλ⋅+≤这里I 是单位算子,即()I y y =,这便证明了(),x y ϕ关于y 为()()00V y V y λλ→另一方面,对()120,y y V y λ∈,再由中值定理,存在()0,1θ∈满足()()()()'122112,,,y x y x y x y y y y y ϕϕϕθ-≤+--1212y y ≤-故(),x y ϕ是压缩映射,从而由压缩定理,存在惟一一个()()0y f x V y λ=∈使得(),y x y ϕ=即()()()1'00,,y F x y F x f x θ-⎡⎤=⎣⎦故()(),F x f x θ=,特别当0x x =时,由y 的惟一性,0y y =,从而()00f x y =,这意味着已确定一个映射()()00:f B x V y δλ→满足()(),F x f x θ=.下面证明f 是连续映射:对任意()10x B x δ∈,()20x B x δ∈,记()11x f y =().,22x f y =利用中值定理及式()6.5得()()2122121,,2x y x y y y ϕϕ-≤-因为),,(),,(222111y x y y x y ϕϕ==故有21121122112121),(),(),(),(y y y x y x y x y x y y -+-≤-=-ϕϕϕϕ即 ),(),(2)((12112121y x y x y y x f x f ϕϕ-≤-=-因为),(y x F 关于),(y x 连续,所以),(y x ϕ关于),(y x 连续。
泛函分析第二讲

x R :
x
r,F x
x3
第二章 泛函分析
第一节 距离空间
四、压缩映射原理
定理4 (Banach不动点定理)设 X 是完备的距 离空间,T 是 X 上的压缩映射,那么 T 有且只有
一个不动点.
例6 证明隐函数存在定理:设二元函数 f (x, y)在
带状区域{(x, y) a x b, y }中处处连续,
定义7 设映射T:X X ,如果有 x X ,使 Tx x ,
称 x为映射T 的不动点.
定义8 设X , d 是一个距离空间, T:X X. 如果存在一个常数 0 1,使对所有 x, y X,
成立 dTx,Ty dx, y,则称 T 是压缩映射.
例
设 0r
1 3
,
Sr 0
定义6 如果距离空间 X 中任何Cauchy均收敛,
则称 X是完备的.
定理2 完备距离空间 X中的任何闭子空间 Y 也是完备的.
第二章 泛函分析
第一节 距离空间
三、完备性
例3 空间 Rn是完备距离空间.
证明 设 xk 是 Rn 中的任一Cauchy列,
xk = 1k ,2k , ,nk k 1, 2, ,
(1)对于任一 x X ,当 xn X 且收敛于 x 时,
有f (xn )收敛于 f (x);
(2)对于 Y 中任意开集 G ,它的原像f 1(G)是X中
的开集;
(3)对于 Y 中任意闭集 F ,它的原像f 1(F )是X中
的闭集;
第二章 泛函分析
第一节 距离空间
三、完备性
Cauchy收敛准则
xn 收敛
且处处有关于 y的偏导数 fy (x, y) .如果存在常数 m, M 满足0 m fy (x, y) M ,则方程 f (x, y) 0 在区间[a,b]上必有唯一的连续函数解 y (x) ,使得
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
《信号与系统》 第三章:泛函分析初步第三章:泛函分析初步§3.1 线性空间定义(线性空间):设W ≠ ∅ (W 为非空集合)(1) W 中元对“+”构成交换群,即对 ∀ X , Y , Z ∈W ,有ⅰ) X + Y ∈ W (加法封闭性) ⅱ) (X + Y ) + Z = X + (Y + Z )(结合律) ⅲ)∃ 0∈ W ,使 0 + X = X (存在零元) ⅳ)∃ − X ∈ W ,使 (−X ) + X = 0 (存在逆元) ⅴ)X +Y = Y + X (交换律) (2) 对∀ X , Y ∈W , ∀α , β ∈ C (复数域)有:ⅵ)α (β X ) = (αβ )X ∈Wⅶ) (α + β )X= αX + β Xⅷ)α (X + Y)= α X + α Yⅸ)1 ⋅X = X,称W 为线性空间,若α ,β ∈ C ,则W 为复线性空间,若α ,β ∈ R ,则 W 为实线性空间。
N注:1)加法封闭+数乘封闭 ⇔ ∀X i ∈ W ,∀α i ∈ C,有 ∑ α i X i ∈ W 。
i = 1 2)C [a , b ]( [a , b ]上所有连续函数的全体)是线性空间。
3) span {X , X , , X }为由 X , X , , X 张成的线性空间。
12n12n定义(线性算子):线性空间上的算子为 L 线性算子N⎧ ⎫N⇔ L ⎨ ∑ α i ⎩ i = 1 X i ⎬ = ∑ α i L { X⎭ i = 1i}(3-1)定义:零状态线性系统 ⇔ 系统算子为线性算子。
§3.2 线性子空间定义(线性子空间):设 ∅ ≠ V ⊂ W ,V 是W 的线性子空间 ⇔ 对 ∀ X ,Y ∈ W , ∀α ,定义(直和):设 W , W , , Wβ ∈ C ,有 αX + β Y ∈ V 。
是W 的子空间,若∀ X ∈ W 对, X 可唯一1表 示 成 X = X +2p+ X , 其 中 X ∈ W (i = 1, , p ) , 则 称 W 是 1pi1《信号与系统》 第三章:泛函分析初步W , W , , W 的直和,记为:W = W ⊕ W ⊕ ⊕ W 。
12p12p§3.3 距离空间(度量空间——Metric Space )定义(距离空间):设W ≠ ∅ ,称W 为距离空间,指在W 中定义了映射: ρ ( X , Y ):W ×W → R + (包括 0), ∀ X , Y ∈W 满足以下三条公理: ⅰ) ρ (X ,Y ) ≥0 ,且 ρ (X ,Y ) = 0 ⇔ X = Y (正定性)ⅱ) ρ (X , Y ) = ρ (Y , X ) (可交换性)ⅲ) ρ (X , Z ) ≤ ρ (X , Y ) + ρ (Y , Z ) (三角不等式) ρ (X , Y ) 称为W 上的距离, (W , ρ ) 为度量空间。
∞定义(收敛):度量空间 (W , ρ ) 中的点列{x n }收敛于x n ⇔ x = 1∞是 {x n } 的极限 0n = 1⇔ ρ (x , x ) → 0 , 当 n → ∞ ⇔ lim n x 0= xn →∞ n0 定理:在 (W , ρ ) 中,每个收敛点列有唯一的极限点。
∞定义(柯西序列——Cauchy Sequence ):设{x n } 是 ( n = 1W , ρ ) 中的点列,∞若对 ∀ε > 0 , ∃N = N ( ε ) ,使 ρ ( x , x ) <ε , ∀n , m > N ,则称 {x n } 是n m ( W , ρ ) 中的柯西序列。
注:( W , ρ ) 中任意收敛序列是柯西序列,但 ( W 敛到 ( W , ρ ) 中。
, ρ ) n = 1中的柯西序列未必收定义(完备度量空间——Complete Metric Space ):(W , ρ ) 称为完备度量 空间,指其中所有柯西序列都收敛。
§3.4 巴拿赫(Banach )空间 1. 赋范线性空间:定义(赋范线性空间):设W ≠ ∅ 是线性空间,若对 ∀ X , Y ∈W ,∃ X 满 足:ⅰ) ∃ X ≥0 ,且X = 0 ⇔ X = 0 (正定性)ⅱ) α X = α X , ∀α ∈ C (正齐性) ⅲ) X + Y ≤ X + Y (三角不等式)称为 X 的范数(Norm ),定义了范数的线性空间W 称为赋范线性空间,记为: (W , • ) 。
2《信号与系统》第三章:泛函分析初步注:度量空间与赋范空间的关系:在 ( W(广义)长度的推广: T n, • ) 中,定义:R n , ∀X = [x , x , , x ] ∈ R12 nX p =特别的:n⎧ ⎨ ∑ x ⎩ i = 1 p⎫ i ⎬ ⎭1p, 1 ≤ p < ∞(3-2)为欧氏范数。
p = ∞ , X ∞ = maxp = 2 , X = X , 2∞p x i ,∀ i(3-3)1X 2(3-4)lp⎪⎨ X = { x n⎩∞ } n = 1 ⎪∑ xi< ∞ ⎬ ,1 ≤ p < ∞i = 1⎭1 (3-5)X p =特别的,n⎧ ⎨ ∑ x ⎩ i = 1p ⎫i ⎬ ⎭ p, 1 ≤ p < ∞(3-6)p = ∞ , X = s u px, ∀ i∞i(3-7)C [ a , b ],对 ∀x (t )∈C [a , b ],pbpL [ a , b ] x (t ) |x (t ) d t < ∞{ ∫a1 b ppx (t ) =x (t ) d t ,1 ≤ p < ∞(3-9)p{ ∫特别的,p = ∞ , x (t ) a= sup x ∞∞}(t ) , ∀ t ∈ [a , b ]∞p p(3-10)Minkowski 不等式:设 a i , b i ≥ 0, ∀ i ,1 ∞p∞∑ a i < ∞ , i = 1 1 p∞∑ b i < ∞ ,则: i = 11 p⎧⎨ ∑ ( a i + b i ) ⎩ i = 1p⎫ ⎛⎬ ≤ ⎜ ∑ a⎭ ⎝ i = 13p ⎞ ⎛ p ⎞ i ⎟ ⎜ ∑ b i ⎟ , p ≥ 1(3-11)⎠ ⎝ i = 1 ⎠《信号与系统》第三章:泛函分析初步∞等号成立条件为: {b i }∞= α {a i } 。
i 定理:= 1i = 11 2(3-12)p⎪ ,其中 l ⎨ X = { x l∞ p ∞}x ⊂ l ⊂ ⊂ l∞⎪ < ∞ ⎬ ,1 ≤ p < ∞ 。
n n = 1 ⎩ ∑ i = 1 ∞i⎭p证明: ∀X ∈ l p ,因为∑ xn< ∞ ,n =1所以 ∃N, 使得当 n<N 时,恒有: x n < 1 。
∞∞因而, xpq<x < ∞ ,∀ q > p ,∑n = Nn∑n = Nn因此,X ∈ l q ,所以:lp⊂ q l 。
定义(强收敛):在 ( W ,∞• ) 中, {x n } 收敛于 x ,指: lim x − x = 0 ,n =1n →∞n也称为依范数收敛(Convergence in Norm )。
定义(弱收敛):依泛函收敛。
注:强收敛 ⇒ 弱收敛。
2. Banach 空间:定义(Banach 空间):完备的 ( W, • ) 称为 Banach 空间。
1 1pqHolder 不等式:若 f (x )∈则bL [ a , b ], g ( x ) ∈ L [a , b ],1 bppb+ p q q= 1, 1 q∫ af ( x )g ( x ) d x ≤ { f ( x ) ∫ a = f ( x ) gpd x } { g ( x ) d x }∫a(3-13)( x )q定理:若1≤ p ≤ q ≤ ∞ ,则qL [ a ,b ] ⊆证明:当 p=q 时,定理显然成立。
p ppL [ a , b ] (3-14)1 1当1 ≤ p < q < r ≤ ∞ 时,构造4+ q r= 1 ,即 1 = −,r p q《信号与系统》第三章:泛函分析初步对 b∀f ( xq) ∈ L [ a , b ] ,依 Holder 不等式有pb p p∫f ( x ) d x =a∫f ( x ) 1 d xap p⎪ b[ f ( x ) qp ]p dx⎪ qr ⎧ b ⎫ r1 p p d x≤ ⎨∫ ⎬ ⎨∫⎬ = ⎩ {∫ab q f ( x ) a1 p qd x }a⎭ ⎩⎭p [ b − a ] r11 即:b{ ∫ appbqqf ( x ) d x ≤ [ b − a ] rf ( x ) d x} { ∫ }a11 1即: f ( x )因此, f (x )§3.5 Hilbert 空间1.内积空间:( − ) ≤ [ b − a ] r f ( x ) = [ b − a ]p qf ( x )pqqp p∈ L [ a , b ] ,即 L q [a ,b ] ⊆ L [ a , b ] 。
定义(内积):设W ≠ ∅ 为实或复线性空间,若对 ∀X , Y , Z ∈W , λ ∈ C (数域),均有一个实数或复数与之对应,记为 X , Y ,满足:ⅰ) X , X ≥ 0 ,且 X , X = 0 ⇔ X = 0 (正定性)*ⅱ) X , Y = Y , X (共轭交换性)ⅲ) λX , Y = λ X , Y (齐次性)ⅳ) X + Y , Z = X , Z + Y , Z (加法分配性)则称 X , Y 为 X 与Y 的内积,定义了内积的空间为内积空间。
注:1.2.*X , λ Y = λ X , Y X , Y :W ×W → C (实/复数域),若W 为数的集合,则 X , Y 为 通常的二元函数。
3. ⅲ)和ⅳ)可合并:αX + β Y , Z = α X , Z +β Y , Z 。
5《信号与系统》 第三章:泛函分析初步例子:nT T nR = span { X , X , , X } , X =[ x , ,x ] ,Y = [ y , , y ] ∈ R ,12n1n1nnTX , Y = X Y =∑ i = 1U n (约定了内积的复线性空间),Hx i yi(3-15),H 表示共轭转置。
C [ a , b ] ,x (t ) ,X , Y = X Y(3-16)b*y (t )x (t ) y (t ) d t(3-17)=∫a2 L [ a , b ] = X (t ) | bHX (t ) X (t )d t < ∞n∫ {X (t ) = ⎣ x (t ) , , xaT 2(t ) ⎦ ∈ L [ a , b ], x(t )}(3-18)2 ∈ L [ a , b ], i = 1, , n , 1nnibHX (t ), Y (t )X (t )Y (t )d t(3-19)=∫a2. Hilbert 空间:1定义(欧氏范数) X = X , X 2 ,则内积(线性)空间成为赋范线性空 2间。