奈馬克擴張定理

算子理論這一數學領域中,奈馬克擴張定理正算子值測度與另一空間上的自伴算子譜測度關聯了起來。此定理冠名於蘇聯數學家馬克·奈馬克英語Mark Naimark。它可看作是斯坦斯普林擴張定理的推論。

一些先導概念

編輯

  是一個豪斯多夫空間  是一個希爾伯特空間  有界算子所構成的巴拿赫空間。對於   上的博雷爾 σ-代數    的映射   ,若它是弱可數可加的,也就是說若對於任何不相交的博雷爾集序列    則稱其為是一個算子值測度。關於此類測度性質的一些術語是:

  •   稱為是正則的,若標量值測度   是一正則的博雷爾測度。這意味着所有緊集都有有限的總變差,並且集合的測度可由開集的測度來逼近。
  •   稱為是有界算子值測度,若  
  •   稱為是正算子值測度,若對於任意   而言   都是正算子
  •   稱為是自伴算子值測度,如果任意   而言   都是自伴算子。
  •   稱為是譜測度,如果   是自伴的,且  對任意   成立。

下面將始終假設   是正則的。

  表示   上連續函數所構成的交換C*-代數。如果   正則且有界,則它可導出一個映射   如下:   反過來也可以從一個有界線性映射確定出一個有界、正則的有界算子值測度,它們有一一對應關係。

  的有界性意味着,對於所有範數為一的   ,有  

由此可見對於任意   給出的   都是有界算子,且   本身也是一個有界線性映射。

  的性質與   的性質直接相關:

  •   是正的,則   作為C*-代數之間的映射而言也是的。
  • 根據定義,   成為一個同態的條件是:對於任意的   上連續函數   以及  

 

  為博雷爾集的指示函數,可發現上述條件要求   是一個譜測度。

  • 類似地,   與*運算相容是指

 

等號左端是  

而右端是  

於是,通過在一個單增收斂於   的指示函數的連續函數序列中取   ,可得   ,即   是自伴的。

  • 結合前兩個事實可以得出以下結論:當且僅當   是自伴的且譜的 (這樣的   被稱為投影值測度),   才成為*-同態

奈馬克擴張定理

編輯

定理 — 設算子值測度   是正的。則存在一個希爾伯特空間   、一個有界算子   以及一個自伴且譜的算子值測度   滿足  

證明概要

編輯

證明主要是從   轉向其誘導的   ,然後應用斯坦斯普林擴張定理

由於   是正算子值測度,故如前所述   是C*-代數間的正映射。進一步地,由於   是交換C*-代數,可知  完全正映射。至此已滿足應用斯坦斯普林擴張定理的條件,從而可知存在一個希爾伯特空間   、一個*-同態   和算子   使得   。 由於   是*-同態,其對應的算子值測度   是自伴譜測度——容易看出   滿足所需的性質。

有限維情況

編輯

在有限維情況下,有一個更明確的表述。

現在設   ,因此   是有限維代數   ,並且   的維度為有限的   。正算子值測度   則將每個   映射為一個   階的半正定矩陣   。奈馬克擴張定理這時所說明的就是,   上存在一個投影值測度,其限制  [需要更深入解釋]

特別有趣的是   的情況,其中  恆等算子 (相關應用參見正算子值測度。)在這種情況下,誘導出的映射  保單位元的。可以不失一般性地假設每個   具有形式   ,即向量  外積(且   將是次歸一化[需要定義]的)。在這樣的假設下,   的情況將不可能,

  1. 要麼   ,而   本身就是一個投影值測度(因為   當且僅當   是一組規範正交基),
  2. 要麼   ,而   並非是由相互正交的投影構成。

對於第二種情況,尋找合適的投影值測度的問題將轉化為以下問題。根據假設,非方矩陣  

余等距的,也就是說滿足   。若能找到   階矩陣   使得   是一個  幺正矩陣,那麼到   的各個列向量上的投影的所構成的投影值測度就具有所需的性質。原則上,總能找到這樣的  

參考資料

編輯