リース＝フィッシャーの定理

数学の実解析の分野における**リース＝フィッシャーの定理**（リース＝フィッシャーのていり、）は、自乗可積分函数からなる ''L''<sup>2</sup> 空間の性質に関する、いくつかの密接に関連する結果である。1907年にリース・フリジェシュとによってそれぞれ独自に証明された。

多くの研究者にとって、リース＝フィッシャーの定理とは、ルベーグ積分の理論による ''L''<sup>''p''</sup> 空間が完備であるという事実を指す。

## 近年の定理の形式
この定理の最もよくある形式のものは、[&ndash;, ] 上の可測函数が自乗可積分であるための必要十分条件は、対応するフーリエ級数が ''L''<sup>2</sup> の意味で収束することである。すなわち、自乗可積分函数 *f* に対応するフーリエ級数の第 *N* 部分和が

:S_N f(x) = \sum_{n=-N}^{N} F_n \, \mathrm{e}^{inx},

で与えられるなら

:\lim_{N \to \infty} \left \Vert S_N f - f \right \|_2 = 0,

が成立することをいう。ここで *F**n* は第 *n* 番目のフーリエ係数

:F_n =\frac{1}{2\pi}\int_{-\pi}^\pi f(x)\, \mathrm{e}^{-inx}\, \mathrm{d}x,

であり、\left \Vert \cdot \right \|_2 は *L*2-ノルムである。

逆に、\left \{ a_n \right \} \, が複素数の両側列（すなわち、添え字が負の無限大から正の無限大までとなっている列）で

:\sum_{n=-\infty}^\infty \left | a_n \right \vert^2 

を満たすなら、フーリエ係数が a_n であるようなある自乗可積分函数 *f* が存在する。

リース＝フィッシャーの定理はベッセルの不等式のより強い形で、フーリエ級数に関するパーセヴァルの等式を証明するために用いられる。

その他にもしばしばリース＝フィッシャーの定理と呼ばれる結果が存在する。その内の一つとして、*A* がヒルベルト空間 *H* の正規直交集合で *x*&nbsp;&isin;&nbsp;*H* なら、

:\langle x, y\rangle = 0

がすべての可算個の *y*&nbsp;&isin;&nbsp;*A* に対して成立し、

:\sum_{y\in A} |\langle x,y\rangle|^2 \le \|x\|^2 

が成立するという定理がある。さらに *A* が *H* の正規直交基底で、*x* が任意のベクトルなら、級数

:\sum_{y\in A} \langle x,y\rangle \, y

が *x* に可換収束（あるいは無条件収束）する。これは、すべての *ε*&nbsp;> 0 に対して、ある有限集合 *B*0 が *A* 内に存在し、

: \left\|x - \sum_{y\in B} \langle x,y\rangle y \right\| 

が *B*0 を含むすべての有限集合 *B* に対して成立することと同値である。さらに、集合 *A* についての以下の条件は同値である：

* 集合 *A* は *H* の正規直交基底。
* すべてのベクトル *x*&nbsp;&isin; *H* に対して次が成立する。 
::\|x\|^2 = \sum_{y\in A} |\langle x,y\rangle|^2.

また別の結果として、*L*2（あるいはより一般に *L**p*, 0&nbsp;\{\varphi_n\} を *R* 内の正規直交系（例えば、フーリエ基底やエルミートあるいはラゲールの陪多項式など。直交多項式を参照されたい）とし、それは必ずしも完備でなくてもよいとする（内積空間において、正規直交集合が完備となるための十分条件は、その集合のすべてのベクトルと直交するような非ゼロのベクトルが存在しないことである）。この定理では、ノルム空間 *R* が完備（したがって *R* はヒルベルト空間）であるなら、ℓ2 ノルムが有限であるような任意の列 {c_n} は空間 *R* 内の函数 *f* を定義する。

その函数は次で定義される：f = \lim_{n \to \infty} \sum_{k=0}^n c_k \varphi_k 。ここで極限は *R* ノルムについてのものである。

ベッセルの不等式と組み合わせることで、その逆も同様に成り立つ：*f* が *R* 内の函数であるなら、フーリエ係数 (f,\varphi_n) は有限の ℓ2 ノルムを持つ。

## 歴史：リースのメモとフィッシャーのメモ（1907）

 のメモでは、次の結果が述べられていた（ただし記号 *L*2([*a*,&nbsp;*b*]) は1907年には用いられていなかったので、その点に関しては近年の記法に直してある）。

:{*φ**n*&nbsp;} を *L*2([*a*,&nbsp;*b*]) 内のある正規直交系とし、{*a**n*&nbsp;} をある実数列とする。級数  \sum a_n^2  が収束するための必要十分条件は、すべての *n* に対して次を満たす函数 *f* が存在することである：
:: \int_a^b f(x) \varphi_n(x) \, \mathrm{d}x = a_n.

今日においてこのリースの結果は、ヒルベルト空間内の直交ベクトルの級数に関する基本的な事実の特殊例と見なされる。

リースのメモは1907年の3月に公開された。同年の5月の  のメモでは、*L*2([*a*,&nbsp;*b*]) 内のコーシー列は *L*2([*a*,&nbsp;*b*]) 内のある函数 *f*&thinsp; へ *L*2-ノルムに関して収束するという定理が（ほとんど近年と変わらない言葉で）明らかに示された。このメモで、コーシー列は「平均収束列」（sequences converging in the mean）と呼ばれ、*L*2([*a*,&nbsp;*b*]) は *Ω* と表されていた。また *L*2&ndash;ノルムにおける極限への収束は「ある函数への平均収束」（convergence in the mean towards a function）と呼ばれていた。次が、フランス語から翻訳された定理の内容となる：

:**定理** Ω に属するある函数列が平均収束するなら、その列の極限となる Ω 内のある函数 f が存在する。

フィッシャーは、系の直交性と *L*2 の完備性の恩恵を受け、リースの先行結果の証明に関する研究を続けることが出来た。

フィッシャーによる完備性の証明は直接的ではない。それは与えられたコーシー列内の函数 *g<sub>n</sub>* の不定積分

: G_n(x) = \int_a^x g_n(t) \, \mathrm{d}t

が [*a*,&nbsp;*b*] 上一様にある函数 *G* に収束し、有界変動を伴い連続であるという事実に基づく。コーシー列に対する極限 *g*&nbsp;&isin; *L*2 の存在は、ルベーグの理論より *G* の微分定理を適用することで示される。リースは彼のメモにおいて同様の議論を行ったが、そこに *L*2 の完備性に関する言及はなかった。しかし彼の結果はこの方法で解釈できる可能性も含むものであった。彼は、二乗総和可能（square summable）な係数を持つ三角級数を項ごとに積分することで、有界変動を持つある連続函数 *F* に一様収束する級数を得ることに成功した。ほとんど至る所で定義される *F* の導函数 *f* は二乗総和可能で、フーリエ係数としてその与えられた係数を持つものであった。

## ''L''<sup>''p''</sup>, &nbsp;0&nbsp;< ''p''&nbsp;&le; ∞ の完備性
*L<sup>p</sup>* が完備であることの証明は、ルベーグ積分の収束定理に基づく。

1&nbsp;&le; *p*&nbsp;&le; ∞ の場合、ミンコフスキーの不等式より ''L''<sup>''p''</sup> がノルム空間であることは分かる。*L**p* が完備であること、すなわち *L**p* がバナッハ空間であることを証明する上では、*L**p*(*μ*) 内の函数のすべての級数 &sum;&nbsp;*u**n* で

:  \sum \|u_n\|_p 

を満たすものが、*L<sup>p</sup>*-ノルムについてある函数 *f*&nbsp;&isin;&nbsp;*L<sup>p</sup>*(*μ*) に収束することを示せば十分である。*p*&nbsp; \int \Bigl( \sum_{n=0}^\infty |u_n| \Bigr)^p \, \mathrm{d}\mu \le \Bigl( \sum_{n=0}^{\infty} \|u_n\|_p \Bigr)^p

が分かる。したがって f = \sum_{n=0}^\infty u_n は *μ* についてほとんど至る所で定義され、*f*&nbsp;&isin;&nbsp;*L**p*(*μ*) である。すると優収束定理より、その級数の部分和は *L**p*-ノルムについて *f* に収束することが示される：

: \int \left| f - \sum_{k=0}^{n} u_k \right|^p \, \mathrm{d}\mu \le \int \left( \sum_{\ell > n} |u_\ell| \right)^p \, \mathrm{d}\mu \rightarrow 0 \text{ as } n \rightarrow \infty.

0&nbsp; \sum \|u_n\|_p^p 

の下で、

: \left|\sum_{k=0}^n u_k \right|^p \le \sum_{k=0}^n |u_k|^p \text{ when } p

を繰り返し利用する。*p*&nbsp;=&nbsp;∞ の場合は、*μ* について無視出来る集合の外側での一様収束性に関する簡単な問題に帰着される。

## 参考文献

*.
* .
*.
*.