閉グラフ定理のソースを表示

{{脚注の不足|date=2024年2月}}
[[数学]]の分野における'''閉グラフ定理'''（へいグラフていり、{{Lang-en|''closed graph theorem''}}）とは、[[バナッハ空間]]の間の[[連続線形作用素]]を作用素の[[グラフ (関数)|グラフ]]に関して特徴付けるような、[[関数解析学]]における基本的な結果の一つである。

== 閉グラフ定理 ==
任意の関数 {{nowrap|''T'' : ''X'' &rarr; ''Y''}} に対し、''T'' の'''グラフ'''を

:<math>\lbrace (x,y) \in X\times Y \mid Tx=y\rbrace </math>

によって定義する。もし ''X'' が[[位相空間]]で ''Y'' が[[ハウスドルフ空間]]であるなら、次を示すことは容易である: もし ''T'' が[[連続 (数学)|連続]]であるなら、''T'' のグラフは閉である。

もし ''X'' と ''Y'' がバナッハ空間で、''T'' が至る所で定義された（すなわち、''T'' の[[定義域]] ''D(T)'' が ''X'' であるような）[[線型写像|線形作用素]]であるなら、上の記述の逆が成立する。これがすなわち閉グラフ定理である: もし ''T'' のグラフが（[[直積位相]]を備えた）空間 {{nowrap|''X''&thinsp;&times;&thinsp;''Y''}} において閉であるなら、''T'' は[[閉作用素]]と呼ばれ、この設定の下では、''T'' は連続であると結論付けることが出来る。

上のような定義域に関する制限は、[[閉作用素|閉]][[非有界作用素|非有界]]線形作用素の存在があるために必要となる。<math>C([0,1])</math> 上の[[微分作用素]]が典型的な反例である。

閉グラフ定理の一般的な証明には[[開写像定理 (関数解析)|開写像定理]]が用いられる。実際、閉グラフ定理、開写像定理および[[有界逆写像定理]]はすべて[[同値]]である。この同値性はまた ''X'' および ''Y'' がバナッハ空間であることの必要性を明示するために役に立つ; 例えば、コンパクト・サポートを持つような連続関数や、あるいは上極限ノルムを備えた有限個の非ゼロな元からなる列を用いることで、有界な逆を持つような線形作用素を構成することが出来る。

閉グラフ定理は次のように書き換えることも出来る。もし {{nowrap|''T'' : ''X'' &rarr; ''Y''}} がバナッハ空間の間の線形作用素なら、次の二つは同値である:
# ''X'' 内の任意の点列 {''x''<sub>''n''</sub>} に対して、もし {''x''<sub>''n''</sub>} が ''X'' においてある元 ''x'' に収束するなら、''Y'' 内の点列 {''T''(''x''<sub>''n''</sub>)} も収束し、その極限は ''T''(''x'') となる。
# ''X'' 内の任意の点列 {''x''<sub>''n''</sub>} に対して、もし {''x''<sub>''n''</sub>} が ''X'' においてある元 ''x'' に収束し、{''T''(''x''<sub>''n''</sub>)} が ''Y'' においてある元 ''y'' に収束するなら、{{nowrap|''y'' {{=}} ''T''(''x'')}} が成立する。

== 一般化 ==
閉グラフ定理は、次のようにして、より抽象的な[[位相ベクトル空間]]へと一般化出来る。

[[樽型空間]] ''X'' から[[フレシェ空間]]へ ''Y'' の線形作用素が[[連続線形作用素|連続]]であるための必要十分条件は、そのグラフが直積位相を備えた空間 ''X''&times;''Y'' において閉であることである。

== 関連項目 ==
* [[不連続線型写像]]

== 参考文献 ==
* {{citation | last = Folland | first = Gerald B.| title=Real Analysis: Modern Techniques and Their Applications | edition=1st | publisher=[[John Wiley & Sons]] | year = 1984 | isbn=978-0-471-80958-6 }}
* {{citation| first=Walter|last=Rudin|authorlink=Walter Rudin|title=Functional analysis|publisher=Tata MacGraw-Hill|year=1973}}.
* {{planetmath reference|id=6472|title=Proof of closed graph theorem }} 

{{DEFAULTSORT:へいくらふていり}}
[[Category:関数解析学]]
[[Category:数学に関する記事]]