Loading AI tools
来自维基百科,自由的百科全书
數學中,馮諾依曼代數或W*-代數是希爾伯特空間上有界算子的*-代數,在弱算子拓撲中封閉,並包含恆等算子,是一類特殊的C*-代數。 馮諾依曼代數由約翰·馮·諾依曼提出,源於對單算子、群表示論、遍歷理論和量子力學的研究。馮諾依曼雙連續定理表明,解析定義等同於作為對稱性代數的純代數定義。
馮諾依曼代數的兩個基本例子:
von Neumann (1930)在1929年首次研究了馮諾依曼代數,他和Francis Murray在20世紀30、40年代撰寫的一系列論文中(F.J. Murray & J. von Neumann 1936, 1937, 1943、J. von Neumann 1938, 1940, 1943, 1949)稱之為算子環,發展了馮諾依曼代數的基本理論,重印於von Neumann (1961)。
關於馮諾依曼代數的介紹見Jones (2003)、Wassermann (1991)的注,及Dixmier (1981)、Schwartz (1967)、Blackadar (2005)、Sakai (1971)等書。Takesaki (1979)的系列著作對馮諾依曼代數進行了百科全書式闡述。Connes (1994)討論了更高級的主題。
馮諾依曼代數有3種常見定義。
馮諾依曼代數中一些術語可能令人困惑,且在本理論之外往往有不同含義。
遺忘馮諾依曼代數上的拓撲,就可將其看做(含么)*-代數,或就只是一個環。馮諾依曼代數是半遺傳的:射影模的每個有限生成子模也是射影的。馮諾依曼代數的底環有多次公理化嘗試,如貝爾*-環、AW*-代數等。有限馮諾依曼代數的隸屬算子的*-代數是馮諾依曼正則環。(馮諾依曼代數本身一般不是馮諾依曼正則的)
交換馮諾依曼代數和測度空間的關係類似於交換C*-代數和局部緊豪斯多夫空間的關係。對度量空間,交換馮諾依曼代數都同構於;反之,對σ-有限度量空間,*-代數都是馮諾依曼代數。
於是,馮諾依曼代數理論也稱作非交換測度論,C*-代數理論也稱作非交換拓撲(Connes 1994)。
馮諾依曼代數中,滿足的算子E稱作投影,是H在某閉子空間上的正交投影算子。若希爾伯特空間H的子空間是M中某投影的像,則稱其屬於馮諾依曼代數M,這建立了M的投影和屬於M的子空間之間建立了一一對應關係。非正式地說,子空間是可用M的元素來描述的閉空間。
可以證明,M中任意算子的像的閉包和M中任意算子的核都屬於M;另外,屬於M的任何子空間在M的算子下的像的閉包也屬於M(這些是極分解的結果)。
投影的基本理論由Murray & von Neumann (1936)提出。屬於M的兩子空間若存在屬於馮諾依曼代數的部分等距映射,將一者同構地映射到另一者,則稱它們(穆雷-馮諾依曼)等價。若相應子空間等價,或有H的部分等距,將E的像同構映射到F的像,且是馮諾依曼代數的元素,則稱E等價於F。另一種說法是,若對M中某部分等距u,滿足,則稱E等價於F。
由此定義的等價關係~是可加的:設。若,則。若在~的定義中要求酉等價(對么元u,若,則),那麼可加性一般不成立。薛丁格-伯恩斯坦定理給出了穆雷-馮諾依曼等價的充分條件。
屬於M的子空間通過包含而部分有序,產生了投影的偏序≤。在投影的等價類集上還有一個自然偏序,來自投影的偏序≤。若M是因子,則≤是投影等價類上的總階,下詳。
若不存在等價於E的投影F < E(即),則稱投影(或屬於M的子空間)E為有限投影。例如,有限維投影(或子空間)都有限(因為希爾伯特空間之間的等距性使維數固定不變),而無限維希爾伯特空間上的恆等算子在其上所有有界算子的馮諾依曼代中並不是有限的,因為其與自身的一個適當子集同構。不過,無限維子空間也有可能有限。
正交投影是中指示函數的非交換類似物。是由指示函數生成的子空間的閉包。同樣,馮諾依曼代數有其投影生成,這是自伴算子譜定理的結果。
有限因子的投影形成連續幾何。
馮諾依曼代數N的中心只由恆等算子的倍數組成,稱作因子。Von Neumann (1949) 證明,可分希爾伯特空間上的馮諾依曼代數都同構於因子的直積分,這一分解是本質唯一的。因此,可分希爾伯特空間上馮諾依曼代數同構類的分類可轉化為因子同構類的分類問題。 Murray & von Neumann (1936)指出,因子可分3類。類型分類可推廣到非因子的馮諾依曼代數。若馮諾依曼代數可分解為X型因子的直積分,則就是X型的,例如交換馮諾依曼代數都是I1類。馮諾依曼代數都可唯一地寫成I、II、III類馮諾依曼代數之和。
還有其他幾種分類因子的方法:
若存在最小的投影,使得不存在投影F滿足,則稱其為I類因子。I類因子都同構於某希爾伯特空間上所有有界算子的馮諾依曼代數,因為每個基數都有希爾伯特空間,I類因子的同構類是與基數完全對應的。很多學者只考慮可分希爾伯特空間上的馮諾依曼代數,因此習慣上把有限n維希爾伯特空間上的有界算子稱作型因子,可分無限維希爾伯特空間上的有界算子則是型因子。
若不存在最小投影,但存在非零有限投影,則稱其為II類因子。這意味著每個投影E都可以「平分」,即有兩個穆雷-馮諾依曼等價的投影F、G,且滿足。若II類因子中的恆等算子有限,則是型因子;否則是型因子。最易理解的II型因子是Murray & von Neumann (1936)發現的超無限型因子、超無限型因子,是、型中唯一的超無限因子。這類因子還有很多,都值得深入研究。Murray & von Neumann (1937)證明了一個基本結果:型因子具有唯一的有限跡態,投影的跡集為[0,1]。
型因子具有半無限跡,在縮放意義上唯一,投影的跡集為[0,∞]。型因子的基本群是實數λ集合,使得存在自同態,縮放跡λ倍。
型因子與無限I型因子的張量積是型,反之,任何型因子都可這樣構造。型因子的基本群是因子與I型無限(可分)因子的張量積的基本群。多年來,人們一直在尋找基本群不是正實數群的II型因子,阿蘭·科納隨後證明,具有卡日丹性質 (T)的可數離散群(平凡表示在對偶空間中孤立)(如)的馮諾依曼群代數具有可數基本群。後來,索林·波帕證明,特定群的基本群可能是平凡的,如對的半直積。
型因子的一個例子是可數無限離散群的馮諾依曼群代數,使每個非平凡共軛類都無限。 McDuff (1969)發現了一個具有非同構馮諾依曼群代數的不可數族,從而顯示了不可數多個可分型因子的存在。
不含任何非零有限投影的因子是III型因子。Murray & von Neumann (1936)在第一篇論文中無法確定是否存在,von Neumann (1940)發現了第一個例子。由於恆等算子在這些因子中總是無限的,因此過去也稱作,最近改做,其中λ是[0, 1]中的實數。更確切地說,若(其模群的)科納譜是1,則是型因子;若科納譜為λ()的所有整數冪,則是型;若科納譜是所有正實數,則是型(科納譜是正實數的閉子群,因此只有這些可能)。III型因子的唯一跡在所有正元素上取值為∞,任何兩個非零投影都等價。III型因子曾一度被認為是很棘手的對象,但富田–竹崎理論帶來了很好的結構理論。特別是,任何III型因子都可用正規方式寫成型因子與實數的叉積。
馮諾依曼代數M都有預對偶,是M上所有超弱連續線性泛函的巴拿赫空間。顧名思義,M(作為巴拿赫空間)是其預對偶的對偶。預對偶是唯一的,因為對偶為M的任何其他巴拿赫空間都與同構。Sakai (1971)證明了預對偶的存在是C*-代數中馮諾依曼代數的特徵。 上文給出的預對偶定義似乎取決於M作用於的希爾伯特空間的選擇,因為它決定了超弱拓撲。 不過也可定義為M上所有正正規線性泛函生成的空間(此處「正規」指應用於自伴算子的遞增網時保上界;或等價於投影的遞增序列)。 預對偶是對偶的閉子空間(包含M上所有範數連續線性泛函),通常小些。不同於的證明是非構造性的,用很重要的方式使用了選擇公理。要展示在而不在中的元素非常困難,例如,馮諾依曼代數上的奇特正線性形式由自由超濾子給出,對應於進入C的奇特*-同態,並描述了Z的斯通-切赫緊化。
例子:
權、特殊狀態與跡在(Takesaki 1979)中有詳細討論。
因子都有跡,即非零投影的跡也非零,並且若且唯若投影無限時,投影的跡才是無限的。這樣的跡在重縮放的意義上是唯一的。對可分或有限的因子,若且唯若兩投影具有相同的跡時,它們等價。因子類型可從跡在因子投影上的可能值獲得,如下:
若馮諾依曼代數作用於含範數為1的向量v的希爾伯特空間,則泛函是正規狀態。這種構造可反過來從正規狀態給出對希爾伯特空間的作用,就是正規狀態的GNS構造。
給定抽象可分因子,可要求對其模(即其所作用的可分希爾伯特空間)進行分類。結果如下:每個模H都可給定一個M維的(而非作為復向量空間的維度),這樣,若且唯若它們有同樣的M維時,模相互同構。M維是可加的,若且唯若一個模m的M維不大於另一模n時,m與n的子空間同構。
若模有循環可分向量,則稱其是標準的。因子都有標準表示,在同構意義上唯一。標準表示有反線性對合J使。對有限因子,標準模由應用於唯一正規跡態的GNS構造給出,M維被歸一化,因此標準模的M維為1,而對無限因子,標準模是M維無窮大的模。
模的可能M維數如下:
Connes (1976)等人證明,可分希爾伯特空間H上的馮諾依曼代數M的下列條件等價:
上面這類代數沒有公認的術語,科納建議用可均。
可均因子已被分類:在的條件下,各有一個,的對應某些遍歷流。(對型,稱其為分類有點誤導,因為眾所周知,並沒有簡單的遍歷流分類方法。)I型與型由Murray & von Neumann (1943)分類,由Haagerup分類,其餘的由Connes (1976)分類。
所有可均因子都能用穆雷和馮諾依曼對單一遍歷變換的群測度空間構造得到。事實上,它們正是Z或Z/nZ在阿貝爾馮諾依曼代數上的自由遍歷作用的叉積產生的因子。測度空間X是原子的,且作用是傳遞的,則出現I型因子;X是擴散的或非原子的,則等價於[0,1]的測度空間。X具有等價有限()或無限()測度,且在Z的作用下不變時,出現II型因子;若無不變測度,只有不變測度類,則出現III型因子,稱作克里格因子(Krieger factor)。
兩希爾伯特空間的張量積是其代數張量積的完備化。可定義馮諾依曼代數的張量積(代數視作環的代數張量積的完備化),所得也是馮諾依曼代數,並作用於對應希爾伯特空間的張量積。兩有限代數的張量積有限,無限代數和非零代數的張量積無限。馮諾依曼代數張量積的類型取較大值。張量積交換定理指出
其中M' 表示M的交換子。
無窮多馮諾依曼代數的張量積通常是個大得離譜的不可分代數。von Neumann (1938)指出,應在每個馮諾依曼代數上選取一個狀態,以定義代數張量積上的一個狀態,從而產生希爾伯特空間與(較小的)馮諾依曼代數。Araki & Woods (1968)研究了所有因子都是有閒矩陣代數的情形,這些因子稱作Araki–Woods因子或ITPFI因子(ITPFI表示「有限I型因子的無限張量積」)。無限張量積的類型可隨著狀態改變發生巨大變化,如無限多型因子的無限張量積可具有任意類型,取決於狀態的選擇。特別是Powers (1967)對型因子進行無限張量積,發現了時不可數的非同構超無限型因子不可數族,稱作Powers因子,每個因子的狀態如下:
所有不是的超無限馮諾依曼代數都同構於Araki–Woods因子,有不可數多的型超無限馮諾依曼代數不同構。
雙模(或對應)是有兩個交換馮諾依曼代數的模作用的希爾伯特空間H。雙模的結構比模豐富得多。兩因子上的雙模總給出子因子,因為其中一因子總包含於另一因子的交換子中。此外,科納在雙模上發現了一種微妙的相對張量積運算。沃恩·瓊斯提出的子因子理論調和了這兩種看似迥異的觀點。
雙模對離散群Γ的馮諾依曼群代數M也很重要。事實上,若V是Γ的任意酉表示,將Γ視作Γ × Γ的對角子群,上相應的誘導表示自然就是M的兩個交換副本的雙模。Γ的重要表示論性質完全可用雙模表述,因此對馮諾依曼代數本身也有意義。例如,科納和瓊斯以這種方式給出了馮諾依曼代數的卡日丹性質 (T)的類似定義。
I型馮諾依曼代數可均,其他類型則有不可數多種不可均因子,似乎很難分類,甚至很難相互區分。Voiculescu證明,來自群測度空間構造的不可均因子類與來自自由群的馮諾依曼代數群不相交。後來小澤登高證明,雙曲群的馮諾依曼代數群會產生素的型因子,即不能作為型因子的張量積進行分解,這結果最早由Leeming Ge利用Voiculescu的自由熵,對自由群因子進行了證明。波帕關於不可均因子基本群的研究是另一項重大進展。目前「超無限之外」的因子理論正在迅速擴展,並取得了許多令人驚訝的成果,與幾何群論和遍歷理論中的剛性現象有密切關係。
馮諾依曼代數在紐結理論、統計力學、量子場論、局部量子力學、自由概率、非交換幾何、表示論、微分幾何與動力系統等領域都有應用。
例如,C*-代數為概率論提供了另一種公理化方法,稱作GNS構造。這類似於測度和積分的兩種方法,可以先構造集合的測度,再定義積分;或者先構造積分,再將集合度量定義為特徵函數的積分。
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.