リースの表現定理

**リースの表現定理**（リースのひょうげんていり、）とは、数学の関数解析学の分野におけるいくつかの有名な定理に対する呼称である。リース・フリジェシュの業績に敬意を表し、そのように名付けられた。

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

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

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

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

歴史的に、この定理はしばしばリースとフレシェの1907年の業績として扱われる。

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

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

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

* すべてのコンパクトな *K* に対して μ(*K*)  \mu(E) = \inf \{\mu(U): E \subseteq U, U \mbox{ open}\} 
:が成り立つ;
* 関係式
 \mu(E) = \sup \{\mu(K): K \subseteq E, K \mbox{ compact}\} 
:が、*E* が開集合であるとき、あるいは *E* がボレル集合かつ μ(*E*) c*(*X*) 上の任意の正の[[線型汎函数]] ψ に対し、*X* 上の次のような[[正則測度|正則ボレル測度]] μ が唯一つ存在する。すなわち、*Cc*(*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) とも呼ばれ、 ''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>
が成り立つ。線型汎函数としての ψ のノルムは、μ の、すなわち
<math display="block"> \|\psi\| = |\mu|(X) </math>
である。また、ψ がであるための必要十分条件は、測度 μ が非負であることである。

**注意** 有界線形汎函数に対する[[ハーン-バナッハの定理]]によって、''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** 上の[[ルベーグ測度]]が考えられる。この事実は、ルベーグ測度の全変動が無限大であることからも分かる。

== 関連項目 ==
* 

== 参考文献 ==
* 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.

## 外部リンク
* Proof of Riesz representation theorem in Hilbert spaces on Bourbawiki
* 
* 
* 
* 
* 
*