譜 σ(T) 為淺藍色,路徑 γ 為紅色。
當譜有多個連通分量和對應的路徑 γ 時的情況。
當譜不是單連通時的情況。
設 為復巴拿赫空間, 是 上的有界算子族(這些算子也構成一個巴拿赫空間)。
回憶一下複分析中的柯西積分公式。令 在某個開集 上全純,而 是 中的可求長的若爾當曲線,即有限長度的無自交的閉曲線。假定位於 內部的點(即,使得 關於 的卷繞數為 1 的點)的集合 滿足 。柯西積分公式即
-
現在試着將這個公式推廣到在 中取值的函數。柯西積分公式暗示了以下定義(姑且只是形式上寫下這個式子,沒有嚴格定義):
-
其中 稱為是 在 處的預解算子。
假設已適當定義了在巴拿赫空間內取值的積分,則如此給出的函數演算蘊含了以下必要條件:
- 由於純量版本的柯西積分公式的適用對象是全純的 ,料想巴拿赫空間情況也是如此:在巴拿赫空間 中取值的函數應該有一個對標於普通複變函數的全純性的概念。
- 由於預解映射 在 的譜 上無定義,因此若爾當曲線 應是與 不相交的。而預解映射在 的補集上是全純的。那麼,為了得到一個非平凡的函數演算 必須包圍着(至少一部分)的 。
- 上述積分式的結果須獨立於 的選擇。
函數演算的完整定義如下: 對於 ,定義
-
其中 是在開集 上定義的全純函數,且譜集 ; 是 中這樣的一系列不相交若爾當曲線的集合,其是一個「內部」集合 的邊界,並且每個作為邊界 的都是定向了的(參見曲線的定向和可定向性)。
開集 可以隨 變化,也不必是連通或單連通的,如右圖所示。
接下來的小節將對定義中所涉及的一些概念進行更精確的說明,並展現 在給定假定下確實是良定義的。
對於定義於 的開鄰域上並在以 為到達域的連續函數 ,圍道積分 的定義方式與純量值函數情況相同。可以用一個實數的區間 來參數化每個 ,並且積分是從 的越來越精細的劃分中所獲得的黎曼和的極限,而黎曼和在一致算子拓撲中收斂。從而可以定義
-
在函數演算的定義中,假定了 在 的開鄰域內全純。下面將證明解析映射在所謂預解集上是全純的,而使得積分
-
有意義。
映射 稱為 的預解映射。它定義在譜 的補集上,稱為 的預解集,記作 ,其中的元素稱為常點(regular point)。
經典函數理論的許多結論都依賴於積分
-
的性質。
全純函數演算在這方面也有些相似:對於一個好的函數演算的性質而言,預解映射是至關重要的。本小節概述為討論此話題所必需的一些預解映射的性質。
直接計算可知,對於 ,有
-
於是,
-
這個方程稱為第一預解方程。該公式顯示 和 是對易的,這暗示了一個算子 所給出的全純函數演算映射的到達域將是一個交換代數。考慮 的極限,可以看出預解映射在任意 處是(復)可微的;因此全純函數演算表達式中的積分收斂於 。
關於預解映射,還能有比可微性更強的論斷:預解集 實際上是這樣一個開集,其上的預解映射都解析。為驗證這一說法,考慮預解集中一點 ,並觀察下面這個式子
-
將 替換為 時,更合適的做法是將右邊的因子改為這樣一個級數:
-
它在 中收斂的條件是
-
這就是其收斂半徑。而它的收斂意味着 的存在性,進而意味着 。
由此可知預解集 是開集,預解映射在 上解析。
的另一個表達式也很有用。下面形式的表達式
-
可以注意到級數
-
即諾依曼級數,它收斂於 的條件是
-
從預解算子的上面的兩個性質,可以推斷出一個有界算子 的譜 是 的緊子集。因此,對於任何滿足 的開集 ,存在一個正定向且光滑的若爾當曲線系 使得 在 的內部且 的補集在 的外部。因此,要定義一個函數演算,總能為每個在 上全純的 找到合適的一族若爾當曲線。
前面的討論已經表明該積分式是有意義的,即對於每個 確實存在一族合適的若爾當曲線 且積分確實在適當的意義上收斂。眼下尚未示明的是,函數演算是無歧義的,也就是說不依賴於 的選取。現在嘗試解決這個問題。
對於若爾當曲線的集合 和點 , 相對於 的卷繞數是其成員各自的卷繞數之和。如果定義:
-
就有柯西給出的以下定理:
定理 設 為開集且 ,此外有一全純函數 ,且對於補集中的 有 ,那麼 在 上的圍道積分為零。
當 在 中取值時,會需要這個結論的向量值版本。為此須考察全純的 ,而對 的要求則和前文保持相同。推廣的思路是使用 的對偶空間 ,從而得到純量並應用純量版本的柯西定理。
考慮積分
-
如果可以證明任一 作用在這個積分上都得到零,那麼積分本身就必須為零。由於 有界且積分依範數收斂,可得:
-
但 是全純的,因此複合 是全純的,因此可以應用柯西定理:
-
令 為包含 的開集。假設有個符合前文要求的若爾當曲線系 ,所要證明的是
-
設反轉 中每個 的定向所得到曲線系是 ,則
-
考慮兩個曲線系的併集 。 和 都是緊的。因此存在某個開集 滿足 且 ,其中 是 的補集。 中的任意 的卷繞數為 [需要解釋],並且函數
-
在 上全純。因此柯西定理的向量值版本給出
-
也就是說
-
於是證明了全純函數演算所給出的算子與積分圍道的選取無關。
因此,如果 和 是在 的鄰域 和 上定義的兩個全純函數,並且它們在一個包含 的開集上相等,則 。此外,即使 可能不同於 ,算子 也是良定義的, 也是如此。
到目前為止,這一假設的全部強度尚未得到充分利用。要使積分收斂,僅需要連續性。要使積分良定義,只需要 在包含圍道 的開集 上是全純的,而不必也要求在 上全純。在展現函數演算的同態性質時,才會完整地用到該假定。
映射 的線性源自積分的收斂性以及巴拿赫空間上線性運算的連續性。
當 是多項式時,便回到多項式函數演算的情況。為證明這一點,只需證明,當 時,有 成立——也就是說等式
-
對於任何包含 的適當的 成立。若選擇 作為半徑大於 的圓,前文已闡明此時可以將預解映射表示為一個冪級數
-
將其代入要證的等式就得到
-
而這就是
-
其中的 是克羅內克函數。
對於任何滿足適當假設的 和 ,同態性質表明
-
將勾勒出一個論證,這會用到第一預解方程和對 的假設。首先,選擇若爾當曲線使得 位於 的內部,這樣做的用意之後就會揭曉。先直接計算得到:
-
第三個等號用到了第一預解方程;最後一個等號是因為: 在 的外部,且 在 的某個開鄰域上是全純的,因此第二項為零。因此,可得:
-
其中第二個等號用到柯西積分公式。
設有開集 滿足 , 上的全純函數序列 在 的每個緊子集上都一致收斂(也就是說,緊緻收斂)。那麼 在 中收斂,接下來說明這一點:
為簡單起見,假設 僅由一條若爾當曲線組成。可作如下估計
-
通過結合一致收斂假設和各種連續性上的考量,可以看到當 時,上式趨於 0 。所以 是柯西序列,從而是收斂的。
至此已證明了全純函數演算 具有以下性質:
- 它延伸了多項式函數演算。
- 它是從 的一個鄰域上的全純函數代數到 的代數同態
- 它保持緊集上的一致收斂。
可以證明滿足上述性質的函數演算是唯一的。
值得注意的是,如果把有界算子族 換成巴拿赫代數,那麼至此的所有討論都原封不動地保持成立。對於其中的元素,可以採用完全相同的方式定義函數演算。
已知譜映射定理(spectral mapping theorem)對於多項式函數演算成立:對於任何多項式 ,都有 。這可以推廣到全純函數演算,也就是說 。
為證明此式,考慮某一複數 。先考慮 的情況,這情況意味着 。
由複分析的結果,存在 的鄰域上的全純函數 使得
根據同態性質,有
由於 , 是不可逆的,那麼整個算子 不可能有逆,也就是說 。於是目前證明了 。
現在考慮 的情況,那麼函數
-
在 的鄰域上全純,於是根據同態性質可知
也就是說 或者說 。於是證明了 ,進而證明了譜映射定理。[1]
譜投影的基本思想如下。設有 ,而 分別是 的鄰域且它們不相交。定義函數
即 中子集 的指示函數。它是一個滿足 (冪等)的全純函數。於是,對於 中的一個包含 的適當的圍道 ,下面的線性算子
-
將是一個與 對易的有界投影算子,且還將提供大量有用的信息。
實際上,若且唯若 在 上的子空間拓撲中既開又閉時,這種情況才得以可能。此外,可以安全地忽略集合 ,因為 在其上的值為零從而對積分沒有貢獻。投影 稱為 在 處的譜投影,記為 。因此,對於 的每個在子空間拓撲中既開又閉的子集 ,都有一個相應的譜投影由下式給出
-
其中 是包圍 但不包圍 的其他點的圍道。
由於 有界並與 對易,因此 可以按此投影來直和分解為 的形式,其中 。 是 的不變子空間,且 和 。一個關鍵性質在於其相互正交性。如果 是另一個(按 上子的空間拓撲的)既開又閉集,則
而這在 和 不相交時為零。
譜投影有許多應用。 的任何孤立點在子空間拓撲中都是既開又閉的,因此具有相應的譜投影。當 的維度有限時, 將由孤立點構成,於是所得的譜投影會給出若爾當塊的一個變體,各不同的本徵值會逐一對應到各若爾當塊。下一節將更詳細地討論這種分解。
有時算子的譜投影會繼承這個算子本身的一些性質。例如,如果 是譜半徑為 的正矩陣,則佩龍—弗羅賓尼斯定理斷言 。相關的譜投影 也是正的,並且由相互正交性可知其他的譜投影都不可能具有正的行或列。事實上 ,且隨着 有 。也就是說,隨着 的增加,此投影 (稱為佩龍投影)逼近於 ,且其每一列都是 的本徵向量。
更一般地,如果 是緊算子,則 中的所有非零點都是孤立的,從而它們的任何有限子集都可以用於分解 ,而相應的譜投影始終是有限秩的。 中具有相似譜特性的算子是所謂里斯算子。里斯算子中的許多類(包括緊算子)都是 中的理想,並創造了一個豐饒的研究領域。然而,如果 是一個希爾伯特空間,則 里斯算子和有限秩算子之間恰好夾有一個閉的理想。
前面的大部分討論都可以在復巴拿赫代數這一更為一般的背景下進行。這時譜投影被稱為譜冪等元,因為可能不再有空間可供它們投影。
如果譜 不是連通的,則可以使用函數演算將 分解為 的不變子空間。設 是如下連通分量的不交並
-
設 是連通分量 的某個鄰域的指示函數。根據同態性質,各個 都是投影算子。事實上它就是上文說過的譜投影 。 這一關係表明值域 是 的不變子空間。
由於
-
可以用這些互補的子空間來表示:
-
類似地,如果 是限制於 上的 ,則有
-
為直和空間
-
配備範數
-
於是 就成為一個巴拿赫空間。其上的一個映射
-
是一個巴拿赫空間同構,並且可以看到
-
這可以看作是 的分塊對角化。
當 維度有限時, 是複平面的有限子集。令 是僅包含一個譜點(記作 )的一個開圓盤的指示函數,那麼對應的分塊對角矩陣 即 的若爾當標準型。
- N. Dunford and J.T. Schwartz, Linear Operators, Part I: General Theory, Interscience, 1958.
- Steven G Krantz. Dictionary of Algebra, Arithmetic, and Trigonometry. CRC Press, 2000. ISBN 1-58488-052-X.
- Israel Gohberg, Seymour Goldberg and Marinus A. Kaashoek, Classes of Linear Operators: Volume 1. Birkhauser, 1991. ISBN 978-0817625313.