不变子空间问题
维基百科，自由的百科全书
数学领域泛函分析中，最著名的悬而未决的问题之一就是不变子空间问题，有时被乐观地称为不变子空间猜想。这个问题就是如下命题是否成立：
该命题对于所有2维以上有限维复向量空间是成立的：一个线性算子（矩阵）的特征值是其特征多项式的零点；根据代数基本定理，这个多项式存在零点；一个对应的特征向量可以张成一个不变子空间。该命题也很容易成立如果W不必是闭的：取任意H中非零向量x并考虑H的由{T n(x) : n ≥ 0}线性张成的子空间W.
虽然该猜想的一般情况未获证明，但已经可以列出命题成立的一些特殊情况：
- 在希尔伯特空间H不可分的情况下该猜想相对比较容易证明（也即，如果它又一个不可数正交基。
- 谱定理表明所有正则算子有不变子空间。
- 每个紧算子有不变子空间，由Aronszajn和Smith于1954年证明。紧算子理论在很多方面和有限维空间算子理论相类似，所以该结果并不令人惊讶。
- 波恩斯坦和洛宾逊于1966年证明若T n对于某个正整数n是紧致的，则T有不变子空间。
- V. I. 罗门诺所夫（Lomonosov）于1973年证明若T和某个非零紧算子可交换，则T有不变子空间。
近年来，有些数学家试图采用随机矩阵理论来构造该猜想的反例。
如果考虑巴拿赫空间而不是希尔伯特空间，则该猜想不成立；P. Enflo于1975年给出了没有非平凡不变子空间的有界算子的显式例子，Charles Read于1984年也给出一个反例。但是，该命题对于算子的特定类别是成立的。
1964年，Louis de Branges发表了不变子空间猜想的可能证明，但后来被发现是错误的。他最近在他的网站上发表了一个新的可能证明[1]；但他的证明还未经过同行评审。
[编辑] 参考
- Paul Halmos. Invariant Subspaces. American Mathematical Monthly, Vol. 85, No. 3 (March 1978), pages 182-183.
- B. S. Yadav. The present state and heritages of the invariant subspace problem. Milan J. Math. 73 (2005), pages 289-316.
- Piotr Sniady. Generalized Cauchy identities, trees and multidimensional Brownian motions. Part I: bijective proof of generalized Cauchy identities. Section 1.5. Preprint 2004.
- Enflo, P. On the invariant subspace problem in Banach spaces. Séminaire Maurey--Schwartz (1975-1976) Espaces Lp applications radonifiantes et géométrie des espaces de Banach, Exp. Nos. 14-15, Centre Math., École Polytech., Palaiseau, 1976.
