作用素論

数学における作用素論（さようそろん、）は、微分作用素や積分作用素をはじめとする線型作用素の研究である。各作用素は、有界性や閉性などといった特徴によって抽象的に表すことができ、また非線型作用素なども視野に含むこともあり得る。そのような研究は函数空間の位相に非常に依存しており、函数解析学の一分科を成す。
作用素の集合が体上の多元環を成すならば、それを作用素環と呼ぶ。作用素環を記述することもまた作用素論の一部である。
個別の作用素論.
個々の作用素論では、個別に与えられた作用素の性質や分類について扱う。例えば、スペクトルを用いた正規作用素の分類はこの範疇に属する。
作用素のスペクトル.
スペクトル定理は線型作用素や行列に関する無数の結果の総称である。広義のスペクトル定理は、作用素や行列が対角化可能である（即ち適当な基底の下で対角行列に表せること）ための条件を提示するものをいう。この対角化可能の概念は直接には有限次元空間に対するものだが、無限次元空間上の作用素に対しては少々の修正を要する。一般に、スペクトル定理はもっとも単純な場合として乗算作用素によって形作ることのできる線型作用素のクラスを同定するものである。より抽象的には、スペクトル定理は可換"C"-環に関する主張ということができる。歴史的背景はスペクトル論の項を参照。
スペクトル定理が適用できるような作用素の例としては、自己随伴作用素やより一般にヒルベルト空間上の正規作用素などが挙げられる。
スペクトル定理はまた、作用素の作用する台となるベクトル空間に関する（スペクトル分解、固有分解（固有値分解）などと呼ばれる）標準分解 (canonical decomposition) をも提示する。
正規作用素.
複素ヒルベルト空間 上の正規作用素は、連続線型作用素 であって自身のエルミート共軛 と可換 () となるものである。
正規作用素はそれに対するスペクトル定理が成り立つという点で重要である。今日では正規作用素のクラスはよく理解されている。正規作用素の例には
などが挙げられる。また、正規行列は を有限次元ヒルベルト空間とみるときの正規作用素のことと考えることができる。
スペクトル定理は行列のより一般のクラスに拡張できる。 は有限次元内積空間上の作用素とする。 が正規行列であるとは、 を満たすことを言う。 が正規であるための必要十分条件が「それがユニタリ行列で対角化可能であること」であることを示すことができる。実際、シューア分解により （ はユニタリ、 は上三角）と書くと、 は正規ゆえ となり、 は対角行列でなければならない（正規な上三角行列は対角行列である）。逆は明らか。
即ち、 が正規であるための必要十分条件は、ユニタリ行列 と対角行列 で
を満たすものが存在することである。このとき の対角成分には の固有値が並び、対応する の列ベクトルには各固有値に付随する の固有ベクトルが並ぶ。これら列ベクトルは正規直交系を成す。エルミート行列の場合と異なり、 の成分は実数とは限らない。
極分解.
複素ヒルベルト空間の間の任意の有界線型作用素 の極分解は、部分等距作用素と非負作用素の積への標準分解である。
行列に対する極分解は以下のように一般化する。 が有界線型作用素であるとき、部分等距変換 と非負自己随伴作用素 で の始空間が の値域の閉包に一致するものの積として の一意的な分解 が存在する。
以下のような理由により、作用素 はユニタリではなく部分等距変換に弱める必要がある。 が 上の片側シフト ならば、 であるから、 ならば は でなくてはならないがこれはユニタリではない。
極分解の存在性は
の帰結である。作用素 は とおき、連続性により まで延長して、 の直交補空間では とすれば定義できる。この作用素 は から が従うから矛盾なく定義される。よって補題は示された。
特に ならば は部分等距であり、これは のとき一意である。一般に任意の有界作用素 に対し、通常の汎函数計算で与えられる の平方根を として
が成り立つから、補題により適当な部分等距変換 に対して
となる。 は のとき一意である（ とすると に注意）。 として をとれば極分解 を得る。同様の論法が、正作用素 および が部分等距として を示すのにも有効であることを確認せよ。
 が有限次元のときには はユニタリ作用素に延長できるが、これは一般には成り立たない（上述）。その代りに極分解は特異値分解の作用素版を用いて示すことができる。
の性質により、極分解における絶対値 は の生成する"C"-環に属する。偏極部 に対しても、同様だがより弱い主張が成立し、偏極部 は の生成するフォンノイマン環に属する。 が可逆ならば は絶対値同様に の生成する -環に属する。
作用素環.
作用素環論では、C*-環などの作用素環の研究を前面に掲げる。
-環.
-環 は複素数体上のバナハ環であって、対合 を備える。 の元 の による像を と書くとき、対合 は以下の性質を満たす