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

[[数学]]の、特に[[関数解析]]や[[作用素論]]の分野における'''非有界作用素'''（ひゆうかいさようそ、{{Lang-en|''unbounded operator''}}）は、位相線型空間のあいだの線型写像で不連続であること・全体では定義されていないことを許したようなものである。[[幾何学]]における[[微分作用素]]や[[量子力学]]における非有界[[オブザーバブル]]などを扱うための抽象的な基礎付けをあたえるのに用いられる。

ここで「非有界作用素」という語は誤解を招く恐れがある。実際に意味するところは、
* 「非有界」は、「必ずしも有界ではない」という意味で解釈される;
* 「作用素」は、「[[線型作用素]]」と解釈される（これは「[[有界作用素]]」の場合と同様）;
* 作用素の定義域は線型部分空間であり、必ずしも全空間ではない（これは「有界作用素」の場合と異なる）;
* 定義域は必ずしも閉ではない; それはしばしば（常にではないが）稠密であると仮定される;
* 有界作用素の特別な場合において、定義域は通常、全空間であると仮定される;
という点に注意されたい。

[[有界作用素]]の場合と異なり、非有界作用素は個々の作用素が異なった定義域を持ちうるため、非有界作用素同士の和や合成がいつでも意味を持つわけではない。

「作用素」という語はしばしば「有界線型作用素」を意味するが、この記事の文脈では「非有界作用素」を表すこととする（ここで上述の注意点に留意されたい）。以下の解説では主に[[バナッハ空間]]や[[ヒルベルト空間]]の間の非有界作用素について説明するが、ほとんどの構成を適切な形に修正してより一般的な[[位相ベクトル空間]]へと一般化することができる。

==小史==

<blockquote>
非有界作用素の理論は、1920年代後半、量子力学に対する厳密な数学的基盤を構築するという試みから生じた。理論の系統的な発展は[[ジョン・フォン・ノイマン]]<ref>{{citation|last=von Neumann|year=1929–1930|title=Allgemeine Eigenwerttheorie Hermitescher Functionaloperatoren|journal=Math. Ann.|volume=102|pages=49&ndash;131|doi=10.1007/BF01782338|first1=J.}}</ref> と [[マーシャル・ストーン]]<ref>{{citation|last=Stone|first=M.|year=1932|title=Linear transformations in Hilbert spaces and their applications to analysis|journal=Amer. Math. Soc. Colloq. Publ.|publication-place=New York|volume=15}}</ref>によるものであった。非有界作用素を解析するためにグラフを用いる手法は、フォン・ノイマンにより <ref>{{citation|last=von Neumann|year=1936|title=Über Adjungierte Funktionaloperatoren|journal=Ann. Math. (2)|volume=33|pages=294&ndash;310|doi=10.2307/1968331|author1=Neumann, J. v|issue=2|jstor=1968331}}</ref> において導入された{{harv|Reed|Simon|1980|loc=Notes to Chapter VIII, page 305}}。
</blockquote>

==定義と基本性質==
''B''<sub>1</sub> および ''B''<sub>2</sub> を[[バナッハ空間]]とする。'''非有界作用素'''（あるいは単純に、''作用素''）{{nowrap|''T''&thinsp;: ''B''<sub>1</sub> → ''B''<sub>2</sub>}} とは、''B''<sub>1</sub> の線型部分空間 ''D''(''T'') （すなわち、''T'' の定義域）から空間 ''B''<sub>2</sub> への[[線型写像]] ''T'' のことである<ref name="Pedersen-5.1.1">{{harvnb|Pedersen|1989|loc=5.1.1}}</ref>。有界線型作用素の場合とは異なり、ここでは ''T'' は全空間 ''B''<sub>1</sub> 上で定義されない場合も考慮する。二つの作用素が等しいとは、それらが共通の定義域を持ち、その定義域上で同一のものであることを意味する。

作用素 ''T'' に対して、もしその[[グラフ (関数)|グラフ]] Γ(''T'') が[[閉集合]]であるなら、''T'' は[[閉作用素|閉]]であると言われる<ref name="Pedersen-5.1.4">{{ harvnb |Pedersen|1989| loc=5.1.4 }}</ref>ここで、グラフ Γ(''T'') は[[直和]] {{nowrap|''B''<sub>1</sub> ⊕ ''B''<sub>2</sub>}} の線型部分空間で、ベクトル ''x'' を''T'' の定義域内で動かして得られる対 {{nowrap|(''x'', ''Tx'')}} 全てからなる集合である。一般に直和上の(l<sup>1</sup>和ノルムの）グラフへの制限はグラフノルムと呼ばれるが、''T''が閉作用素であるということはグラフノルムを用いて次のように表すことができる: 作用素 ''T'' が閉であることと、その定義域 ''D''(''T'') がノルム
: <math> 
    \|x\|_T = \sqrt{ \|x\|^2 + \|Tx\|^2 }\ . 
  </math>
について[[完備距離空間|完備空間]]であることは同値な条件である<ref name="BSU-5">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 5 }}</ref>。このことを具体的に言い表すと、''T'' の定義域に含まれる点からなる列 (''x<sub>n</sub>'') で、''B''<sub>1</sub>のベクトル ''x'' へと収束し、また ''Tx<sub>n</sub>'' が''B''<sub>2</sub>のベクトル ''y'' へと収束するようなものがあったとき、''x'' は ''T'' の定義域に含まれ、{{nowrap|''Tx'' {{=}} ''y''}}が成立する、ということになる<ref name="Pedersen-5.1.4"/>。

作用素 ''T'' はその定義域が ''B''<sub>1</sub> において[[稠密集合|稠密]]であるとき'''[[稠密に定義された作用素|稠密に定義されている]]'''と言われる<ref name="Pedersen-5.1.1" />。 これは全空間 ''B''<sub>1</sub> 上で定義される作用素も含む。なぜならば全空間はそれ自身において稠密であるからである。定義域の稠密性は、その作用素の共役（adjoint）・転置（transpose）の存在のための必要十分条件である。また、''S''と''T''について''D''(''S'') &sub; ''D''(''T'')かつ''T''|<sub>''D''(''S'')</sub> = ''S'' が成り立つとき''S''は''T''に'''含まれる'''（''S'' &sub; ''T''）という。

もし {{nowrap|''T''&thinsp;: ''B''<sub>1</sub> → ''B''<sub>2</sub>}} が閉で、その定義域上稠密に定義されており[[連続線型作用素|連続]]であるなら、それは全空間 ''B''<sub>1</sub> で定義される<ref>''f<sub>j</sub>'' を ''T'' の定義域上の列で {{nowrap|''g'' ∈ ''B''<sub>1</sub>}} へと収束するものとする。''T'' はその定義域上で一様連続であるため、''Tf<sub>j</sub>'' は ''B''<sub>2</sub> 内の[[コーシー列]]である。したがって {{nowrap|(''f<sub>j</sub>'', ''Tf<sub>j</sub>'')}} もコーシー列であり、''T'' のグラフが閉であることから、これはある {{nowrap|(''f'', ''Tf'')}} へと収束する。したがって {{nowrap|''f'' {{=}} ''g''}} であり ''T'' の定義域は閉である。</ref>。

[[ヒルベルト空間]] ''H'' 上稠密に定義された作用素 ''T'' は、ある実数 ''a'' に対して {{nowrap|''T'' + ''a''}} が正作用素となるとき、'''下に有界'''であると言われる。これはすなわち、''T'' の定義域内のすべての ''x'' に対して {{nowrap|⟨''Tx''{{!}}''x''⟩ ≥ −''a''·{{!!}}''x''{{!!}}<sup>2</sup>}} が成立することを意味する<ref name="Pedersen-5.1.12">{{ harvnb |Pedersen|1989| loc=5.1.12 }}</ref>。もし ''T'' と (–''T'') の両方とも下に有界であるなら、''T'' は有界である<ref name="Pedersen-5.1.12" />。

==例==
ルベーグ測度に関するL<sup>2</sup>空間''H''=L<sub>2</sub>[0,1] は [0,1] 上のすべての二乗可積分関数からなるヒルベルト空間である（より正確には、可測で、実数値あるいは複素数値の関数の同値類）。閉区間 [0,1] 上連続的微分可能なすべての関数 ''f''(''t'') からなる集合 ''D''(''T'') <ref>測度の台が[0, 1] 全体なのでC<sup>1</sup>級や連続な関数はL<sub>2</sub>[0, 1]の部分空間と見なせる。</ref>を定義域とし、''t''に関する微分によって定義された線型変換
: <math> Tf = f' \; </math>
は、 ''H''から ''H''への非有界作用素を与えている。実際、二つの連続的微分可能関数 ''f'' および ''g'' の[[線型結合]]の微分について<math>(af+bg)'=af'+bg'.\;</math> が成り立つため、これは線型作用素である。

この作用素は有界ではない。例えば、[0,1] 上の関数 ''f<sub>n</sub>'' を <math> f_n(t) = \sin 2\pi n t \;</math> で定めると、<math> \|f_n\|_H = 1/\sqrt2 </math> であるが <math> \|Tf_n\|_H = 2\pi n/\sqrt2 \to \infty </math> となる。

この作用素は稠密に定義されているが、折れ線をグラフとするような区分線型関数とその微分の対などがグラフの閉包に含まれるため、閉作用素ではない。

C<sup>1</sup>級関数の空間をふくむ様々なバナッハ空間''B''<sub>1</sub>と連続関数の空間を含むバナッハ空間''B''<sub>2</sub> に対して、上記のように微分を非有界作用素 ''B''<sub>1</sub>&nbsp;→&nbsp;''B''<sub>2</sub>と考えることができる。さらに、ノルムの選び方によってはこの構成から有界作用素が得られる。たとえば、定義域ではC<sup>1</sup>ノルム自身 <math>\| f \|_{\mathcal{C}^1} = \| f \|_{\infty} + \| f' \|_{\infty}</math> を考え、値域ではsupノルムを考えれば、微分は連続写像になる。

==共役==
非有界作用素の共役（adjoint）の定義には、二つの同値な方法がある。

一つ目として、有界作用素の共役を定義するときに用いられるものと同様な方法がある。すなわち、''T'' の共役 ''T''<sup>∗</sup>&nbsp;:&nbsp;''H''<sub>2</sub>&nbsp;→&nbsp;''H''<sub>1</sub> は、次の性質を持つような最大の作用素として定義される:
:<math>\langle Tx \mid y \rangle_2 = \langle x \mid T^*y \rangle_1, \quad (x \in D(T)).</math>
''T''<sup>∗</sup> のより正確な定義は以下のようにする。ベクトル''y'' が、<math>x \mapsto \langle Tx, y \rangle</math> が ''T'' の定義域上の連続線型汎関数となるようなものであるならば、この汎関数を<!-- D(T)の閉包上のRieszで充分-->全空間へと拡張したのち、
:<math>\langle Tx \mid y \rangle_2 = \langle x \mid z \rangle_1, \quad (x \in D(T))</math>
を満たすような ''z'' を見つけることが可能である。なぜならば、ヒルベルト空間上の線型汎関数の集合は、内積によってもとの空間自身と同一視できるからである。このような ''y'' それぞれに対して、上の条件を満たす''z'' が一意に定められることと、対応する線型汎関数が稠密に定義されていること、すなわち ''T'' が稠密に定義されていることは必要十分である。このとき、''T''<sup>∗</sup>''y'' = ''z'' とすることによって、''T''<sup>∗</sup> が定められる。このようにして''T''<sup>∗</sup> の値がひとつに定まるためには、''T'' が稠密に定義されていることが必要十分であることに注意されたい。

定義により、''T''<sup>∗</sup> の定義域は、 <math>x \mapsto \langle Tx, y \rangle</math> が ''T'' の定義域上で連続となるような元 <math>y \in H_2</math> からなることが分かる。したがって、''T''<sup>∗</sup> の定義域はどのようなものでもあり得、例えば自明（すなわち、ゼロのみを含む）であるようなこともある<ref name="BSU-3.2">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=Example 3.2 on page 16 }}</ref>。''T''<sup>∗</sup> の定義域は、閉[[超平面]]で、その定義上至るところで ''T''<sup>∗</sup> が消失することもあり得る<ref name="RS-252">{{ harvnb |Reed|Simon|1980| loc=page 252 }}</ref><ref name="BSU-3.1">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=Example 3.1 on page 15 }}</ref>。
したがって、定義域上での ''T''<sup>∗</sup> の有界性は、必ずしも ''T'' の有界性を意味しない。一方で、もし ''T''<sup>∗</sup> が全空間で定義されるなら、''T'' はその定義域上で有界であり、したがって連続性により全空間上の有界作用素へと拡張することが出来る<ref>
証明: 閉であるため、至る所定義されている ''T''<sup>∗</sup> は有界である。これは''T'' を含む ''T''<sup>∗∗</sup> の有界性を導く。至る所定義されている ''T'' の場合として、{{ harv |Pedersen|1989| loc=2.3.11 }} を参照されたい</ref>。もし ''T''<sup>∗</sup> の定義域が稠密であるなら、それには共役 ''T''<sup>∗∗</sup> が存在する<ref name="Pedersen-5.1.5" />。稠密に定義された閉作用素 ''T'' が有界であることの必要十分条件は、''T''<sup>∗</sup> が有界であることである<ref>
証明: <math>T^{**} = T</math> であるため、もし <math>T^*</math> が有界であるなら、その共役 <math>T</math> も有界である。</ref>。

共役作用素のもう一つの同値な定義は、グラフの直交空間を取ることにより得られる。線型作用素 <math>J: H_1 \oplus H_2 \to H_2 \oplus H_1</math> を、<math>J(x \oplus y) = -y \oplus x</math> によって定義する<ref name="Pedersen-5.1.5">{{ harvnb |Pedersen|1989| loc=5.1.5 }}</ref>。すると、 <math>J(\Gamma (T))^\bot</math> がある作用素 ''S'' のグラフであることの必要十分条件は、 <math>T</math> が稠密に定義されていること、であることが分かる<ref name="BSU-12">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 12 }}</ref>。簡単な計算により、この作用素 ''S'' は <math>\langle Tx \mid y \rangle_2 = \langle x \mid Sy \rangle_1</math> を、''T'' の定義域内のすべての ''x'' に対して満たすことが分かる。したがって、''S'' は ''T'' の共役である。

上の定義により、共役 ''T''<sup>∗</sup> は閉であることがただちに分かる<ref name="Pedersen-5.1.5" />。特に、[[自己共役作用素]]（すなわち、''T'' = ''T''<sup>∗</sup>）は閉である。ある作用素 ''T'' が稠密に定義された閉作用素であるための必要十分条件は、''T''<sup>∗∗</sup>が存在して''T''<sup>∗∗</sup> = ''T'' が成立することである<ref>証明: もし ''T'' が稠密に定義された閉作用素であるなら、''T''<sup>∗</sup> は稠密に定義されている。したがって、''T''<sup>∗∗</sup> が存在する。''T'' のグラフは ''T''<sup>∗∗</sup> のグラフにおいて稠密であるため、''T'' = ''T''<sup>∗∗</sup> が成立する。逆を考える。''T''<sup>∗∗</sup> の存在は ''T''<sup>∗</sup> の存在を意味し、これは ''T'' が稠密に定義されていることを意味する。''T''<sup>∗∗</sup> は閉であるため、''T'' は稠密に定義された閉作用素である。</ref>。

有界作用素に対してよく知られているいくつかの性質は、稠密に定義された閉作用素に対して一般化される。閉作用素の核は閉である。さらに、稠密に定義された閉作用素 ''T''&nbsp;:&nbsp;''H''<sub>1</sub>&nbsp;→&nbsp;''H''<sub>2</sub> の核は、その共役の値域の直交補空間と一致する。すなわち<ref>Brezis, pp. 28.</ref>、
:<math>\operatorname{ker}(T) = \operatorname{ran}(T^*)^\bot</math>
が成立する。

{{仮リンク|フォンノイマンの定理|en|von Neumann's theorem}}によれば、''T''<sup>∗</sup>''T'' および ''TT''<sup>∗</sup> は自己共役であり、''I'' + ''T''<sup>∗</sup>''T'' と ''I'' + ''TT''<sup>∗</sup> はともに有界な逆を持つことが分かる<ref>Yoshida, pp. 200.</ref>。もし <math>T^*</math> の核が自明であるなら、<math>T</math> の値域は稠密となる。さらに、''T'' が全射であるための必要十分条件は、
:<math>\forall f \in D(T^*) \colon \|f\|_2 \le K\|T^*f\|_1</math>
<!--と書ける<ref>もし ''T'' が全射であるなら、<math>T: (\operatorname{ker}T)^\bot \to H_2</math> は有界な逆を持つ。それを ''S'' と表す。そうすると、求める不等式は成立する。なぜならば
:<math>\|f\|_2^2 = |\langle TSf \mid f \rangle_2| \le \|S\| \|f\|_2 \|T^*f\|_1</math>
であるからである。
逆に、この不等式が成立しているものとする。<math>T^*</math> の値域は閉であるため、<math>\operatorname{ran}(T) = \operatorname{ran}(TT^*)</math> が成り立つ。 <math>\operatorname{ran}(T)</math> は稠密であるため、<math>TT^*</math> の値域が閉であることを示せばよい。もし <math>TT^* f_j</math> が収束列であるなら、
:<math>\|T^*f_j\|_1^2 = | \langle T^*f_j \mid T^*f_j \rangle_1| \le \|TT^*f_j\|_2 \|f_j\|_2.</math>
が成り立つことにより、不等式から <math>f_j</math> も収束列となる。<math>f_j \to g</math> とする。<math>TT^*</math> は自己共役であり、したがって閉である（フォンノイマンの定理）ため、<math>TT^* f_j \to TT^* g</math> を得る。<math>\square</math></ref>。（「と書ける」は不要に思えるが注釈があることなどから判断しきれないためコメントアウトとした-->
を満たす <math>K > 0</math> が存在することである（これは本質的にはいわゆる[[閉値域の定理]]である）。

特に、''T'' の値域が閉であることと、''T''<sup>∗</sup> の値域が閉であることは必要十分である。

有界の場合と対照的に、必ずしも (''TS'')<sup>∗</sup> = ''S''<sup>∗</sup>''T''<sup>∗</sup> は成立しない。実際、(''TS'')<sup>∗</sup> が存在しないことさえあり得る。しかし、例えば ''T'' が有界であればその式は成り立つ<ref>Yoshida, pp. 195.</ref>。

稠密に定義された閉作用素 ''T'' は、次の同値な条件のいずれかを満たすとき、[[正規作用素|正規]]であると言われる:<ref name="Pedersen-5.1.11">{{ harvnb |Pedersen|1989| loc=5.1.11 }}</ref>
* ''T''<sup>∗</sup>''T'' = ''T'' ''T''<sup>∗</sup>;
* ''T'' の定義域は ''T''<sup>∗</sup> の定義域と等しく、その領域内のすべての ''x'' に対して <math> \| T x \| = \| T^* x \| </math> が成立する;
*  {{nowrap begin}}''T'' = ''A'' + ''iB''{{nowrap end}}、{{nowrap begin}}''T''<sup>∗</sup> = ''A'' – ''iB'',{{nowrap end}} であり、<math> \| Tx \|^2 = \| Ax \|^2 + \| Bx \|^2 </math> が ''T'' の定義域内のすべての ''x'' に対して成立するような自己共役作用素 ''A'' と ''B'' が存在する。

すべての自己共役作用素は正規である。

==転置==
''T''&nbsp;:&nbsp;''B''<sub>1</sub>&nbsp;→&nbsp;''B''<sub>2</sub> を、バナッハ空間の間の作用素とする。このとき、''T'' の[[転置行列|転置]]（あるいは、双対）<math>T ': {B_2}^* \to {B_1}^*</math> とは
:<math>\langle T x, y' \rangle = \langle x, T' y' \rangle</math>
がすべての ''x'' &isin; B<sub>1</sub> および ''y'' &isin; B<sub>2</sub><sup>*</sup> に対して成り立つような作用素のことを言う。ここで、記法 <math>\langle x, x' \rangle = x'(x)</math> を用いた<ref>Yoshida, pp. 193.</ref>。

''T'' の転置が存在するための必要十分条件は、''T'' が稠密に定義されていることである（本質的には、上述の共役に対するものと同様の理由である）。

''H'' をヒルベルト空間、''y'' &isin; ''H''とするとき、<math>y^*(x) = \langle x \mid y \rangle_H, (x \in H)</math> とおく。このとき、<math>J y^* = y</math> によって与えられる反線型の同型<math>J: H^* \to H</math>を考える。この同型を用いて、転置 ''T''<sup>'</sup> は共役 ''T''<sup>∗</sup> と、次のように関係付けられる:
:<math>T^* = J_1 T' J_2^{-1}</math><ref>Yoshida, pp. 196.</ref>
ここで <math>J_j: H_j^* \to H_j</math> である（有限次元の場合、これは行列の随伴が共役転置であることと対応する）。この等式は転置によって共役の定義を与えていることに注意されたい。

==対称作用素と自己共役作用素==
稠密に定義された作用素 ''T'' が、 その定義域のすべての元 ''x'' と ''y'' に対して<math> \langle T x \mid y \rangle = \lang x \mid T y \rang </math> を満たすとき、''T'' は'''対称'''であるという<ref name="Pedersen-5.1.3">{{ harvnb |Pedersen|1989| loc=5.1.3 }}</ref>。つまり、稠密に定義された作用素で ''T''<sup>∗</sup> が ''T'' の拡張（次節を参照）になっているようなものが対称作用素である<ref name="Pedersen-5.1.3" />。ある作用素 ''T'' が対称であるための必要十分条件は、付随する二次形式が実であること、すなわち、数 <math> \langle Tx \mid x \rangle </math> が、''T'' の定義域内のすべての ''x'' に対して実となることである<ref name="Pedersen-5.1.3" />。

さらに{{nowrap begin}}''T''<sup>∗</sup> = ''T''{{nowrap end}} が成り立つとき、作用素 ''T'' は'''自己共役'''であると言われる<ref name="Pedersen-5.1.3" />。共役作用素は必ず閉なので、自己共役な作用素は特に閉となる。稠密に定義された閉の対称作用素 ''T'' が自己共役であるための必要十分条件は、''T''<sup>∗</sup> が対称になることである<ref name="RS-256">{{ harvnb |Reed|Simon|1980| loc=page 256 }}</ref>。対称作用素の中には自己共役でないものもある<ref name="Pedersen-5.1.16">{{ harvnb |Pedersen|1989| loc=5.1.16 }}</ref><ref name="RS-257-9">{{ harvnb |Reed|Simon|1980| loc=Example on pages 257-259 }}</ref>。

''J''を上で用いた写像 <math>x \oplus y \mapsto - y \oplus x</math> とする。稠密に定義された作用素 ''T'' に対して、そのグラフ{{nowrap begin}}Γ(''T''){{nowrap end}} が {{nowrap begin}}''J''(Γ(''T'')){{nowrap end}} と直交するなら、''T'' は対称作用素になる<ref>{{ harv |Pedersen|1989| loc=5.1.5 }}および共役作用素の定義から従う。</ref>。さらに、 <math> H \oplus H </math> が {{nowrap begin}}Γ(''T''){{nowrap end}} と {{nowrap begin}}''J''(Γ(''T'')){{nowrap end}} の内部直和になっているなら、''T'' は自己共役である<ref name="Pedersen-5.1.5" />。

作用素 ''T'' が稠密に定義された閉対称作用素で、さらに ''T'' の定義域上で定義された作用素 {{nowrap begin}}''T'' – ''i'',{{nowrap end}} および {{nowrap begin}}''T'' + ''i''{{nowrap end}} が両方とも全空間 ''H'' への全射であれば、''T'' は自己共役になる 。つまり、''H'' 内のすべての ''x'' に対して、''T'' の定義域に含まれるような ''y'' と ''z'' で {{nowrap begin}}''T y'' – ''iy'' = ''x''{{nowrap end}} および {{nowrap begin}}''Tz'' + ''iz'' = ''x''.{{nowrap end}} を満たすようなものが存在する、ということを意味する<ref name="Pedersen-5.2.5">{{ harvnb |Pedersen|1989| loc=5.2.5 }}</ref>。

上記の方法は稠密に定義されていない閉作用素には適用できない。稠密に定義されていない作用素の対称性は、共役作用素ではなく直接あるいはグラフを通じて定義される。

対称作用素の研究はしばしばその有界変換である{{仮リンク|ケイリー変換|en|Cayley transform}}を通じて行われる。

稠密に定義された作用素 ''T'' は、もしその二次形式が非負であるなら、すなわち <math> \langle Tx \mid x \rangle \ge 0 </math> が ''T'' の定義域内のすべての ''x'' に対して成立するなら、'''正'''<ref name="Pedersen-5.1.12">{{ harvnb |Pedersen|1989| loc=5.1.12 }}</ref>あるいは'''非負'''<ref name="BSU-25">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 25 }}</ref>と呼ばれる。そのような作用素は、必ず対称である。

稠密に定義されたすべての閉作用素 ''T'' に対して、作用素 ''T''<sup>∗</sup>''T'' は、自己共役<ref name="Pedersen-5.1.9">{{ harvnb |Pedersen|1989| loc=5.1.9 }}</ref>かつ正<ref name="Pedersen-5.1.12" />である。

[[スペクトル定理]]は、自己共役作用素<ref name="Pedersen-5.3.8">{{ harvnb |Pedersen|1989| loc=5.3.8 }}</ref>や正規作用素<ref name="BSU-89">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 89 }}</ref><ref name="Pedersen-5.3.19">{{ harvnb |Pedersen|1989| loc=5.3.19 }}</ref>へと適用されるが、一般的に、稠密に定義された作用素や閉作用素へは適用されない。なぜならば、それらはスペクトルが空となる場合があるからである<ref name="RS-254-E5">{{ harvnb |Reed|Simon|1980| loc=Example 5 on page 254 }}</ref><ref name="Pedersen-5.2.12">{{ harvnb |Pedersen|1989| loc=5.2.12 }}</ref>。

至る所で定義された対称作用素は閉で、したがって有界<ref name="Pedersen-5.1.4" />である。これは{{仮リンク|ヘリンジャー-テープリッツの定理|en|Hellinger–Toeplitz theorem}}として知られる<ref name="RS-84">{{ harvnb |Reed|Simon|1980| loc=page 84 }}</ref>。

==拡張に関すること==
{{See also|対称作用素の拡張}}

作用素 ''T'' が作用素 ''S'' の'''拡張'''であるとは、{{nowrap begin}}Γ (''S'') ⊆ Γ (''T''){{nowrap end}}が成立することを言う<ref name="RS-250">{{ harvnb |Reed|Simon|1980| loc=page 250 }}</ref>。同値な定義として、''S'' の定義域内のすべての ''x'' は ''T'' の定義域に属し、{{nowrap begin}}''Sx'' = ''Tx''{{nowrap end}} が成立する、ということが挙げられる<ref name="Pedersen-5.1.1" /><ref name="RS-250" />。

すべての作用素に対して、至る所で定義された拡張が存在することに注意されたい。これは、代数的なベクトル空間としての基底の存在により説明され、[[選択公理]]に基づく純粋代数的な事実である。もし与えられた作用素が有界でないなら、その拡張は[[不連続線型写像]]となる。これは、与えられた作用素の重要な性質を保つことはなく（下記を参照）、一般的に一意ではないため、あまり有用性が無い。

作用素 ''T'' は、次の同値な条件のいずれかを満たすとき、'''可閉'''と呼ばれる<ref name="Pedersen-5.1.4" /><ref name="RS-250"/><ref name="BSU-6,7">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=pages 6,7 }}</ref>:
* ''T'' に閉拡張が存在する;
* ''T'' のグラフの閉包が、ある作用素のグラフである;
* ''T'' の定義域内の点列 (''x<sub>n</sub>'') で、''x<sub>n</sub>'' が 0 に収束し、また ''Tx<sub>n</sub>'' がある ''y'' に収束するようなすべてのものに対して、{{nowrap begin}}''y'' = 0{{nowrap end}} が成立する。

すべての作用素が可閉という訳ではない<ref name="BSU-7">{{ harvnb |Berezansky|Sheftel|Us|1996| loc=page 7 }}</ref>。

可閉な作用素 ''T'' は、最小の閉拡張 <math> \overline T </math> を持ち、それは ''T'' の'''閉包'''と呼ばれる。''T'' のグラフの閉包は、<math> \overline T </math> のグラフに等しい。他の、最小ではない閉拡張も存在することがある<ref name="Pedersen-5.1.16" /><ref name="RS-257-9" />。

稠密に定義された作用素 ''T'' が可閉であるための必要十分条件は、''T''<sup>∗</sup> が稠密に定義されていることである。この場合、<math> \overline T = T^{**} </math> および <math> (\overline T)^* = T^*</math> が成り立つ<ref name="Pedersen-5.1.5" /><ref name="RS-253">{{ harvnb |Reed|Simon|1980| loc=page 253 }}</ref>。すべての対称作用素は、可閉である<ref name="Pedersen-5.1.6">{{ harvnb |Pedersen|1989| loc=5.1.6 }}</ref>。

もし ''S'' が稠密に定義されており、''T'' が ''S'' の拡張であるなら、''S''<sup>∗</sup> は ''T''<sup>∗</sup> の拡張となる<ref name="Pedersen-5.1.2">{{ harvnb |Pedersen|1989| loc=5.1.2 }}</ref>。

対称作用素は、それ自身を除いてもし対称な拡張が存在しないのなら、'''最大対称'''と呼ばれる<ref name="Pedersen-5.1.3" />。すべての自己共役作用素は、最大対称である<ref name="Pedersen-5.1.3" />が、その逆は成立しない<ref name="Pedersen-5.2.6">{{ harvnb |Pedersen|1989| loc=5.2.6 }}</ref>。

閉包が自己共役であるような作用素は、'''本質的自己共役'''と呼ばれる<ref name="Pedersen-5.1.6" />。ある作用素が本質的自己共役であるための必要十分条件は、それがただ一つの自己共役な拡張を持つことである<ref name="RS-256" />。作用素には一つよりも多くの自己共役な拡張が存在する可能性があり、連続濃度の相異なる自己共役拡張が存在することさえある<ref name="RS-257-9" />。稠密に定義された対称作用素 ''T'' が本質的自己共役であるための必要十分条件は、作用素 {{nowrap begin}}''T'' – ''i'',{{nowrap end}} および {{nowrap begin}}''T'' + ''i''{{nowrap end}} が両方とも稠密な値域を持つことである<ref name="RS-257">{{ harvnb |Reed|Simon|1980| loc=page 257 }}</ref>。

''T'' を稠密に定義された作用素とする。「''T'' が ''S''" の拡張である」という関係を ''S'' ⊂ ''T'' と表す（ Γ(''S'') ⊆ Γ(''T'') に対してよく用いられる省略記号である）。次が成立する<ref name="RS-255-6">{{ harvnb |Reed|Simon|1980| loc=pages 255, 256 }}</ref>。
* もし ''T'' が対称であるなら、''T'' ⊂ ''T''<sup>∗∗</sup> ⊂ ''T''<sup>∗</sup> である。
* もし ''T'' が閉かつ対称であるなら、''T'' = ''T''<sup>∗∗</sup> ⊂ ''T''<sup>∗</sup> である。
* もし ''T'' が自己共役であるなら、''T'' = ''T''<sup>∗∗</sup> = ''T''<sup>∗</sup>である。
* もし ''T'' が本質的自己共役であるなら、''T'' ⊂ ''T''<sup>∗∗</sup> = ''T''<sup>∗</sup>である。

==自己共役作用素の重要性==
'''自己共役作用素'''の類は、[[数理物理学]]の分野において本質的に重要となる。すべての自己共役作用素は稠密に定義され、閉かつ対称である。その逆は、有界作用素に対しては成立するが、一般には成立しない。自己共役性は実質、それら三つの性質よりも制限の強いものなのである。自己共役作用素に対しては、有名な[[スペクトル定理]]が成り立つ。この定理と{{仮リンク|一径数ユニタリ群に関するストーンの定理|en|Stone's theorem on one-parameter unitary groups}}を組み合わせることにより、自己共役作用素は、強連続1パラメータユニタリ群の無限小生成素であるということが示される（[[自己共役作用素]]を参照されたい）。そのようなユニタリ群は、古典力学や量子力学の分野における[[時間発展]]を表現する上で、特に重要となる。

==関連項目==
* [[ヒルベルト空間]]
* {{仮リンク|ストーン-フォンノイマンの定理|en|Stone–von Neumann theorem}}
* [[有界作用素]]

==脚注==
{{reflist|30em}}

==参考文献==
*{{ citation | last=Pedersen | first=Gert K. | title=Analysis now | year=1989 | publisher=Springer }} (see Chapter 5 "Unbounded operators").
*{{ citation | last1=Reed | first1=Michael | author1-link=Michael C. Reed | last2=Simon | first2=Barry | author2-link=Barry Simon | title=Methods of Modern Mathematical Physics | edition=revised and enlarged | volume=1: Functional Analysis | year=1980 | publisher=Academic Press }} (see Chapter 8 "Unbounded operators").
*{{ citation | last1=Berezansky| first1=Y.M. | last2=Sheftel| first2=Z.G. | last3=Us| first3=G.F.| title=Functional analysis | volume=II | year=1996| publisher=Birkhäuser }} (see Chapter 12 "General theory of unbounded operators in Hilbert spaces").
*{{ citation | last1=Yoshida| first1=Kôsaku | title=Functional Analysis | year=1980| publisher=Springer |edition=sixth}}
*{{ citation | last1=Brezis | first1=Haïm | title=Analyse fonctionnelle - Théorie et applications  | year=1983| publisher=Mason |place=Paris |language=French}}

{{DEFAULTSORT:ひゆうかいさようそ}}
[[Category:作用素論]]
[[Category:関数解析学]]
[[Category:数学に関する記事]]