ナジーの伸張定理のソースを表示

[[数学]]の[[関数解析学]]の分野における'''ナジーの伸張定理'''（ナジーのしんちょうていり、{{Lang-en-short|Sz.-Nagy dilation theorem}}）とは、{{仮リンク|ベラ・ショーケファルヴィ＝ナジー|en|Béla Szőkefalvi-Nagy}}によって証明された定理で、ある[[ヒルベルト空間]] ''H'' 上の全ての縮小写像 ''T'' には、''H'' を含むあるヒルベルト空間 ''K'' へのユニタリ[[伸張 (作用素論)|伸張]]が存在し、
:<math>T^n = P_H U^n \vert_H,\quad n\ge 0 </math>
が成立する、ということが述べられている。さらに、そのような伸張は、''K'' が極小であるとの仮定の下で（ユニタリ同値性を除いて）一意である。ここで ''K'' が極小であるとは、∪<sub>''n''</sub>''U<sup>n</sup>K'' の線型包が ''K'' において稠密であることを意味する。この極小性の条件が成立するとき、''U'' は ''T'' の'''極小ユニタリ伸張'''と呼ばれる。

== 証明 ==

ある{{仮リンク|縮小 (作用素論)|label=縮小写像|en|contraction (operator theory)}} ''T''（すなわち、<math>\|T\|\le1</math> が成立）に対し、その'''欠陥作用素'''（defect operator）''D<sub>T</sub>'' は（唯一つの）正の平方根 ''D<sub>T</sub>'' = (''I - T*T'')<sup>½</sup> で定義される。''S'' が等長であるような特別な場合には、求められる多項式汎関数計算の性質を備える、次のような ''S'' のナジーユニタリ伸張が得られる。

:<math>U = 
\begin{bmatrix} S & D_{S^*} \\ 0 & -S^* \end{bmatrix}.
</math>

またヒルベルト空間 ''H'' 上の全ての縮小写像 ''T'' には等長伸張が存在し、それは求められる汎関数性質を備える

:<math>\oplus_{n \geq 0} H</math>

上のナジーユニタリ伸張

:<math>V = 

\begin{bmatrix} T & 0 & & \\ D_T & 0 & \ddots & \\ 0 & I & 0 &  \\ & \ddots & \ddots &  \end{bmatrix}
</math>

である。これら二通りの構成法を繰り返し行うことで、ある縮小写像 ''T'' に対するユニタリ伸張は次のように与えられる。

:<math>
T^n = P_H S^n \vert_H = P_H (Q_{H'} U \vert_{H'})^n \vert_H = P_H U^n \vert_H.
</math>

== シャファー形式 ==
{{Expand section|date=April 2014}}

ユニタリナジー伸張の'''シャファー形式'''（Schaffer form）は、与えられた縮小写像に対して求められる性質を備える全てのユニタリ伸張を特徴付ける上での議論の出発点と見なされるものである。

== 注意 ==

ベルガー、フォイアスおよびルボウによるこの定理の一般化では、''X'' が ''T'' の[[スペクトル集合]]であり、

:<math>\mathcal{R}(X)</math>

が[[ディリクレ環]]であるなら、''T'' には上述の形式の極小正規 ''δX'' 伸張が存在する、ということが示されている。この結果、[[単連結]]なスペクトル集合 ''X'' を伴う任意の作用素には、極小正規 ''δX'' 伸張が存在することが分かる。

これがナジーの定理を一般化することを確かめる上で、縮小写像は単位円板 '''D''' をスペクトル集合として持ち、その単位円 ''δ'''''D''' 内にスペクトルを持つ正規作用素はユニタリであることに注意されたい。

== 参考文献 ==

*V. Paulsen, ''Completely Bounded Maps and Operator Algebras'', Cambridge University Press, 2003.

*J.J. Schaffer, On unitary dilations of contractions, ''Proc. Amer. Math. Soc.'' '''6''', 1955, 322.

{{DEFAULTSORT:なしいのしんちようていり}}
[[Category:作用素論]]
[[Category:関数解析学]]
[[Category:証明を含む記事]]
[[Category:関数解析学の定理]]
[[Category:数学に関する記事]]