有界作用素のソースを表示

{{出典の明記|date=2017年12月15日 (金) 07:32 (UTC)}}
[[関数解析学]]において'''有界（線形）作用素'''（ゆうかいさようそ、{{Lang-en-short|Bounded〈linear〉operator}}）とは、二つの[[ノルム線型空間|ノルム空間]] ''X'' および ''Y'' の間の[[作用素 (関数解析学)|線型作用素]] ''L'' であって、''X'' に含まれるゼロでないすべてのベクトル ''v'' に対して ''L''(''v'') の[[ノルム]]と ''v'' のノルムの比が、''v'' に依存しない1つの数によって上から評価されるようなもののことを言う。言い換えると、次を満たす線型作用素 ''L'' のことを、有界作用素と言う:

:<math>\exists\ M>0\ \text{s.t.}\ \forall\ v \in X;\ \|Lv\|_Y \le M \|v\|_X.</math>

ここで <math> \|\cdot\|_X </math> は ''X'' が備えるノルムである（<math> \|\cdot\|_Y </math> も同様）．上記の正定数 ''M'' の下限は ''L'' の[[作用素ノルム]]と呼ばれ、<math>\|L\|_{\mathrm{op}} \,</math> と記述される。 ''X'' から ''Y'' への有界作用素全体の集合を <math>\mathcal{L}(X,Y)</math>として，<math>L \in \mathcal{L}(X,Y)</math>に対して <math>\|L\|_{\mathcal{L}(X,Y)}</math>によって作用素ノルムを表すこともある．

一般的に、有界作用素は[[有界関数]]ではない。後者は、すべての ''v'' に対し ''L''(''v'') のノルムが上から評価されている必要があるが、これは ''L'' が[[零写像|零作用素]]でないと起こり得ない。有界作用素は{{仮リンク|局所有界関数|en|locally bounded function}}である。

線形作用素が有界であることと、[[連続線形作用素|連続]]であることは必要十分である。

==例==
* 二つの有限次元ノルム空間の間の線形作用素は、有界である。またそのような作用素は、固定された[[行列]]による乗算と見なすことが出来る。

* 多くの[[積分変換]]は有界作用素である。例えば、

::<math>K \colon [a, b]\times [c, d]\to {\mathbb R} \,</math>
:が連続関数であるなら、
::<math>(Lf)(y):=\int_{a}^{b}\!K(x, y)f(x)\,dx</math>
:により与えられる、空間 <math>C[a, b] \,</math>（ノルムは[[一様ノルム]]とする）上の作用素 <math>L \,</math> は、有界である。この作用素は実際、[[コンパクト作用素]]でもある。コンパクト作用素は、有界作用素の重要なクラスを形成する。

* 定義域が[[ソボレフ空間]]であり、[[二乗可積分関数]]からなる空間に値を取るような[[ラプラス作用素]] 

::<math>\Delta \colon H^2({\mathbb R}^n)\to L^2({\mathbb R}^n) \,</math>
:は有界である。

* <math>x_0^2+x_1^2+x_2^2+\cdots < \infty \,</math> を満たすような実数からなるすべての[[数列]] (''x''<sub>''0''</sub>, ''x''<sub>''1''</sub>, ''x''<sub>''2''</sub>...) からなる関数空間 ''l''<sup>''2''</sup> 上の[[シフト作用素]]

::<math>L(x_0, x_1, x_2, \dots):=(0, x_0, x_1, x_2,\dots) \,</math>
:は有界である。その作用素ノルムが 1 であることはすぐに分かる。

==有界性と連続性が同値であること==
上述のように、二つのノルム空間 ''X'' と ''Y'' の間の線形作用素 ''L'' が有界であることと、連続であることは必要十分である。その証明は次のように与えられる。

* ''L'' が有界であると仮定する。このとき、''X'' に含まれるすべてのベクトル ''v'' および ''h'' （''h'' は非ゼロとする）に対し、

::<math>\|L(v + h) - L v\|_Y = \|Lh\|_Y \le M\|h\|_X</math>
:が成立する。''h'' をゼロへと収束させることにより、''L'' の ''v'' における連続性が示される。また、この定数 ''M'' は ''v'' に依存しないため、''L'' は実際には[[一様連続]]（実際にはさらに強く、[[リプシッツ連続]]）である。

* 逆を考える。''L'' のゼロにおける連続性により、<math>\|L(h)\|_Y=\| L(h) - L(0) \|_Y \le 1</math> が <math>\|h\|_X \le \delta</math> を満たすすべての <math>h \in X</math> に対して成立するような定数 <math>\delta > 0</math> が存在する。したがって、''X'' の任意のゼロでない元 <math>v</math> に対し、

::<math>\|Lv\|_Y = \left \| {\|v\|_X \over \delta} L \left( \delta {v \over \|v\|_X} \right) \right \|_Y = {\|v\|_X \over \delta} \left \| L \left( \delta {v \over \|v\|_X} \right) \right \|_Y \le  {\|v\|_X \over \delta} \cdot 1  = {1 \over \delta}\|v\|_X </math>
:が得られる。すなわち、''L'' は有界である。

==線形性と有界性==
ノルム空間のあいだの全ての線形作用素が有界であるというわけではない。''X'' を、[&minus;π, π] 上で定義されるすべての[[三角多項式]] ''P'' からなる空間とし、そのノルムを
:<math>\|P\|:=\int_{-\pi}^{\pi}\!|P(x)|\,dx </math>
で定める。''L'':''X''→''X'' を、[[微分]]を行うような作用素、すなわち、多項式 ''P'' をその微分 ''P''&prime; へと写すような作用素として定義する。このとき
:<math>v:=e^{in x},\quad n \in \mathbb{N} </math>
に対して <math>\|v\|=2\pi</math> を得るが、一方で <math>\|L (v)\|=2\pi n\to\infty\ \text{as } n \to \infty</math>となるため、この作用素 ''L'' は有界でないことが分かる。

これは特殊な例というわけではなく、むしろ一般的な法則から考え出すことのできる例の内の一つである。有限次元のノルム空間上で定義される線形作用素であればどのようなものでも有界である。しかし、無限次元のノルム空間 ''X'' と ''Y'' で、さらに ''Y'' がゼロ空間でないのであれば、''X'' から ''Y'' への線形作用素で不連続であるようなものを見つけることが出来る。

上述のような、微分するだけのような基本的な作用素でも有界でないという例は、研究をより困難なものとする。しかし、もしその定義域と値域を注意して定めれば、それは[[閉作用素]]となる場合がある。閉作用素は有界作用素よりも一般的なものである。

==その他の性質==
作用素 ''L'' が有界であるための条件、すなわち、ある定数 ''M'' が存在し
:<math>\|Lv\| \le M \|v\|</math>
がすべての ''v'' に対して成り立つという条件は、より正確には ''L'' の 0 での[[リプシッツ連続|リプシッツ連続性]]のための条件でもある。

二つの与えられた[[バナッハ空間]]の間の有界線形作用素を定義するための手順は、一般的には次のようになる。はじめに、定義されている空間の[[稠密集合|稠密な部分集合]]上の線形作用素で、局所有界であるようなものを定める。つづいて、連続性によりその作用素を、定義されている空間全体を定義域とするような連続線形作用素へと拡張する（[[連続線型拡張]]を参照されたい）。

==有界線形作用素からなる空間の性質==

* ''U'' から ''V'' へのすべての有界線形作用素からなる空間は ''B''(''U'',''V'') と記述される: <math>B(U,V):=\{\ T \colon U \to V;\ T \text{ is bounded operator}\ \}.</math>その空間はノルム空間である。
* ''V'' がバナッハ空間であるなら、''B''(''U'',''V'') もまたバナッハ空間となる。
* 上の性質より、[[双対空間]]はバナッハ空間となる。
* ''B''(''U'',''V'') に含まれる任意の ''A'' の[[核 (代数学)|核]]は、''U'' の閉線形部分空間である。
* ''B''(''U'',''V'') がバナッハ空間で ''U'' が非自明な空間なら、''V'' はバナッハ空間となる。

==線形位相空間==
ノルム空間上の線形作用素の有界性に関する条件は、次のように言い換えることが出来る。作用素は、すべての[[有界集合]]をふたたび有界集合へと写すとき、有界であると言われる。ここでの集合の有界性は、[[線形位相空間]]の集合に対するより一般的な条件を意味する: 集合が有界であることと、その集合が 0 のすべての近傍により吸収されることは必要十分である。有界性についての二つの記述は、[[局所凸空間]]に対しては同じ意味となる。

これより、一般的な線形位相空間の間の作用素が有界であるということを、その作用素が有界集合を有界集合へと写す、ということにより定義することが出来る。この文脈において、すべての連続作用素が有界作用素であるということは依然として正しいが、その逆は成立しない。すなわち、有界作用素は必ずしも連続作用素ではない。このことは明らかに、有界性はもはやリプシッツ連続性と同値にはならない、ということを意味している。

そのような逆は、定義域が擬距離空間であるような場合に成立する。例えば[[フレッシェ空間]]などがこの場合に含まれる。[[LF-空間]]に対しては、次のような弱い意味での逆が成立する; LF-空間からの任意の有界線形作用素は、{{仮リンク|点列連続|en|sequentially continuous}}である。

==関連項目==
*[[作用素環論]]
*[[作用素論]]
*[[非有界作用素]]

==参考文献==
* Kreyszig, Erwin: ''Introductory Functional Analysis with Applications'', Wiley, 1989

{{DEFAULTSORT:ゆうかいさようそ}}

[[Category:作用素環論]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]