-
不變子空間問題
鎖定
- 中文名
- 不變子空間問題
- 外文名
- Invariant subspace problem
- 相關術語
- 佐恩引理
- 應用學科
- 數學
- 描 述
- 所有正則算子有不變子空間
- 定 義
- 線性算子理論中的一個著名問題
不變子空間問題歷史
不變子空間問題是線性算子理論中的一個著名問題。40多年來,人們一直在努力追求其答案,做了大量工作,取得不少成果,但離問題的解決,看來還相當遠。
設T是復巴拿赫空間Χ上有界線性算子,M是Χ的閉線性子空間(見巴拿赫空間),如果T(M)包含於M,稱M是T的不變(閉線性)子空間。當M僅含零元素 {0}或者是全空間Χ時,M不僅是Χ的閉線性子空間,而且是一切有界線性算子T的不變子空間。稱{0}和X是平凡不變子空間。所謂不變子空間問題是:對任何維數不小於2的復巴拿赫空間上的有界線性算子,是否必存在非平凡的不變子空間。
當Χ是有限維空間時,任何線性算子T都有一個若爾當標準型,它不僅表明T有非平凡的不變子空間,而且還完全刻畫了算子的內部結構。當Χ是不可分空間時,易知任何有界線性算子必有非平凡不變子空間。因此,不變子空間問題實質上只限於可分的無限維空間上。
如果不變子空間問題的回答是肯定的,則由佐恩引理易知,對任意有界線性算子,存在一個極大的不變子空間鏈。這將把有限維空間上的線性算子的若爾當標準型推廣到巴拿赫空間上去的工作推進了一步。因此,不變子空間問題是在算子理論中佔有重要地位的一個基本問題。下面是有關不變子空間問題的主要結果。
與緊性相聯繫的算子與有限維空間上算子相接近的一類算子是緊算子。J.馮·諾伊曼在1930年證明:對於希爾伯特空間上任意有界緊算子,存在非平凡不變子空間。這項工作當時沒有發表。1954年,N.阿龍扎揚和K.T.史密斯用有限秩算子逼近的方法證明了:對於巴拿赫空間上任何有界緊算子,存在非平凡不變子空間。1973年,Β.И.羅蒙諾索夫利用紹德爾不動點原理證明了,如果A是巴拿赫空間上與某非零緊算子可交換的算子,則存在A的非平凡的不變子空間。有趣的是,與緊性相聯繫的這些結果,證明都不很難。1977年,有人不用紹德爾不動點原理,以很簡單的、初等的方法,再次證明了上述結論。後來,人們又進一步證明了,如果B是巴拿赫空間上的非零緊算子,則一切使AB-BA為一秩算子的算子A,有非平凡的不變子空間;從而推廣了羅蒙諾索夫的結果。
與正常算子相聯繫的算子基於對正常算子的瞭解,人們考察了與正常算子相近的算子的不變子空間問題。30多年來,這方面的研究取得了重大進展,其中的方法,對研究希爾伯特空間上有界線性算子有很重要的意義。1949年,A.博靈深入地研究了單位圓周上的哈代空間H(見Hp 空間)上的乘法算子U+:U+ƒ(z)=zƒ(z)。關於U+的不變子空間問題,有稱為博靈定理的如下結果:算子U+沒有非平凡的約化子空間,M是U+的不變子空間的充要條件是M=φH,這裏φ是H中幾乎處處等於 1的函數。
1978年W.S.布朗藉助於函數演算的方法證明:次正常算子(即正常算子在不變子空間上的限制)皆有非平凡的不變子空間。他的證明方法很快被人們用來證明各種類型的不變子空間存在定理。上面的結果可以推廣到希爾伯特空間上有界線性算子A。如果對一切極點在算子A的譜σ(A)外的有理函數ƒ,成立‖ƒ(A)‖≤max{|ƒ(z)||z∈σ(A)},那末A有非平凡的不變子空間。近年來有人較大地簡化了布朗結果的證明。
不變子空間問題定義
該命題對於所有2維以上有限維復向量空間是成立的:一個線性算子(矩陣)的特徵值是其特徵多項式的零點;根據代數基本定理,這個多項式存在零點;一個對應的特徵向量可以張成一個不變子空間。該命題也很容易成立如果W不必是閉的:取任意H中非零向量x並考慮H的由{T(x):n≥ 0}線性張成的子空間W。
不變子空間問題特殊情況
雖然該猜想的一般情況未獲證明,但已經可以列出命題成立的一些特殊情況:
- 在希爾伯特空間H可分的情況下該猜想相對比較容易證明(也即,如果它又一個不可數正交基。
- 譜定理表明所有正則算子有不變子空間。
- 每個緊算子有不變子空間,由Aronszajn和Smith於1954年證明。緊算子理論在很多方面和有限維空間算子理論相類似,所以該結果並不令人驚訝。
- 波恩斯坦和洛賓遜於1966年證明若T對於某個正整數n是緊緻的,則T有不變子空間。
- V. I. 羅門諾所夫(Lomonosov)於1973年證明若T和某個非零緊算子可交換,則T有不變子空間。
不變子空間問題發展
如果考慮巴拿赫空間而不是希爾伯特空間,則該猜想不成立;P. Enflo於1975年給出了沒有非平凡不變子空間的有界算子的顯式例子,Charles Read於1984年也給出一個反例。但是,該命題對於算子的特定類別是成立的。
1964年,Louis de Branges發表了不變子空間猜想的可能證明,但後來被發現是錯誤的。他最近在他的網站上發表了一個新的可能證明;但他的證明還未經過同行評審。