Strongart数学笔记泛函分析中算子的链条件初探.pdfVIP

泛函分析中算子的链条件初探 在抽象代数特别是环论中，我们有如下的Fitting Decomposition Theorem R M R- f E=End ：设 是环， 是有限长的右 模，对任何自同态 ∈ M n M=Ker f^n) im f^n). （ ），存在整数 使得 （ ⊙ （ 事实上，有限长条件等价于Noether+Artin，它们分别保证了核升 Ker f^n) im f^n) 链 （ 与像降链 （ 在某一项终止，这个定理就是说假若 升链降链都终止的话，就有相应的直和分解关系。 T 在泛函分析中，我们也可以尝试着定义类似的结构。设 是向量 X 空间 上的有界线性算子，考虑相应的升降链如下： N(T)≤N(T^2)≤N(T^3)≤… R(T)≥R(T^2)≥R(T^3)≥… N R Ker Im. 这里 与 分别相当于环论中的 与 可以证明，只要序列存在 某一项取等号，那么此后各项均取等号，此时我们称序列是稳定的。 在此基础上，我们可以给出如下定义： 1 T Noether N- ）称算子 是 的，若其中的 序列稳定，并把第一个 N(T^k)=N(T^(k+1)) k T α T 满足 的 称为算子 的升指标，记作 （ ）；当 k α T =∞. 这样的 不存在时，规定 （ ） 2 T Artin R- ）称算子 是 的，若其中的 序列稳定，并把第一个满 R(T^k)=R(T^(k+1)) k T δ T 足 的 称为算子 的降指标，记作 （ ）；当这样 k δ T =∞. 的 不存在时，规定 （ ） 3 T Noether Artin ）称算子 是有限长的，若它既是 的，又是 的。 请注意：这个定义是由数学家Strongart 在此第一次独立提出的， 假若在其他文献上也看到Noether 算子之类的名词，其含义很可能与 这里完全不同。 仔细读者想必发现，这里的术语Noether 与Artin 并不是直接与 环论中链条件对接的，这里我来稍微分析一下： 1）环论中是子模的链条件，直接对应的应该是子空间，而这里 取的核空间与像空间只是特例。其实，我们完全可以尝试推广于其他 Y 子空间，比如算子 的不变子空间。 2）环论中考虑链条件是整体性质，而这里则是关于某个算子T 的链条件。其实，这个思想是有启发的，我们是不是可以反作用到环 上，也来定义环内某个元素的链条件呢？ 下面我们来看Noether 算子与Artin 算子的几个常见例子： 1 T Banach I-T ）设 是 空间上的紧算子，则 是有限长的。 2 Hilbert