2-1有界线性算子与线性泛函1

合集下载

线性泛函数知识点总结

线性泛函数知识点总结

线性泛函数知识点总结一、线性泛函数的基本概念1.1 线性泛函数的定义线性泛函数是指一个将向量空间中的向量映射到另一个向量空间中的函数,且满足线性性质。

设V和W是两个向量空间,如果一个函数T:V→W满足以下两个条件:1) 对于任意的向量x,y∈V,有T(x+y)=T(x)+T(y);2) 对于任意的向量x∈V和标量a,有T(ax)=aT(x);则函数T被称为V到W的线性泛函数。

1.2 线性泛函数的例子下面我们举几个线性泛函数的例子,以便更好地理解这个概念。

例1:设V是实数域上的n维向量空间,W是实数域上的m维向量空间,定义一个函数T:V→W,使得对于任意的向量x=(x1,x2,...,xn)∈V,有T(x)=(x1^2,x2^2,...,xn^2)∈W。

显然,函数T满足线性性质,因此它是一个线性泛函数。

例2:设V是实数域上的3维向量空间,W是实数域上的2维向量空间,定义一个函数T:V→W,使得对于任意的向量x=(x1,x2,x3)∈V,有T(x)=(x1+x2,x2+x3)∈W。

同样地,函数T也满足线性性质,因此它也是一个线性泛函数。

1.3 线性泛函数的表示线性泛函数可以用矩阵来表示。

设V和W分别是n维和m维向量空间,选择它们的一组基{e1,e2,...,en}和{f1,f2,...,fm},则对于任意的向量x=(x1,x2,...,xn)∈V,有其在基{e1,e2,...,en}下的表达式为x=x1e1+x2e2+...+xnen,而对于任意的向量y=(y1,y2,...,ym)∈W,有其在基{f1,f2,...,fm}下的表达式为y=y1f1+y2f2+...+ymfm。

定义一个线性泛函数T:V→W,使得对于任意的向量x∈V,有T(x)=y∈W,则T的矩阵表示为一个m×n的矩阵A,其中A的第i列为T(ei)在基{f1,f2,...,fm}下的坐标表示,即A=[T(e1)|T(e2)|...|T(en)]。

线性泛函分析

线性泛函分析

线性泛函分析泛函分析的主要工作在于对积分方程而不是对变分法提供一个抽象的理论. 变分法领域里所需泛函的性质是相当特殊的,对一般的泛函并不成立.此外,这些泛函的非线性造成了困难,而这种困难对于包含在积分方程中的泛函和算子则是无关紧要的.在Schmidt ,Fischer ,Riesz 为积分方程解的理论作具体推广时,他们和其他一些人也同时开始了相应的抽象理论的研究.第一个试图建立线性泛函和算子的抽象理论的,是美国数学家E .H .Moore ,他从1906年开始这一工作. Moore 认识到,在有限多个未知数的线性方程的理论、无限多个未知数的无限多个线性方程的理论、以及线性积分方程的理论之间,有许多共同的地方.他因此着手建立一种称为“一般分析”(Generl Analysis)的抽象理论,它包含上述具体理论作为特殊情形.他用的是公理方法.我们将不叙述其细节,因为他的影响并不广,而且电没有获得很有效的方法.另外,他的符号语言很奇怪,使以后的人理解起来很困难.在建立线性泛函和算子的抽象理论的过程中,第一个有影响的步骤是由Erhard Sohmidt 和Frechet 在1907年采取的.Hilbert 在他的积分方程的工作中,曾经把一个函数看成是由它相应于某标准正交函数系的Fourier 系数给定的.这些系数以及在他的无穷多个变量的二次型理论中他所赋予这些x i 的值,都是使21n x ∑∞成为有限的序列{x n }.然而,Hilbort 并没有把这些序列看成空间中点的坐标,也没有用几何的语言,这一步是由Schmidt 和Frechet 采取的. 把每一个序列{x 。

}看成一个点,函数就被表现为无穷维空间的点.Sohmidt 不仅把实数而且把复数引入序列{x 0}中.这样的空间从此以后被称为Hilbort 空间.我们的叙述 按照Schmidt 的工作.Schmidt 的函数空间的元素是复数的无穷序列z ={z n },使得.21∞∑∞=<zp p Schmidt 引入记号;211⎭⎬⎫⎩⎨⎧∑∞=-p p p z z 来表示z ;z 后来就称为z 的范数(norm).按照Hilbert ,Sehmidt 用记号).,(,),(1-∞==∑z z z 所以z 表示z p p pωω(现在通用的记号是把)),(1p p p z 定义义z -∞=∑ωω.空间中两个元素z 和ω称为正交的,当且仅当.0,=⎪⎭⎫ ⎝⎛-ωz Schmidt ;接着证明了广义的Pythagoras 定理:如果z 1, z 2, …,z n 是空间的n 个两两正交的元素,则由∑==n p p z 1ω知 .212p n p z ∑==ω由此可推出n 个两两正交的元素是线性无关的.Schrnidt 在他的一般空间中还得到了Bessel 不等式:如果{z n }是标准正交元素的无穷序列,即ωδ而z z pq q p ,),(=-是任何一个元素,那末21,(-∞=∑p p z ω≤.2ω 此外,还证明了范数的Schwarz 不等式和三角不等式.元素序列{z n }称为强收敛于z ,如果z z n -趋向于0,而每个强Cauehy 序列,即每个使q p z z -趋于0 (当p ,q 趋于0时)的序列,可以证明都收敛于某一元素z ,从而序列空间是完备的.这是一条非常重要的性质.Schmidt 接着引进了(强)闭子空间的概念.他的空间H 的一个子集A 称为闭子空间,如果在刚才定义的收敛的意义下它是闭子集,并且是代数封闭的,后者意指,如果ω1与ω2是A 的元素,那末2211ωωa a +也是A 的元素,其中a 1,a 2是任何复数.可以证明这样的闭子空间是存在的,这只需取任何一个线性无关的元素列{z n },并取{z n }中元素的所有有限线性组合.全体这些元素的闭包就是一个代数封闭的子空间.现在,设A 是任一固定的闭子空间.Schmidt 首先证明,如果z 是空间的任一元素,则存在唯一的元素ω1和ω2,使得z =ω1+ω2,其中ω1属于A , ω2和A 正交,后者是指ω2和A 的每个元素正交(这个结果,今天称为投影定理;ω1就是z 在A 中的投影)进一步,,min 2z y -=ω 其中y 是A 的变动元素,而且极小值只在21.ωω时达到y =称为z 和A 之间的距离.在1907年,Schmidt 和Frechet 同时注意到,平方可和(Lebesgue 可积) 函数的空间有一种几何,完全类似于序列的Hilbert 空间. 这个类似性的阐明是在几个月之后,当时Riesz 运用在Lebesgue 平方可积函数与平方可和实数列之间建立一一对应的Riesz-Fischer'定理指出,在平方可和函数的集合L 2中能够定义一种距离,用它就能建立这个函数空间的一种几何. L 2中,定义在区间[a , b]上的任何两个平方可积函数之间的距离这个概念,事实上也是Frechet 定义的,他把它定义为(1) ⎰-b a dx x g x f ,)]()([2其中积分应理解为Lebesgue 意义下的;并且两个函数只在一个0测集上不同时就认为是相等的.距离的平方也称为这两个函数的平均平方偏差.f 和g 的内积定义为⎰=ba dx x g x f g f )()(),(. 使(f ,g) = 0的两个函数f 与g 称为是正交的.Schwarz 不等式 dx x g x f ba )()(⎰≤dx g dx fb a b a ⎰⎰22以及对平方可和序列空间成立的其他性质,都适用于函数空间.特别是,这类平方可和函数形成一个完备的空间.这样,平方可和函数的空间,同这些函数相应于某一固定的完备标准正交函数系的Fourier 系数所构成的平方可和序列的空间,可以认为是相同的.在提到抽象函数空间时,我们应重提一下Riesz 引入的空间L p (1<p<∞).这些空间对度量pb a p dx f f f f d 12121),(⎪⎭⎫ ⎝⎛-=⎰ 也是完备的.虽然我们很快就要考察抽象空间领域中的其他成就,但下一发展涉及泛函和算子.在刚才引述的对空间L 2的函数引进了距离的1907年的文章中,以及在同年的其他文章中, Frechet 证明了,对于定义在L 2的每一个连续线性泛函U(f),存在L 2中唯一的一个u(x),使得对L 2的每个f 都有⎰=ba dx x u x f f U .)()()( 这推广了Hadamard 1903年得到的一个结果.1909年Riesz 推广了这个结果,用Stieltjes 积分表示U(f),也就是⎰=ba x du x f f U ).()()(Riesz 自己还把这个结果推广到满足下面条件的线性泛函A:对L p 中所有的f)(f A ≤p ba p dx x f M /1)(⎥⎦⎤⎢⎣⎡⎰其中M 只依赖于A .这样,存在L q 中的一个函数a(x),在允许相差一个积分为0的函数的意义下是唯一的,使得对L p 中所有的f(2) ⎰=b a dx x f x a f U .)()()( 这个结果称为Riesz 表示定理。

第三章 线性算子与线性泛函

第三章 线性算子与线性泛函

证 明 : 用 X 表 示 R上 以 2 为 周 期 的 连 续 函 数 全 体 , 赋 予
范 数 || x || m ax{| x(t) |; t }, 那 么 X 是 一 Banach空 间 。
对 每 个 x X , 其 F - 级 数 的 前 n + 1 项 的 部 分 和 记 为( S n x )(t )。
n
精品课件
共鸣定理的应用
• 1.机械求积公式的收敛性 • 2. Lagrange插值公式的发散性定理:差值
多项式作为连续函数的近似表达时,插值 点的无限增多不能更好的逼近插值函数。 • 3. Fourier级数的发散性问题:存在连续 的周期函数,其Fourier级数在给定点发散。
精品课件
1.机 械 求 积 公 式 的 收 敛 性
如果 fn 在X的每点x处有界, 那么 fn一品课件
定理2.设X,Y都是Banach空间,则B(X,Y)在强收敛意义下是
完备的。
定理3:设X是赋范线性空间,Y是Banach空间, {Tn}B(X,Y) 满足条件:(1){||Tn ||}是有界数列; (2)在X中的某一稠密子集G中的每个元素x,{Tn(x)}都收敛. 则{Tn}强收敛于某一个算子TB(X,Y),且||T||lim||T||.
第三章 线性算子与线性泛函
• 一致有界原理(共鸣定理)及其应用 • Hahn-Banach定理,非零有界线性算子存在
性定理 • 共轭空间与共轭算子 • 开映射、逆算子及闭图形定理 • 算子谱理论简介
精品课件
第一节 共鸣定理及其应用
• 定义:设A是距离空间X的子集,若A在X中的任意 一个非空开集中均不稠密(A没有内点),则称A 是稀疏(疏朗)集;称X是第一纲的,若X可表示成 至多可数的稀疏集的并;不是第一纲的X称为是第 二纲的。

巴拿赫空间上的有界线性算子(一):

巴拿赫空间上的有界线性算子(一):

巴拿赫空间上的有界线性算子(一):巴拿赫空间上的有界线性算子前面两章的内容可以看作是学习泛函分析的准备工作,让我们熟悉了泛函分析研究的主要对象之一:无限维空间。

从本章开始,我们将研究算子理论,而在泛函分析基础中,我们主要研究有界线性泛函,当然我们也会对无界线性泛函做简单的介绍,那么现在就让我们开始新的旅程吧!设及都是实(或复)的线性空间, 是由的某个子空间到线性空间中的映射,如果对任意的 , 有:我们称这样的映射为线性映射或线性算子.给出一些我们常用的记号:映射的定义域常用表示;值域通常用表示.当映射的值域在实数域或者复数域时,我们习惯称其为线性泛函,常用表示.如果是连续(按照空间的范数收敛)则称是连续线性算子;若将任何有界集映射为有界集我们称其为有界线性算子.在本小节中我们主要探索连续和有界的关系!首先,我们做一点说明,我们主要还是在无限维空间中研究.这是为什么呢?因为在有限维空间中:线性连续有界这样的映射我们实在没有兴趣研究(真的没有兴趣吗?哈哈!)比如:在中定义积分算子:这显然是一个线性泛函;并且还是连续有界的.现在我们对有界、连续、线性这几个关系进行探索!设都是实赋范线性空间, 是由的子空间到中的连续可加算子.则满足齐次性,因此是连续线性算子.证明:因为对任意的都有:又因为是连续的,因此我们由柯西引理知道是齐次的,即:推论:设都是复赋范线性空间, 是由的子空间到中的连续可加算子,且 , 则满足齐次性,因此是连续线性算子.下边一个定理是我们对有界映射常用的一种说法:设都是赋范线性空间, 是由的子空间到中的线性算子. 则有界的充分必要条件是存在 , 使得对一切 , 有 .证明:充分性:显然.必要性:考虑单位球面(再一次体现了单位球面的重要性),,那么对任意的都有:先考虑任意的,那么,所以:因此:命题得证.有了这个等价刻画之后,我们就可以证明在赋范线性空间中连续和有界是一回事:设都是赋范线性空间, 是由的子空间到中的线性算子. 则下列性质等价:(i) 连续;(ii) 在原点处连续;(iii) 有界.证明:显然.注意到线性性并叙述连续定义:对任意的(不妨取为1),存在,使得对任意的,都有:因此对任意的,都有:因此:所以:所以有界.:设且,那么:因此在处连续.故得证.线性算子空间从这里开始,我们应空间表示Banach空间.不做说明时,所说的算子都定义在整个空间上.设都是空间,我们考虑所有从的有界线性泛函,不难发现,如果是线性算子,那么也是线性算子,也是线性算子,这说明线性算子在逐点定义的加法和自然数乘下可以形成数域上的线性空间.我们将这个空间记为:,当时,我们简记为:他已经是一个线性空间了,我们要在其上赋予范数使其具有拓扑结构,可是应该怎么赋予范数呢?这是一个好问题!一方面可以根据有限维空间定义范数的延申,一方面是根据书上的,因为是有界线性泛函,所以定义:显然它可以等价定义为:有限维泛函空间中:如中也是如此定义的.(学过数值的可能会熟悉些...)因为是有界泛函,所以:因此这个定义是合理的,如果是无界泛函那么上确界可能不存在,因此定义就不合理了。

第三章 有界线性算子

第三章 有界线性算子

第三章 有界线性算子一 有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射 ,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。

称)(T D 是T 的定义域。

特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。

如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。

此外取算子范数作为空间中的范数。

定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。

定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。

2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。

在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。

此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。

由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。

在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。

事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。

如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲

《泛函分析》课程教学大纲课程编码:171210140课程性质:专业方向限选课程适用专业:统计学专业所需先修课数学分析高等代数实变函数论学时学分:32学时1.5学分编写单位:数学与信息科学系一、课程说明1、课程简介:泛函分析课程是数学与应用数学专业的专业课程,是数学分析的后续课程,是近代数学中的一个重要分支,在古典分析、线性代数、线性微分方程、积分方程、变分学、逼近论等的开展基础上逐渐形成。

其内容已渗透到逼近论、偏微分方程、概率论、最优化理论等各方面.近年来,在工程技术上更是获得了广泛而有效的应用.它的开展受到了数学物理方程和量子力学的推动,后来又整理、概括了经典分析和函数论的许多成果,因此学习泛函分析时需要学生掌握分析、代数、概率论、拓扑学等基本知识,是数理方程、稳定性理论等后续课程的必要基础课程.2、教学目的要求:通过泛函分析的教学,使学生了解和掌握度量空间,赋范线性空间,有界线性算子,Hilbert空间,Banach空间的基本概念和基本理论,培养学生理论思维能力,为学习数学的其它专业课打下扎实的理论基础.3、教学重点难点教学重点:离散度量空间、序列空间、有界空间、可测函数空间的性质、度量空间中极限、稠密集、可分空间的概念、用极限的形式和集合对应关系给出两个重要定理、空间的结构理论,度量收敛;完备度量空间的定义、压缩映照原理及其应用、对向量组的线性相关、线性无关定义的理解和判定向量组的线性相关性、三个定理的内容;有界线性算子与连续线性泛函,算子的范数,经典空间,l p的共地空间、内积空间,施瓦茨不等式,直交投影,希尔伯特空间中的规范正交系,贝塞尔不等式,帕塞瓦尔不等式,同构映射,连续线性泛函,自共朝,本章难点柯西积分定理的证明、刘维尔定理的应用.本章内容第一节复积分的概念及其简单性质1.1复变函数积分的定义1.2复变函数积分的计算问题1.3复变函数积分的基本性质第二节柯西积分定理2.1不定积分2.2柯西积分定理的推广2.3柯西积分定理推广到复围线的情形第三节柯西积分公式及其推论3.1柯西积分公式3.1解析函数的无穷可微性3.2柯西不等式与刘维尔定理3.3摩勒拉定理第四章解析函数的幕级数表示法(8学时)教学目标1、使学生掌握复级数的基本概念及其相关性质,能够深刻认识理解复级数与实级数在概念、性质、定理上的区别与联系;2、使学生理解并掌握解析函数零点的孤立性及唯一性定理.本章重点.1、理解并掌握复级数的基本性质;2、理解并掌握幕级数敛散性的判别,收敛域的求法以及和函数的求法;3、能够熟练掌握并运用直接展法和间接展法,将某些解析函数展成泰勒级数,牢记sin z,cosz,—匚,一匚的展式,并注意展式的可展范围; 1-Z 1 + Z4、深刻理解解析函数零点的孤立性、唯一性定理及最大模定理,并能够综合运用证明有关数学问题.本章难点事级数的和函数在其收敛圆周上的状况、解析函数零点的孤立性、唯一性定理、最大模原理.本章内容第一节复级数的基本性质1.1复数项级数1.2一致收敛的复函数项级数1.3解析函数项级数第二节累级数1.1塞级数的敛散性1.2收敛半径的求法、柯西一阿达玛公式1.3基级数的解析性第三节解析函数的泰勒展式3.1泰勒定理3.2累级数的和函数在其收敛圆周上的状况3.3 一些初等函数的泰勒展式第四节解析函数零点的孤立性、唯一性定理4.1解析函数零点的孤立性4.3最大模原理第五章解析函数的罗朗展式与孤立奇点(6学时)教学目标使学生理解并掌握解析函数的罗朗展式的概念与展法,并注意与泰勒级数进行相关性质的比拟.深刻理解并牢固掌握可去奇点、极点、本性奇点的概念及等价定义.为下一章残数理论的学习打下坚实的基础.本章重点1、理解并掌握解析函数的罗朗展式以及罗朗级数与泰勒级数的关系.熟练掌握解析函数在孤立奇点邻域内的罗朗展式的基本方法与技巧;5.理解并深刻认识孤立奇点的三种类型及分类方法,熟练掌握可去奇点、极点、本性奇点的概念及等价定义;6.了解解析函数在无穷远点处的性质.本章难点解析函数在孤立奇点邻域内的罗朗展式的基本方法与技巧.本章内容第一节解析函数的罗朗展式1.1双边塞级数1.2解析函数的罗朗展式1.3罗朗级数与泰勒级数的关系1.4解析函数在孤立奇点邻域内的罗朗展式第二节解析函数的孤立奇点2.1孤立奇点的三种类型2.2可去奇点2.3极点2.4本质奇点第六章留数理论及其应用(6学时)教学目标1、使学生理解并掌握留数的定义及留数定理,会利用留数定理求解复积分与实积分,并知晓其内在联系与区别.深刻理解留数定理与柯西积分定理、柯西积分公式之间的关系;2、理解并掌握辐角原理、儒歇定理,会判定复方程根的个数及存在范围. 本章重点1、理解并掌握留数的定义及留数的求法;2、深刻理解并熟练掌握留数定理并能够灵活运用留数定理求解复积分3、了解用留数定理计算实积分的理论及基本方法;4、深刻理解并熟练掌握辐角原理、儒歇定理,会判定复方程根的个数及存在范围.本章难点留数定理与柯西积分定理、柯西积分公式之间的关系.本章内容第一节留数1.1留数的定义及留数定理1.2留数的求法1.3函数在无穷远点的留数1.4用留数定理计算实积分简介第二节辐角原理及其应用2.1对数留数2.2辐角原理2.3儒歇定理三、使用教材及参考书指定教材:钟玉泉编,复变函数论(第三版),高等教育出版社,2001年.参考书:[1]张锦豪、邱维元编,复变函数论,高等教育出版社,2001年.[2]钟玉泉编,复变函数学习指导书,高等教育出版社,1996年.[3]刚家泰,谭欣欣编,复变函数全程学习指导与解题能力训练,大连理工大学出版社,2001年.共辗算子,巴拿赫空间,汉恩一巴拿赫定理,一致有界性定理,逆算子定理,闭图像定理.教学难点:连续映射、空间完备性的证明、压缩映照原理及其应用、对向量组的线性相关、线性无关定义的理解和掌握一些判定定理、Holder不等式和Minkowski不等式的内容;有界线性算子与连续线性泛函;经典空间广〃的共辗空间,各种收敛性之间的各种联系,投影定理,斯捷克洛夫定理,汉恩一巴拿赫定理,一致有界性定理,逆算子定理,闭图像定理.5、教学手段及教学方法建议主要以教师讲授为主,适当的时候可以应用多媒体辅助教学.4、考核方式1)考核形式:考查2)开卷笔试3)期末总评成绩评定方法考试:试卷总分值100分,其中平时作业、期中考试及考勤占总评成绩的40%, 期末考查成绩占总评成绩的60%.5、学时分配表本课程的教学包括如下环节:课堂讲授,主要以教师讲授为主,要求学生课下预习;辅导或习题课,师生互动,边讲边练,解决学生学习过程中出现的一些问题;课外作业,通过对作业的批改,使学生加深巩固对所学内容的理解与掌握。

泛函分析知识总结

泛函分析知识总结

泛函分析知识总结与举例、应用学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。

本文主要对前面两大内容进行总结、举例、应用。

一、 度量空间和赋范线性空间(一)度量空间度量空间在泛函分析中是最基本的概念,它是n 维欧氏空间n R (有限维空间)的推 广,所以学好它有助于后面知识的学习和理解。

1.度量定义:设X 是一个集合,若对于X 中任意两个元素x ,y,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1°d(x,y)≥0 ,d(x,y)=0 ⇔ x=y (非负性)2°d(x,y)= d(y,x) (对称性)3°对∀z ,都有d(x,y)≤d(x,z)+d(z,y) (三点不等式)则称d(x,y)是x 、y 之间的度量或距离(matric 或distance ),称为(X,d)度量空间或距离空间(metric space )。

(这个定义是证明度量空间常用的方法)注意:⑴ 定义在X 中任意两个元素x ,y 确定的实数d(x,y),只要满足1°、2°、3°都称为度量。

这里“度量”这个名称已由现实生活中的意义引申到一般情况,它用来描述X 中两个事物接近的程度,而条件1°、2°、3°被认为是作为一个度量所必须满足的最本质的性质。

⑵ 度量空间中由集合X 和度量函数d 所组成,在同一个集合X 上若有两个不同的度量函数1d 和2d ,则我们认为(X, 1d )和(X, 2d )是两个不同的度量空间。

⑶ 集合X 不一定是数集,也不一定是代数结构。

为直观起见,今后称度量空间(X,d)中的元素为“点” ,例如若x X ∈,则称为“X 中的点” 。

⑷ 在称呼度量空间(X,d)时可以省略度量函数d ,而称“度量空间X ” 。

第三章 有线性算子

第三章 有线性算子

第三章 有界线性算子一 有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射 ,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。

称)(T D 是T 的定义域。

特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。

如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。

此外取算子范数作为空间中的范数。

定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。

定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。

2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。

在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。

此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。

由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。

在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。

事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。

如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。

有界线性算子和连续线性泛函.ppt

有界线性算子和连续线性泛函.ppt

t nd ,t [a, a 1 ]
a
n
a
1 n
n
d
,
t
(a
1
,b]
a
n
因此
n(t a),t [a,
1,t (a 1
a ,b]
1 n
]
n
bt
Tfn 1 a a fn ( )d dt
a1 t
bt
a n a fn ( )d dt a1 a fn ( )d dt
第八章 有界线性算子和连续线性泛函
❖ §1 ❖ §2 ❖ §3
有界线性算子和连续线性泛函 有界线性算子空间和共轭空间 广义函数大意
第一节 有界线性算子与 连续线性泛涵
1 线性算子和线性泛函的定义
设X和Y是两个同为实或复的线性空间, DT 是X的线
性子空间,T : DT Y ,x,y X ,及数α, β,成立 T αx βy αTx βTy,
则当 x vev 时,由 f 的线性, v1
n
n
f (x) f (e )
1
1
由此可见, n 维线性空间上线性泛函与数组 (1,2,,n ) 相对应。
II 有界线性算子与连续线性泛函
定义2 设 X 和 Y 是两个赋范线性空间。T 是X 的线性子空间 A(T )到 Y 中的
线性算子,如果存在常数 c,使对所有 x A(T ) ,有
证明 若 T 有界,由(3)式,当 xn x(n ) 时,因为 Txn Tx c xn x
所以 Txn Tx 0 ,即 Txn Tx(n ) ,因此 T 连续。 反之若 T在 X 上连续,但 T 无界,这时在 X 中必有一列向量 x1, x2, x3,,使 xn 0

第二章 线性算子与线性泛函

第二章  线性算子与线性泛函

第二章 线性算子与线性泛函第一节 有界线性算子一、线性算子本段中只需假设,,X Y Z 等是K 上的向量空间。

定义: 若一个映射:T X Y →满足()(,,,)T x y Tx Tyx y X αβαβαβ+=+∈∈K ,则称T 为从X 到Y 的线性算子。

容易看出,上述等式可推广到更一般的情形:()i iiiiiT x Tx αα=∑∑。

命题2.1.1 设:T X Y →是一线性算子,则以下结论成立:(1)任给子空间A X ⊂与子空间B Y ⊂,TA 与1T B -分别为Y 与X 的子空间。

特别,(0)0T =与()R T TX =(值域)是Y 的子空间;1()(0)N T T -是X 的子空间(称为T 的核或零空间)。

(2)若向量组{}i x X ⊂线性相关,则{}i Tx 亦线性相关;若A 是X 的子空间且dim A <∞,则dim dim TA A <。

(3)T 是单射(){0}N T ⇔=。

说明:若0()Tx Y x X ≡∈∈,则称T 为零算子,就记为0;若(),Tx x x X αα≡∈∈K 为常数,则称T 为纯量算子(或相似变换,若0α≠),记作I α,当0α=与1时,I α分别是零算子和单位算子。

对线性算子可定义两种自然的运算:线性运算与乘法。

若,:T S X Y →是线性算子,,αβ∈K ,则:T S X Y αβ+→是一个线性算子,它定义为()().(2.1.2)T S x Tx Sx x X αβαβ+=+∈若:R Y Z →是另一个算子,则由()()().(2.1.3)RT x R Tx x X =∈定义出一个线性算子:RT X Z →,称它为R 与T 的乘积。

实际上,线性算子的乘积就是它们的复合。

容易原子能正验证,如上定义的运算有以下性质:11(),()();R T S RT RS R R T RT R T +=+⎧⎨+=+⎩分配律()();()Q RT QR T =结合律()()(),()RT R T R T αααα==∈K只要以上等式的一端有意义。

第八章

第八章
x 算子,并且对所有 X
,有 Tx x
则称T 是X到Y中的保距算子,如果T 又是映射到Y上的,则
称T 是同构映射,此时称X与Y同构。(了解作用)
例如: l 1 的共轭空间为 l 。
l 的共轭空间为 l ,其中
p q
1 1 1 p q
引言:有限维空间中向量的范数相当于向量的模,但是在有 限维欧几里的空间中还有一个重要的概念----两个向量的夹
v 1
n
中算子T 如下:当
n v 1
x v ev
v 1
n
时,令 y Tx y e
1
n
其中 y tvv , 1, 2,..., n。显然这样定义的T是线性算子,称 为线性变换。算子由方阵 (tv )n 唯一确定。
3、线性算子的有界性与连续性
量,即算子的范数,证明有界线性算子全体按算子范数
成为一个赋范线性空间。
§1 有界线性算子和连续线性泛函
1、线性算子和线性泛函
设X和Y是两个同为实(或复)的线性空间,D是X的线性 子空间,T为D到Y中的映射,如果对于任何 y x, D ,及数
成立
T ( x y ) Tx Ty T ( x) Tx
x, y i i
i 1
,则 l 2按此内积也成为Hilbert 空间。 .
内积空间的特征性质(平行四边形公式):
x y x y
2 2
2( x y )
2 2
例如: l p ( p 2) 不成为内积空间。
• 注意: • 赋范线性空间成为内积空间的条件是范数 满足平行四边形公式。 • 并非每个赋范线性空间都是内积空间。 • 例如:LP[a,b]

4.1 有界线性算子

4.1  有界线性算子

第4章 线性算子与线性泛函4.1 有界线性算子4.1.1 线性算子与线性泛函算子概念起源于运算。

例如,代数运算、求导运算、求不定积分和定积分、把平面上的向量绕坐标原点旋转一个角度等等。

在泛函分析中,通常把映射称为算子,而取值于实数域或复数域的算子也称为泛函数,简称为泛函。

本章着重考察赋范线性空间上的线性算子,它是出现在各个数学领域中具有线性性质的运算(例如线性代数中的线性变换;微分方程论、积分方程论中大量出现的微分、积分运算、积分变换等)的抽象概括。

它是线性泛函分析研究的重要对象。

关于线性算子的理论不仅在数学的许多分支中有很好的应用,同时也是量子物理的数学基础之一。

中国物理学界习惯上把算子称为算符。

定义4.1.1 设F 是实数域或复数域,,X Y 是F 上的两个线性空间,D 是X 的线性子空间,:T D Y →是一个映射.对x D ∈,记x 经T 映射后的象为 Tx 或 ()T x . 若对,x y D ∀∈及数,αβ∈F , 有()()()T x y T x T y αβαβ+=+(或 Tx Ty αβ=+) (4.1.1)则称T 是线性算子.称D 是T 的定义域,记为()T D ;称集(){}T D Tx x D =∈(或TD )为T 的值域(或象域),记为()T R .取值为实数或复数的线性算子T (即:()T ⊂F R , 1=F R 或1C )分别称为实的或复的线性泛函,统称为线性泛函。

注 今后所讨论的算子(泛函)都是线性算子(线性泛函)。

例4.1.1 设1[0,1],[0,1]X C Y B ==([0,1]上有界函数全体),定义d()()()d Tx t x t t=, 则T 是X 到Y 的线性算子。

例4.1.2 设[,]X C a b =,(,)K t s 是[,][,]a b a b ⨯上的二元连续函数,定义()()(,)()d baTx t K t s x s s =⎰,则T 是X 到X 的线性算子。

有界线性算子和连续线性泛函

有界线性算子和连续线性泛函

例5 设 Rn是 n 维线性空间,在 Rn中取一组基 {e1,,en},则 对任何的 x R,nnΒιβλιοθήκη x 可以唯一的表示成x
v ev
v1
,对每一

nn
方阵
(t )。作Rn到
Rn
中算子
n
n
T 如下: 当 x vev 时,令 y Tx yueu
v1
1
n
其中 y t , 1,2,n. 显然这样定义的 T是线性算子, 这个算子在线性 1

Txn n xn

yn

xn n xn
n 1,2,, 则
yn
1 0(n ) ,所以 yn
n
0(n ) ,
由 T 的连续性,得到 Tyn T 0 0(n ) ,但由于 T 是线性算子,又可以得到
对一切正整数n ,成立
Tyn
T ( xn ) Txn
例2 设 P[0,1]为 [0.1]区间上的多项式全体,对每个x P[0,1] 定义 (Tx)(t) d x(t) dt
由求导运算的线性性质,立即可知 T是P[0,1] 到 P[0,1] 中的 线性算子,称为微分算子, 如果任取 t0 [0,1] ,对任何 x P[0,1] 定义 f (x) x(t0 )则 f 是P[0,1]上线性泛函。 例3 对每个 x C[a,b] ,定义
T (x y) T (x) T ( y)
T (x) T (x)
(1) (2)
则称T为 A到Y中的线性算子,其中 A称为T的定义域,记为A(T ),TA称为 T的值域,记为
R(T ),当 T取值于实(或复)域时,就称 T 为实(或复)的线性泛函。如果 T为线性算子,

第2章 有界线性算子的基本概念(1)kj

第2章  有界线性算子的基本概念(1)kj
j =1
n
算子. 因此当基底取定后, X 上的线性算子与 n ´ n 阶矩阵一一对应.
线性泛函的情形更简单. 设 (a1 , , an ) Î K . 当 x =
n
å x e 时, 令
i i i =1
n
f ( x) = å ai xi .
i =1
n
(1)
则 f 是 X 上的线性泛函. 反过来, 设 f 是 X 上的线性泛函, 记
矛盾. 因此 T 必有界. ■ 注 1 回顾在§1.5 中我们定义了两个赋范空间的拓扑同构: 设 X 和 Y 是赋范空间. 若存在映射 T : X Y , 使得 T 是一对一映上的线性 的, 并且存在 a, b 0 使得
a x £ Tx £ b x ( x Î X ),
(4)
则称 X 与 Y 是拓扑同构的. 根据定理 2.1.1, (4)式第二个的不等式蕴含 T 是连续的. 对任意 x Î X , 记 Tx = y, 则 T -1 y = x. 由(4)式的第一个不等 式得到
ai = f (ei ) ( i = 1, , n). 则 f ( x) = f ( å xi ei ) = å xi f (ei ) = å ai xi .
i =1 i=1 i =1 n n n
这说明 X 上的线性泛函都可以表示为(1)的形式. 因此 X 上的线性泛函
与 K n 中向量一一对应. 例 2 设 K ( s, t ) 是 [a, b] [a, b] 上的可测函数, 满足
a a
b
b
2
(3)
这表明 x(t ) 在 [a, b] 上可积. 故 f 是 L2 [a, b] 上的泛函. f 的线性性是显 然的. 例 2 中的算子 T 称为第二型 Fredholm 积分算子. 定义 2.1.1 设 X , Y 是赋范空间, T : X Y 是线性算子. 若 T 将 X 中的每个有界集都映射为 Y 中的有界集, 则称 T 是有界的. 有界线性算子之所以重要, 是因为根据下面的定理, 线性算子的有 界等价于连续. 定理 2.1.1 设 X , Y 是赋范空间, T : X Y 是线性算子. 则下列三 项是等价的: (1) T 是有界的;

第5讲(4)有界线性算子

第5讲(4)有界线性算子
2
§1 有界性与连续性
让我们回顾线性算子与线性泛函的有关概念. 定义5.1 设 X和Y都是数域 F上的赋范线性
空间,T : X → Y,如果 ∀x, y ∈ X , 有T (x + y) = Tx + Ty ,则称T是可加的. 若 ∀α ∈ F, x ∈ X ,T (α x) = αTx
则称T是齐次的.可加齐次的映线称为线性映射
空间,T : X → Y 是一个线性算子,如果T在 某一点 x° ∈ X连续,则T在X上连续.
证明 任取 xn , x ∈ X,且 xn → x,由
T的可加性知,
Txn − Tx = T (xn − x) = T (xn − x + x° ) − Tx°
由于 xn − x + x° → x°,而T在x0连续,
=

⎪ ⎨
n
⎪0
t∈[a,a+ 1] n
t∈(a+ 1,b]

n
显然 xn∈L′[a,b] ,而且 ||xn||1=∫ab|xn(t)|dt=1 .
进而有 ||Txn||1=∫ab|∫at xn(s)ds|dt
=
∫a+
a
1 n
|∫at
xn(s)ds|dt
+
∫b
a+
1
|∫at
xn(s)ds|dt
n
=∫a+1 n a
公式求已知连续函数的近似多项式.设 x∈C ⎡⎣a,b⎤⎦
在⎡⎣a,b⎤⎦内任取n个点a≤t1<t2<⋅⋅⋅<tn≤b ,作多项式
( ) ( )( ) ( ) P t t t t t t t t t ⎛ k⎜ ⎝

泛函分析讲义第八章

泛函分析讲义第八章
1有界线性算子和连续线性泛函设x和y是两个同为实或复的线性空间d是x的线性子空间t为d到y中的映射如果对于任何d及数成立1线性算子和线性泛函则称t为d到y中的线性算子其中d称为t的定义域记为dttd称为t的值域记为rt当t取值于实或复数域时就称t为实或复线性泛函
第八章 有界线性算子和连续线性 泛函
§1 有界线性算子和连续线性泛函 §2 有界线性算子空间和共轭空间
显然,赋范线性空间中的相似算子显然是有界算子。 注意区别有界算子与有界函数。
(3)连续性与有界性的关系 设T是赋范线性空间X到赋范线性空间Y中的线性算子,则T 为有界算子的充要条件为T是X上连续算子。
4、算子的范数 T为赋范线性空间X的子空间D(T)到赋范线性空间Y中的线 性算子,称
|| Tx || 为算子T在D(T)上的范数。 || T || sup x 0 || x ||
的线性算子,如果存在常数 x c ,是对所有
则称T是D(T)到Y中的有界线性算子。
D(T),有 ||T x||c|| x||
换句话说,设X,Y是两个赋范线性空间,T是X到Y的
线性算子,如果算子T将其定义域中每个有界集映射成Y中
的有界集,就称T是有界线性算子,简称为有界算子。不 是有界的算子成为无界算子。
• 设X是内积空间,M是X完备子空间,则对每个 x∈X,存在唯一的y∈M,使得 •
||x y || d ( x , M )
xn (t ) t n ,则 x n 1 ,但
n 1 T x m a x |n t | n n 0 t 1

所以
T T x n n
,T是无界算子。
§2 有界线性算子空间和共轭空间
1、有界线性B(X → Y) 算子全体所成空间 设X,Y都是赋范线性空间,B(X→Y)是X到Y的有界线性算

第三章 线性算子与线性泛函

第三章 线性算子与线性泛函

精选2021版课件
18
定理3的证明:由于f 是M的有界线性泛函,那么 | f (x) ||| f ||M || x ||,这里|| f ||M sup{| f (m) |;mM}.
||m||1
令p(x) || f ||M || x ||,则p是X上的次可加正齐次泛函, 由定理1,存在X上的连续线性泛函F满足:
精选2021版课件
14
2 在 扩 大 的 定 义 域 上 作 f的 线 性 延 拓 令 f1λx1yfyλc,λx1yX1.
易 证 f1是 X1上 的 线 性 泛 函 ,且 f1|Mf.
3 恰当选择被控制的延拓
f在X1上的线性延拓具有形式:
令f1λx1y f yλc,λx1yX1.
选择恰当的c使得
这表明sup p yM
y -
x1
f
y
inf
yM
p
y
x1
f
y.
取满足下面的不等式的c即可
sup p
yM
y -
x1
f
y
c
inf p y
yM
x1
f
y.
精选2021版课件
16
2 做出f满足以下条件的全部延拓;
f |M f
f
x
px,xX
记这些延拓的全体为Γ.那么我们有
Γg|g是Dg上的线h-Steinhaus定理):设X 是Banach空间,
Y是赋范线性空间,算子族{T; } B(X ,Y ) 满足:
sup || T x || ,x X .那么sup || T || .
推论1:设 fn是Banach空间X 上的一列有界线性泛函,
如果 fn在X的每点x处有界, 那么 fn一致有界.

第三章有界线性算子

第三章有界线性算子

第三章有界线性算子第三章有界线性算子一有界线性算子与有界线性泛函 1 定义与例设1,X X 是赋范空间,T 是X 中线性子空间)(T D 上到1X 中的映射,满足条件:对于任意)(,T D y x ∈,K ∈α,)(Ty Tx Y x T +=+Tx x T αα=)(称T 是X 中到1X 中的线性算子。

称)(T D 是T 的定义域。

特别地,称赋范空间X 上到数域K 中的线性算子为线性泛函,并且它们是到实数域或复数域分别称为实线性泛函与复线性泛函。

如果一个线性泛函f 是有界的,即)( |||||)(|M x x M x f ∈≤称为f 有界线性泛函。

此外取算子范数作为空间中的范数。

定理1.1 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,如果T 在某一点X x ∈0连续,则T 是连续的。

定理1.2 设1,X X 是赋范空间,T 是X 上到1X 中的线性算子,则T 是连续的,当且仅当,T 是有界的。

2 有界线性算子空间设1,X X 是赋范空间,用),(1X X β表示所有X 上到1X 中的有界线性算子全体。

在),(1X X β中可以自然地定义线性运算,即对于任意∈B A ,),(1X X β及K ∈α,定义Bx Ax x B A +=+))((Ax x A αα=))((不难到,两个有界线性算子相加及数乘一个有界线性算子仍有界线性算子。

此个取算子范数作为空间),(1X X β的范数,具体见)(77P 。

由此可知,),(1X X β是一个赋范线性空间,如果1X X =,把),(1X X β简记为)(X β。

在空间),(1X X β中按范数收敛等价于算子列在X 中的单位球面上一致收敛。

事实上,设∈nA A ,),(1X X β,...)2,1(=n 及}1||:||{=∈=X X x S 。

如果)(∞→→n A A n ,则对任意0>ε,存在N ,当N n >时,对于每一个S x ∈≤-||||Ax x A n1||||sup =x ||||Ax x A n -=||||A A n-ε<。

  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
第二章 有界线性算子与线性泛函
教学目的: 掌握有界线性算子的基本性质和算子空间 B(X,Y)的性质。 授课要点: 1、 线性算子有界的等价条件。 2、 算子空间B(X,Y)的范数与基本性质。 3、 求算子范数的某些常见方法。
定义1: 设X,Y 是线性赋范空间,T:X→Y 是线性算子。T 称为是有界的,若对于X中的任 一有界集A范空间,T: X→Y 是线性算子,则下列诸条件等价: (1) T 在某一点 x 0连续. (2) T 在X 上连续. (3) T 是有界算子. (4) T 在X 的某一点的有界邻域内有界. 特别地, T 在X 的单位球中有界.
(5) 存在c>0 使得 ||Tx|| ≤ c ||x|| , ∀x ∈ X. (1) 若T = f 是X 上的线性泛函并且f ≠ 0 , 则 以上诸条件还等价于: (6) f 的0 空间N( f ) = {x ∈ X; f (x) = 0} 是X 中的闭集. (7) N( f ) 不在X 中稠密.
相关文档
最新文档