掛け算作用素の話をしたかった(準備その2)
書いたはいいけど存在忘れそう.
今回は線形作用素について必要最低限述べて行こうと思います.
線形作用素という文字だけ見るとなんか難しそうかもしれませんが別にたいしたことないです.
ここではヒルベルト空間に限っておきますが,別にBanach空間でも変わりません.
ここで注意しておかなければならないのは,作用素の定義には定義域も含まれるということです.なにを当たり前なことを私も最初は思いましたが,これは意外と大事で間違いを起こしやすいので気をつけましょう.
つまり、二つの作用素が同じということは定義域とその各点での値がともに一致する必要があるということですね.
ところで,線形作用素の連続性と有界性や作用素ノルムについては少し触れる必要がありますね.
以下,\(H,K\)は特に断らない限りヒルベルト空間とします.
次に有界性についてです.
線形作用素では上の二つは結局のところ同値であることはコメントしておきます.(証明はわりと簡単です.)
また、有限次元の空間上の線形作用素はすべて有界作用素なので、非有界作用素は無限次元空間で考えなければ意味がありません.
ここでDensely Definedについて話しておきましょう.
さて、densely definedな有界作用素は次のようなことが成り立ちます.
証明は任意の\(u\in H\)に対して,\(u_n\to u\ (as\ n\to\infty)\)なるものをとって,\(\overline{T}u=\lim_{n\to\infty}Tu_n\)とすれば良いです.
この定理により,densely definedな有界作用素では結局のところ定義域は空間そのものだと思って良いことになります.
このように\(T\colon H\to K\)が有界線形作用素で,\(D(T)=H\)となるもの全体を\(\mathbb{B}(H,K)\)と書く事にします.
ここでこの\(\mathbb{B}(H,K)\)は自然な和とスカラー倍について\(\mathbb{C}\)ベクトル空間となり,また次のノルムについて完備であることがわかります.
また、このノルムは\[\|T\|=\sup_{u\neq 0}\frac{\|Tu\|}{\|u\|}\]と表すこともできます.
さらに定義から明らかに,\(\|Tu\|\leq\|T\|\|u\|_H\)が成り立ちます.
ここでようやっと掛け算作用素が定義できます.
\(\exists M>0;\ \sup|F(x)|\leq M\ a.e\)が成り立つような\(M\)を本質的な上限といって,その\(\inf\)を本質的な上限といって,\({\rm ess}.\sup|f(x)|=\|f\|_{\infty}\)と表します.
また本質的上限が有限値のとき,その関数は本質的に有界であると言います.
今簡単な計算から,\(\|M_Ff\|_L^2\leq \|F\|_{\infty}\|f\|_L^2\)なので,本質的に有界ならば,\(M_Ff\)もまた\(L^2\)に入ります.
従って,関数\(F\)が本質的に有界ならば,掛け算作用素は\(D(M_F)=L^2\)であるような有界線形作用素です.
では本質的に有界でない場合はどうなるのか?というのは次回お話するとしましょう.
次回は掛け算作用素の性質についてです.