リースの表現定理のソースを表示

{{No footnotes|date=2016-06-16}}
'''リースの表現定理'''（リースのひょうげんていり、{{Lang-en-short|Riesz representation theorem}}）とは、[[数学]]の[[関数解析学]]の分野におけるいくつかの有名な定理に対する呼称である。[[リース・フリジェシュ]]の業績に敬意を表し、そのように名付けられた。

== ヒルベルト空間の表現定理 ==
この定理は、[[ヒルベルト空間]]とその（連続的）[[双対空間]]の間に、ある重要な関係性を構築するものである。すなわち、[[可換体|基礎体]]が[[実数|実数体]]であるなら、それら2つの空間は[[等長写像|等長]][[同型]]であり、[[複素数|複素数体]]であるなら、それらは等長{{仮リンク|反同型|en|antiisomorphic}}である、ということについてこの定理は述べている。そのような（反）同型性は、以下で述べるように、とりわけ自然なものである。

''H'' をヒルベルト空間とし、''H'' から体 '''R''' あるいは '''C''' へのすべての[[線型汎函数|連続線型汎関数]]からなる双対空間を ''H*'' と表す。''x'' が ''H'' の元であるなら、
<math display="block">\varphi_x (y) = \left\langle y , x \right\rangle \quad \forall y \in H </math>
で定義される関数 φ<sub>''x''</sub> は ''H*'' の元である。ただし、<math>\langle\cdot,\cdot\rangle</math> はヒルベルト空間の[[内積]]を表すものとする。リースの表現定理では、''H*'' の「すべての」元に対してこのような形での表記法が一意に存在する、ということが述べられている。

'''定理''' Φ(''x'') = φ<sub>''x''</sub> で定義される写像 Φ: ''H'' → ''H*'' は、等長（反）同型である。すなわち、
* Φ は[[全単射]]。
* ''x'' と Φ(''x'') の[[ノルム]]は等しい：<math>\Vert x \Vert = \Vert\Phi(x)\Vert</math>.
* Φ は[[加法的写像|加法的]]である：<math>\Phi( x_1 + x_2 ) = \Phi( x_1 ) + \Phi( x_2 )</math>.
* 基礎体が '''R''' であるなら、すべての実数 λ に対して <math>\Phi(\lambda x) = \lambda \Phi(x)</math> が成り立つ。
* 基礎体が '''C''' であるなら、すべての複素数 λ に対して <math>\Phi(\lambda x) = \bar{\lambda} \Phi(x)</math> が成り立つ。ただし、<math>\bar{\lambda}</math> は λ の複素共役を表す。

Φ の逆写像は次のように表される。''H*'' の与えられた元 φ に対し、その[[核 (代数学)|核]]の直交補空間は、''H'' の一次元部分空間である。そこからゼロでない元 ''z'' を選び、<math>x = \overline{\varphi(z)} \cdot z /{\left\Vert z \right\Vert}^2</math> とする。このとき、Φ(''x'') = φ が得られる。

歴史的に、この定理はしばしば[[リース・フリジェシュ|リース]]と[[モーリス・ルネ・フレシェ|フレシェ]]の1907年の業績として扱われる。

[[量子力学]]を数学的に取り扱う際には、この定理は有名な[[ブラ-ケット記法]]の正当化として考えられる。定理が成立するとき、すべてのブラベクトル <math>\langle\psi|</math> には対応するケットベクトル <math>|\psi\rangle</math> が存在し、その対応は明らかなものである。

== リース＝マルコフ＝角谷の表現定理（''C<sub>c</sub>''(''X'') 上の線型汎関数に対する表現定理） ==
ある[[局所コンパクト]][[ハウスドルフ空間]] ''X'' 上の、[[コンパクト空間|コンパクト]]な[[関数の台|台]]を持つ[[複素数|複素数値]][[連続 (数学)|連続関数]]からなる空間を ''C<sub>c</sub>''(''X'') と表す。ここでの定理は、''C<sub>c</sub>''(''X'') 上の正の[[線型汎函数]]を表現するものである。以下、「[[ボレル集合]]」という語は、「開」集合によって生成される σ-代数を表すために用いられる。

[[局所コンパクト空間|局所コンパクト]][[ハウスドルフ空間]] ''X'' 上の、非負の可算加法的なボレル測度 μ が'''正則''' (regular) であることは、以下と[[同値]]である：

* すべてのコンパクトな ''K'' に対して μ(''K'') < ∞ が成り立つ;
* すべてのボレル集合 ''E'' に対し、
<math display="block"> \mu(E) = \inf \{\mu(U): E \subseteq U, U \mbox{ open}\} </math>
:が成り立つ;
* 関係式
<math display="block"> \mu(E) = \sup \{\mu(K): K \subseteq E, K \mbox{ compact}\} </math>
:が、''E'' が開集合であるとき、あるいは ''E'' がボレル集合かつ μ(''E'') < ∞ であるとき、必ず成り立つ。

'''定理[[:en:Riesz–Markov–Kakutani representation theorem|リース＝マルコフ＝角谷の表現定理]]'''  ''X'' を[[局所コンパクト空間|局所コンパクト]][[ハウスドルフ空間]]とする。''C<sub>c</sub>''(''X'') 上の任意の正の[[線型汎函数]] ψ に対し、''X'' 上の次のような[[正則測度|正則ボレル測度]] μ が唯一つ存在する。すなわち、''C<sub>c</sub>''(''X'') 内のすべての ''f'' について
<math display="block"> \psi(f) = \int_X f(x) \, d \mu(x) </math>
が成立する。

[[測度論]]への1つのアプローチとして、''C''(''X'') 上の正の線型汎函数として定義される[[ラドン測度]]から始める方法が考えられる。これは[[ブルバキ]]によって採用された方法である。当然、 ''X'' は単純な集合ではなく[[位相空間]]として考えられる必要がある。局所コンパクトな空間に対し、積分論を再び構築できる。

歴史的な注意：F. Riesz  (1909) における元々の形式でのこの定理では、区間 [0,1] 内の連続関数の空間 ''C''([0, 1]) についてのすべての連続線型汎函数 ''A''[''f''] が

<math display="block">A[f] = \int_{0}^{1} f(x)\,d\alpha(x) </math>

という形で表現される、ということが述べられている。ここで ''α''(''x'') は区間 [0, 1] 上の[[有界変動函数|有界変動]]関数であり、積分は[[リーマン＝スティルチェス積分]]である。その区間でのボレル正則測度と、有界変動関数の間には1対1の対応があるため、上述した定理はリースの元々の定理の内容を一般化するものである（歴史的な議論については、Gray (1984) を参照）。

== ''C''<sub>0</sub>(''X'') の双対空間に対する表現定理 ==
以下の定理は'''リース＝マルコフの定理'''　(Riesz–Markov theorem) とも呼ばれ、{{仮リンク|無限大での消失|label=無限大で消失する|en|vanish at infinity}} ''X'' 上の[[連続関数]]の集合 ''C''<sub>0</sub>(''X'') の[[双対空間]]の具現化を与えるものである。以下での「[[ボレル集合]]」の語も、前節と同様に、「開」集合によって生成される σ-代数を表すものである。

μ を可算加法的な複素数値ボレル測度とするとき、μ が正則であるための必要十分条件は、非負の可算加法的な測度 |μ| が前節の定義における意味で正則であることである。

'''定理''' ''X'' を局所コンパクトなハウスドルフ空間とする。''C''<sub>0</sub>(''X'') 上の任意の連続な[[線型汎函数]] ψ に対し、''X'' 上の次のような正則な可算加法的複素[[ボレル測度]] μ が唯一つ存在する。すなわち、''C''<sub>0</sub>(''X'') 内のすべての ''f'' について
<math display="block"> \psi(f) = \int_X f(x) \, d \mu(x)</math>
が成り立つ。線型汎函数としての ψ のノルムは、μ の{{仮リンク|全変動|en|total variation}}、すなわち
<math display="block"> \|\psi\| = |\mu|(X) </math>
である。また、ψ が{{仮リンク|正線型汎函数|label=正|en|positive linear functional}}であるための必要十分条件は、測度 μ が非負であることである。

'''注意''' 有界線形汎函数に対する[[ハーン-バナッハの定理]]によって、''C<sub>c</sub>''(''X'') 上のすべての有界線形汎函数が ''C''<sub>0</sub>(''X'') 上の有界線形汎函数へと拡張される方法はで唯一つであるうえ、 ''C''<sub>0</sub>(''X'') は[[一様ノルム|上限ノルム]]における ''C<sub>c</sub>''(''X'') の[[閉包 (位相空間論)|閉包]]であるため、上述した第一の定理の内容は第二の定理を意味するものと考える人がいるかもしれない。しかし、第一の結果は「正の」線型汎函数に対するものであり、必ずしも「有界」線型汎関数に対するものではない。したがって、それら2つの定理は同値ではない。

実際、''C<sub>c</sub>''(''X'') 上の有界線形汎函数は、その ''C<sub>c</sub>''(''X'') 上の[[局所凸空間|局所凸位相]]が、''C''<sub>0</sub>(''X'') のノルムである上限ノルムに置き換えられた場合、必ずしも有界線型のままであるとは限らない。そのような一例として、''C<sub>c</sub>''('''R''') 上では有界であるが ''C''<sub>0</sub>('''R''') 上では非有界であるような、'''R''' 上の[[ルベーグ測度]]が考えられる。この事実は、ルベーグ測度の全変動が無限大であることからも分かる。

== 関連項目 ==
* {{仮リンク|表現定理|en|representation theorem}}

== 参考文献 ==
* M. Fréchet (1907). Sur les ensembles de fonctions et les opérations linéaires. ''[[:en:Les Comptes rendus de l'Académie des sciences|C. R. Acad. Sci. Paris]]'' '''144''', 1414&ndash;1416.
* F. Riesz (1907). Sur une espèce de géométrie analytique des systèmes de fonctions sommables. ''C. R. Acad. Sci. Paris'' '''144''', 1409&ndash;1411.
* F. Riesz (1909). Sur les opérations fonctionnelles linéaires. ''C. R. Acad. Sci. Paris'' ''149'', 974&ndash;977.
* J. D. Gray, The shaping of the Riesz representation theorem: A chapter in the history of analysis, Archive for History in the Exact Sciences, Vol 31(2) 1984&ndash;85, 127&ndash;187.
* P. Halmos ''Measure Theory'', D. van Nostrand and Co., 1950.
* P. Halmos, ''A Hilbert Space Problem Book'', Springer, New York 1982 ''(problem 3 contains version for vector spaces with coordinate systems)''.
* D. G. Hartig, The Riesz representation theorem revisited, ''[[:en:American Mathematical Monthly|American Mathematical Monthly]]'', '''90'''(4), 277&ndash;280 ''(A category theoretic presentation as natural transformation)''.
* Walter Rudin, ''Real and Complex Analysis'', McGraw-Hill, 1966, ISBN 0-07-100276-6.

== 外部リンク ==
* [http://nfist.ist.utl.pt/~edgarc/wiki/index.php/Riesz_representation_theorem Proof of Riesz representation theorem in Hilbert spaces] on [http://bourbawiki.no-ip.org Bourbawiki]{{リンク切れ|date=2017年9月 |bot=InternetArchiveBot }}
* {{MathWorld|urlname=RieszRepresentationTheorem|title=Riesz Representation Theorem|author=Rowland, Todd.}}
* {{planetmath reference|id=6130|title=Proof of Riesz representation theorem for separable Hilbert spaces}}
* {{PlanetMath|urlname=RieszRepresentationTheorem|title=Riesz representation theorem}}
* {{SpringerEOM|urlname=Riesz_representation_theorem|title=Riesz representation theorem}}
* {{nlab|urlname=Riesz+representation+theorem|title=Riesz Representation Theorem}}
* {{ProofWiki|urlname=Riesz_Representation_Theorem_(Hilbert_Spaces)|title=RRiesz Representation Theorem (Hilbert Spaces)}}

{{DEFAULTSORT:りいすのひようけんていり}}
[[Category:関数解析学の定理]]
[[Category:双対性理論]]
[[Category:積分表現]]
[[Category:リース・フリジェシュ]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]