泛函分析之B空间上的有界线性算子
泛函分析第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<zeF,xe£)(r))称了为线性算子。
对线性算子,我们自然要求T(D)是X的子空间。
特别地,如果了是由X到实数(复数)域F的映射时,那么称算子T为泛函。
例3.1设X是赋范线性空间,a是一给定的数,映射T.x^ax是X上的线性算子,称为相似算子;当a = l时,称了为单位算子或者恒等算子,记作/。
例3・2 XfxeC[a,b],定义Tx(t) =由积分的线性知,T是C[a,b]到C[a,列空间中的线性算子。
若令f (x) = [ x(T)dt(Vx e C[a,b])则/是C[a,b]上的线性泛函。
泛函分析之B空间上的有界线性算子

T∈ B(E),λ为一复数.
IF λ为 T 的特征值,T 对应与λ的全部特征值及零元素组成 E 的一个闭子 空间,称为对应于λ的特征向量空间,此空间的维数为λ的重复度;
界逆算子时,(T-1)*=(T*)-1. 定义:
T∈ B(E),λ为一复数.
IF λI-T 有有界逆算子,则λ为 T 的正则值,正则值的全体是正则集 ρ (T).R(λ,T)表示λI-T 的有界逆算子(λI-T)-1,并称为 T 的预解式或预解算子;
IF λ不是 T 的正则值,则λ为 T 的谱点,谱点的全体是谱σ(T). σ(T)分为以下三种:
λ是 T 的正则值,则对 ∀μ是复数,|μ-λ|<||(λI-T)-1||-1时μ也是 T 的
正则值,且:
∑ (µI − T )−1 =
∞ n=
0
(
−1)
n
(
µ
−
n
λ ) (λI
−
T
)− (n+1)
|| (µI - T)-1 - (λI - T)-1 ||≤ | µ - λ ||| (λI - T)-1 || 2 1− | µ - λ ||| (λI - T)-1 ||
有界线性算子 T 将 B 空间 E 映入 B 空间 E1,则 T 的值域或者是 E1 或者是 E1 中第一类集。 逆算子定理:
有界线性算子 T 将 B 空间 E 映射成 B 空间 E1 中的某个第二类集 F,且 T 是单 射,则 T 存在有界逆算子。 推论:
(E,||||1)(E,||||2)为 B 空间,IF ∃K>0,ST, ∀x∈E,||x||1≤K||x||2,
巴拿赫空间上的有界线性算子(一):

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

度量空间:把距离概念抽象化,对某些一般的集合引进点和点之间的距离,使之成为距离空间,这将是深入研究极限过程的一个有效步骤。
泛函分析中要处理的度量空间,是带有某些代数结构的度量空间,例如赋范线性空间,就是一种带有线性结构的度量空间。
一、度量空间的进一步例子1、度量空间设x 是一个集合,若对于x 中任意两个元素x,y ,都有唯一确定的实数d(x,y)与之对应,而且这一对应关系满足下列条件:1° 的充要条件为x=y2° 对任意的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 tg 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 x2、收敛点列在具体空间中的意义(1)n 维欧式空间中:为 中的点列,即: 按欧式距离收敛于x 的充要条件是 依坐标收敛于(2)序列空间S 中:为 S 中的点列,(3)C[a,b]空间设 及X 分别为C[a,b] 中的点列及点,(4)可测函数空间M(X)设 及 f 分别为可测函数空间中的点列及点,3、稠密集,可分空间(1)设X 是度量空间,E 和M 是X 中的两个子集,令 表示M 的闭包,如果 ,那么称集M 在集E 中稠密。
(完整)泛函分析知识总结,推荐文档

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

《泛函分析》复习与总结第一部分 空间及其性质泛函分析的主要内容分为空间和算子两大部分. 空间包括泛函分析所学过的各种抽象空间, 函数空间, 向量空间等, 也包括空间的性质, 例如完备性, 紧性, 线性性质, 空间中集合的各种性质等等。
以下几点是对第一部分内容的归纳和总结。
一.空间(1)距离空间 (集合+距离)!验证距离的三个条件:(,)X ρ称为是距离空间,如果对于,,x y z X ∈(i) 【非负性】(,)0x y ρ≥,并且(,)0x y ρ=当且仅当x y =【正定性】;(ii) 【对称性】(,)(,)x y y x ρρ=;(iii) 【三角不等式】(,)(,)(,)x y x y y z ρρρ≤+。
距离空间的典型代表:s 空间、S 空间、所有的赋范线性空间、所有的内积空间。
(2)赋范线性空间 (线性空间 + 范数)!验证范数的三个条件:(,||||)X ⋅称为是赋范线性空间,如果X是数域K =¡(或K =£)上的线性空间,对于a K ∈和,x y X ∈,成立(i) 【非负性】||||0x ≥,并且||||0x =当且仅当0x =【正定性】; (ii) 【齐次性】||||||||||ax a x =⋅;(iii) 【三角不等式】||||||||||||x y x y +≤+。
赋范线性空间的典型代表:n ¡空间(1,2,3,n =L )、n £空间(1,2,3,n =L )、p l 空间(1p ≤≤∞)、([,])p L ab 空间(1p ≤≤∞)、[,]Cab 空间、[,]k C a b 空间、Banach 空间、所有的内积空间(范数是由内积导出的范数)。
(3)内积空间 (线性空间 + 内积)!验证内积的四个条件:(,(,))X ⋅⋅称为是内积空间,如果X 是数域K =¡(或K =£)上的线性空间,对于a K ∈和,,x y z X ∈,成立(i) 【非负性】(,)0x x ≥,并且(,)0x x =当且仅当0x =【正定性】;(ii) 【第一变元可加性】(,)(,)(,)x y z x z x z +=+;(iii) 【第一变元齐次性】(,)(,)ax z a x z =;(iv) 【共轭对称性】(,)(,)x z z x =。
《泛函分析》作业答案汇总(修改)

《泛函分析》作业1、对,x y R ∀∈,令21(,)()d x y x y =-,2(,)d x y =,问1(,)d x y ,2(,)d x y 是度量空间吗?2、)(2E L 表可测集E 的平方L e b e s g u 可积函数,2,()x y L E ∀∈令{}122(,)()()Ed x y x t y t dt=-⎰,证明2((),)L E d 是度量空间。
3、S 表示所有数列组成的集, S y x ∈∀,,}{},{i i y y x x ==,令||1||21),(1i i i i i iy x y x y x d -+-=∑∞=,则S 是度量空间。
4、}|{122∞<=∑∞=i i i x x l ,2,l y x ∈∀,2121})({),(i i i y x y x d -=∑∞=,证明),(2d l 是度量空间。
5、度量空间的收敛点列是有界的。
6、设),(2d R 是度量空间,,n x y R ∈,1(,)n x x x = ,1(,)n y y y = ,||max ),(1i i ni y x y x d -=≤≤,{}()(,),(1,2,)m n x R d m ⊂= ,()1(,)m m m n x x x = ,),....,()0()0(1)0(n x x x=,(,)n x R d ∈,,证明()()(1)m x x m i i x →→∞⇔∀≤≤,()()m ii x x m →→∞。
7、证明,0),,(,0>∃∈∀r r x s x 使),(),(0,0r x s r x s ⊂。
8、证明:,),(,0O ≠⋂>∀⇔∈-A x s A x εε用此结论证,AB A B = 。
9、证明(1)任意闭集交是闭集。
(2)有限个闭集的并是闭集。
10、证明开球是开集,闭球是闭集。
11、设(,)X d 是度量空间,A B C X ⊆,,,若B 在A 中稠密,C 在B 中稠密,,证明C 在A 中稠密。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
于 T ∈ B(E,E1) 的 充 要 条 件 是 {Tn} 一 致 有 界 && ∃ E 的 某 稠 密 子 集 G , ST, ∀x∈G,{Tnx}在 E1 中收敛(当两个条件同时满足时,||T||≤Lim||Tn||)。
λ是 T 的正则值,则对 ∀μ是复数,|μ-λ|<||(λI-T)-1||-1时μ也是 T 的
正则值,且:
∑ (µI − T )−1 =
∞ n=
0
(
−1)
n
(
µ
−
n
λ ) (λI
−
T
)− (n+1)
|| (µI - T)-1 - (λI - T)-1 ||≤ | µ - λ ||| (λI - T)-1 || 2 1− | µ - λ ||| (λI - T)-1 ||
(1)x∈G 时,F0(x)=f(x)
(2)||F0||=||f||G,
推论:
G 是赋范线性空间 E 的子空间,x0∈E,IF ρ(x0,G)=inf||x0-x||=δ>0,则 ∃E 上的有界线性泛函 f,ST,||f||=1/δ,f(x0)=1,&&f(x)=0(x∈G)
G 是赋范线性空间 E 的子空间,x0∈E,IF ρ(x0,G)=inf||x0-x||=δ>0,则 ∃E 上的有界线性泛函 f1,ST,||f1||=1,f1(x0)=δ,&&f1(x)=0(x∈ G)
定理: E,E1 是实赋范线性空间,T 是由 E 的子空间 D 到 E1 中的连续可加算子,则
T 满足齐次性,因此 T 是连续线性算子。 E,E1 是赋范线性空间,T 是由 E 的子空间 D 到 E1 中的线性算子,则 T 有界
的充要条件是 ∃M>0,ST, ∀x∈D,||Tx||≤M||x||。
E,E1 是赋范线性空间,T 是由 E 的子空间 D 到 E1 中的线性算子,IF T 在
Banach 空间的有界线性算子
定义:
E 及 E1 都是实的线性空间,T:D ⊂ E→F ⊂ E1,IF, ∀ x,y∈ D,T(x+y)=Tx+Ty, 则 T 是可加的,IF ∀ 实数α&&x∈ D,有 T(αx)=αTx,则 T 是齐次的。可加齐次的
映射称为线性映射或线性算子。 T 是连续的,则 T 为连续线性算子。 IF T 将 是无界的
定义:
E 为赋范线性空间,E*的序列{fn}弱*收敛于 f0∈ E*,指 ∀ x∈ E,fn(x)→
f0(x) 定理:
E 是 B 空间,{fn}是 E 上的一个有界线性泛函序列,则{fn}弱*收敛于某
个 f∈E*的充要条件是:
(1){fn}一致有界 (2)对 E 的某个稠密子集 G 中的每个 x,{fn(x)}收敛
定理: E,E1 是赋范线性空间,在 B(E,E1)中定义线性运算: (T1+T2)x=T1x+T2x.(αT)x=α(Tx)则 B(E,E1)是一赋范线性空间。
定义: 称 B(E,E1)为线性算子空间,B(E)称为定义在 E 上的有界线性算子。
T,Tn∈B(E,E1),IF Lim||Tn-T||=0,则{Tn}按算子范数(一致算子拓扑)
则||||1 与||||2 等价,所以(E,||||1)(E,||||2)拓扑同构
定理: E,E1 是赋范线性空间,T 是 E 的子空间 D 到 E1 的线性算子,则 T 为闭算子
充要条件是 ∀{xn} ⊂ D,IF {xn}{Txn}在 E,E1 中分别收敛于 x,y,则 x∈D&&Tx=y
闭图像定理: T 是 B 空间 E 到 B 空间 E1 的闭算子,则 T 有界。
赋范线性空间 E 是可分的,则由 E 上的 ∀一致有界的线性泛函序列中,必可
取出一个弱*收敛的子序列。
定义:
E 是赋范线性空间,{xn} ⊂ E,x0∈ E,IF ∀ f∈ E*,Limf(xn)=f(x0),则{xn}
弱收敛于 x0
定理:
T∈ B(E,E1),则 T 有有界逆算子的充要条件是 T*有有界逆算子,且当 T 有有
收敛于 T 定理:
Tn,T∈ B(E,E1),{Tn}按一致算子拓扑收敛于 T 的充要条件是{Tn}在任意
有界集上一致收敛于 T E1 是 B 空间,则 B(E,E1)也是 B 空间。
定义:
T,Tn∈ B(E,E1),IF ∀ x∈ E,Lim||Tnx-Tx||=0,则{Tn}强(强算子拓扑)收
敛于 T
E 是具有基的 B 空间,T∈ B(E)则 T 为紧算子的充要条件是存在一列有限秩
算子 Tk,ST,Lim||T-Tk||=0 T 是 E 上的紧算子,λ≠0,则λI-T 的值域是 E 的闭子空间 T 是 E 上的紧算子,则:
∀y∈E,复数λ≠0,(λI-T)x=y 有解的充要条件是 y 与λI*-T*的零
某点 x0∈ D 连续,则 T 在 D 连续。
E,E1 是赋范线性空间,T 是由 E 的子空间 D 到 E1 中的线性算子,则 T 连续 的充要条件是 T 有界。
定义: E,E1 是赋范线性空间,T 是由 E 的子空间 D 到 E1 中的线性算子。ST ||Tx||
≤M||x||对 ∀x∈D 都成立的整数 M 的下确界为 T 的范数,记||T||.
E 是赋范线性空间,A ⊂ E 是准紧集,{fn}是 E 上一致有界线性泛函列, IF ∀x∈A,{fn(x)}收敛,则{fn}在 A 一致收敛
定理:
E,E1 是赋范线性空间,T∈ B(E,E1)是紧算子,则 T*∈ B(E1*,E*)也是紧算
子
E 是具有基的 B 空间,A 为 E 的子集,则 A 准紧的充要条件是:A 有界&& ∀ε》 0, ∃K>0,ST,k>K 时||Rkx||<ε对 ∀x∈A 同时成立
界逆算子时,(T-1)*=(T*)-1. 定义:
T∈ B(E),λ为一复数.
IF λI-T 有有界逆算子,则λ为 T 的正则值,正则值的全体是正则集 ρ (T).R(λ,T)表示λI-T 的有界逆算子(λI-T)-1,并称为 T 的预解式或预解算子;
IF λ不是 T 的正则值,则λ为 T 的谱点,谱点的全体是谱σ(T). σ(T)分为以下三种:
特征值(点谱)、只有零解(连续谱、剩余谱) 值域是 E 的真子空间,且在 E 稠密,称为连续谱 值域之闭包是 E 的真子空间,称为剩余谱 定理:
T∈ B(E),λ为一复数.
IF λ为 T 的特征值,T 对应与λ的全部特征值及零元素组成 E 的一个闭子 空间,称为对应于λ的特征向量空间,此空间的维数为λ的重复度;
E 是赋范线性空间,E≠{0},则 ∀ x0∈ E,x0≠0, ∃E 上的有界线性泛函
f,ST,||f||=1,f(x0)=||x0||
定义: E 上的有界线性泛函的全体按它的线性运算及范数构成的赋范线性空称为 E
的对偶空间或共轭空间,记 E*=B(E,K),||f||=sup|f(x)|/||x|| 定理:
T∈ B(E,E1),若 T 是紧算子,则 T 将 E 中弱收敛点列映射成 E1 中按范数收
敛的点列
T∈B(E,E1),若 T 是紧算子,则 T 的值域可分 赋范线性空间 E、B 空间 E1,IF 紧算子列{Tn} ⊂ B(E,E1)按一致算子拓扑 收敛于 T∈B(E,E1),则 T 也是紧算子
赋范线性空间 E、B 空间 E1,则由 E 到 E1 的全部紧算子组成的集按算子的 线性运算及算子的范数是 B(E,E1)的闭子空间,因此它本身也是 B 空间 引理:
有界线性算子 T 将 B 空间 E 映入 B 空间 E1,则 T 的值域或者是 E1 或者是 E1 中第一类集。 逆算子定理:
有界线性算子 T 将 B 空间 E 映射成 B 空间 E1 中的某个第二类集 F,且 T 是单 射,则 T 存在有界逆算子。 推论:
(E,||||1)(E,||||2)为 B 空间,IF ∃K>0,ST, ∀x∈E,||x||1≤K||x||2,
引理:
设 f 是复赋范线性空间 E 上的有界线性泛函,令φ(x)=Ref(x)(x∈E),则φ
是 E 上的实有界线性泛函&&f(x)=φ(x)-iφ(ix) 定理:
G 是赋范线性空间 E 的子空间,f 是定义在 G 上的有界线性泛函,则 f 可以 延拓到整个 E,且保持范数不变,即存在定义于 E 上的有界线性泛函 F0,ST:
集映成 E1 中的准紧集,则 T 为紧算子或全连续算子 定理:
T∈B(E,E1),S∈B(E1,E2),E、E1、E2 都是赋范线性空间,IF T,S 中有一
个是紧算子,则 ST 也是紧算子 推论:
赋范线性空间 E、E1 中至少有一个是无限维的,T∈B(E,E1)是紧算子,则 T
不可能存在有界逆算子 定理:
定理: 对 B 空间 E,成立: (a) B(E)中可逆算子的全体是 B(E)中的开集
(b) ∀T∈B(E),ρ(T)是复平面的开集,σ(T)是复平面的有界闭集
(c) R(,T)作为定义在ρ(T)上的算子值函数是解析的
(d) 设 E 含有非零元素,则 ∀ T∈ B(E),σ(T)非空
定义:
T∈B(E),称 rT
定义:
E 为线性空间,p 为定义于 E 的泛函,IF ∀x,y∈E,p(x+y)≤p(x)+p(y),则 p 为次可加的,IF ∀ α≥0&& ∀x∈ E,p(αx)=αp(x),则 p 为正齐次的
共鸣定理: {Tα}为定义于 B 空间 E 上值域包含在赋范线性空间 E1 的有界线性算子族,