一、线性算子
是线性空间
满足对于任意的
对于任意的
,则
并且
- 其中:定义域
是
的线性子空间。
- 值域
是
的线性子空间。
二、闭算子
闭算子是泛函分析中的一个关键概念,用于研究无限维空间中的线性算子。闭算子的定义与算子的图像(graph)密切相关。
- 定义:设
和
是巴拿赫空间(Banach spaces),
是一个线性算子,其中
是
的定义域,且
。我们称
是一个闭算子,如果它的图像(graph)在
中是闭的。
具体来说, 的图像定义为:
如果 在
中是闭集,则称
是闭算子。
等价定义:一个线性算子
是闭算子,当且仅当对于任意序列
,如果
在
中收敛,且
在
中收敛,那么
且
。
闭算子的例子
微分算子:考虑
,定义微分算子
为
,其中
。这个微分算子是一个闭算子。
有界线性算子:任何有界线性算子(即连续线性算子)都是闭算子。因为有界线性算子的图像在
中是闭的。
- 闭算子的性质
-
闭图像定理:如果
是一个闭算子,并且
是闭的,那么
是有界的(即连续的)。这个定理在巴拿赫空间中成立。
- 闭算子的延拓:闭算子可以通过闭包来延拓,使其成为更大的闭算子。
- 应用:闭算子在研究偏微分方程、量子力学中的算子理论以及泛函分析的其他领域中具有重要应用。例如,在量子力学中,哈密顿算子(Hamiltonian)通常是一个闭算子。
- 连续线性算子的闭延拓后一定是闭算子。
三、算子的图
在泛函分析中,算子的图(Graph of an Operator)是一个重要的概念,它用于描述算子的定义域和值域之间的关系。具体来说,对于一个线性算子 ,其中
和
是巴拿赫空间,
是
的定义域,算子
的图定义为:
这个集合 是
的一个子集【子空间】,它包含了所有
对,其中
是
的定义域中的元素,而
是
在
处的值。
- 如果
是闭算子:等价于,它的图是
中的闭集。
- 如果
是闭算子,
是单射,可以得到
是闭算子。
- 如果
是闭算子,那么
是闭集。
定理四:闭图像定理
定义在闭集上的闭算子是有界的(连续)。
① 等价范数定理
等价范数定理是泛函分析中的一个基本定理,它提供了在巴拿赫空间中判断两个范数是否等价的一个重要标准。该定理表明,如果两个范数在同一个向量空间上诱导出相同的拓扑,那么这两个范数是等价的。
②等价范数定理的陈述
设 是一个向量空间,
和
是
上的两个范数。如果
和
是两个巴拿赫空间,并且它们的拓扑相同,那么
和
是等价的。即存在正常数
和
,使得对于所有
,有
*注记:我们一般只关心的是闭无界算子,从而不是闭的。进而我们只关心稠定时的闭无界算子。
定理五:
是闭算子,单射,则
是闭的等价于
是有界算子。
例六:微分算子的无界性
在上,
是微分算子,
是无界算子
举例:令可以用这个序列证明微分算子的无界性。
定义七;可闭算子
设 是定义在Banach空间
到
的线性算子,其定义域
在
中稠密(或不要求稠密,取决于具体文献)。
若 的图像(Graph)的闭包
仍是一个算子的图像(即不存在多值性),则称
是可闭的。
此时,存在唯一的闭算子 ,称为
的闭包,满足:
定理八:可闭合算子的判定
判断可闭性的核心条件是:
- 若对任意序列
,当
且
,必有
。
这意味着在定义域的极限点处,算子的行为是“一致”的,不会出现矛盾的值。
例九(可闭算子)
设 ,定义算子
。
定义域 。
(1) 是无界算子。
定义 。
其中 ,且
。
(2) 不是闭算子。
选
(3)A是可闭算子
(4)就是广义导数