偏序群Ｓ上Ｓ－偏序系的内射包

张霞; 徐彦涛

doi:10.6054/j.jscnun.2014.06.102

摘要: 幺半群

$S$ 上的每个

$S$ -系都存在, 并且在同构意义下具有唯一的内射包(\cite{Berthiaume}). 偏序幺半群

$S$ 上的

$S$ -偏序系是

$S$ -系理论的推广. 设

$S$ 是一个偏序群. 应用

$S$ -系理论及序理论的方法, 讨论了

$S$ -偏序系范畴的内射元, 得出每个

$S$ -偏序系

$A_S$ 都存在唯一的内射包, 并具体构造了

$A_S$ 的内射包. 在此基础上, 进一步得出

$A_S$ 的内射包既是

$A$ 的极小内射扩张, 又是

$A$ 的极大本质扩张.

关键词:

偏序群 /
偏序系 /
内射 /
内射包

Abstract: An

$S$ -poset is a generalization of an

$S$ -act for a pomonoid

$S$ . Let

$S$ be a pogroup. In this work, by using

$S$ -act theory and partially order theory, injectives in the category of

$S$ -posets are studied. It is obtained that for any

$S$ -poset

$A_S$ ,

$A_S$ admits an injective hull, which is unique up to isomorphism. Furthermore, the injective hull of

$A_S$ is necessarily a minimal injective extension and a maximal essential extension of

$A$ , and vice versa.

Keywords:

pogroup /
S-poset /
injectivity /
injectivehull

线性算子谱理论问题是泛函分析中的重要内容，在有限维空间中，算子的谱其实就是该算子的所有特征值，即算子的谱为该算子的点谱。而无限维空间中算子的谱是该算子特征值的推广，不仅包括算子的点谱，还包括连续谱与剩余谱。算子谱理论不仅在现代数学、计算数学等数学学科中有着直接的应用(比如求微分方程的特征值问题)，而且在物理学中也有着浓厚的研究背景，比如求物体振动的频率、判定系统的稳定性都与算子的局部谱结构紧密相关。近年来，许多谱理论学者将谱理论应用到量子力学研究中，如：利用谱的特点刻画量子计算的表达方式；根据谱的结构特征刻画量子门的上下确界等问题。因此，算子谱结构的研究对物理学等学科的发展具有重要意义。

1909年，WEYL^[1]发现了Hilbert空间中自伴算子的Weyl谱恰好等于该算子的谱除去有限重的孤立特征值，这一结论被称为Weyl定理。随后，学者们将Weyl定理进行了变型和推广，将Weyl定理变型为Browder定理、(ω)性质等^[2-4]，这些变型的Weyl定理反映了算子局部谱的结构特征，统称为Weyl型定理。如：文献[3]研究了线性算子(ω)性质，刻画了与单值延拓性质有关的局部谱的结构特征；文献[4]研究了线性算子的Browder定理与拓扑一致降标有关的局部谱之间的关系。之后，线性算子的Weyl型定理的研究被推广到算子函数中，如文献[5]研究了算子函数的a-Weyl定理((ω)性质)与线性算子a-Weyl定理((ω)性质)之间的关系。近年来，学者们又将目光聚焦到上三角算子矩阵的局部谱问题上^[6-8]。如：文献[6]研究了上三角算子矩阵的本质逼近点谱与主对角线上元素算子的联系，并且讨论了上三角算子矩阵的Weyl定理与主对角线上元素算子局部谱之间的关系。

关于Weyl型定理的研究还有许多成果^[9-12]，但是，这些研究通常仅讨论某一种Weyl型定理的相关问题。近年来，(R)性质(Weyl定理的一种变型)得到了学者们的广泛关注^[13-15]，本文将对有界线性算子及上三角算子矩阵的Weyl定理和(R)性质的关系进行首次讨论。首先，给出有界线性算子同时满足(R₁)性质和Browder定理(或者(R)性质和Weyl定理)的充要条件；其次，刻画上三角算子矩阵同时满足(R₁)性质和Browder定理(或者(R)性质和Weyl定理)的条件。

1. 预备知识

在本文中， $\mathbb{C}$ 和 $\mathbb{N}$ 分别表示复数集和非负整数集，H和K均为无限维复可分的Hilbert空间， $\mathcal{B}$ (H, K)为K到H的有界线性算子的全体，当K=H时， $\mathcal{B}$ (H, H)简记为 $\mathcal{B}$ (H)。特别地，记I∈ $\mathcal{B}$ (H)为H到H的恒等算子。令T ∈ $\mathcal{B}$ (H, K)，用n(T)和d(T)分别表示算子T的零空间N(T)的维数及其值域R(T)的余维数，即n(T)=dim N(T)，d(T)=codim R(T)。算子T的升标和降标分别定义为

$\operatorname{asc}(T)=\inf \left\{n \in \mathbb{N}: N\left(T^n\right)=N\left(T^{n+1}\right)\right\},$

$\operatorname{des}(T)=\inf \left\{n \in \mathbb{N}: R\left(T^n\right)=R\left(T^{n+1}\right)\right\}。$

若这样的整数不存在，则记asc(T)=∞或者des(T)=∞。若R(T)闭且n(T) < ∞，则称T是上半Fredholm算子；特别地，若T为n(T)=0的上半Fredholm算子，则称T为下有界算子。若d(T) < ∞，则称T是下半Fredholm算子；特别地，当d(T)=0时，称T为满算子。若T既是上半Fredholm算子又是下半Fredholm算子，则称T是Fredholm算子。若算子T是半(上半或下半)Fredholm算子，则可以定义T的指标为

$\operatorname{ind}(T)=n(T)-d(T)。$

若T为Fredholm算子且ind(T)=0，则称T为Weyl算子；若T为Weyl算子且升标或降标有限，则称T为Browder算子。易证T是Browder算子当且仅当T为半Fredholm算子且T可逆或者0为T的谱的孤立点。

若集合E⊆ $\mathbb{C}$ ，用iso E、acc E、int E分别表示集合E的孤立点的全体、聚点的全体、内点的全体。若V为H的子空间，记V^⊥为V的正交补空间。下面分别给出线性算子满足Weyl定理、Browder定理、(R)性质及(R₁)性质的定义。

定义1^[1] 设T∈ $\mathcal{B}$ (H)，若σ(T)\σ_w(T)=π₀₀(T)，则称T满足Weyl定理，其中σ(T)为T的谱，σ_w(T)为算子T的Weyl谱，即

$\sigma_{\mathrm{w}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为 Weyl 算子 }\} \text {, }$

并且

$\pi_{00}(T)=\{\lambda \in \text { iso } \sigma(T): 0<n(T-\lambda I)<\infty\} 。$

定义2^[16] 设T∈ $\mathcal{B}$ (H)，若σ(T)\σ_w(T)⊆π₀₀(T)，则称T满足Browder定理。

容易证明：T满足Browder定理当且仅当σ_w(T)=σ_b(T)，其中

$\sigma_{\mathrm{b}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为 Browder 算子 }\} \text { 。 }$

令σ_ab(T)与σ_a(T)分别表示算子T的Browder本质逼近点谱与逼近点谱，其中

$\begin{gathered} \sigma_{\mathrm{ab}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为上半 Fredholm 算子或 } \\ \operatorname{asc}(T-\lambda I)=\infty\}, \end{gathered}$

且

$\sigma_{\mathrm{a}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为下有界算子 }\} \text { 。 }$

易证：λ ∉σ_ab(T)当且仅当T- λI为半Fredholm算子且λ ∈ [isoσ_a(T)∪ρ_a(T)，其中ρ_a(T)= $\mathbb{C}$ \σ_a(T)。

定义3^[13] 设T ∈ $\mathcal{B}$ (H)，若σ_a(T) \σ_ab(T)=π₀₀(T)，则称T满足(R)性质，记作T∈(R)。

定义4^[13] 设T∈ $\mathcal{B}$ (H)，若σ_a(T)\σ_ab(T)⊆π₀₀(T)，则称T满足(R₁)性质，记作T∈(R₁)。

2. Weyl定理与(R)性质的判定

首先，讨论线性算子同时满足(R₁)性质与Browder定理的等价条件。为了方便表达，记

$\sigma_{\mathrm{c}}(T)=\{\lambda \in \mathbb{C}: R(T-\lambda I) \text { 不闭 }\} 。$

值得注意的是，尽管(R₁)性质与Browder定理都是Weyl定理的变形，但两者并没有直接的关系，即(R₁)性质成立并不能推断Browder定理成立；另外，Browder定理成立也不能推断(R₁)性质成立。例如，对于全体2次可和的数列 $\ell$ ²：

$\ell^2=\left\{x=\left\{\xi_k\right\}: \sum\limits_\nolimits{k=1}^{\infty}\left|\xi_k\right|^2<\infty\right\},$

由 $\mathcal{B}$ ( $\ell$ ²)上的前移算子

$L\left(x_1, x_2, x_3, \cdots\right)=\left(0, x_1, x_2, \cdots\right)$

与后移算子

$S\left(x_1, x_2, x_3, \cdots\right)=\left(x_2, x_3, x_4, \cdots\right)$

组成的算子矩阵 $\boldsymbol{D}=\left(\begin{array}{ll} L & 0 \\ 0 & S \end{array}\right)$ ，显然该算子矩阵满足(R₁)性质但不满足Browder定理；再如，由 $\mathcal{B}$ ( $\ell$ ²)上的前移算子L与幂等算子

$P\left(x_1, x_2, x_3, \cdots\right)=\left(0, x_2, x_3, \cdots\right)$

组成的算子矩阵 $\boldsymbol{Q}=\left(\begin{array}{ll} L & 0 \\ 0 & P \end{array}\right)$ ，易证该算子矩阵满足Browder定理但不满足(R₁)性质。

事实上，从上面的例子可以发现：Weyl定理与(R)性质之间也没有直接的关系。下面给出两者同时成立的等价条件。

定理1 设T∈ $\mathcal{B}$ (H)，则T∈(R₁)且满足Browder定理当且仅当

$\begin{gathered} \sigma_{\mathrm{b}}(T)=\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\}\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \sigma_{\mathrm{c}}(T) \cup \\ {\left[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\} \cap \sigma_{\mathrm{w}}(T)\right]_{\circ}} \end{gathered}$

(1)

证明 (充分性)由于

$\begin{gathered} \sigma_{\mathrm{b}}(T)=\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\}\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \sigma_{\mathrm{c}}(T) \cup \\ {\left[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\} \cap \sigma_{\mathrm{w}}(T)\right] \subseteq \sigma_{\mathrm{w}}(T), } \end{gathered}$

结合σ_w(T)⊆σ_b(T)无条件成立，于是σ_w(T)=σ_b(T)，即T满足Browder定理。

对于(R₁)性质，易证

$\begin{gathered} {\left[\sigma_{\mathrm{a}}(T) \backslash \sigma_{\mathrm{ab}}(T)\right] \cap\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant\right.} \\ d(T-\lambda I)\}]=\varnothing_{\circ} \end{gathered}$

另外，

$\begin{aligned} & \left\{\sigma_{\mathrm{c}}(T) \cup\{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\right. \\ & \left.\quad\left[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\} \cap \sigma_{\mathrm{w}}(T)\right]\right\} \cap \\ & {\left[\sigma_{\mathrm{a}}(T) \backslash \sigma_{\mathrm{ab}}(T)\right]=\varnothing_{\circ}} \end{aligned}$

于是 $\left[\sigma_{\mathrm{a}}(T) \backslash \sigma_{\mathrm{ab}}(T)\right] \cap \sigma_{\mathrm{b}}(T)=\varnothing$ ，即 $\left[\sigma_{\mathrm{a}}(T) \backslash\right.\$\left.\sigma_{\mathrm{ab}}(T)\right] \subseteq\left[\sigma(T) \backslash \sigma_{\mathrm{b}}(T)\right] \subseteq \pi_{00}(T)$ ，因此T∈(R₁)。

(必要性)只需要证明

$\begin{gathered} \sigma_{\mathrm{b}}(T) \subseteq\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\}\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \sigma_{\mathrm{c}}(T) \cup \\ {\left[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\} \cap \sigma_{\mathrm{w}}(T)\right]_。} \end{gathered}$

设

$\begin{gathered} \lambda_0 \notin\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\}\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \sigma_{\mathrm{c}}(T) \cup \\ {\left[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\} \cap \sigma_{\mathrm{w}}(T)\right]_{\circ}} \end{gathered}$

不妨设λ₀∈σ(T)，于是n(T- λ₀I) > 0且R(T- λ₀I)为闭集。可以断言：λ₀∉σ_w(T)。事实上，若λ₀∈σ_w(T)，则

$\begin{gathered} \lambda_0 \notin[\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\} \cup \\ \quad \operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}], \end{gathered}$

从而n(T-λ₀I) < d(T-λ₀I), 且当0 < |λ - λ₀|充分小时, asc(T-λI < ∞)。结合n(T-λ₀I) > 0且R(T-λ₀I)闭可知，此时T-λ₀I为上半Fredholm算子。根据半Fredholm算子的摄动定理知: 当0 < |λ - λ₀|充分小时，T-λI为上半Fredholm算子且

$N(T-\lambda I) \subseteq \bigcap\limits_{n=1}^{\infty} R\left((T-\lambda I)^n\right)。$

由于asc(T-λI) < ∞，于是由文献[]的引理3.4知： $N(T-\lambda I)=N(T-\lambda I) \cap \bigcap\limits_{n=1}^{\infty} R\left((T-\lambda I)^n\right)=\{0\}$ ，即当0 < |λ - λ₀|充分小时，T-λI为下有界算子，故λ₀∈σ_ab(T)。因此，由T∈(R₁)知T- λ₀I为Browder算子，从而n(T-λ₀I)=d(T-λ₀I)，这与n(T-λ₀I) < d(T-λ₀I)矛盾。综上可知λ₀∉σ_w(T)。由于T满足Browder定理，因此T-λ₀I为Browder算子，即λ₀∉σ_b(T)。证毕。

由定义1至定义4可知：Browder定理与(R₁)性质分别是Weyl定理与(R)性质的前提。因此，在定理1的基础上，下面研究有界线性算子同时满足(R)性质和Weyl定理的等价条件。

定理2 设T∈ $\mathcal{B}$ (H)，则T∈(R)且满足Weyl定理当且仅当

$\begin{gathered} \sigma_{\mathrm{b}}(T)=\left[\sigma_{\mathrm{w}}(T) \cap[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}]\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\{\lambda \in \mathbb{C}: n(T-\lambda I)= \\ \quad \infty\} \cup\left[\operatorname{acc} \sigma(T) \cap \sigma_{\mathrm{c}}(T)\right]_{\circ} \end{gathered}$

(2)

证明充分性。显见式(1)等号的右边包含式(2)等号的右边。另外，在定理1的证明中可知式(1)的右边总包含于σ_b(T)。因此，由定理1知T∈(R₁)且T满足Browder定理。另一方面，由于

$\begin{gathered} \pi_{00}(T) \cap\left\{\left[\sigma_{\mathrm{w}}(T) \cap[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}]\right] \cup\right. \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\{\lambda \in \mathbb{C}: n(T-\lambda I)= \\ \left.\infty\} \cup\left[\operatorname{acc} \sigma(T) \cap \sigma_{\mathrm{c}}(T)\right]\right\}=\varnothing, \end{gathered}$

则π₀₀(T)⊆[σ(T)\σ_b(T)]，于是π₀₀(T)⊆[σ(T)\σ_w(T)]且π₀₀(T)⊆[σ_a(T)\σ_ab(T)]。综上可知T∈(R)且T满足Weyl定理。

必要性。只需证明

$\begin{gathered} \sigma_{\mathrm{b}}(T) \subseteq\left[\sigma_{\mathrm{w}}(T) \cap[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}]\right] \cup \\ \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\{\lambda \in \mathbb{C}: n(T-\lambda I)= \\ \quad \infty\} \cup\left[\operatorname{acc} \sigma(T) \cap \sigma_{\mathrm{c}}(T)\right]_{\circ} \end{gathered}$

由于 $\{\lambda \in \mathbb{C}: n(T-\lambda I)=\infty\} \subseteq\left[\sigma_{\mathrm{w}}(T) \cap\{\lambda \in \mathbb{C}\right. :n(T-\lambda I) \geqslant T(T-\lambda I)\}]$ 且

$\begin{aligned} & {\left[\sigma_w(T) \cap\{\lambda \in \mathbb{C}: n(T-\lambda I) \geqslant d(T-\lambda I)\}\right] \subseteq\left[\sigma_{\mathrm{w}}(T) \cap\right.} \\ & [\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}]] \cup \sigma_{\mathrm{c}}(T) \cup \\ & \{\lambda \in \mathbb{C}: n(T-\lambda I)=\infty\}, \end{aligned}$

故由定理1可知，

$\begin{gathered} \sigma_{\mathrm{b}}(T) \subseteq\left[\sigma_{\mathrm{w}}(T) \cap[\operatorname{acc}\{\lambda \in \mathbb{C}: \operatorname{asc}(T-\lambda I)=\infty\}]\right] \cup \\ \sigma_{\mathrm{e}}(T) \cup\{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \\ \{\lambda \in \mathbb{C}: n(T-\lambda I)=\infty\} 。 \end{gathered}$

(3)

又由T满足Weyl定理知π₀₀(T)=σ(T)\σ_w(T)。

于是

$\begin{gathered} \{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\{\lambda \in \mathbb{C}: n(T-\lambda I)=\infty\} \cup \\ \quad \text { acc } \sigma(T)=\sigma_{\mathrm{b}}(T)_{\circ} \end{gathered}$

(4)

对于任意不属于式(2)的右边的λ₀，有

$\begin{gathered} \lambda_0 \notin\left[\sigma_{\mathrm{w}}(T) \cap[\lambda \in \mathbb{C}: \operatorname{acc}\{(T-\lambda I)=\infty\}]\right] \cup \\ \sigma_{\mathrm{c}}(T) \cup\{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup \\ \{\lambda \in \mathbb{C}: n(T-\lambda I)=\infty\} \end{gathered}$

或者

$\begin{aligned} & \lambda_0 \notin\{\lambda \in \sigma(T): n(T-\lambda I)=0\} \cup\{\lambda \in \mathbb{C}: n(T-\lambda I)= \\ & \infty\} \cup \operatorname{acc} \sigma(T), \end{aligned}$

由式(3)和式(4)可知，不论是哪一种情况，总有λ₀∉σ_b(T)。证毕。

3. 上三角算子矩阵的(R)性质和Weyl定理

设A ∈ $\mathcal{B}$ (H)，B ∈ $\mathcal{B}$ (K)，C ∈ $\mathcal{B}$ (K, H)，用M _C∈ $\mathcal{B}$ (H $\oplus$ K)表示上三角算子矩阵

$\boldsymbol{M}_C=\left(\begin{array}{ll} A & C \\ 0 & B \end{array}\right),$

特别地，C=0时，记作 $\boldsymbol{M}_C=\left(\begin{array}{ll} A & 0 \\ 0 & B \end{array}\right)$ 。通过下面的例子可以看出: 若A, B∈(R₁)且都满足Browder定理，并不能推断M₀∈(R₁)且满足Browder定理。

例1 设L, S, P∈ $\mathcal{B}$ ( $\ell$ ²)定义为：

$\begin{gathered} L\left(x_1, x_2, x_3, \cdots\right)=\left(0, x_1, x_2, x_3, \cdots\right) \\ S\left(x_1, x_2, x_3, \cdots\right)=\left(x_2, x_3, x_4, \cdots\right), \\ P\left(x_1, x_2, x_3, \cdots\right)=\left(0, x_2, x_3, x_4, \cdots\right), \end{gathered}$

令 $\boldsymbol{B}=\left(\begin{array}{cc} S / 4+I / 2 & 0 \\ 0 & P \end{array}\right), \boldsymbol{M}_0=\left(\begin{array}{ll} L & 0 \\ 0 & \boldsymbol{B} \end{array}\right)$ ，则

(1) L∈(R₁)且满足Browder定理；

(2) B∈(R₁)且满足Browder定理；

(3) M₀∉(R₁)且不满足Browder定理。

解 (1)σ(L)=σ_w(L)= { λ ∈ $\mathbb{C}$ : | λ |≤1}，σ_a(L)=σ_ab(L) = { λ ∈ $\mathbb{C}$ : |λ|=1}，π₀₀(L)= Ø，即L∈(R)且满足Weyl定理，于是L ∈(R₁)且满足Browder定理。

(2) σ(B)= σ_a(B) = {λ ∈ $\mathbb{C}$ : |λ -1/2| ≤1/4} ∪{0}，σ_w (B)= σ_ab (B)= {λ ∈ $\mathbb{C}$ : |λ -1/2| ≤1/4}，π₀₀(B)={0}，即B ∈(R)且满足Weyl定理，于是B ∈(R₁)且满足Browder定理。

(3) σ(M₀)= { λ ∈ $\mathbb{C}$ : |λ| ≤1}，σ_w(M₀)={ λ ∈ $\mathbb{C}$ : |λ| ≤1}\{ λ ∈ $\mathbb{C}$ : |λ -1/2| < 1/4}，σ_a(M₀)={ λ ∈ $\mathbb{C}$ : |λ| =1}∪{ λ ∈ $\mathbb{C}$ : |λ -1/2| ≤1/4}∪{0}，σ_ab(M₀)={ λ ∈ $\mathbb{C}$ : |λ| =1}∪{ λ ∈ $\mathbb{C}$ : |λ -1/2| ≤1/4}，π₀₀(M₀)=Ø，于是, M₀∉(R₁)且M₀不满足Browder定理。

下面将刻画上三角算子矩阵同时满足Browder定理和(R₁)性质，或者同时满足Weyl定理和(R)性质的条件。令T∈ $\mathcal{B}$ (H)，用σ_{SF_-}(T)、σ_SF₊(T)分别表示T的下半Fredholm谱、上半Fredholm谱，其中

$\begin{aligned} & \sigma_{\mathrm{SF}_{-}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为下半 Fredholm 算子 }\}, \\ & \sigma_{\mathrm{SF}_{+}}(T)=\{\lambda \in \mathbb{C}: T-\lambda I \text { 不为上半 Fredholm 算子 }\} \text { 。 } \end{aligned}$

定理3 设A∈ $\mathcal{B}$ (H)和B∈ $\mathcal{B}$ (K)，且σ_{SF_-}(A)∩σ_SF₊(B)没有内点。若σ_ea(M₀)=σ_w(M₀)，则对任意C∈ $\mathcal{B}$ (K, H)，M_C∈(R₁)且满足Browder定理当且仅当M₀∈(R₁)且满足Browder定理。

证明当C=0时，显然必要性成立，因此，仅需要证明充分性成立。任给C ∈ $\mathcal{B}$ (K, H)，先证明M_C满足Browder定理。设λ₀∉σ_w(M_C)，则A- λ₀I为上半Fredholm算子，B- λ₀I为下半Fredholm算子。可以断言：d(A- λ₀I) < ∞且n(B- λ₀I) < ∞。若d(A- λ₀I)=n(B- λ₀I)=∞，则根据半Fredholm算子的摄动定理可知：存在ε > 0，使得当| λ - λ₀| < ε时，A- λI均为上半Fredholm算子，B- λI均为下半Fredholm算子且ind(A- λI)=ind(A- λ₀I)=-∞,ind(B- λI)=ind(B- λ₀I)=+∞。于是，当| λ - λ₀| < ε时，有

$d(A-\lambda I)=d\left(A-\lambda_0 I\right)=n(B-\lambda I)=n\left(B-\lambda_0 I\right)=\infty_。$

由此可知λ₀∈int[σ_-(A)∩σ_SF₊(B)]，这与σ_{SF_-}(A)∩ σ_SF₊(B)无内点矛盾。因此，d(A- λ₀I) < ∞且n(B- λ₀I) <∞。此时，A- λ₀I与B- λ₀I均为Fredholm算子且

$\operatorname{ind}\left(A-\lambda_0 I\right)+\operatorname{ind}\left(B-\lambda_0 I\right)=\operatorname{ind}\left(\boldsymbol{M}_C-\lambda_0 \boldsymbol{I}\right)=0$

其中 $\boldsymbol{I}=\left(\begin{array}{ll} I & 0 \\ 0 & I \end{array}\right)$ , 故M₀- λ₀ I为Weyl算子。又由M₀满足Browder定理可知M₀- λ₀ I为Browder算子，于是A- λ₀I与B- λ₀I均为Browder算子，因此M_C- λ₀I为Browder算子。综上可知，任给C ∈ $\mathcal{B}$ (K, H)，σ_w(M_C)=σ_b(M_C)，即M_C满足Browder定理。

对于(R₁)性质，设λ₀∈σ_a(M_C)\σ_ab(M_C)，则A- λ₀I为上半Fredholm算子，n(A- λ₀I)+n(B- λ₀I) > 0且asc(A- λ₀I) < ∞。因此，由半Fredholm算子的摄动定理可知：存在δ > 0，使得0 < | λ - λ₀| < δ时，A- λ I下有界且ind(A- λ I)=ind(A- λ₀I)。此时，若d(A- λ₀I)=∞，则λ₀∈intσ_{SF_-}(A)。由于σ_{SF_-}(A)∩σ_SF₊(B)没有内点，因此，在λ₀的任意小的空心邻域中总存在λ₁, 使得0 < | λ₁- λ₀| < δ且B- λ₁I为上半Fredholm算子。结合A- λ₁I下有界可知：M₀- λ₁I为上半Fredholm算子且

$\operatorname{ind}\left(\boldsymbol{M}_0-\lambda_1 \boldsymbol{I}\right)=\operatorname{ind}\left(A-\lambda_1 I\right)+\operatorname{ind}\left(B-\lambda_1 I\right)=-\infty \text {, }$

即λ₁∉σ_ea(M₀)。又因为σ_ea(M₀)=σ_W(M₀)，所以M₀- λ₁I为Weyl算子，从而A- λ₁I为Fredholm算子，这与ind(A- λ₁I)=ind(A- λ₀I)=-∞矛盾。综上可知d(A- λ₀I) < ∞，故A- λ₀I为Fredholm算子。由文献[14]的定理2.2可知B- λ₀I为上半Fredholm算子，且

$\operatorname{ind}\left(A-\lambda_0 I\right)+\operatorname{ind}\left(B-\lambda_0 I\right)=\operatorname{ind}\left(\boldsymbol{M}_C-\lambda_0 \boldsymbol{I}\right) \leqslant 0_{\circ}$

于是M₀- λ₀ I为上半Fredholm算子且

$\operatorname{ind}\left(\boldsymbol{M}_0-\lambda_0 \boldsymbol{I}\right)=\operatorname{ind}\left(A-\lambda_0 I\right)+\operatorname{ind}\left(B-\lambda_0 I\right) \leqslant 0$ ，即λ₀∉σ_ea(M₀)。由于σ_ea(M₀)=σ_w(M₀)，故M₀- λ₀ I为Weyl算子。又因M₀满足Browder定理，所以M₀- λ₀ I为Browder算子，从而A- λ₀I与B- λ₀I均为Browder算子，故M_C- λ₀ I为Browder算子，即λ₀∈π₀₀(M_C)。综上可知：任给C ∈ $\mathcal{B}$ (K, H)，σ_a(M_C)\σ_ab(M_C)π₀₀(M_C)，即M_C∈(R₁)。证毕。

下面讨论上三角算子矩阵的(R)性质和Weyl定理同时成立的条件，首先给出1个引理：

引理1 设A ∈ $\mathcal{B}$ (H)，B ∈ $\mathcal{B}$ (K)。若n(A) < ∞，dim R(A)^⊥=∞，n(A)+n(B) > 0且0∈iso σ(M₀)，则存在C ∈ $\mathcal{B}$ (K, H)，使得0∈π₀₀(M_C)。

证明若n(B)=0，则0 < n(A) < ∞。取C=0即可。下面假设n(B) > 0。

设e ∈N(B)且满足‖e‖=1。令W=span{ e }，则dimW^⊥=∞=dim R(A) ^⊥。由W^⊥与R(A)^⊥可分且维数相同知存在可逆等距算子T: W ^⊥→R(A) ^⊥。定义算子C ∈ $\mathcal{B}$ (K, H)为：

$\boldsymbol{C}=\left(\begin{array}{ll} T & 0 \\ 0 & 0 \end{array}\right):\left(\begin{array}{c} W^{\perp} \\ W \end{array}\right) \rightarrow\left(\frac{R(A)^{\perp}}{R(A)}\right)。$

断言：N(M_C)= N(A) $\oplus$ W。事实上，设 $\left(\begin{array}{l} \boldsymbol{x} \\ y \end{array}\right) \in N\left(\boldsymbol{M}_C\right)$ ，并设 $\boldsymbol{y}=\boldsymbol{y}_1+\boldsymbol{y}_2$ ，其中 $\boldsymbol{y}_1 \in W^{\perp}, \boldsymbol{y}_2 \in W$ 。则 ${\boldsymbol{Ax+C y=\mathit{\pmb{0}}}}$ 且By = 0。于是 $A \boldsymbol{x}=-\boldsymbol{C y} \in R(A) \cap R(A)^{\perp}=\{\boldsymbol{0}\}$ ，可以看出x∈N(A)。由 ${\boldsymbol{\mathit{\pmb{0}}=C y=C y_1=T y_1}}$ 且T可逆知y₁= 0，于是 $\boldsymbol{y}=\boldsymbol{y}_2 \in W$ , 则 $N\left(\boldsymbol{M}_C\right) \subseteq N(A) \oplus W$ 。由C的定义可知反包含显然成立。故 $N\left(\boldsymbol{M}_C\right)=N(A) \oplus W$ ，可得 $0<n\left(\boldsymbol{M}_C\right)=n(A)+1<\infty$ 。由 $0 \in \text { iso } \sigma\left(\boldsymbol{M}_0\right)$ 知：当0 < n| λ |充分小时，A- λI和B- λI均可逆，从而M _C- λ I可逆，即 $0 \in \text { iso } \sigma\left(\boldsymbol{M}_C\right)$ 。于是 $0 \in \pi_{00}\left(\boldsymbol{M}_C\right)$ 。证毕。

注1 在定理3中的条件下，若M₀∈(R)且满足Weyl定理，并不能推出任给C ∈ $\mathcal{B}$ (K, H)，M_C∈(R)且满足Weyl定理。

例2 设S, E, F∈ $\mathcal{B}$ ( $\ell$ ²)分别定义为：

$\begin{gathered} S\left(x_1, x_2, x_3, \cdots\right)=\left(x_2, x_3, x_4, \cdots\right), \\ E\left(x_1, x_2, x_3, \cdots\right)=\left(0, 0, x_2 / 2, 0, x_3 / 2, \cdots\right), \\ F\left(x_1, x_2, x_3, \cdots\right)=\left(0, 0, x_2 / 2, 0, x_4 / 2, \cdots\right), \end{gathered}$

令 $\boldsymbol{G}=\left(\begin{array}{cc} L & 0 \\ 0 & E-2 I \end{array}\right), J=F+2 I, \boldsymbol{M}_0=\left(\begin{array}{cc} \boldsymbol{G} & 0 \\ 0 & J \end{array}\right)$ ，证明：在定理3中的条件下，M₀∈(R)且满足Weyl定理，但存在算子C ∈ $\mathcal{B}$ ( $\ell$ ²), 使得M_C∉(R)且不满足Weyl定理。

证明显然 $\sigma_{\mathrm{SF}_{-}}(\boldsymbol{G}) \cap \sigma_{\mathrm{SF}_{+}}(J)$ 没有内点，且 $\sigma_{\mathrm{ea}}\left(\boldsymbol{M}_0\right)=\sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)$ 。另外：

(1) $\sigma_{\mathrm{a}}\left(\boldsymbol{M}_0\right)=\sigma_{\mathrm{ab}}\left(\boldsymbol{M}_0\right)=\{\lambda \in \mathbb{C}:|\lambda| \leqslant 1\} \cup\{2\}$ , $\pi_{00}\left(\boldsymbol{M}_0\right)=\varnothing$ ,即 $\boldsymbol{M}_0 \in(R)$ ;

(2) $\sigma\left(\boldsymbol{M}_0\right)=\sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)=\{\lambda \in \mathbb{C}:|\lambda| \leqslant 1\} \cup\{2\}$ , $\pi_{00}\left(\boldsymbol{M}_0\right)=\varnothing$ ,即M₀满足 Weyl 定理。

下证：存在算子C ∈ $\mathcal{B}$ ( $\ell$ ²)，使得M_C∉(R)且不满足Weyl定理。因为 $2 \in \text { iso } \sigma\left(\boldsymbol{M}_0\right)$ ， $n(\boldsymbol{G}-2 \boldsymbol{I})<\infty$ ， $\operatorname{dim} R(\boldsymbol{G}-2 \boldsymbol{I})^{\perp}=\infty, n(J-2 I)>0$ ，所以，由引理1知：存在C ∈ $\mathcal{B}$ ( $\ell$ ²)，使得2 ∈π₀₀(M_C)。但是，G -2 I不为上半Fredholm算子，则 $2 \notin \sigma\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{w}}\left(\boldsymbol{M}_C\right)$ 且 $2 \notin\sigma_{\mathrm{a}}\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{ab}}\left(\boldsymbol{M}_C\right)$ ，故对于C，有M_C∉(R)且不满足Weyl定理。证毕。

下面在“M₀∈(R)且满足Weyl定理”的条件下，给出使得“对任意C ∈ $\mathcal{B}$ (K, H)，M_C∈(R)且满足Weyl定理”成立的条件。

定理4 给定算子A ∈ $\mathcal{B}$ (H)，B∈ $\mathcal{B}$ (K)，设 $\sigma_{\mathrm{SF}_{-}}(A) \cap \sigma_{\mathrm{SF}_{+}}(B)$ 没有内点且 $\sigma_{\mathrm{ea}}\left(\boldsymbol{M}_0\right)=\sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)$ ，若

(1)M₀∈(R)且满足Weyl定理；

(2) $G=\left\{\lambda \in \text { iso } \sigma\left(\boldsymbol{M}_0\right): n(A-\lambda I)<\infty\right.$ , $d(A-\lambda I)=\infty$ , $n(A-\lambda I)+n(B-\lambda I)>0\}=\varnothing$ ,则任给C ∈ $\mathcal{B}$ (K, H)，M_C∈(R)且满足Weyl定理。

证明由定理3的证明可知，只需要证明对任意的C ∈ $\mathcal{B}$ (H)，有 $\pi_{00}\left(\boldsymbol{M}_C\right) \subseteq \sigma\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{b}}\left(\boldsymbol{M}_C\right)$ 。设 $\lambda_0 \in \pi_{00}\left(\boldsymbol{M}_C\right)$ ，则 $0 <n\left(\boldsymbol{M}_C-\lambda_0 \boldsymbol{I}\right) <\infty$ , 且存在ε > 0，使得当 $0 <\left|\lambda-\lambda_0\right| <\varepsilon$ 时, M_C- λ I可逆。于是 $n\left(A-\lambda_0 I\right) <\infty$ ， $n\left(A-\lambda_0 I\right)+n\left(B-\lambda_0 I\right)>0$ ，且当 $0 <\left|\lambda-\lambda_0\right| <\varepsilon$ 时，A- λI为下有界算子，B- λI为满算子，并且 $d(A-\lambda I)=n(B-\lambda I)$ 。类似于定理3的证明过程，利用 $\sigma_{\mathrm{SF}_{-}}(A) \cap\sigma_{\mathrm{SF}_{+}}(B)$ 没有内点的条件，可知 $d(A-\lambda I)=n(B-\lambda I) <\infty$ ，则A- λI和B- λI>均为Fredholm算子，且 $\operatorname{ind}(A-\lambda I)+\operatorname{ind}(B-\lambda I)=\operatorname{ind}\left(\boldsymbol{M}_C-\lambda \boldsymbol{I}\right)=0$ ，从而M₀- λ I为Weyl算子。因为M₀满足Weyl定理，所以M₀- λ I为Browder算子，从而A- λI与B- λI均为Browder算子。结合A- λI为下有界及B- λI为满算子可知，A- λ与B- λI均为可逆算子。于是当 $0 <\left|\lambda-\lambda_0\right| <\varepsilon$ 时，M₀- λ I可逆，即得 $\lambda_0 \in \text { iso } \sigma\left(\boldsymbol{M}_0\right)$ 。

若n(B- λ₀I)=0，则 $0 <n\left(A-\lambda_0 I\right) <\infty$ ，即 $\lambda_0 \in\pi_{00}\left(\boldsymbol{M}_0\right)$ 。由M₀满足Weyl定理知M₀- λ₀ I为Browder算子，则A- λ₀I与B- λ₀I均为Browder算子，故 $\lambda_0 \in \sigma\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{b}}\left(\boldsymbol{M}_C\right)$ 。

若n(B- λ₀I)> 0，则由条件(2)可知d(A- λ₀I) < ∞，即A- λ₀I为Fredholm算子。断言：n(B- λ₀I) < ∞。事实上，若n(B- λ₀I)=∞，则可考虑以下2种情况：

(i) dim C(N(B- λ₀I)) < ∞。此时，一定存在1个线性无关的向量组 $\left\{\boldsymbol{y}_n\right\}_{n=1}^{\infty} \subseteq N\left(B-\lambda_0 I\right)$ ，使得 $C \boldsymbol{y}_n=\mathit{\pmb{0}}(n \geqslant 1)$ 。于是 $\left\{\left(\begin{array}{l} \boldsymbol{0} \\ \boldsymbol{y}_n \end{array}\right)\right\}_{n=1}^{\infty} \subseteq N\left(\boldsymbol{M}_C-\lambda_0 \boldsymbol{I}\right)$ 线性无关，这意味着n(M_C- λ₀I)=∞，得到矛盾。

(ii) dim C(N(B- λ₀I))=∞。此时，由于d(A- λ₀I) < ∞，则 $\operatorname{dim}\left[C\left(N\left(B-\lambda_0 I\right)\right) \cap R\left(A-\lambda_0 I\right)\right]=\infty$ 。于是，存在正交序列 $\left\{\boldsymbol{y}_n\right\}_{n=1}^{\infty} \subseteq N\left(B-\lambda_0 I\right)$ 以及序列 $\left\{\boldsymbol{x}_n\right\}_{n=1}^{\infty} \subseteq H$ ，使得 $\left(A-\lambda_0 I\right) \boldsymbol{x}_n=C \boldsymbol{y}_n \quad(n \geqslant 1)$ 。因此， $\left\{\left(\begin{array}{c} -\boldsymbol{x}_n \\ \boldsymbol{y}_n \end{array}\right)\right\}_{n=1}^{\infty}$ 为N(M₀- λ₀I)中无穷多个线性无关的向量，这就意味着n(M_C- λ₀I)=∞，得到矛盾。

综上可知n(B- λ₀I) < ∞，于是λ₀∈π₀₀(M₀)。又因M₀满足Weyl定理，因此M₀- λ₀I为Browder算子，从而A- λ₀I和B- λ₀I均为Browder算子，故M_C- λ₀I为Browder算子，即 $\lambda_0 \in \sigma\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{b}}\left(\boldsymbol{M}_C\right)$ 。证毕。

注2 在定理4中，条件 $“ \sigma_{\mathrm{ea}}\left(\boldsymbol{M}_0\right)=\sigma_{\mathrm{w}}\left(M_0\right) "$ 是本质的。

例3 设A, S∈ $\mathcal{B}$ ( $\ell$ ²)分别定义为：

$\begin{aligned} & A\left(x_1, x_2, x_3, \cdots\right)=\left(0, 0, x_1, x_2, \cdots\right), \\ & S\left(x_1, x_2, x_3, \cdots\right)=\left(x_2, x_3, x_4, \cdots\right), \end{aligned}$

且 $\boldsymbol{M}_0=\left(\begin{array}{ll} A & 0 \\ 0 & S \end{array}\right)$ ，证明：在定理4的条件下，若 $\sigma_{\mathrm{ea}}\left(\boldsymbol{M}_0\right) \neq \sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)$ ，则存在C∈ $\mathcal{B}$ ( $\ell$ ²)，使得M_C∉(R)。

证明显然 $\sigma_{\mathrm{SF}_{-}}(A) \cap \sigma_{\mathrm{SF}_{+}}(S)$ 无内点，且定理4中的(1)和(2)成立。但是， $\sigma_{ \mathrm{ea}}\left(\boldsymbol{M}_0\right)=\{\lambda \in \mathbb{C}:|\lambda|=1\}$ ， $\sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)=\{\lambda \in \mathbb{C}:|\lambda| \leqslant 1\}$ ，因此 $\sigma_{\mathrm{ea}}\left(\boldsymbol{M}_0\right) \neq \sigma_{\mathrm{w}}\left(\boldsymbol{M}_0\right)$ 。

下证：存在C ∈ $\mathcal{B}$ ( $\ell$ ²), 使得M_C∉(R₁)。设 $\left\{\boldsymbol{e}_n\right\}_{n=1}^{\infty}$ 为 $\ell$ ²的一组正规正交基，其中e _n为第n个坐标为1、其他均为0的向量。令 $U=\operatorname{span}\left\{\boldsymbol{e}_1, \boldsymbol{e}_2\right\}$ ，则 $\operatorname{dim} U=2=d(A)=\operatorname{dim} R(A)^{\perp}$ ，因此，存在等距可逆算子 $T: U \longrightarrow R(A)^{\perp}$ 。定义 $\boldsymbol{C}: \ell^2 \rightarrow \ell^2$ 为：

$\boldsymbol{C}=\left(\begin{array}{ll} T & 0 \\ 0 & 0 \end{array}\right):\left(\begin{array}{c} U \\ U^{\perp} \end{array}\right) \rightarrow\left(\begin{array}{c} R(A)^{\perp} \\ R(A) \end{array}\right)$

由于A和S均为Fredholm算子且ind(A)=-2，ind(S)=1，所以M_C为Fredholm算子且ind(M_C)=-1。又因为 $\{\boldsymbol{0}\} \oplus N(S) \subseteq N\left(\boldsymbol{M}_C\right)$ ，故n(M_C) > 0。可以断言：asc(M_C)=1。事实上，设 $\left(\begin{array}{l} \boldsymbol{x} \\ \boldsymbol{y} \end{array}\right) \in N\left(\boldsymbol{M}_C^2\right)$ ，则 $A^2 \boldsymbol{x}+A \boldsymbol{C y}+\boldsymbol{C S y}=S^2 \boldsymbol{y}=0$ ，故 $S \boldsymbol{y} \in N(S)=\operatorname{span}\left\{\boldsymbol{e}_1\right\} \subseteq U^{\perp}$ 。又由C的定义可知C S y =0，因而 $A^2 \boldsymbol{x}+A \boldsymbol{C y}=0$ 。结合A为下有界可得 $A \boldsymbol{x}+\boldsymbol{C y}=\mathit{\pmb{0}}$ ，即 $A \boldsymbol{x}=-\boldsymbol{C y} \in R(A) \cap R(A)^{\perp}=\{0\}$ ，从而 $A \boldsymbol{x}=\boldsymbol{Cy}=\mathit{\pmb{0}}$ 。另外，由 $S^2 \boldsymbol{y}=\mathit{\pmb{0}}$ 可得 $\boldsymbol{y} \in N\left(S^2\right)=\bigvee\left\{\boldsymbol{e}_1, \boldsymbol{e}_2\right\}$ 。因此，存在α₁，α₂∈ $\mathbb{C}$ , 使得 $\boldsymbol{y}=\alpha_1 \boldsymbol{e}_1+\alpha_2 \boldsymbol{e}_2$ ，故 $\mathit{\pmb{0}}=\boldsymbol{C} \boldsymbol{y}=\alpha_2 T \boldsymbol{e}_2$ 。由于T为可逆算子，所以α₂=0。此时，得到 $\boldsymbol{y}=\alpha_1 \boldsymbol{e}_1 \in N(S)$ ，即 $S \boldsymbol{y}=\mathit{\pmb{0}}$ ，从而 $A \boldsymbol{x}+\boldsymbol{C y}=\mathit{\pmb{0}}, S \boldsymbol{y}=\mathit{\pmb{0}}$ 。这说明 $\left(\begin{array}{l} \boldsymbol{x} \\ \boldsymbol{y} \end{array}\right) \in N\left(\boldsymbol{M}_C\right)$ ，所以 $N\left(\boldsymbol{M}_C\right)=N\left(\boldsymbol{M}_C^2\right)$ ，即得 $0 \in \sigma_{\mathrm{a}}\left(\boldsymbol{M}_C\right) \backslash \sigma_{\mathrm{ab}}\left(\boldsymbol{M}_C\right)$ 。但是，由ind(M_C)=-1可知0∉π₀₀(M_C)。因此M_C∉(R₁)，从而M_C∉(R)。证毕。