作用素論のソースを表示

[[数学]]における'''作用素論'''（さようそろん、{{lang-en-short|''Operator theory''}}）は、[[微分作用素]]や[[積分作用素]]をはじめとする[[線型作用素]]の研究である。各[[作用素 (関数解析学)|作用素]]は、[[有界線形作用素|有界性]]や[[閉作用素|閉性]]などといった特徴によって抽象的に表すことができ、また[[非線型作用素]]なども視野に含むこともあり得る。そのような研究は函数空間の[[位相空間|位相]]に非常に依存しており、[[函数解析学]]の一分科を成す。

作用素の集合が[[体上の多元環]]を成すならば、それを[[作用素環]]と呼ぶ。作用素環を記述することもまた作用素論の一部である。

== 個別の作用素論 ==
個々の作用素論では、個別に与えられた作用素の性質や分類について扱う。例えば、[[スペクトル (関数解析学)|スペクトル]]を用いた[[正規作用素]]の分類はこの範疇に属する。

=== 作用素のスペクトル ===
{{Main|スペクトル定理}}
'''スペクトル定理'''は[[線型作用素]]や[[行列]]に関する無数の結果の総称である<ref>Sunder, V.S. (1997), ''Functional Analysis: Spectral Theory'', Birkhäuser Verlag</ref>。広義のスペクトル定理は、作用素や行列が[[対角化可能]]である（即ち適当な基底の下で[[対角行列]]に表せること）ための条件を提示するものをいう。この対角化可能の概念は直接には有限次元空間に対するものだが、無限次元空間上の作用素に対しては少々の修正を要する。一般に、スペクトル定理はもっとも単純な場合として[[乗算作用素]]によって形作ることのできる[[線型作用素]]のクラスを同定するものである。より抽象的には、スペクトル定理は可換[[C*-環| ''C''{{msup|&lowast;}}-環]]に関する主張ということができる。歴史的背景は[[スペクトル論]]の項を参照。

スペクトル定理が適用できるような作用素の例としては、[[自己随伴作用素]]やより一般に[[ヒルベルト空間]]上の[[正規作用素]]などが挙げられる。

スペクトル定理はまた、作用素の作用する台となるベクトル空間に関する（'''スペクトル分解'''、'''固有分解'''（[[固有値分解]]）などと呼ばれる）標準分解 (canonical decomposition) をも提示する。

==== 正規作用素 ====
{{main|正規作用素}}
複素[[ヒルベルト空間]] {{mvar|H}} 上の'''正規作用素'''は、[[連続線型作用素]] {{math|''N'': ''H'' → ''H''}} であって自身の[[エルミート共軛]] {{math|''N''{{msup|&lowast;}}}} と[[可換]] ({{math|''NN''{{msup|&lowast;}} {{=}} ''N''{{msup|&lowast;}}''N''}}) となるものである<ref>{{citation
 | last1 = Hoffman | first1 = Kenneth
 | last2 = Kunze | first2 = Ray | author2-link = Ray Kunze
 | edition = 2nd
 | location = Englewood Cliffs, N.J.
 | mr = 0276251
 | page = 312
 | publisher = Prentice-Hall, Inc.
 | title = Linear algebra
 | year = 1971}}</ref>。

正規作用素はそれに対する[[スペクトル定理]]が成り立つという点で重要である。今日では正規作用素のクラスはよく理解されている。正規作用素の例には
* [[ユニタリ作用素]]: {{math|''N''{{msup|&lowast;}} {{=}} ''N''{{exp|&minus;1}}}}.
* [[エルミート作用素]]（自己随伴作用素）: {{math|''N''{{msup|&lowast;}} {{=}} ''N''}},
* 反自己随伴作用素: {{math|''N''{{msup|&lowast;}} {{=}} &minus;''N''}}.
* {{仮リンク|正作用素|en|Positive operator}}: {{math|''N'' {{=}} ''MM''{{msup|&lowast;}}}}（{{mvar|M}} は適当な有界作用素）
などが挙げられる。また、[[正規行列]]は {{mvar|'''C'''{{msup|''n''}}}} を有限次元ヒルベルト空間とみるときの正規作用素のことと考えることができる。

スペクトル定理は行列のより一般のクラスに拡張できる。{{mvar|A}} は有限次元内積空間上の作用素とする。{{mvar|A}} が[[正規行列]]であるとは、{{math|''A''{{msup|&lowast;}}''A'' {{=}} ''AA''{{msup|&lowast;}}}} を満たすことを言う。{{mvar|A}} が正規であるための必要十分条件が「それがユニタリ行列で対角化可能であること」であることを示すことができる。実際、[[シューア分解]]により {{mvar|''A'' {{=}} ''UTU''{{msup|&lowast;}}}}（{{mvar|U}} はユニタリ、{{mvar|T}} は上三角）と書くと、{{mvar|A}} は正規ゆえ {{mvar|''TT''{{msup|&lowast;}} {{=}} ''T''{{msup|&lowast;}}''T''}} となり、{{mvar|T}} は対角行列でなければならない（正規な上三角行列は対角行列である）。逆は明らか。

即ち、{{mvar|A}} が正規であるための必要十分条件は、[[ユニタリ行列]] {{mvar|U}} と[[対角行列]] {{mvar|D}} で
: <math>A=U D U^*</math>
を満たすものが存在することである。このとき {{mvar|D}} の対角成分には {{mvar|A}} の[[固有値]]が並び、対応する{{mvar|U}} の列ベクトルには各固有値に付随する {{mvar|A}} の固有ベクトルが並ぶ。これら列ベクトルは正規直交系を成す。エルミート行列の場合と異なり、{{mvar|D}} の成分は実数とは限らない。

=== 極分解 ===
{{Main|{{仮リンク|極分解|en|Polar decomposition}}}}
複素[[ヒルベルト空間]]の間の任意の[[有界線型作用素]] {{mvar|A}} の'''極分解'''は、[[部分等距作用素]]と非負作用素の積への標準分解である<ref>{{citation|title=A Course in Operator Theory|series=[[Graduate Studies in Mathematics]]|first=John B. |last=Conway|publisher=American Mathematical Society|year= 2000|isbn=0821820656}}</ref>。

行列に対する極分解は以下のように一般化する。{{mvar|A}} が有界線型作用素であるとき、部分等距変換 {{mvar|U}} と非負自己随伴作用素 {{mvar|P}} で {{mvar|U}} の始空間が {{mvar|P}} の値域の閉包に一致するものの積として {{mvar|A}} の一意的な分解 {{math|''A'' {{=}} ''UP''}} が存在する。

以下のような理由により、作用素 {{mvar|U}} はユニタリではなく部分等距変換に弱める必要がある。{{mvar|A}} が {{math|''l''<sup>2</sup>('''N''')}} 上の[[シフト作用素|片側シフト]] ならば、{{math|{{abs|''A''}} {{=}} (''A''{{msup|&lowast;}}''A'')<sup>½</sup> {{=}} ''I''}} であるから、{{math|''A'' {{=}} ''U''&thinsp;{{abs|''A''}}}} ならば {{mvar|U}} は {{mvar|A}} でなくてはならないがこれはユニタリではない。

極分解の存在性は{{仮リンク|ダグラスの補題|en|Douglas' lemma}}
; 補題 (Douglas)
: {{mvar|A, B}} はヒルベルト空間 {{mvar|H}} 上の有界作用素で {{math|''A''{{msup|&lowast;}}''A'' ≤ ''B''{{msup|&lowast;}}''B''}} を満たすとする。このとき、{{math|''A'' {{=}} ''CB''}} を満たす縮小写像 {{mvar|C}} が存在する。さらに {{math|Ker(''B''{{msup|&lowast;}}) ⊂ Ker(''C'')}} ならば {{mvar|C}} は一意である。

の帰結である。作用素 {{mvar|C}} は {{math|''C''(''Bh'') {{=}} ''Ah''}} とおき、連続性により {{math|Ran(''B'')}} まで延長して、{{math|Ran(''B'')}} の直交補空間では {{math|0}} とすれば定義できる。この作用素 {{mvar|C}} は {{math|''A''{{msup|&lowast;}}''A'' ≤ ''B''{{msup|&lowast;}}''B''}} から {{math|Ker(''B'') ⊂ Ker(''A'')}} が従うから[[well-defined|矛盾なく定義される]]。よって補題は示された。

特に{{math|''A''{{msup|&lowast;}}''A'' ≤ ''B''{{msup|&lowast;}}''B''}} ならば {{mvar|C}} は部分等距であり、これは {{math|Ker(''B''{{msup|&lowast;}}) ⊂ Ker(''C'')}} のとき一意である。一般に任意の有界作用素 {{mvar|A}} に対し、通常の[[汎函数計算]]で与えられる {{math|''A''{{msup|&lowast;}}''A''}} の平方根を {{math|(''A''{{msup|&lowast;}}''A'')<sup>½</sup>}} として
: <math>A^*A = (A^*A)^{\frac{1}{2}} (A^*A)^{\frac{1}{2}}</math>
が成り立つから、補題により適当な部分等距変換 {{mvar|U}} に対して
: <math>A = U (A^*A)^{\frac{1}{2}}</math>
となる。{{mvar|U}} は {{math|Ker(''A'') ⊂ Ker(''U'')}} のとき一意である（{{math|1= ''B'' = ''B''{{msup|&lowast;}} = (''A''{{msup|&lowast;}}''A'')<sup>½</sup>}} とすると {{math|1= Ker(''A'') = Ker(''A''{{msup|&lowast;}}''A'') = Ker(''B'') = Ker(''B''{{msup|&lowast;}})}} に注意）。{{mvar|P}} として {{math|(''A''{{msup|&lowast;}}''A'')<sup>½</sup>}} をとれば極分解 {{math|''A'' {{=}} ''UP''}} を得る。同様の論法が、正作用素 {{mvar|P{{'}}}} および {{mvar|U{{'}}}} が部分等距として {{mvar|''A'' {{=}} ''P''{{'}}''U''{{'}}}} を示すのにも有効であることを確認せよ。

{{mvar|H}} が有限次元のときには {{mvar|U}} はユニタリ作用素に延長できるが、これは一般には成り立たない（上述）。その代りに極分解は[[特異値分解]]の作用素版を用いて示すことができる。

{{仮リンク|連続汎函数計算|en|continuous functional calculus}}の性質により、極分解における絶対値 {{math|{{abs|''A''}}}} は {{mvar|A}} の生成する[[C*-環| ''C''{{msup|&lowast;}}-環]]に属する。偏極部 {{mvar|U}} に対しても、同様だがより弱い主張が成立し、偏極部 {{mvar|U}} は {{mvar|A}} の生成する[[フォンノイマン環]]に属する。{{mvar|A}} が可逆ならば {{mvar|U}} は絶対値同様に {{mvar|A}} の生成する {{math|''C''{{msup|&lowast;}}}}-環に属する。

==作用素環==
[[作用素環論]]では、[[C*-環]]などの作用素環の研究を前面に掲げる。

=== {{math|''C''{{msup|&lowast;}}}}-環 ===
{{Main|C*-環}}
{{math|''C''{{msup|&lowast;}}}}-環 {{mvar|A}} は[[複素数]]体上の[[バナハ環]]であって、[[対合]] {{math|&lowast;: ''A'' → ''A''}} を備える。{{mvar|A}} の元 {{mvar|x}} の {{math|&lowast;}} による像を {{math|''x''{{msup|&lowast;}}}} と書くとき、対合 {{math|&lowast;}} は以下の性質を満たす<ref>{{citation|first=W.|last=Arveson|title=An Invitation to C*-Algebra|publisher=Springer-Verlag|year=1976|isbn=0-387-90176-0}}. An excellent introduction to the subject, accessible for those with a knowledge of basic [[functional analysis]].</ref>

* {{仮リンク|対合付き半群|en|Semigroup with involution|label=対合性}}: 任意の {{math|''x'' &isin; ''A''}} に対して
*: <math> x^{**} = (x^*)^* =  x.</math>
* 任意の {{math|''x'', ''y'' &isin; ''A''}} に対して
*: <math> (x + y)^* = x^* + y^*.</math>
*: <math> (x y)^* = y^* x^*.</math>
* 任意の {{math|λ &isin; '''C'''}} および任意の {{math|''x'' &isin; ''A''}} に対して
*: <math> (\lambda x)^* = \overline{\lambda} x^*.</math>
* 任意の {{math|''x'' &isin; ''A''}} に対して
*: <math>  \|x^* x \| = \|x\|\|x^*\|.</math>

; 確認事項: 上三項は {{mvar|A}} が [[対合環|*-環]]（対合環）となることを言うものである。最後の等式を '''{{math|''C''{{msup|&lowast;}}}}-恒等式'''と呼び、{{math|{{norm|''xx''{{msup|&lowast;}}}} {{=}} {{norm|''x''}}{{exp|2}}}} と同値である。この {{math|''C''{{msup|&lowast;}}}}-恒等式は非常に強い要求である。例えば[[スペクトル半径公式]]と合わせて、{{math|''C''{{msup|&lowast;}}}}-ノルムが、
:: <math> \|x\|^2 = \|x^* x\| = \sup\{|\lambda| : x^* x - \lambda \,1 \text{ is not invertible} \}</math>
: としてその代数構造から一意に決定されることが導かれる。

==関連項目==
* [[不変部分空間]]
* [[汎函数計算]]
* [[スペクトル論]]
** [[レゾルベント]]
* [[コンパクト作用素]]
** [[積分方程式]]の[[フレドホルム理論]]
***[[積分作用素]]
***[[フレドホルム作用素]]
* [[自己共役作用素]]
* [[非有界作用素]]
** [[微分作用素]]
* [[陰計算]]
* [[縮小写像]]
* [[ヒルベルト空間]]上の{{仮リンク|正作用素|en|Positive operator}}
* {{仮リンク|半順序線型空間|en|ordered vector space}}上の非負作用素

== 参考文献 ==
{{reflist}}

== 関連文献 ==
* [[:en:John B. Conway|Conway, J. B.]]: ''A Course in Functional Analysis'', 2nd edition, Springer-Verlag, 1994, ISBN 0-387-97245-5
* {{cite book | isbn = 978-0582237438 | title = Introduction to Operator Theory | last1 = Yoshino | first1 = Takashi | year = 1993 | publisher = Chapman and Hall/CRC  | pages =  }}
* Simon, B. (2015). Operator theory. American Mathematical Society.
* Alpay, D., Cipriani, F., Colombo, F., Guido, D., Sabadini, I., & Sauvageot, J. L. (2016). Noncommutative analysis, operator theory and applications. Springer International Publishing.

== 外部リンク ==
* [http://www.mathphysics.com/opthy/OpHistory.html History of Operator Theory]（外部リンク）

{{DEFAULTSORT:さようそろん}}
[[Category:作用素論|*]]
[[Category:数学に関する記事]]