コンパクト作用素のソースを表示

{{脚注の不足|date=2020-10-24}}
[[数学]]の一分野[[函数解析学]]において'''コンパクト作用素'''（コンパクトさようそ、{{lang-en|''compact operator''}}）とは、[[バナッハ空間]] ''X'' から別のバナッハ空間 ''Y'' への[[線型作用素]] ''L'' であって、''X'' の任意の有界集合を ''Y'' の[[相対コンパクト]]集合へ写すようなもののことを言う。このような作用素は[[有界作用素]]、つまり連続写像でなければならない。

有界作用素 ''L'' で階数が有限なものは全てコンパクト作用素である。実際、無限次元空間上のコンパクト作用素のクラスは階数有限な作用素のクラスの自然な一般化である。''X'' = ''Y'' が[[ヒルベルト空間]]であるとき、任意のコンパクト作用素は有限階作用素の極限として得られる。したがってコンパクト作用素のクラスを有限階作用素のクラスの[[作用素ノルム]]に関する[[閉包]]として定義することもできる。このこと（[[近似特性]] AP）が一般のバナッハ空間においても正しいかどうかということは長年未解決の問題であったが、[[エンフロ]]によって反例が与えられ否定的に解決された。

コンパクト作用素の理論の始まりは、[[積分方程式]]の理論の中にあり、そこでは積分作用素がそのような作用素の具体的な例を与える。典型的な[[フレドホルム積分方程式|フレドホルム方程式]]は[[函数空間]]上のコンパクト作用素 ''K'' を生じ、このときのコンパクト性は[[同程度連続性]]によって示される。有限階作用素による近似法はそのような方程式の数値解法の基礎である。抽象的な[[フレドホルム作用素]]の概念はこの関連性からくるものである。

== 同値な定式化 ==
[[有界作用素]] ''T'' がコンパクトであるための必要十分条件は、以下の条件のいずれか（したがってすべて）を満足することである。
* ''X'' における単位球体の ''T'' による像が ''Y'' において[[相対コンパクト]]である。
* ''X'' における任意の有界集合の ''T'' による像が ''Y'' において相対コンパクトである。 
* ''X'' における任意の有界集合の ''T'' による像が ''Y'' において[[全有界]]である。
* 0 の[[近傍]] ''U'' &sub; ''X'' とコンパクト集合 ''V'' &sub; ''Y'' で ''T''(''U'') &sub; ''V'' を満たすものが存在する。
* ''X'' における単位球体内の任意の列 (''x''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> に対し、列 (''Tx''<sub>''n''</sub>)<sub>''n''&isin;'''N'''</sub> は[[コーシー列]]を成す部分列を含む。

== 重要な性質 ==
以下、''X'', ''Y'', ''Z'', ''W'' はバナッハ空間であるとし、B(''X'', ''Y'') を ''X'' から ''Y'' への有界作用素全体が作用素ノルムに関して成すバナッハ空間、K(''X'', ''Y'') を ''X'' から ''Y'' へのコンパクト作用素全体の成す空間、B(''X'') = B(''X'', ''X''), K(''X'') = K(''X'', ''X''), id<sub>''X''</sub> は ''X'' 上の[[恒等作用素]]とする。

* K(''X'', ''Y'') は B(''X'', ''Y'') の閉部分空間である。''T''<sub>''n''</sub> (''n'' &isin; '''N''') をバナッハ空間から別のバナッハ空間へのコンパクト作用素の列とし、 ''T''<sub>''n''</sub> が[[作用素ノルム]]に関して ''T'' へ収束するものと仮定すると、''T'' は再びコンパクトである。 
* 作用素の合成に関して<div style="margin: 1ex auto 1ex 2em"><math>\mathrm{B}(Y,Z)\circ \mathrm{K}(X,Y)\circ \mathrm{B}(W,X)\subseteq \mathrm{K}(W,Z)</math></div> が成立する。特に K(''X'') は B(''X'') の両側作用素イデアルを成す。
* id<sub>''X''</sub> は ''X'' が有限次元であるとき、かつそのときに限りコンパクトである。
* 任意の ''T'' &isin; K(''X'') に対し id<sub>''X''</sub> &minus; ''T'' は指数 0 の[[フレドホルム作用素]]である。特に、im(id<sub>''X''</sub> &minus; ''T'') は閉である。これはコンパクト作用素のスペクトル特性の発展において本質的である。この性質と、''M'', ''N'' がバナッハ空間の部分空間で、''M'' が閉、''N'' が有限次元のとき ''M'' + ''N'' もまた閉となるという事実との類似性を指摘するものもいる。

== 積分方程式論 ==
コンパクト作用素の重要な性質に (&lambda;''K'' + ''I'')''u'' = ''f'' の形の線型方程式の解の存在性が有限次元の場合におけると同様に振舞うことを主張する[[フレドホルムの交代定理]]がある。これにより[[リース・フリジェシュ|フリジェシュ・リース]] (1918) による[[コンパクト作用素のスペクトル理論]]が従う。これによれば、無限次元バナッハ空間上のコンパクト作用素 ''K'' は、0 を含む '''C''' の有限部分集合かあるいは[[集積点]]のみからなる '''C''' の[[可算無限集合]]のいずれかをスペクトル集合に持つことが示される。さらにいえば、いずれの場合においてもスペクトル集合の非零元は ''K'' の重複度有限なる[[固有値]]である（つまり、任意の複素数 &lambda; &ne; 0 について ''K'' &minus; λ''I'' の核は有限次元）。

コンパクト作用素の重要な例に、[[ゴルディング不等式]]と[[ラックス-ミルグラムの定理]]に並ぶ[[ソボレフ空間]]の[[コンパクト埋め込み]]があり、[[楕円型境界値問題]]をフレドホルム積分方程式に読み替えることができて<ref name="mclean">William McLean, Strongly Elliptic Systems and Boundary Integral Equations, Cambridge University Press, 2000</ref>、そのときに解の存在性とスペクトル特性はコンパクト作用素の理論から従う。特に、有界領域上の楕円型境界値問題は無限に多くの孤立した固有値を持つ。ひとつの帰結として、剛体は固有値によって与えられる孤立した周波数でのみ振動し、任意に高い振動周波数が常に存在することがわかる。

バナッハ空間からそれ自身へのコンパクト作用素全体は、その空間上の有界作用素全体の成す[[多元環]]の両側イデアルを成す。実際、ヒルベルト空間上のコンパクト作用素全体は極大イデアルを成し、それによる[[商多元環]]（[[カルキン代数]]と呼ばれる）は[[単純環]]である。

== ヒルベルト空間上のコンパクト作用素 ==
{{main|ヒルベルト空間上のコンパクト作用素}}
ヒルベルト空間上のコンパクト作用素を次のように定義することもできる。[[ヒルベルト空間]] ''H'' 上の作用素 ''T'': ''H'' &rarr; ''H'' が'''コンパクト'''であるとは ''T'' が

{{Indent|<math>T = \sum_{n=1}^N \lambda_n \langle f_n, \bullet \rangle g_n</math>}}

の形に表せることをいう。ここで、1 &le; ''N'' &le; &infin; であり、''f''<sub>1</sub>, ..., ''f''<sub>''N''</sub> および ''g''<sub>1</sub>, ..., , ''g''<sub>''N''</sub> は（必ずしも完全でない）[[正規直交系]]とする。このとき、&lambda;<sub>1</sub>, ..., &lambda;<sub>''N''</sub> はその作用素の[[特異値分解|特異値]]と呼ばれる正数列である。特異値は 0 においてのみ[[集積点|集積]]することができる。また、括弧 &lt;&bull;, &bull;&gt; はヒルベルト空間上の内積で、右辺の和は作用素ノルムに関して収束する。

コンパクト作用素のクラスの重要な部分類にトレース類や[[核作用素]]のクラスがある。

== 完全連続作用素 ==
''X'', ''Y'' をバナッハ空間とする。有界線型作用素 ''T'': ''X'' &rarr; ''Y'' が'''完全連続''' {{lang|en|(''completely continuous'')}} であるとは、''X'' からの任意の[[弱位相|弱収束列]] (''x''<sub>''n''</sub>) に対し、列 (''Tx''<sub>''n''</sub>) が ''Y'' においてノルム収束するときにいう{{harv|Conway|1985|loc=§VI.3}}。バナッハ空間上のコンパクト作用素はつねに完全連続である。逆に、''X'' が[[回帰的バナッハ空間]]（反射的バナッハ空間とも）であるならば任意の完全連続作用素 ''T'': ''X'' &rarr; ''Y'' がコンパクトになる。

== 例 ==
* 固定された ''g'' &isin; ''C''([0, 1]; '''R''') に対し、線型作用素 ''T'' を<div style="margin: 1ex auto 1ex 2em"><math>(Tf)(x) = \int_0^x f(t)g(t)\, dt</math></div>によって定義することができる。この作用素 ''T'' は[[アスコリの定理]]により実際にコンパクトになる。
* もっと一般に、&Omega; を '''R'''<sup>''n''</sup> の任意の領域とし、積分核 ''k'': &Omega; &times; &Omega; &rarr; '''R''' を[[ヒルベルト-シュミット核]]とすると、<div style="margin: 1ex auto 1ex 2em;"><math>(Tf)(x) = \int_{\Omega} k(x, y) f(y)\, dy</math></div>によって定義される ''L''<sup>2</sup>(&Omega;; '''R''') 上の作用素 ''T'' がはコンパクト作用素である。
* [[リースの補題]]によれば、恒等作用素がコンパクトであることと空間が有限次元であることとは同値である。

== 出典 ==
<references/>

== 参考文献 ==
* {{citation|first=John B.|last=Conway|title=A course on functional analysis|publisher=Springer-Verlag|year=1985|isbn=3-540-96042-2}}
* {{cite book
|   author = Renardy, Michael and Rogers, Robert C.
|    title = An introduction to partial differential equations
|   series = Texts in Applied Mathematics 13
|  edition = Second edition
|publisher = Springer-Verlag
| location = New York
|     year = 2004
|    pages = 356
|     isbn = 0-387-00444-0
}} (Section 7.5)
* {{cite book
|   author = Kutateladze, S.S.
|    title = Fundamentals of Functional Analysis
|   series = Texts in Mathematical Sciences 12
|  edition = Second edition
|publisher = Springer-Verlag
| location = New York
|     year = 1996
|    pages = 292
|     isbn = 978-0-7923-3898-7
}}

== 関連項目 ==
* [[コンパクト作用素のスペクトル理論]]
* [[フレドホルム作用素]]
* [[フレドホルム積分方程式]]
* [[フレドホルムの交代定理]]
* [[コンパクト埋め込み]]

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