有界作用素

関数解析学において有界（線形）作用素（ゆうかいさようそ、）とは、二つのノルム空間 "X" および "Y" の間の線型作用素 "L" であって、"X" に含まれるゼロでないすべてのベクトル "v" に対して "L"("v") のノルムと "v" のノルムの比が、"v" に依存しない1つの数によって上から評価されるようなもののことを言う。言い換えると、次を満たす線型作用素 "L" のことを、有界作用素と言う:
ここで formula_2 は "X" が備えるノルムである（formula_3 も同様）．上記の正定数 "M" の下限は "L" の作用素ノルムと呼ばれ、formula_4 と記述される。 "X" から "Y" への有界作用素全体の集合を formula_5として，formula_6に対して formula_7によって作用素ノルムを表すこともある．
一般的に、有界作用素は有界関数ではない。後者は、すべての "v" に対し "L"("v") のノルムが上から評価されている必要があるが、これは "L" が零作用素でないと起こり得ない。有界作用素はである。
線形作用素が有界であることと、連続であることは必要十分である。
有界性と連続性が同値であること.
上述のように、二つのノルム空間 "X" と "Y" の間の線形作用素 "L" が有界であることと、連続であることは必要十分である。その証明は次のように与えられる。
線形性と有界性.
ノルム空間のあいだの全ての線形作用素が有界であるというわけではない。"X" を、[−π, π] 上で定義されるすべての三角多項式 "P" からなる空間とし、そのノルムを
で定める。"L":"X"→"X" を、微分を行うような作用素、すなわち、多項式 "P" をその微分 "P"′ へと写すような作用素として定義する。このとき
に対して formula_24 を得るが、一方で formula_25となるため、この作用素 "L" は有界でないことが分かる。
これは特殊な例というわけではなく、むしろ一般的な法則から考え出すことのできる例の内の一つである。有限次元のノルム空間上で定義される線形作用素であればどのようなものでも有界である。しかし、無限次元のノルム空間 "X" と "Y" で、さらに "Y" がゼロ空間でないのであれば、"X" から "Y" への線形作用素で不連続であるようなものを見つけることが出来る。
上述のような、微分するだけのような基本的な作用素でも有界でないという例は、研究をより困難なものとする。しかし、もしその定義域と値域を注意して定めれば、それは閉作用素となる場合がある。閉作用素は有界作用素よりも一般的なものである。
その他の性質.
作用素 "L" が有界であるための条件、すなわち、ある定数 "M" が存在し
がすべての "v" に対して成り立つという条件は、より正確には "L" の 0 でのリプシッツ連続性のための条件でもある。
二つの与えられたバナッハ空間の間の有界線形作用素を定義するための手順は、一般的には次のようになる。はじめに、定義されている空間の稠密な部分集合上の線形作用素で、局所有界であるようなものを定める。つづいて、連続性によりその作用素を、定義されている空間全体を定義域とするような連続線形作用素へと拡張する（連続線型拡張を参照されたい）。
線形位相空間.
ノルム空間上の線形作用素の有界性に関する条件は、次のように言い換えることが出来る。作用素は、すべての有界集合をふたたび有界集合へと写すとき、有界であると言われる。ここでの集合の有界性は、線形位相空間の集合に対するより一般的な条件を意味する: 集合が有界であることと、その集合が 0 のすべての近傍により吸収されることは必要十分である。有界性についての二つの記述は、局所凸空間に対しては同じ意味となる。
これより、一般的な線形位相空間の間の作用素が有界であるということを、その作用素が有界集合を有界集合へと写す、ということにより定義することが出来る。この文脈において、すべての連続作用素が有界作用素であるということは依然として正しいが、その逆は成立しない。すなわち、有界作用素は必ずしも連続作用素ではない。このことは明らかに、有界性はもはやリプシッツ連続性と同値にはならない、ということを意味している。
そのような逆は、定義域が擬距離空間であるような場合に成立する。例えばフレッシェ空間などがこの場合に含まれる。LF-空間に対しては、次のような弱い意味での逆が成立する; LF-空間からの任意の有界線形作用素は、である。