线性泛函和对偶空间

泛函分析知识点

泛函分析知识点 知识体系概述 (一)、度量空间和赋范线性空间 第一节 度量空间的进一步例子 1.距离空间的定义:设X 是非空集合,若存在一个映射d :X ×X →R ,使得?x,y,z ∈X,下列距离公理成立: (1)非负性:d(x,y)≥0,d(x,y)=0?x=y; (2)对称性:d(x,y)=d(y,x); (3)三角不等式:d(x,y)≤d(x,z)+d(z,y); 则称d(x,y)为x 与y 的距离,X 为以d 为距离的距离空间,记作(X ,d ) 2.几类空间 例1 离散的度量空间 例2 序列空间S 例3 有界函数空间B(A) 例4 可测函数空M(X) 例5 C[a,b]空间 即连续函数空间 例6 l 2 第二节 度量空间中的极限,稠密集,可分空间 1. 开球 定义 设(X,d )为度量空间,d 是距离,定义 U(x 0, ε)={x ∈X | d(x, x 0) <ε} 为x 0的以ε为半径的开球,亦称为x 0的ε一领域. 2. 极限 定义 若{x n }?X, ?x ∈X, s.t. ()lim ,0n n d x x →∞ = 则称x 是点列{x n }的极限. 3. 有界集 定义 若()(),sup ,x y A d A d x y ?∈=<∞,则称A 有界 4. 稠密集 定义 设X 是度量空间,E 和M 是X 中两个子集,令M 表示M 的闭包,如果E M ?,那么称集M 在集E 中稠密,当E=X 时称M 为X 的一个稠密集。 5. 可分空间 定义 如果X 有一个可数的稠密子集,则称X 是可分空间。 第三节 连续映射 1.定义 设X=(X,d),Y=(Y , ~ d )是两个度量空间,T 是X 到Y 中映射,x0X ∈,如果对于任 意给定的正数ε,存在正数0δ>,使对X 中一切满足 ()0,d x x δ < 的x ,有 ()~ 0,d Tx Tx ε <,

泛函分析部分知识点汇总

度量空间:把距离概念抽象化,对某些一般的集合引进点和点之间的距离, 使之成为距离空间,这将是深入研究极限过程的一个有效步骤。 泛函分析中要处理的度量空间,是带有某些代数结构的度量空间,例如赋范 线性空间,就是一种带有线性结构的度量空间。 一、度量空间的进一步例子 1、度量空间 设x 是一个集合,若对于x 中任意两个元素x,y ,都有唯一确定的实数d(x,y) 与之对应,而且这一对应关系满足下列条件: 1° 的充要条件为x=y 2° 对任意的z 都成立, 则称 d(x,y) 是 x,y 之间的距离,称 d(x,y)为度量空间或距离空 间。x 中的元素称为点。 2、常见的度量空间 (1)离散的度量空间 设 x 是任意的非空集合,对 x 中的任意两点 ,令 称 为离散的度量空间。 (2)序列空间S 令S 表示实数列(或复数列)的全体,对S 中的任意两点 令 称 为序列空间。 (3)有界函数空间B(A ) 设A 是一个给定的集合,令B(A)表示A 上有界实值(或复值)函数全体,对B(A) 中任意两点x,y ,定义 (4)可测函数空间 设M(X)为X 上实值(或复值)的勒贝格可测函数全体,m 为勒贝格测度, 若 ,对任意两个可测函数 及 由于 ,所以这是X 上的可积函数。令 (5)C[a,b]空间 令C[a,b] 表示闭区间[a,b]上实值(或复值)连续函数全体,对 C[a,b]中任意 两点x,y ,定义 二、度量空间中的极限、稠密集、可分空间 1、收敛点列 设 是(X ,d )中点列,如果存在 ,使 则称点列 是(X ,d ) 中的收敛点列,x 是点列 的极限。 收敛点列性质: (1)在度量空间中,任何一个点列最多只有一个极限,即收敛点列的极限是唯 一的。 (2)M 是闭集的充要条件是M 中任何收敛点列的极限都在M 中。 (,)0,(,)0d x y d x y ≥=(,)(,)(,)d x y d x z d y z ≤+,x y X ∈1,(,)0,if x y d x y if x y ≠?=?=?(,)X d 1212(,,...,,...),(,,...,,...),n n x y ξξξηηη==1||1(,)21||i i i i i i d x y ξηξη∞=-=+-∑(,)S d (,)sup |()()|t A d x y x t y t ∈=-()m X <∞()f t ()g t |()()|11|()()| f t g t f t g t -<+-|()()|(,)1|()()|X f t g t d f g dt f t g t -=+-?(,)max |()()|a t b d x y x t y t ≤≤=-{}n x x X ∈lim (,)0n n d x x →∞={}n x {}n x

泛函分析第3章连续线性算子与连续线性泛函

第3章连续线性算子与连续线性泛函 本章将介绍赋范线性空间上,特别是Banach空间上的有界线性算子与有界线性泛函的基本理论,涉及到泛函分析的三大基本定理,即共鸣定理,逆算子定理及Hahn-Banach定理。他们是泛函分析早期最光辉的成果,有广泛的实际背景, 尤其在各种物理系统研究中应用十分广泛。 3.1连续线性算子与有界线性算子 在线性代数中,我们曾遇到过把一个”维向量空间E"映射到另一个加维向 量空间E"的运算,就是借助于川行”列的矩阵 对F中的向量起作用来达到的。同样,在数学分析中,我们也遇到过一个函数变成另一个函数或者一个数的运算,即微分和积分的运算等。把上述的所有运算抽象化后,我们就得到一般赋范线性空间中的算子概念。撇开各类算子的具体属性,我们可以将它们分成两类:一类是线性算子;一类是非线性算子。本章介绍有界线性算子的基本知识,非线性算子的有关知识留在第5章介绍。 [定义3?1]由赋范线性空间X中的某子集D到赋范线性空间丫中的映射T 称为算子,D称为算子了的定义域,记为D(r),为称像集{y|y = 7k,xeD(7')}为算子的值域,记作T(D)或77)。 若算子T满足: (1)T(x+y) = Tx+Ty e£)(T)) (2)T(ax) = (/rx(V

最新泛函分析考试题集与答案

泛函分析复习题2012 1.在实数轴R 上,令p y x y x d ||),(-=,当p 为何值时,R 是度量 空间,p 为何值时,R 是赋范空间。 解:若R 是度量空间,所以R z y x ∈?,,,必须有: ),(),(),(z y d y x d z x d +≤成立 即p p p z y y x z x ||||||-+-≤-,取1,0,1-===z y x , 有2112=+≤p p p ,所以,1≤p 若R 是赋范空间,p x x x d ||||||)0,(==,所以R k x ∈?,, 必须有:||||||||||x k kx ?=成立,即p p x k kx ||||||=,1=p , 当1≤p 时,若R 是度量空间,1=p 时,若R 是赋范空间。 2.若),(d X 是度量空间,则)1,m in(1d d =,d d d +=12也是使X 成为度量空间。 解:由于),(d X 是度量空间,所以X z y x ∈?,,有: 1)0),(≥y x d ,因此0)1),,(m in(),(1≥=y x d y x d 和0) ,(1) ,(),(2≥+= y x d y x d y x d 且当y x =时0),(=y x d , 于是0)1),,(m in(),(1==y x d y x d 和0) ,(1) ,(),(2=+=y x d y x d y x d 以及若

0)1),,(m in(),(1==y x d y x d 或0) ,(1) ,(),(2=+= y x d y x d y x d 均有0),(=y x d 成立,于是y x =成立 2)),(),(y x d x y d =, 因此),()1),,(m in()1),,(m in(),(11y x d y x d x y d x y d === 和),() ,(1) ,(),(1),(),(22y x d y x d y x d x y d x y d x y d =+=+= 3)),(),(),(z y d y x d z x d +≤,因此 }1),,(),(m in{)1),,(m in(),(1z y d y x d z x d z x d +≤= ),(),()1),,(m in()1),,(m in(11z y d y x d z y d y x d +=+≤ 以及设x x x f += 1)(,0)1(1)(2 >+='x x f ,所以)(x f 单增, 所以) ,(),(1),(),(),(1),(),(2z y d y x d z y d y x d z x d z x d z x d +++≤+= ),(),(1) ,(),(),(1),(z y d y x d z y d z y d y x d y x d +++++= ),(),() ,(1) ,(),(1),(22z y d y x d z y d z y d y x d y x d +=+++≤ 综上所述)1,m in(1d d =和d d d += 12均满足度量空间的三条件, 故),(1y x d 和),(2y x d 均使X 成为度量空间。

泛函分析知识总结

泛函分析知识总结与举例、应用 学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。本文主要对前面两大内容进行总结、举例、应用。 一、度量空间和赋范线性空间 (一)度量空间 度量空间在泛函分析中是最基本的概念,它是n维欧氏空间n R(有限维空间)的推 广,所以学好它有助于后面知识的学习和理解。 1.度量定义:设X是一个集合,若对于X中任意两个元素x,y,都有唯一确定的实数d()与之对应,而且这一对 应关系满足下列条件: 1°d()≥0 ,d()=0 ?x=y(非负性) 2°d()= d() (对称性) 3°对?z ,都有d()≤d()() (三点不等式) 则称d()是x、y之间的度量或距离(或),称为 ()度量空间或距离空间()。 (这个定义是证明度量空间常用的方法)

注意:⑴ 定义在X 中任意两个元素x ,y 确定的实数d(),只要 满足1°、2°、3°都称为度量。这里“度量”这个名 称已由现实生活中的意义引申到一般情况,它用来描 述X 中两个事物接近的程度,而条件1°、2°、3°被 认为是作为一个度量所必须满足的最本质的性质。 ⑵ 度量空间中由集合X 和度量函数d 所组成,在同一个 集合X 上若有两个不同的度量函数1d 和2d ,则我们认为 (X, 1d )和(X, 2d )是两个不同的度量空间。 ⑶ 集合X 不一定是数集,也不一定是代数结构。为直观 起见,今后称度量空间()中的元素为“点” ,例如若 x X ∈,则称为“X 中的点” 。 ⑷ 在称呼度量空间()时可以省略度量函数d ,而称“度 量空间X ” 。 1.1举例 1.11离散的度量空间:设X 是任意的非空集合,对X 中任意两点∈X ,令 ()1x y d x y =0x=y ≠??? ,当,,当,则称(X ,d )为离散度量空间。 1.12 序列空间S :S 表示实数列(或复数列)的全体,d()=1121i i i i i i ?η?η∞=-+-∑; 1.13 有界函数空间B(A):A 是给定的集合,B(A)表示A 上有界

距离空间泛函分析第四章习题第一部分(1-18)

第四章习题第一部分(1-18) 1. 在1中令1(x , y ) = (x y )2,2(x , y ) = | x y |1/2,,问1, 2 是否为1上的距离 [解] 显然1, 2满足距离空间定义中的非负性和对称性. 但1不满足三角不等式:取点x = 1, y = 0, z = 1,则 1(x , z ) = 4 > 2 = 1(x , y ) + 1(y , z ),所以1不是 1 上的距离。 而x , y , z 1 , 2 (x , y ) = ||||2||||||||||y z z x y z z x y z z x y x -?-+-+-≤-+-≤- ||||)||||(2y z z x y z z x -+-=-+-==2 (x , z ) + 2 (z , y ); 所以2是1上的距离. 2. 设(X , )是距离空间,令 1 (x , y ) = n y x ),(ρ,x , y X .证明(X , 1 ) 也是距离空间. [证明] 显然1满足距离空间定义中的非负性和对称性, 故只需证明1满足三角不等式即可. 实际上x , y , z X ,n n y z z x y x y x ),(),(),(),(1ρρρρ+≤= n n n n n y z z x n z y x M y z z x )),(),((),,,(),(),(ρρρρ+=++≤ ),(),(),(),(11y z z x y z z x n n ρρρρ+=+=. 3. 设(X , )是距离空间,证明 | (x , z ) (y , z ) | (x , y ),x , y , z X ; | (x , y ) (z , w ) | (x , z ) + (y , w ),x , y , z , w X . [证明] x , y , z , w X ,由三角不等式有 (x , y ) (x , z ) (y , z ) (x , y ),故第一个不等式成立. 由第一个不等式可直接推出第二个不等式: | (x , y ) (z , w ) | | (x , y ) (y , z ) | + | (y , z ) (z , w ) | (x , z ) + (y , w ). 4. 用Cauchy 不等式证明(| 1 | + | 1 | + ... + | n | )2 n (| 1 |2 + | 1 | 2 + ... + | n |2 ). [证明] 在P159中的Cauchy 不等式中令a i = | i |,b i = 1,i = 1, 2, ..., n 即可. 5. 用图形表示C [a , b ]上的S (x 0, 1). [注] 我不明白此题意义,建议不做. 6. 设(X , d )是距离空间,A X ,int(A )表示A 的全体内点所组成的集合.证明int(A )是开集. [证明] 若A = ,则int(A ) = ,结论显然成立. 若A ,则x A ,r > 0使得S (x , r ) A . 对y S (x , r ),令s = r d (x , y ),则s > 0,并且S (y , s ) S (x , r )

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

第二章 线性算子与线性泛函 第一节 有界线性算子 一、线性算子 本段中只需假设,,X Y Z 等是K 上的向量空间。 定义: 若一个映射:T X Y →满足 ()(,,,)T x y Tx Ty x y X αβαβαβ+=+∈∈K , 则称T 为从X 到Y 的线性算子。 容易看出,上述等式可推广到更一般的情形:( )i i i i i i T 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 +=+?? +=+?分配律

泛函分析度量空间知识和不动点的应用

泛函分析度量空间知识和不动点的应用 第七章度量空间和赋范线性空间知识总结 一、度量空间的例子 定义:设X 为一个集合,一个映射d :X ×X →R 。若对于任何x,y,z 属于X ,有 (I )(正定性)d(x,y )≥0,且d(x,y)=0当且仅当 x = y ; (Ⅱ)(对称性)d(x,y)=d(y,x ); (Ⅲ)(三角不等式)d(x,z )≤d(x,y)+d(y,z ) 则称d 为集合X 的一个度量(或距离)。称偶对(X ,d )为一个度量空间,或者称X 为一个对于度量d 而言的度量空间。根据定义引入度量空间有离散的度量空间、序列空间、有界函数空间、可测函数空间、C 【a ,b 】空间、2l 空间,这6个空间是根据度量空间的定义可证它们是度量空间,在后面几节中给出它们相关的性质。 二、度量空间中的极限,抽密集,可分空间: 证明极限有二种方法: 1、定义法:设{}n x 是(X ,d )中点列,如果存在x ∈X ,是lim (,)n x d x x →∞ =0,则称点列{} n x 是(X ,d )中的收敛点列,x 是点列{}n x 的极限。 2、M 是闭集是充要条件是M 中任何收敛点列的极限都在M 中。即若n x M ∈,n=1、,2……, n x x →,则x M ∈。 给出n 维欧氏空间、C[a,b]序列空间、可测函数空间中点列收敛的具体意义,由这些系列例子可以看到,尽管在各个具体空间中各种极限概念不完全一致,所以我们引入度量空间中的稠密子集和可分空间的概念,根据定义可得出n 维欧氏空间n R 是可分空间,坐标为有理数的全体是n R 的可数稠密集,离散度量空间X 可分的充要条件为X 是可数集。l ∞ 是不可分空间。 三、连续映射 证明度量空间的连续映射有四种方法: 1、定义法:设X=(X ,d ),Y=(Y ,d )是两个度量空间,T 是X 到Y 中的映射,0 x X ∈,如果对于任意给定的正数ε,存在正数δ 0,使对X 中一切满足d (x ,0x )δ 的x ,有 (,)d Tx Tx ε ,则称T 在0x 连续。 2、对0Tx 的每个ε-领域U ,必有0x 得某个δ—邻域V 使TV ?U ,其中TV 表示V 在映射T 作用下的像。 3、定理1:设T 是度量空间(X ,d )到度量空间(Y ,d )中的映射,那么T 在0 x X ∈连

泛函分析习题1

线性与非线性泛函分析◇ - 1 - 习题1 1.(张燕石淼)设在全体实数R 上,定义两个二元映射2(,)()x y x y ρ=-和 (2) (,)d x y ,证明(1)(,)ρR 不是度量空间;(2)(,)d R 是度量空间. 2.(范彦勤孙文静)设X ρ(,)为度量空间,:f ∞→∞[0,+][0,+]为严格单调函数,且满足 ,x y f ?∈∞[0,+],(0)=0,()()()f x y f x f y +≤+,令(,)((,))d x y f x y ρ=,证明X d (,)为度量空间. 3. (武亚静张丹)设X d (,)为度量空间,证明,,,x y z w X ?∈有 (,)(,)(,)(,)d x z d y w d x y d z w -≤+. 4.(崔伶俐杨冰)设全体实数列组成的集合为{}123(,,,....,...)|,1,2,...n i X x x x x x R i =∈=,对于 123(,,,....,...)n x x x x x =及12(,,...,...)n y y y y =∈X ,定义11(,)12k k k k k k x y d x y x y ∞ =-=+-∑ .证明 X d (,)为度量空间. 5.设()X n 为0和1组成的n 维有序数组,例如(3){000,001,010,011,100,101,110,111}X =,对于任意的,()x y X n ∈,定义(,)d x y 为x 和y 中取值不同的个数,例如在(3)X 中,(110,111)1d =, (010,010)0d =(010,101)3d =.证明((),)X n d 为度量空间. 6.(苏艳丁亚男)设X d (,)为度量空间, A X ?且A ≠φ.证明A 是开集当且仅当A 为开球的并. 7.(张振山赵扬扬)设X d (,)和Y ρ(,)是两个度量空间.那么映射:f X Y →是连续映射当且仅当Y 的任意闭子集F 的原象1()f F -是X 中的闭集. 8.(王林何超)设{}n x 与{}n y 是度量空间X d (,)的两个Cauchy 列.证明(),n n n a d x y =是收敛列. 9.(李敬华孙良帅)设X d (,)和Y ρ(,)是两个度量空间,在X Y ?上定义度量 112212121 ((,),(,)){[(,)][(,)]}p p p x y x y d x x d y y γ=+,其中1122(,),(,)x y x y X Y ∈?,1p ≥为正数.证明 X Y ?是完备空间当且仅当X d (,)和Y ρ(,)均是完备空间. 10.(李秀峰钱慧敏)设X d (,)是完备的度量空间,{}11n G x G ∈是X 中的一列稠密的开子集,证明1n n G ∞ = 也是X 中的稠密子集. 11.(王胜训闫小艳)设n A ?R ,证明A 是列紧集当且仅当A 是有界集. 12 (冯岩盛谢星星)设X d (,)为度量空间,A X ?且A φ≠.证明 (1){|,(,)}x x X d x A ε∈<是X 的开集. (2){|,(,)}x x X d x A ε∈≤是X 的闭集,其中0ε>.

泛函分析第3章连续线性算子与连续线性泛函

第3章 连续线性算子与连续线性泛函 本章将介绍赋范线性空间上,特别是Banach 空间上的有界线性算子与有界线性泛函的基本理论,涉及到泛函分析的三大基本定理,即共鸣定理,逆算子定理及Hahn-Banach 定理。他们是泛函分析早期最光辉的成果,有广泛的实际背景,尤其在各种物理系统研究中应用十分广泛。 3.1 连续线性算子与有界线性算子 在线性代数中,我们曾遇到过把一个n 维向量空间n E 映射到另一个m 维向量空间m E 的运算,就是借助于m 行n 列的矩阵 1112 121 22 212n n m m mn a a a a a a A a a a ?? ? ? = ? ??? 对n E 中的向量起作用来达到的。同样,在数学分析中,我们也遇到过一个函数变成另一个函数或者一个数的运算,即微分和积分的运算等。把上述的所有运算抽象化后,我们就得到一般赋范线性空间中的算子概念。撇开各类算子的具体属性,我们可以将它们分成两类:一类是线性算子;一类是非线性算子。本章介绍有界线性算子的基本知识,非线性算子的有关知识留在第5章介绍。 [定义3.1] 由赋范线性空间X 中的某子集D 到赋范线性空间Y 中的映射 T 称为算子,D 称为算子T 的定义域,记为()D T ,为称像集(){} ,y y Tx x D T =∈为算子的值域,记作()T D 或TD 。 若算子T 满足: (1)()()(),T x y Tx Ty x y D T +=+?∈ (2)()()(),T x Tx F x D T ααα=?∈∈ 称T 为线性算子。对线性算子,我们自然要求()T D 是X 的子空间。特别地,如

泛函分析第七章 习题解答125

第七章习题解答 1.设(X ,d )为一度量空间,令}),(,|{),(},),(,|{),(0000εεεε≤∈=<∈=x x d X x x x S x x d X x x x U 问),(0εx U 的闭包是否等于),(0εx S ? 解不一定。例如离散空间(X ,d )。)1,(0x U ={0x },而)1,(0x S =X 。因此当X 多于两点时,)1,(0x U 的闭包不等于)1,(0x S 。 2.设],[b a C ∞ 是区间],[b a 上无限次可微函数的全体,定义 证明],[b a C ∞按),(g f d 成度量空间。 证明(1)若),(g f d =0,则) ()(1)()(max ) () ()()(t g t f t g t f r r r r b t a -+-≤≤=0,即f=g (2))()(1)()(max 21 ),()()()()(0 t g t f t g t f g f d r r r r b t a r r -+-=≤≤∞ =∑ =d (f ,g )+d (g ,h ) 因此],[b a C ∞ 按),(g f d 成度量空间。 3. 设B 是度量空间X 中的闭集,证明必有一列开集 n o o o 21,包含B ,而且B o n n =?∞ =1。 证明令n n n o n n B x d Bo o .2,1},1 ),({ =<==是开集:设n o x ∈0,则存在B x ∈1,使n x x d 1 ),(10< 。设,0),(110>-=x x d n δ则易验证n o x U ?),(0δ,这就证明了n o 是开集 显然B o n n ??∞ =1 。若n n o x ∞ =?∈1则对每一个n ,有B x n ∈使n x x d 1 ),(1< ,因此)(∞?→??→? n x x n 。因B 是闭集,必有B x ∈,所以B o n n =?∞ =1 。 4.设d (x ,y )为空间X 上的距离,证明) ,(1) ,(),(___ y x d y x d y x d += 是X 上的距离。 证明(1)若0),(___ =y x d 则0),(=y x d ,必有x=y (2)因),(),(),(z y d z x d y x d +≤而 t t +1在),[∞o 上是单增函数,于是) ,(),(1) ,(),(),(),(1),(),(___ ___ z y d z x d z y d z x d y x d y x d y x d y x d +++=≤+=

一个线性算子的特征向量空间

龙源期刊网 https://www.360docs.net/doc/3115851562.html, 一个线性算子的特征向量空间 作者:金亚东徐森林 来源:《江苏理工学院学报》2015年第02期 摘要:线性算子A=(x)=[(t2-1)x′]′,当λ=n(n+1)时,λ为A的本(特)征值,它相应的本(特)征向量为Legendre多项式,且特征向量空间是1维的;当λ≠n(n+1)时,λ 不为A的本(特)征值。 关键词:线性算子,特征向量空间,Legendre多项式 中图分类号:O21文献标识码:A文章编号:2095-7394(2015)02-0005-05 0 引言 泛函分析是现代数学中的一门较新的数学分支。它起源于数学物理中的变分问题、边值问题,概括了经典数学分析、函数论中的某些重要概念、问题和成果,又受到量子物理学、现代工程技术和现代力学的有力推动。它综合地应用分析的、代数的和几何的观点和方法去研究分析数学、现代物理及现代工程技术提出的许多问题。随着泛函分析本身不断地深入发展,现在它已经成为一门内容丰富、方法系统体系完整、应用广泛的独立分支。同时泛函分析的概念和方法已渗透到现代纯粹数学和应用数学、理论物理和现代工程技术理论的许多分支,例如:微分方程、概率论、计算方法、量子场论、统计物理学、抽象调和分析、现代控制理论、微分几何等方面。现在,泛函分析对纯粹数学和应用数学产生了重大的影响。 泛函分析可分为线性泛函分析和非线性泛函分析两大部分。由于线性问题比较容易研究,因此,线性泛函分析要比非线性泛函分析成熟的多。而线性算子和线性泛函是泛函分析研究的基本对象。 1 定义与定理 定义1 设Λ是实数或复数域,X和Y为Λ域上的两个线性空间,D是X的线性子空间,T是D到Y的一个映照,对x∈D,设x经T映照后的像为Tx或T(x)。如果对任何x、 y∈D以及数α、β∈Λ, 有T(αx+βy)=αTx+βTy成立,就称T为线性算子,称D为T的定义域,也记为D (T)。[1] 定义2 设X是线性空间,λ是一个数,T是XX的线性算子。如果有X中非零向量x∈D (T),使得T(x)=λx,则称λ是T的特征值(或本征值),而x为T(相应于特征值λ)的特征向量(或本征向量)。[2]

泛函分析知识总结

泛函分析知识总结与举例、应用 学习泛函分析主要学习了五大主要内容:一、度量空间和赋范线性空间;二、有界线性算子和连续线性泛函;三、内积空间和希尔伯特空间;四、巴拿赫空间中的基本定理;五、线性算子的谱。本文主要对前面两大内容进行总结、举例、应用。 一、 度量空间和赋范线性空间 (一)度量空间 度量空间在泛函分析中是最基本的概念,它是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举例

泛函分析试卷(优选.)

最新文件---------------- 仅供参考--------------------已改成-----------word 文本 --------------------- 方便更改 赠人玫瑰,手留余香。 泛函分析期末考试试卷(总分100分) 一、选择题(每个3分,共15分) 1、设X 是赋范线性空间,X y x ∈,,T 是X 到X 中的压缩映射,则下列哪个式子成立( ). A .10<<-≤-αα, y x Ty Tx B.1≥-≤-αα, y x Ty Tx C.10<<-≥-αα, y x Ty Tx D.1≥-≥-αα, y x Ty Tx 2、设X 是线性空间,X y x ∈,,实数x 称为x 的范数,下列哪个条件不是应满足的条件:( ). A. 0等价于0且,0==≥x x x B.()数复为任意实,αααx x = C. y x y x +≤+ D. y x xy +≤ 3、下列关于度量空间中的点列的说法哪个是错误的( ). A .收敛点列的极限是唯一的 B. 基本点列是收敛点列 C .基本点列是有界点列 D.收敛点列是有界点列 4、巴拿赫空间X 的子集空间Y 为完备的充要条件是( ). A .集X 是开的 B.集Y 是开的

C.集X是闭的 D.集Y是闭的 5、设(1) p l p <<+∞的共轭空间为q l,则有11 p q +的值为(). A. 1- B.1 2 C. 1 D. 1 2 - 二、填空题(每个3分,共15分) 1、度量空间中的每一个收敛点列都是()。 2、任何赋范线性空间的共轭空间是()。 3、1l的共轭空间是()。 4、设X按内积空间成为内积空间,则对于X中任意向量x,y 成立不等式()当且仅当x与y线性相关时不等式等号成立。 5、设T为复希尔伯特空间X上有界线性算子,则T为自伴算子的充要条件是()。 三、判断题(每个3分,共15分) 1、设X是线性赋范空间,X中的单位球是列紧集,则X必为有限维。 ( ) 2、距离空间中的列紧集都是可分的。( ) 3、若范数满足平行四边形法则,范数可以诱导内积。( ) 4、任何一个Hilbert空间都有正交基。( ) 5、设X是线性赋范空间,T是X X的有界线性算子,若T既是单

泛函分析中的度量空间

泛函分析主要内容 泛函分析是20世纪30年代形成的数学分科。是从变分问题,积分方程和理论物理的研究中发展起来的。它综合运用函数论,几何学,现代数学的观点来研究无限维向量空间上的函数,算子和极限理论。它可以看作无限维向量空间的解析几何及数学分析。主要内容有拓扑线性空间等。泛函分析在数学物理方程,概率论,计算数学等分科中都有应用,也是研究具有无限个自由度的物理系统的数学工具。泛函分析是研究拓扑线性空间到拓扑线性空间之间满足各种拓扑和代数条件的映射的分支学科。 1、度量空间 定义:设X为一个集合,一个映射d:X×X→R。若对于任何x,y,z属于X,有 (I)(正定性)d(x,y)≥0,且d(x,y)=0当且仅当 x = y; (II)(对称性)d(x,y)=d(y,x); (III)(三角不等式)d(x,z)≤d(x,y)+d(y,z) 则称d为集合X的一个度量(或距离)。称偶对(X,d)为一个度量空间,或者称X为一个对于度量d而言的度量空间。 例:实数带有由绝对值给出的距离函数d(x, y) = |y?x|,和更一般的欧几里得n维空间带有欧几里得距离是完备度量空间 2、赋范线性空间 泛函分析研究的主要是实数域或复数域上的完备赋范线性空间。这类空间被称为巴拿赫空间,巴拿赫空间中最重要的特例被称为希尔

伯特空间。 例:任何赋范向量空间通过定义d(x, y) = ||y?x|| 也是度量空间。 (如果这样一个空间是完备的,我们称之为巴拿赫空间)。例:曼哈顿范数引发曼哈顿距离,这里在任何两点或向量之间的距离是在对应的坐标之间距离的总和。 3、希尔伯特空间 希尔伯特空间可以利用以下结论完全分类,即对于任意两个希尔伯特空间,若其基的基数相等,则它们必彼此同构。对于有限维希尔伯特空间而言,其上的连续线性算子即是线性代数中所研究的线性变换。对于无穷维希尔伯特空间而言,其上的任何态射均可以分解为可数维度(基的基数为50)上的态射,所以泛函分析主要研究可数维度上的希尔伯特空间及其态射。希尔伯特空间中的一个尚未完全解决的问题是,是否对于每个希尔伯特空间上的算子,都存在一个真不变子空间。该问题在某些特定情况下的答案是肯定的。 4、巴拿赫空间 巴拿赫空间理论(Banach space)是192O年由波兰数学家巴拿赫(S.Banach)一手创立的,数学分析中常用的许多空间都是巴拿赫空间及其推广,它们有许多重要的应用。大多数巴拿赫空间是无穷维空间,可看成通常向量空间的无穷维推广。

31 线性算子与共轭空间

第三章 线性算子 Linear Operators 本章将研究从一个线性赋范空间X 到另一个线性赋范空间Y 中的映射,亦称算子.如果Y 是数域,则称这种算子为泛函.事实上,我们对算子和泛函的概念并不陌生,例如微分算子d D dx =就是从连续可微函数空间到连续函数空间上的算子;积分算子(黎曼积分)()b a f x dx ?就是连续函数空间上的泛函.本章主要研究保持两个线性赋范空间代数运算的简单算子:线性算子和线性泛函. 3.1 线性算子与共轭空间 3.1.1 线性算子的定义及举例 定义3.1.1 算子 设X 和Y 是同一数域K 上的线性赋范空间,若T 是X 的某个子集D 到Y 中的一个映射,则称T 为子集D 到Y 中的算子.称D 为算子T 的定义域,或记为()D T ;并称Y 的子集{(),}TD y y T x x D ==∈为算子T 的值域.对于x D ∈,通常记x 的像()T x 为Tx . 注1:当X Y ==R 时,算子T 为函数;若Y =R ,算子T 为实泛函. 定义3.1.2 连续算子 设X 和Y 是同一数域K 上的线性赋范空间,0x D X ∈?,T 为D 到Y 中的算子,如果 0ε?>,0δ?>,当0x x δ-<,有0T x T x ε-<,则称算子T 在点0x 处连续.若算子T 在D 中 每一点都连续,则称T 为D 上的连续算子. 注2:()f x 在0x 点连续?{}n x D ??,若0n x x →,则有0()()n f x f x →. 定义3.1.3 线性算子 设X 和Y 是同一数域K 上的线性赋范空间,D X ?,T 为D 到Y 中的算子, 如果,x y D ?∈,,αβ?∈K ,有()()()T x y T x T y αβαβ+=+,则称T 为D 上的线性算子. 定义3.1.4 线性有界算子 设X 和Y 是同一数域K 上的线性赋范空间,D X ?,:T D Y →为线性算子,如果存在0M >,x D ?∈,有Tx M x ≤,则称T 为D 上的线性有界算子,或称T 有界. 注3:上述的有界与数学分析中的函数有界不同:例如函数()f x x =是实数域R 上的无界函数,即不存在0M >,使得()f x M ≤,但是 ()f x x M x =≤ (1M =) 可见,无界函数可能是线性有界泛函.

(完整版)泛函分析第6章广义函数与Sobolev空间简介

第六章 广义函数与Sobolev 空间简介 函数是经典分析中的基本概念之一,然而这样的一个基本概念,在近代科学技术的发展中逐渐不够用了。下面用几个例子加以说明。 例6.1(脉冲) 20世纪初,Heaviside 在解电路方程时,提出了一种运算方法,称之为算子演算。这套算法要求对如下函数 10 ()00x h x 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 中的单位球面上一致收敛。事实上,设∈n A A ,),(1X X β,...)2,1(=n 及 }1||:||{=∈=X X x S 。如果)(∞→→n A A n ,则对任意 0>ε,存在N ,当N n >时,对于每一个S x ∈ ≤-||||Ax x A n 1 ||||sup =x ||||Ax x A n -=||||A A n -ε<。 即}{n A 在S 上一致收敛于A 。 反之,如果}{n A 在S 上一致收敛于A ,则对任意0>ε ,存在 N ,当N n >时,对于每一个S x ∈: ||||Ax x A n -ε< 于是:|||| A A n -=1 ||||sup =x ||||Ax x A n -ε≤。 即}{n A 在上一致收敛于A 。 定理1.3 设X 是赋范空间,1X 是anach B 空间,则),(1X X β是anach B 空间。 在空间 ) ,(1 X X β中还有另一种收敛方式。设

相关文档
最新文档