第一节 有界线性算子的谱

合集下载

谱定理证明

谱定理证明

谱定理证明
谱定理是一个重要的数学定理,它描述了一个线性算子在一个Hilbert空间上的谱与这个算子的特征向量之间的关系。

设T是一个在Hilbert空间H上的线性有界算子,它的定义域
为D(T),则谱定理可以表述为以下两个主要结论:
1. 谱定理第一部分:谱分解
对于任意的λ∈C,记A:=T-λI,其中I是H上的恒等算子。

如果A的定义域为D(A)={x∈H:A(x)∈H}是稠密的,那么T的
谱λ ∈σ(T) (即λ是T的特征值)当且仅当A不是满的,即
A(D(A))≠H。

2. 谱定理第二部分:特征值的性质
对于任意的λ ∈σ(T),其几何重数(geometric multiplicity)等
于代数重数(algebraic multiplicity)。

几何重数是指特征值对应的特征空间的维度,而代数重数是指特征值在T的特征多项式中的重数。

对于谱定理的证明,常常需要使用到线性代数、泛函分析等数学工具。

不同的文献和教材可能会给出不同的证明方法和步骤,所以具体证明的细节可以参考相关的教材或文献。

总体来说,谱定理的证明需要从T的特征向量出发,通过一
系列推导和分析,证明了特征向量可以构成H的一组完备正
交基,从而使得T的谱与特征向量之间建立了一一对应的关系。

通过这种对应关系,可以得到谱定理的两个主要结论。

需要注意的是,由于谱定理的证明涉及一些复杂的数学理论和技巧,对于初学者来说可能较为困难,需要有一定的数学基础和知识背景。

第五章 有界线性算子的谱理论

第五章 有界线性算子的谱理论
−1 −1
明显地 , 若 λ ∈ σ p ( A) ,则存 在 x ≠ 0 使得 (λI − A) x = 0 , 此时 称
x 是 A 的 相 应 于 λ 的 特 征 向 量 . 称 N (λI − A) 是 A 的 相 应 于 λ 的 特 征
向量空 间 . 由定义还知道复平面 C =
ρ ( A) ∪ σ ( A) 并 且 ρ ( A) ∩ σ ( A) = ∅ . 另
∑a A
n=0 n


n
( Ao = I ) 的 收 敛 性 乃 至 算 子 函 数 f ( A) 的 解 析 性
都可以 加以 定义 . 例如 表达式
eA = ∑
n=0
∞ An A2 n +1 , sin A = ∑ (−1) n (2n + 1)! n! n =0
等 在 范 数 收 敛 意 义 下 都 代 表 Β( X ) 中 的 元 素 . 下 面 定 理 中 出 现 的 多 项 式和幂 级数 也是如 此的 . 定 理 3 (von Neumann) 设 X 是 Banach 空间 , A ∈ Β( X ) , λ ∈ C ,
−1 −1
上 , 根据 逆 算子定 理知 A 定理 2
∈ Β( X ) .
设 Aห้องสมุดไป่ตู้ B ∈ Β( X ) .
−1 −1 −1
(1) 若 A 是正则算 子 , 则 A 是正 则算 子并且 ( A ) (2) 若 A, B 是正 则算子 ,则 AB 是正则 算子 并且
= A.
( AB) −1 = B −1 A −1 .
又由 1 =|| I || ≤ || A || || B || 知道 || B ||≠ 0 . 取 || B ||

有界线性算子的谱半径与扰动

有界线性算子的谱半径与扰动

有界线性算子的谱半径与扰动
赵静;王紫
【期刊名称】《哈尔滨商业大学学报(自然科学版)》
【年(卷),期】2024(40)3
【摘要】广义逆理论在数值线性代数、数值分析、最优化、控制论、数理统计、微分方程及应用数学中具有引人注目的应用,其中算子广义逆在求解线性算子方程的极值解、最小范数解与最佳逼近解时发挥重要作用.设X为Banach空间,T:X→X 为具有闭值域的有界线性算子.利用谱半径代替范数作为刻画扰动算子的工具,在扰动算子是可交换的假设下,减弱了可逆算子方程的经典扰动结果和一般算子方程的最优扰动结果的前提条件.同时,也利用谱半径代替范数作为刻画扰动算子的工具,减弱了Banach空间有界线性算子T的广义逆的经典扰动结果的前提假设,获得了利用谱半径的更加精细的扰动误差估计.
【总页数】5页(P346-349)
【作者】赵静;王紫
【作者单位】哈尔滨师范大学数学科学学院
【正文语种】中文
【中图分类】O177.2
【相关文献】
1.关于有界线性算子数值域半径的讨论
2.有界线性算子逼近问题中算子本质谱孤立点的处理
3.在有界线性算子扰动下的谱性质
4.有界线性算子的本质谱及本质谱半径公式
因版权原因,仅展示原文概要,查看原文内容请购买。

第四章 谱与紧算子

第四章  谱与紧算子

p( A) − p(λ ) I = ( A − λ I )q( A)
由 A − λ I 是 不 可 逆 的 , ( A − λ I )q ( A) = p ( A) − p (λ ) I 也 是 不 可 逆 的 , 从 而 可 知
p(λ ) ∈ σ ( p( A)) 。

λ ∈ σ ( p( A)) , 由 代 数 基 本 定 理 , 存 在 互 异 的 复 数 a, λ1 , λ2 , , λn 及 正 整 数
I = ( A − λ I ) Rz ( A) = 0 ,矛盾!
所以 σ ( A) ≠ ∅ 。
定义 注
A ∈ B( X ) , rσ ( A) = max{| λ | | λ ∈ σ ( A)} , 称 rσ ( A) 为 A 的谱半径。
rσ ( A) ≤|| A || 。 rσ ( A) = lim n || An ||
⎧ ⎪ ⎪ ⎩
⎫ 1 ⎪ ⎬ ⊂ ρ ( A) 。 || Rλ0 ( A) || ⎪ ⎭
(3) 任取 f ∈ ( B ( X ) ) , || f ||≤ 1 。
*
假设 σ ( A) = ∅ , 定义
F ( z ) = f ( Rz ( A)) = f (( A − zI ) −1 ) , z ∈ ρ ( A) = C 。
可以验证 F ( z ) 是一个整函数,而且
| F ( z ) |≤|| Rz ( A) ||≤
1 , | z |>|| A || 。 | z | − || A ||
4
所以 F(z)是有界整函数。由 Liouville 定理,F(z)必为常数。 但是
| z |→∞
lim F ( z ) = 0 , 所 以 F(z) 必 恒 为 零 , 再 由 f 的 任 意 性 , Rz ( A) = 0 。 但

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

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

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

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

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

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

2 算子的范数及其计算
定义 2.1.2 设 X , Y 是赋范空间, T : X Y 是有界线性算子. 称
T = sup Tx .
x £1
为算子 T 的范数. 若 f 是 X 上的有界线性泛函, 则 f 的值域是标量域 K , 此时
f = sup f ( x) .
x £1
定理 2.1.3 设 T : X Y 是有界线性算子. 则
yn =
xn x - 1 (n = 1, 2, ). f ( xn ) f ( x1 )
则 f ( yn ) = 0. 因此 yn Î N ( f ) (n ³ 1). 另一方面, 由于
xn xn 1 = < 0 (n ¥), f ( xn ) f ( xn ) n
这说明
xn x 0. 因此 yn y = - 1 . 但是 f ( xn ) f ( x1 ) f ( y ) = f (x1 ) = -1 ¹ 0, f ( x1 )
T -1 y = x £
1 1 Tx = y . a a
这表明映射 T -1 : Y X 是连续的. 因此 X 与 Y 拓扑同构的充要条件是, 存在一一对应的映射 T : X Y , 使得 T 是线性的 , 并且 T 和 T -1 都是 连续的. 线性泛函是线性算子的特殊情形, 因此定理 2.1.1 的结论对线性泛 函当然也成立. 对线性泛函还成立如下定理. 定理 2.1.2 设 f 是赋范空间 X 上的线性泛函. 则 f 在 X 上有界的 充要条件是 f 的零空间 N ( f ) 是闭集. 证明 设 f 在 X 上有界, 则 f 在 X 上连续. 设 {xn } Ì N ( f ), xn x.

则 f ( xn ) = 0 ( n ³ 1 ) 于是 f ( x) = lim f ( xn ) = 0. 因此 x Î N ( f ). 这表明

有界线性算子的谱

有界线性算子的谱

第一节有界线性算子的谱一.算子代数定义:厶(X)是一复Banach空间,并且为一具有线性运算与乘法运算的代数系统,我们称英为算子代数。

性质:设R,S,T“(X),xC,则有1、结合律:(RS)T = R(ST), T m+B=r n r(m,neN);2、a(ST) = (aS)T = S(aT);3、R(S + T) = RS + R「(R + S)T = RT + ST ;4、单位算子/满足:IT = TI = T ;5、7\X T X为同构O存在A.B^L(X),使得AT = [ = TB :必左4 = B,称它为T的逆,记作T~\并称丁为可逆算子。

以GZXX)记厶(X)中的可逆算子的全体。

6、若S、TwGL(X),贝iJSreGL(X),且(ST)"1=T^S'\(T n y[ =(T-I)/\当Tw GL(X)时约宦厂〃=(厂丫⑺> 0),厂=I,因而对任何"乙厂有意义。

注:1、算子乘法不满足交换律;2、阿|邙||||71,||鬥|井『(心);3、若在厶(X)中S Q S、T Q T,则必有S n T n ->ST o定义:设丁属于某算子代数,称/(7')=工%7'”=%/ + <7' + ・・・+ ©7'”+・・・n-0(其中系数e C(// > 0)为算子幕级数。

性质:设通常幕级数有收敛半径R,则当TeMX),||T||</?时级数ZF-0工0Z1卜工闯P『vs引理3丄1设TeL(X),则X (/_丁尸=工厂『“■0只要貝右端级数收敛。

特別,当|卩||<1时上式必成立。

推论:若T,SwL(X),T可逆,则00(T + S)-=工厂l_S 厂 g/r-()只要英右端级数收敛:特别,当||s||适当小时必成立。

二、谱与谱半径定义3.1.2设Tw厶(X ),1、若不可逆,即AI-TeGL(X),则称2为丁的谱值。

第三章 有线性算子

第三章 有线性算子

第三章 有界线性算子一 有界线性算子与有界线性泛函 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.4
等价范数
如果存在正实数 a 和 b,使得对一切 xX,均有: a ||x||2 ≤ ||x||1 ≤b ||x||2 则称 ||•||1 与 ||•||2 等价
定义6:设 ||•||1 和 ||•||2 是线性空间 X 中的两个范数,
10 如果 ||•||1 和 ||•||2 等价,则{xn} 为 (X, ||•||1) 中的 Cauchy 序列 {xn} 为 (X, ||•||2) 中的 Cauchy 序列; 20 如果 ||•||1 与 ||•||2 等价,则 {xn} 依范数 ||•||1 收敛于x {xn} 依范数 ||•||2 收敛于 x; 30 如果 ||•||1 与 ||•||2 等价,则 (X, ||•||1) 为 Banach 空间 (X, ||•||2) 为 Banach 空间; 40* 有限维空间中任何两种范数都等价。
d (x,y) d ( x, y)
1.2 收敛函数与连续映射

{xn }n1 X 定义2:设 X 为赋范线性空间,
xn x0 0 , 如果存在 x0 X ,使得 lim n
则称 {xn} 依范数收敛于 x0,记为
lim xn x0
n
这时也称 x0 为序列 {xn }n1 的极限。
20 并不是所有的赋范线性空间都可由内积空间按内积诱导 成空间;
例如: l p {(1 , 2 ,, n ,) i C , i } ( p 2)
i 1

p
x (1, 2 ,, n ,) l p
P x i i 1
例 2:
X C[a, b(其中范数取最大值范数),则 ]
lim xn (t ) x (t ) xn (t ) 在 [a,b]上一致收敛于x(t)。

泛函分析讲义张恭庆答案

泛函分析讲义张恭庆答案

泛函分析讲义张恭庆答案【篇一:《泛函分析》课程标准】>英文名称:functional analysis课程编号:407012010 适用专业:数学与应用数学学分数:4一、课程性质泛函分析属于数学一级科下的基础数学二级学科,在数学与应用数学专业培养方案中学科专业教育平台中专业方向课程系列的一门限选课程。

二、课程理念1、培育理性精神,提高数学文化素养基础数学研究数学本身的内在规律,是整个数学学科的基础,它在数学学科其他领域、物理学、工程及社会科学中都有着广泛的应用。

《泛函分析》课程是数学与应用数学本科学生的专业课程之一,是数学分析、高等代数、实变函数等基础课程的后继课程,是研究生学习的基础,。

它不仅在数学学科占有十分重要的地位,而且在其他学科领域也有广泛的应用,掌握泛函分析的方法对学生更好地理解基础课程的理论将有很大的益处。

该课程培养学生的抽象思维能力、逻辑推理能力,体现知识、能力和素质的统一,符合应用型人才培养的目标要求。

2、良好的学习状态,提高综合解题能力本课程面对的是数学与应用数学专业四年级的学生。

学生刚刚结束教育实习,准备考研的学生进入紧张复习阶段,另一部分学生开始准备找工作。

《泛函分析》这门课内容比较抽象,课时又少,所以,如何让学生安保持良好的学习状态,是本门课要面对的一个重要问题,也是学生要面对的一个具体问题。

需要师生共同努力去正确面对才能顺利完成本门课的教学任务。

为学习研究生课程和现代数学打下必要的基础;进一步提高学生的数学素养。

3、内容由浅入深本课程的框架结构是根据教学对象和教学任务来安排的:“度量空间”泛函分析的基本概念之一,十分重要。

首先,引入度量空间的概念,并在引入度量的基础上定义了度量空间中的极限、稠密集、可分空间、连续映照、柯西点列、完备度量空间,对于一般的度量空间,给出了度量空间的完备化定理,并证明了压缩映照原理。

然后,在度量空间上定义线性运算并引入范数,就得到线性赋范空间以及巴拿赫空间。

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

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

例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为线性算子,

4.1有界线性算子

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 的线性算⼦。

第三章有界线性算子

第三章有界线性算子

第三章有界线性算子第三章有界线性算子一有界线性算子与有界线性泛函 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-ε<。

3.2有界线性算子

3.2有界线性算子

D(T ) 上是连续的(即在一点连续,则在定
义域上处处连续) 。
定理 3. 2. 4(连续性与有界性) 设 X , Y 是赋范空间, T : D(T ) X Y 是线性算 子,则 T 为连续的充分必要条件为 T 是有界 的。 证明(不要) 。
3.2.3 线性算子空间
定理 3.2.6(线性算子空间) 设 X , Y 是数域 K 上的赋范空 间, B( X , Y ) 是定义在全空间 X 上、值域在 Y 中的有界线性算 子的全体,若在 B( X , Y ) 上定义如下的代数运算:
举例:
1、恒等算子
2、零算子
微分算子
4、积分算子 5、矩阵
定理 3. 2. 2 (有限维空间上线性算子的有界性) 如果赋范空间 X 是有穷维的,则 X 上的每一个线性算子均是有界的。
定理 3. 2. 3(算子的连续性) 设 X , Y 是赋 范空间, T : D(T ) X Y 是线性算子, 若 T 在 某 一 点 x0 D(T ) 连 续 , 则 T 在
3.2 有界线性算子
3. 2. 1 有界线性算子 定义 3. 2. 1(有界线性算子) 设 X , Y 为同一数域 K 上的 赋范线性空间, T : D(T ) X Y 是线性算子。如果存在常数
C 0 ,使得对一切 x D(T ) 有
Tx
Y
C x
X
那么就称 T 为有界线性算子,否则称为无界的。
T B( X , Y )
则 B( X , Y ) 构成一赋范线性空间。
(T1 T2 ) x T1 x T2 x , T1 , T2 B( X , Y ), x X
(T ) x Tx , K , T B( X , Y ), x X

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

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

Tx c x
(3)
则称 T是 A(T )到 Y 中的有界线性算子,当 A(T) X时,称 T 为X 到 Y中的有界线性
算子,简称为有界算子,对于不 满足条件(3)的算子,称为无界算子。本书主要 讨论有界算子。
定理1 设 T是赋范空间 X 到赋范空间 Y中的线性算子, 则 T 为有界算子的充要条件为 T 是 X 上连续算子。
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)
T (x) T (x)
(2)
则称T为 A 到Y中的线性算子,其中 A 称为T 的定义域,记为A(T ),TA 称为 T 的值域,记为
R(T ),当 T 取值于实(或复)域时,就称 T 为实(或复)的线性泛函。如果 T为线性算子,
在(2)中取 0,立即可得 T 0 0,即0 (T ),其中 (T )表示算子 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

Txn n xn
定 理 5 设T是DT 上的有界线性算子,那么成立着

第十一章线性算子的谱

第十一章线性算子的谱
(λI − T )−1 ∈ L (X, X) .
用 ρ (T ) 表示 T 的正则值组成的集合, 称 ρ (T ) 为 T 的正则集. 对 λ ∈ ρ (T ), 称
Rλ = (λI − T )−1 为 T 的预解式.
Spring 2017
ni.tianjia@
4/34
Functional Analysis
注 1. 当 X {θ} 时, 有 ρ (T ) ∅.
定义 11.2. 记
r (T ) = max {|λ| : λ ∈ σ (T )} ,
称 r (T ) 为算子 T 的谱半径.
定理 11.3.
谱半径公式 r (T ) =
lim
∥T
n∥
1 n
.
x→∞
Spring 2017
ni.tianjia@
an ∼ λn.
Spring 2017
ni.tianjia@
2/34
Functional Analysis
§11.1 谱的概念
Spring 2017
ni.tianjia@
3/34
Functional Analysis
谱的概念
定义 11.1. 设 X 是复 Banach 空间, T ∈ L (X, X), λ 为一复数. (1) 称 λ 为 T 的正则值, 如果 λI − T 有有界逆算子, 即
T
∑ k+1
αi xi
=
∑ k+1
αiλi xi
=
θ.
(2)
i=1
i=1
在式 (1) 两边乘 λk+1 得
∑ k+1
αiλk+1 xi = θ.
(3)
  1. 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
  2. 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
  3. 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。

第一节 有界线性算子的谱一、算子代数定义:()L X 是一复Banach 空间,并且为一具有线性运算与乘法运算的代数系统,我们称其为算子代数。

性质:设,,(),R S T L X α∈∈C ,则有 1、结合律:()()RS T R ST =,(,)m nm n T T T m n +=∈N ;2、()()()ST S T S T ααα==;3、(),()R S T RS RT R S T RT ST +=++=+;4、单位算子I 满足:IT TI T ==;5、:T X X →为同构⇔存在,()A B L X ∈,使得AT I TB ==;必定A B =,称它为T 的逆,记作1T -,并称T 为可逆算子。

以()GL X 记()L X 中的可逆算子的全体。

6、若,()S T GL X ∈,则()ST GL X ∈,且11111(),()()n n ST T S T T -----==。

当()T GL X ∈时约定10()(0),nn T T n T I --=>=,因而对任何,k k Z T ∈有意义。

注:1、算子乘法不满足交换律; 2、,(1)nn ST S T TT n ≤≤≥;3、若在()L X 中,n n S S T T →→,则必有n n S T ST →。

定义:设T 属于某算子代数,称010()(3.1.1)n n n n n f T T I T T αααα∞===++++∑、(其中系数(0)n n α∈≥C 为算子幂级数。

性质:设通常幂级数0()nnn f λαλ∞==∑有收敛半径R ,则当(),T L X T R ∈<时级数(3.1.1)绝对收敛:nn n n T T αα≤<∞∑∑。

引理3.1.1 设()T L X ∈,则1()n n I T T ∞-=-=∑只要其右端级数收敛。

特别,当1T <时上式必成立。

推论:若,(),T S L X T ∈可逆,则1110()()n n T S T ST ∞---=+=-∑,只要其右端级数收敛;特别,当S 适当小时必成立。

二、谱与谱半径定义3.1.2 设(),T L X ∈1、若,I T λλ∈-C 不可逆,即()I T GL X λ-∉,则称λ为T 的谱值。

以()T σ记T 的谱值的全体,成其为T 的谱;称()()sup T r T σλσλ∈=为T 的谱半径,它是以原点为中心且包含()T σ的最小的圆的半径。

2、令()\()T T ρσ=C ,称任何的()T λρ∈为T 的正则值;称1(,)()(())R T I T T λλλρ-=-∈为预解式,也记为()R λ或R λ。

3、若λ∈C ,存在0x ≠,使得Tx x λ=(这相当于()x N I T λ∈-),则称λ为T 的特征值,并称x 为T 关于λ的特征向量,称()N I T λ-为T 关于特征值λ的特征子空间。

以()p T σ记T 的特征值的全体,称其为T 的点谱。

性质:1、()()p T T σσ⊂;2、若(),dim T L X X ∈<∞,则(){0}N I T I T λλ-=⇔-可逆,因而()()p T T σσ=。

3、若dim X =∞,则可能有()()p T T σσ≠,即谱值未必是特征值。

定理3.1.3(Gelfand 定理) 设()T L X ∈,则()T σ是非空紧集,且成立谱半径公式:1/()lim nnnr T T σ=。

三、某些应用 定理3.1.4 设幂级数nnαλ∑的收敛半径为,()R T L X ∈。

1、若()r T R σ<,则级数n n T α∑绝对收敛;2、若()r T R σ>,则级数nnTα∑发散。

注:若()r T R σ=,级数nnTα∑可能收敛,也可能发散。

第二节 算子函数一、解析扩张由定理3.1.4可推得:若00()()n n n f λαλλ∞==-∑是圆00(){:}r D r λλλλ∈-<C内的复解析函数,则当0(),()T L X r T I r σλ∈-<时,00()()(3.2.3)nn n f T T I αλ∞==-∑有意义,且上式右端级数绝对收敛。

因000()(){:()}T I T T σλσλλλλσ-=-=-∈,于是00()()(0)()(0)()r r r r T I r T I D T D D σλσλσλλ-<⇔-⊂⇔⊂+=所以:(3.2.3)表示一个定义于集合0{():()()}r T L X T D σλ∈⊂上的算子函数()f T 。

我们将()f T 视为复解析函数()f λ的某种扩张。

特别,熟知的初等函数都可适当地扩张为算子函数。

例如,对数函数111(1)(1)ln ((0))n nn D n λλλ-∞=--=∈∑可扩张为集1{():()(1)}T L X T D σ∈⊂上的算子对数函数11(1)()ln n nn T I T n -∞=--=∑。

类似地,还可定义算子的指数函数Te 、正弦函数sin T ,等等。

但是,在通过深入思考后,我们发现这种推广并非可以简单地实现,我们将会发现以下的问题:1、幂级数仅能表达圆域内的解析函数。

对任意开集()Ω⊂C 内的解析函数()f λ及满足()T σ⊂Ω的()T L X ∈,应如何定义()f T ?2、()f T 能继承()f λ的哪些性质?3、函数()f T 仅只是()f λ的形式扩张,还是有某些不可缺少的实质性应用?为解决以上问题,先介绍算子积分的概念。

设L 是复平面上任一可求长曲线,()T τ是定义于L 上而取值于()L X 中的函数(称为算子值函数),则可用通常的“分割、求和、取极限”的方式定义()T τ沿L 的积分:max 01()lim()i nii Li T d T τττξτ→==∑⎰。

其中01,,,n τττ为L 上顺次排列的分点,0τ与n τ分别为L 的起点与终点,i ξ是L 上介于1i τ-与i τ之间的任一点,1(1)i i i i n τττ-=-≤≤。

性质:1、当()T τ对τ连续时,上述积分必存在。

2、对任给的*u X ∈与x X ∈有,(),()LLu T d x u T x d ττττ<>=<>⎰⎰下面考虑任意复解析函数的扩张问题。

取定非空开集Ω⊂C ,以()H Ω记Ω内的复解析函数之全体,令{():()}D T L X T σΩ=∈⊂Ω设()(),f H T D λΩ∈Ω∈,今探求()f T 的合理定义。

因未必有某个圆0()r D λ,使得0()()r T D σλ⊂⊂Ω,形如式(3.2.3)的定义式一般不再有效。

注意到在复函数理论中,复解析函数不仅可表为幂级数,而且可表为积分,即有如下形式的Cauchy 公式表示:11()()()2L f f d iλττλτπ-=-⎰, 其中L 是Ω内任一围绕λ的简单闭曲线(或称围道,且假定沿其正方向行进时,保持λ所在区域在左边),我们设想将()f T 类似地定义为11()()()(3.2.6)2L f T f I T d iτττπ-=-⎰定义3.2.1 任给()()f H λ∈Ω与T D Ω∈,取Ω内任一围绕()T σ的围道L ,依式(3.2.6)定义()f T ,则得到一个从D Ω到()L X 的函数()f T ,称它为()f λ的解析扩张,或简称为扩张。

注:1、式(3.2.6)右端的积分必存在。

2、式(3.2.6)右端的积分不依赖于L 的选择。

3、定义式(3.2.3)与(3.2.6)(两者都可使用时)是一致的。

4、()f T 的确是()f λ的扩张。

首先,(),L X I λλ→→C显然是一等距嵌入,且此嵌入保持乘积运算。

因此,不妨认为()L X ⊂C ,即将λ与I λ等同。

显然(){}I σλλ=,因此可以认为D ΩΩ⊂。

λ∀∈Ω,在Ω内取一围绕λ的围道L ,则11()()()2L f I f I I d iλττλτπ-=-⎰⎰ 11[()()]()2Lf d I f I i ττλτλπ-=-=⎰, 可见()f I λ与()f λ一致。

二、解析扩张的性质定理3.2.2 设(),()(),()()f g H h H λλλ'∈Ω∈Ω,(),f T D Ω'Ω⊂Ω⊂∈C ,则 1、()()()()f g T f T g T +=+; 2、()()()()fg T f T g T =; 3、()()(())h f T h f T =。

定理3.2.3(谱映射定理) 设()(),f H T D λΩ∈Ω∈,则有(())(())f T f T σσ=。

三、谱分解定理3.2.4(谱分解定理) 设1(),(),2,ni i T L X T n σσσ∈=≥为互不相交的非空闭集,则存在X 的拓扑直和分解:12,(3.2.17)n X X X X =⊕⊕⊕使得每个i X 是T 的不变子空间(即,1)i i TX X i n ⊂≤≤,且()i i T σσ=,(,),(3.2.18)i ii i i iTx T x x x x X ==∈∑∑此处|i i T T X =看作i X 上的有界线性算子。

证明:取充分小的0ε>,令{:(,)}(1),i i C d i n λλσεΩ=∈<≤≤使得i Ω互不相交.令1ni Ω=Ω,则Ω为开集,()T σ⊂Ω.以()i f λ记i Ω之特征函数,则()()i f H λ∈Ω.令(),i i i i P f T X P X ==,以下验证(1)i X i n ≤≤即为所求.(1)验证(3.2.17)式。

显然有恒等式:()()(),()1()i j ij i i if f f f λλδλλλ==∈Ω∑。

于是,由定理3.2.2得,(1,).(3.2.19)i j ij i i iPP P P I i j n δ==≤≤∑特别,2(1)i i P P i n =≤≤,由i iP I =∑得i i iiX P X X ==∑∑,这意味着对每个x X ∈有分解,(1)(3.2.20)i i iix x x X i n =∈≤≤∑。

因i i X P X =,故对式(3.2.20)中的i x 有i y X ∈,使i i i x P y =,从而由式(3.2.19)有i ij j j i j j i j i jjjx P y PP y P x Px δ====∑∑∑。

这表明分解式(3.2.20)是惟一的,因而直和分解式(3.2.17)成立,且i P 就是从X 到iX 的投影。

下证()(1)i j j i X N P i n ≠=≤≤∑。

若()jj ix N P ≠∈∑,则jiiiij ix Ix P x Px Px PX X≠==+=∈=∑。

相关文档
最新文档