1. 引言
多值线性算子和单值线性算子统称为线性关系或者乘积空间中的线性子空间,故线性关系可看作线性算子在多值情形下的推广,它是von Neumann J.在研究非稠定微分算子的共轭时首次引入的(见文[1])。线性关系矩阵是指以线性关系为元素的矩阵,简称关系矩阵。设
是Banach空间
上的有界线性关系,如果存在
的两个闭子空间
和
使得
,则
上的任意有界线性关系
可写为如下形式的
关系矩阵
其中
是从
到
的有界线性关系,
。若
是
的非平凡不变子空间,则有
,显然,此时
可分解为上三角形式。在关系矩阵中,若一些元素已知,而其他元素未知,则称其为缺项关系矩阵。
近年来,关系矩阵的谱补问题一直是比较活跃的研究课题。2014年,文[2]在Banach空间中利用因式分解法刻画了二阶关系矩阵的本质谱。2015年,文[3]在Banach空间研究了三阶上三角关系矩阵的六类本质谱与其对角元之间的联系,其中除过对角线元素都是单值的。2016年,文[4]在一定条件下讨论了三阶关系矩阵的闭性及其Fredholm性。同年,文[5]在Banach刻画了二阶关系矩阵的闭性及可闭性,并研究了其本质谱的稳定性。2017年,Ammar A.、Jeribi A.和Saadaoui B.在文[6]中研究了Banach空间关系矩阵的Frobenius-Schur因式分解,刻画了二阶关系矩阵的本质谱。2018年,文[7]在Banach空间给出了关系理论中本质伪谱的定义并利用因式分解法刻画了二阶关系矩阵的本质伪谱。
在算子理论中,对算子矩阵谱的研究相对较成熟。显然,对Hilbert空间中上三角算子矩阵有
2003年,Eibjaoui H.和Zerouali E.H.利用局部谱理论在文[8]中讨论了
与
的差集问题,得到
.
此外,还有学者得到了上三角算子矩阵的本质谱、Weyl谱、本质近似点谱和近似点谱等谱由其对角元的相应谱的并集刻画的结论。文[9]-[11]在Hilbert空间上用二阶上三角关系矩阵中内部元的性质刻画了关系矩阵的谱、点谱、本质谱、Weyl谱、本质近似点谱等。另外,发现在算子理论中有
成立,其中
,然而在线性关系理论中上述包含关系不成立,进而研究了在线性关系理论中上述包含关系成立的充分必要条件。本文在算子矩阵谱的研究基础上,继续研究Hilbert空间上三阶上三角缺项关系矩阵的本质谱包含关系。
2. 预备知识
下面给出本文涉及的定义引理。
定义2.1 [12]设
和
是可分的Hilbert空间,关系
是一个映射,它将非空子集
中的元素映为
的某个非空子集。若关系
满足对任意的
及不全为零的标量
都有
,则称
为线性关系。显然,线性关系
的定义域
是
的线性子空间。
注 若线性关系
将其定义域中的每一点都映成单点集,则称
是单值线性关系或算子,显然,
为单值线性关系当且仅当
。
定义2.2 [12]记
为所有从
到
且定义域为全空间
的线性关系,并记
。分别将所有从
到
的有界算子和闭算子组成的集合记为
,
。设
,
和
分别为
的值域和零空间另外,记
,
。若
和
之一有限,则定义
的指标为
。
定义2.3 [12]设
为从
到
的商映射,则
是单值的。对任意的
,定义
,且定义
的范数为
。
定义2.4 [12]若
且
,则称
是有界线性关系。
定义2.5 [12]设
且ran
是闭的。
i) 若
,则称
是左Fredholm关系;
ii) 若
,则称
是右Fredholm关系;
iii) 若
且
,则称
是Fredholm关系。
定义2.6 [12]设
是左Fredholm关系,即左或右Fredholm关系。
i) 若
,则称
是左Weyl关系;
ii) 若
,则称
是右Weyl关系;
iii) 若
,则称
是Weyl关系。
线性关系
的左本质谱
、右本质谱
、本质谱
、本质近似点谱(左Weyl谱)
、右Weyl谱
、Weyl谱
分别被定义为
引理2.1 [10]设
,则
i) 若
连续,并且
和
都是闭的,则
是闭的;
ii)
闭当且仅当
闭且
是闭的。
引理2.2 [13]设
。若
是闭的,则
是闭的。
引理2.3 [2]设
,则
i)
是左Fredholm关系当且仅当
是左Fredholm关系,且
;
ii)
是右Fredholm关系当且仅当
是右Fredholm关系,且
。
引理2.4 [3]设
,
,
,
,
,
为给定关系,则
引理2.5 [3]设
,
,
,
,
,
为给定关系,则
是闭的当且仅当
和
都是闭的。
引理2.6 [9]设
,则
,其中
。
引理2.7 [12]设
是一个线性空间,
是闭子空间且
,则
。
3. 主要结果及证明
定理3.1 设
,
,
,
,
,
为给定关系,则
i)
;
ii)
;
iii)
。
证明 先证(i)成立。设
,只需证
,即
是Fredholm关系。显然,
,
和
都是Fredholm关系,则
和
都是闭的,这意味着
是闭的。由引理2.3和引理2.5,只需证明
是Fredholm关系。根据引理2.4,
并且
是单值关系。显然,
因此
是有界的单值关系。类似地,
,
也是有界的单值关系。同理,
因此
是有界的单值关系。类似地,
也是有界的单值关系。注意到
是有界的,则由引理2.6,只需分别证明
均是Fredholm关系。显然
的Fredholm性蕴含
是Fredholm关系。
下证
是Fredholm关系。易知dom
,结合
的有界性可知
是闭的。因为
是Fredholm关系且
所以
因为
所以
观察到
是Fredholm关系,则
和
均闭,结合引理2.7可知
因此
,进而
是Fredholm关系。
同理,下证
是Fredholm关系。易知
,dom
,结合
的有界性可知
是闭的。因为
是Fredholm关系且
所以
因为
所以
观察到
是Fredholm关系,则
和
均闭,结合引理2.7可知
因此
,进而
是Fredholm关系。
由(i)的证明易知(ii)是成立的。对(iii),设
,只需证
,即
是左Weyl关系。由(i)的证明,只需分别证明
和
是闭的。下证
是闭的。由上述证明可知
因为
闭,所以
与
的闭性等价。注意到
,则
是闭的,结合
,可得
是闭的。同理,下证
是闭的。由上述证明可知
因为
闭,所以
与
的闭性等价。注意到
,则
是闭的,结合
可得
是闭的。
推论3.1 设
,
,
,
,
,
为给定关系,则
i) 若
,
和
都是Fredholm关系,则
是Fredholm关系;
ii) 若
,
和
都是Weyl关系,则
是Weyl关系;
iii) 若
,
和
都是左Weyl关系,则
是左Weyl关系。
定理3.2 设
,
,
,
,
,
为给定关系,且
和
均闭,则
i)
;
ii)
;
iii)
。
其中
证明 先证(i)成立。设
,只需证
,即
是Fredholm关系。显然,
,
和
都是Fredholm关系且
,易知
和
都是闭的,这意味着
是闭的,由引理2.3和引理2.5,只需证明
是Fredholm关系。根据引理2.4,
由定理3.1可知,只需证
和
均是Fredholm关系。
下证
是Fredholm关系。一方面
所以
另一方面,
所以
进而
和
均是Fredholm关系。
定理3.3 设
,
,
,
,
,
为给定关系,且
和
均闭,则
i)
当且仅当
ii)
当且仅当
iii)
当且仅当
其中
是定理2.2中定义的集合且
证明 由定理2.2可得(i),(ii)的充分性成立,下面分别证明它们的必要性。对(i),设
,只需证明
,即
因为
,所以
。应用引理2.3,
是Fredholm关系,则由引理2.4可得
,
都是左Fredholm关系,所以
,进而
,
。
对(ii),设
,只需证明
,即
,
。显然,
。应用引理2.4,
,
是Weyl关系。根据定理3.1有
进而
故根据定理2.1的证明,
因此。
。
对(iii),先证其充分性。设
,则
都是左Weyl关系且
由引理2.2,
是左Fredholm关系。因为
都是左Weyl关系且
所以
。由定理3.1的证明,
进而
蕴含着
都是左Fredholm关系。注意到
是左Fredholm关系且
,应用定理3.1,
是左Fredholm关系,且
显然,
是左Fredholm关系,因此
,
这意味着
。反过来,设
。如果
,则
。易知
都是左Fredholm关系,因此
另外,易知
是左Fredholm关系,结合
,可得
根据定理3.1的证明可得
,因此,
推论3.2 设
,
,
,
,
,
为给定关系,且
,则
i)
;
ii)
;
iii)
。
推论3.3 设
,
,
,
,
,
为给定关系,且
,则
i) 若
和
都是Fredholm关系,则
是Fredholm关系;
ii) 若
和
都是Weyl关系,则
是Weyl关系;
iii) 若
和
都是左Weyl关系,则
是左Weyl关系。
例子3.1 设
均为Fredholm关系,对任意
,令
且
。显然,
,故
不是Fredholm关系。
这意味着即使
,
,
,
,
,
均为Fredholm关系,
也不一定是Fredholm关系,因此上三角关系矩阵
的Fredholm性与关系
的多值部分
有关。