閉作用素
数学の、特に関数解析学の分野における閉作用素（へいさようそ、英語: closed operator）は、バナッハ空間上の線形作用素のある重要な類である。有界作用素よりも一般的であるため、必ずしも連続ではないが、スペクトルや（いくつかの仮定の下で）関数計算を定義出来るという十分に良い性質を備えている。導関数や微分作用素の広い類など、多くの重要な線形作用素で有界でないようなものが、閉作用素であるということが分かっている。
[math]X,Y[/math] を二つのバナッハ空間とする。線形作用素
- [math]A\colon\mathcal{D}(A)\subset X\to Y[/math]
が閉であるとは、[math]x\in X[/math] に収束するような [math]\mathcal{D}(A)[/math] 内の任意の列 [math]\{x_n\}_{n\in \mathbb{N}}[/math] で [math]Ax_n\to y\in Y[/math] （ [math]n\to\infty[/math] ）であるようなものに対して、[math]x\in\mathcal{D}(A)[/math] および [math]Ax = y[/math] が成立することを言う。あるいは、[math]A[/math] が閉であるとは、そのグラフが直和 [math]X\oplus Y[/math] において閉であることを言う。
必ずしも閉でない、与えられたある線形作用素 [math]A[/math] に対し、もしその [math]X\oplus Y[/math] 内のグラフの閉包がある作用素のグラフとなるのであれば、そのような作用素は [math]A[/math] の閉包と呼ばれ、[math]A[/math] は可閉と呼ばれる。[math]A[/math] の閉包は [math]\overline{A}[/math] と表記される。作用素 [math]A[/math] が閉包 [math]\overline{A}[/math] の [math]\mathcal{D}(A)[/math] への制限であることは、すぐに分かる。
可閉作用素 [math]A[/math] の核（core）とは、[math]\mathcal{D}(A)[/math] の部分集合 [math]\mathcal{C}[/math] で、[math]A[/math] の [math]\mathcal{C}[/math] への制限の閉包が [math]\overline{A}[/math] であるようなもののことを言う。
基本的な性質
次の性質が簡単に確かめられる:
- 全空間 [math]X[/math] 上で定義される閉線形作用素は、有界である。これは閉グラフ定理と呼ばれる;
- もし [math]A[/math] が閉であるなら、[math]A-\lambda I[/math] も閉である。ここで [math]\lambda[/math] はスカラーであり、[math]I[/math] は恒等作用素を表す;
- もし [math]A[/math] が閉であるなら、その核（あるいは零空間）は [math]X[/math] の閉部分空間である;
- もし [math]A[/math] が閉かつ単射であるなら、その逆 [math]A^{-1}[/math] も閉である;
- 作用素 [math]A[/math] に閉包が存在するための必要十分条件は、[math]\mathcal{D}(A)[/math] 内の任意の列のペア [math]\{x_n\}[/math] および [math]\{y_n\}[/math] で、両方とも [math]x[/math] に収束し、[math]\{Ax_n\}[/math] および [math]\{Ay_n\}[/math] の両方とも収束するようなものに対して、[math]\lim_n Ax_n = \lim_n Ay_n[/math] が成立することである。
例
次のような微分作用素
- [math] A f = f'\,[/math]
を考える。ただしバナッハ空間 X=Y を、区間 [a, b] 上のすべての連続関数からなる空間 C[a, b] であるとする。その定義域 [math]\mathcal{D}(A)[/math] が [math]\mathcal{D}(A)=C^{1}[a, b][/math] であるとした時、A は有界ではないが閉作用素となる。（[math]\mathcal{D}(A)[/math] を、不連続な導関数も含むようなすべての微分可能関数からなる集合とすることも出来ることに注意されたい。このとき作用素 A は閉ではない）。
もし代わりに [math]\mathcal{D}(A)[/math] をすべての無限回微分可能関数からなる集合であるとしたら、A はもはや閉ではなく、しかし可閉である。その場合、閉包は [math]C^{1}[a, b][/math] 上定義される A の拡張となる。
関連項目
参考文献
- Folland, Gerald B. (1984), Real Analysis: Modern Techniques and Their Applications (1st ed.), John Wiley & Sons, ISBN 978-0-471-80958-6
- Rudin, Walter (1973), Functional analysis, Tata MacGraw-Hill.
- テンプレート:Planetmath reference