部分等長作用素のソースを表示

[[数学]]の[[函数解析学]]の分野にあらわれる'''部分等長作用素'''（ぶぶんとうちょうさようそ、{{Lang-en-short|partial isometry}}）とは、ヒルベルト空間 ''H'' から ''K'' への線型作用素で、その[[核 (代数学)|核]]の[[直交補空間]]への制限が[[等長写像|等長]]であるような作用素 ''W'' のことを言う。そのような核の直交補空間のことを ''W'' の'''初期部分空間'''（initial subspace）と言い、その値域のことを ''W'' の'''最終部分空間'''（final subspace）と言う。

''H'' 上の任意の[[ユニタリ作用素]]は、初期部分空間と最終部分空間がすべて ''H'' に含まれるような部分等長作用素である。

部分等長作用素の概念には、異なる同値な定義の仕方が存在する。''U'' をあるヒルベルト空間 ''H'' の閉部分集合 ''H''<sub>1</sub> 上で定義される等長作用素としたとき、''U'' の ''H'' すべてへの拡張 ''W'' を、''H''<sub>1</sub> の直交補空間上ではゼロとなるようなものとして定義することが出来る。したがって部分等長作用素は、しばしば等長作用素によって閉作用素として定義される。

部分等長作用素はまた、''W'' ''W''* あるいは ''W''* ''W'' が射影であるようなものとして特徴付けられる。この場合、''W'' ''W''* および ''W''* ''W'' のいずれもが射影となる（もちろん、直交射影は自己共役であるため、各直交射影は部分等長である）。このことより、任意の[[C*-環]]における部分等長作用素を以下のように定義出来る：

''A'' をある C*-環とする。''A'' のある元 ''W'' が部分等長であるための必要十分条件は、''W'' ''W''* あるいは ''W''* ''W'' が ''A'' 内の射影（自己共役な[[冪等]]）であることである。この場合、''W'' ''W''* および ''W''* ''W'' のいずれもが射影となり、

#''W''*''W'' は ''W'' の'''初期射影'''（initial projection）と呼ばれ、
#''W'' ''W''* は ''W'' の'''最終射影'''（final projection）と呼ばれる。

''A'' が[[作用素環]]であるとき、これらの射影の値域はそれぞれ ''W'' の初期部分空間および最終部分空間となる。

部分等長作用素が、次の等式によって特徴付けられることを示すことは難しくない。

:<math>W=WW^*W.</math>

片方がある部分等長作用素の初期射影で、もう片方が同じ部分等長作用素の最終射影であるような射影のペアは、同値（equivalent）であると言われる。これらには実際、[[同値関係]]が成立し、それらは C*-環に対する[[K理論]]や、[[フォン・ノイマン環]]における射影の{{仮リンク|フランシス・ジョセフ・マレー|label=マレー|en|Francis Joseph Murray (mathematician)}}＝[[ジョン・フォン・ノイマン|フォン・ノイマン]]理論において重要な役割を果たす。

部分等長作用素（および射影）は、より抽象的な{{仮リンク|対合を備える半群|en|semigroup with involution}}の理論においても定義される。その定義はこの記事で述べたものと合致するものである。

== 例 == 

例えば、二次元複素ヒルベルト空間 '''C'''<sup>2</sup> 内の行列

:<math> \begin{bmatrix}0 & 1 \\ 0 & 0 \end{bmatrix} </math>

は部分等長作用素であり、その初期部分空間は

: <math> \{0\} \oplus \mathbb{C}  \subseteq \mathbb{C} \oplus \mathbb{C}</math>

で、最終部分空間は

: <math>  \mathbb{C} \oplus \{0\} </math>

となる。

== 参考文献 ==
*John B. Conway (1999). "A course in operator theory", AMS Bookstore, ISBN 0-8218-2065-6
*Alan L. T. Paterson (1999). "Groupoids, inverse semigroups, and their operator algebras", Springer, ISBN 0-8176-4051-7
*Mark V. Lawson (1998). "Inverse semigroups: the theory of partial symmetries". [[:en:World Scientific|World Scientific]] ISBN 981-02-3316-7

{{DEFAULTSORT:ふふんとうちようさようそ}}
[[Category:作用素論]]
[[Category:環論]]
[[Category:半群論]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]