不变子空间问题

数学领域泛函分析中,最著名的悬而未决的问题之一就是不变子空间问题,有时被乐观地称为不变子空间猜想。这个问题就是如下命题是否成立:

给定一个复希尔伯特空间H,其维度>1,以及一个有界线性算子T : H → H,则H有一个非平凡T-不变子空间,也即存在一个H的闭线性子空间W,而且它不同于{0}和H,且使得T(W) ⊆ W

该命题对于所有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.