解析学基礎/関数列の極限のソースを表示

== 関数列の極限 ==
=== 各点収束と一様収束 ===
区間<math>I \subset \mathbb{R}</math>で定義される関数列<math>\{f_n(x)\}</math>の極限<math>\lim_{n \to \infty}f_n(x)</math>を考えます。自然に考えられるのは、次のような定義でしょう。

'''定義1.1''' 各点<math>x \in I</math>において、極限<math>\lim_{n \to \infty}f_n(x)</math>が収束するとき、<math>f(x):=\lim_{n \to \infty}f_n(x)</math>で定まる関数<math>f</math>を<math>\lim_{n \to \infty}f_n</math>とする。

この定義で何の問題もないように思えますが、実はこの定義はある意味では不十分です。この定義を満たしていても、もとの関数<math>f_n(x)</math>たちの性質が<math>f(x)</math>に引き継がれないことがあるのです。たとえば、任意の''n''について<math>f_n(x)</math>が連続であっても、<math>f(x)</math>が連続とは限りません。

'''例1.2''' 閉区間<math>I=[0,1]</math>で定義される関数列<math>f_n(x)=x^n</math>を考える。任意の''n''について<math>f_n(x)</math>は連続だが、
:<math>\lim_{n \to \infty}f_n(x)=\begin{cases}0 & (0 \le x < 1) \\ 1 & (x=1) \end{cases}</math>
は連続ではない。

そこで、定義1.1のようなただの収束（'''各点収束'''といいます）よりも強い条件を満たす収束を考えます。

'''定義1.3''' <math>\lim_{n \to \infty}\sup_{x \in I}|f_n(x)-f(x)|=0</math>を満たすとき、関数列<math>\{f_n(x)\}</math>は<math>f(x)</math>に'''一様収束'''するという。

一様収束は各点収束よりも強い条件です。すなわち、次が成り立ちます。

'''命題1.4''' <math>\{f_n(x)\}</math>が<math>f(x)</math>に一様収束するならば、<math>\{f_n(x)\}</math>は<math>f(x)</math>に各点収束する。

（証明）
一様収束の仮定より、<math>\varepsilon >0</math>を任意にとると、ある自然数''N''が存在して、<math>n>N</math>ならば<math>\sup_{x \in I}|f_n(x)-f(x)|<\varepsilon</math>である。

一方、<math>x \in I</math>を任意にとると、<math>|f_n(x)-f(x)| \le \sup_{x \in I}|f_n(x)-f(x)|</math>である。よって、<math>n>N</math>ならば<math>|f_n(x)-f(x)|<\varepsilon</math>である。つまり、<math>\lim_{n \to \infty}|f_n(x)-f(x)|=0</math>、すなわち<math>\lim_{n \to \infty}f_n(x)=f(x)</math>である。//

各点収束と一様収束の例を挙げます。

'''例1.5''' 例1.2の<math>\{f_n(x)\}</math>は一様収束ではない。なぜならば、<math>\sup_{x \in I}|f_n(x)-f(x)|=1</math>である。一方、同じ区間<math>I=[0,1]</math>において<math>f_n(x)=\frac{x}{n}</math>とすると、<math>\lim_{n \to \infty}f_n(x)=0</math>であり、<math>\lim_{n \to \infty}\sup_{x \in I}|f_n(x)-0|=\lim_{n \to \infty}\frac{1}{n} = 0</math>なので、この収束は一様収束である。 

一様収束するならば、例1.2のようなことは起きません。すなわち、次が成り立ちます。

'''定理1.6''' 連続関数の列<math>\{f_n(x)\}</math>が<math>f(x)</math>に一様収束するならば、<math>f(x)</math>は連続である。

（証明）
<math>a \in I</math>と<math>\varepsilon>0</math>を任意にとる。<math>f_n</math>は連続なので、ある<math>\delta>0</math>が存在し、<math>|x-a|<\delta</math>ならば<math>|f_n(x)-f_n(a)|<\frac{\varepsilon}{3}</math>である。

一様収束の仮定より、ある自然数''N''が存在して、<math>n>N</math>ならば<math>|f_n(a)-f(a)|<\frac{\varepsilon}{3},|f(x)-f_n(x)|<\frac{\varepsilon}{3}</math>である。よって、
:<math>|f(x)-f(a)| \le |f(x)-f_n(x)|+|f_n(x)-f_n(a)|+|f_n(a)-f(a)|<\varepsilon</math>
である。すなわち''f''は連続である。
//

定理1.6の逆は成り立ちません。一様収束でなくても、連続関数に収束することはあります。

'''例1.7''' <math>x \in \mathbb{R}</math>で定義される関数列<math>f_n(x)=\frac{x}{n}</math>について、<math>\lim_{n \to \infty}f_n(x)=0</math>は連続だが、<math>\sup_{x \in \mathbb{R}}f_n(x)</math>は存在しない。つまり、一様収束ではない。

=== ディニの定理 ===
関数列が一様収束するための十分条件をひとつ紹介しておきます。

'''定理1.8'''（ディニの定理）
有界閉区間<math>I=[a,b]</math>上で定義される連続関数の列<math>\{f_n(x)\}</math>が、任意の<math>x \in I</math>と任意の自然数''n''について<math>f_n(x) \ge f_{n+1}(x)</math>を満たし、<math>f(x):=\lim_{n \to \infty}f_n(x)</math>も連続ならば、<math>\{f_n(x)\}</math>は<math>f(x)</math>に一様収束する。

（証明）
<math>F_n(x):=f_n(x)-f(x)</math>とする。<math>f_n</math>が一様収束しないと仮定すると、ある<math>\varepsilon>0</math>を取れば、任意の自然数''n''に対して<math>F_m(c_n) \ge \varepsilon</math>を満たすような<math>m>n,c_n \in I</math>が存在する。仮定より<math>F_n(c_n) \ge F_m(c_n)</math>なので、<math>F_n(c_n) \ge \varepsilon</math>である。

<math>c_n</math>は有界閉区間''I''に値をとる数列なので、[[w:ボルツァーノ＝ワイエルシュトラスの定理|ボルツァーノ＝ワイエルシュトラスの定理]]より収束する部分列<math>\{c_{n_j}\}</math>を持つ。<math>\lim_{j \to \infty}c_{n_j}=c</math>とすると、<math>F_n</math>が連続であることから<math>F_n(c)=\lim_{j \to \infty}F_n(c_{n_j}) \ge \varepsilon</math>となるが、これは<math>F_n</math>が0に各点収束することに矛盾する。//

== 極限と積分の順序交換 ==
以下、積分を考えますので、簡単のため<math>f_n(x),f(x):=\lim_{n \to \infty}f_n(x)</math>はすべて連続関数という状況で考えることにします。

関数列の極限と積分の順序を交換することはできるでしょうか。つまり、
:<math>\lim_{n \to \infty}\int_a^b f_n(x) dx=\int_a^b \lim_{n \to \infty}f_n(x) dx</math>
は成り立つでしょうか。結論からいうと、一般にはこれは成り立ちません。

'''例2.1''' <math>f_n(x)=\begin{cases}-n^3x\left(x-\frac{1}{n}\right) & \left(0 < x < \frac{1}{n}\right) \\ 0 & (\text{otherwise}) \end{cases}</math>とすると、<math>\lim_{n \to \infty}f_n(x)=0</math>だが、<math>\int_0^1 f_n(x) dx=\frac{1}{6}</math>である。

しかし、<math>\{f_n(x)\}</math>にさらに条件を付けると、この順序交換ができる場合もあります。

=== 一様収束の場合 ===
まず、一様収束する場合は極限と積分の順序を交換できます。

'''定理2.2''' 関数列<math>\{f_n(x)\}</math>が閉区間<math>[a,b]</math>で<math>f(x)</math>に一様収束するとき、
:<math>\lim_{n \to \infty}\int_a^b f_n(x) dx=\int_a^b f(x) dx</math>
である。

（証明）一様収束の仮定より、任意の<math>\varepsilon>0</math>に対してある''N''が存在して、<math>n>N</math>ならば<math>|f_n(x)-f(x)|<\frac{\varepsilon}{b-a}</math>なので、
:<math>\begin{align}
\left|\int_a^b f_n(x) dx-\int_a^b f(x) dx\right| & \le \int_a^b |f_n(x)-f(x)| dx \\
& < \int_a^b \frac{\varepsilon}{b-a} dx \\
&=\varepsilon \\
\end{align}
</math>
である。つまり、<math>\lim_{n \to \infty}\left(\int_a^b f_n(x) dx-\int_a^b f(x) dx \right)=0</math>、すなわち<math>\lim_{n \to \infty}\int_a^b f_n(x) dx = \int_a^b f(x) dx</math>である。//

=== 一様有界の場合 ===
一様収束の代わりに別の条件を仮定しても極限と積分の順序交換ができることがあります。ここでは、'''一様有界'''という条件を考えてみます。

'''定義2.3''' 区間<math>I \subset \mathbb{R}</math>で定義される関数列<math>\{f_n(x)\}</math>に対して定数''M''が存在し、任意の自然数''n''と任意の<math>x \in I</math>について<math>|f_n(x)| \le M</math>となるとき、関数列<math>\{f_n(x)\}</math>は'''一様有界'''であるという。

一様有界な関数列が収束するならば極限<math>f(x):=\lim_{n \to \infty}f_n(x)</math>も有界で、関数<math>F_n(x):=f_n(x)-f(x)</math>も一様有界です。また、次も成り立ちます。

'''命題2.4''' 区間<math>I \subset \mathbb{R}</math>で定義される有界な関数の列<math>\{f_n(x)\}</math>が一様収束するならば一様有界である。

（証明）一様収束の仮定より、ある自然数''N''が存在して、<math>n>N</math>ならば任意の<math>x \in I</math>に対して<math>|f_n(x)-f(x)|<1</math>である。よって、
:<math>M=\max\{\sup_{x \in I}|f_1(x)|,\sup_{x \in I}|f_2(x)|,\cdots,\sup_{x \in I}|f_N(x)|,\sup_{x \in I}\left(|f(x)|+1\right)\}</math>
とすれば、任意の自然数''n''と任意の<math>x \in I</math>について<math>|f_n(x)| \le M</math>となる。//

実はこの一様有界性が成り立てば、極限と積分の順序交換ができます。

'''定理2.5''' （アルツェラの定理）
関数列<math>\{f_n(x)\}</math>が閉区間<math>[a,b]</math>で一様有界のとき、
:<math>\lim_{n \to \infty}\int_a^b f_n(x) dx=\int_a^b f(x) dx</math>
である。

（証明）
自然数''n''に対して<math>s_n(x)=\sup_{m \ge n} |f_m(x)-f(x)|</math>とし、
<math>S_n=\sup_{\forall x \ g(x) \le s_n(x)} \int_a^b g(x) dx</math>とする。<math>f_n(x)-f(x)</math>は一様有界なので、ある''M''が存在して
:<math>M(b-a) \ge S_1 \ge S_2 \ge \cdots \ge S_n \ge \int_a^b |f_n(x)-f(x)| dx \ge 0</math>
である。よって、<math>\lim_{n \to \infty}S_n=0</math>を示せば、はさみうちの原理より定理が従う。

<math>\varepsilon >0</math>と自然数''n''を任意に取ると、
<math>\forall x \ g_n(x) \le s_n(x)</math>を満たす連続関数<math>g_n(x)</math>で、
さらに<math>\int_a^b g_n(x) dx > S_n-\frac{\varepsilon}{2^n}</math>を満たすものが存在する。
<math>h_n(x)=\min\{g_1(x),\cdots,g_n(x)\}</math>とする。<math>h_n(x)</math>は連続で、また
<math>h_n(x)=\min\{h_{n-1}(x),g_n(x)\}</math>を満たす。
よって、<math>\mu_n(x)=\max\{h_{n-1}(x),g_n(x)\}</math>とすると、
<math>h_n(x)+\mu_n(x)=h_{n-1}(x)+g_n(x)</math>である。

また、<math>h_{n-1}(x) \le s_{n-1}(x),\ g_n(x) \le s_n(x) \le s_{n-1}(x)</math>なので、
<math>\mu_n(x) \le s_{n-1}(x)</math>である。
よって、<math>\int_a^b \mu_n(x) dx \le S_{n-1}</math>である。

以上より、
:<math>\begin{align}
\int_a^b h_n(x) dx &=\int_a^b (h_{n-1}(x)+g_n(x)-\mu_n(x))dx \\
&> \int_a^b h_{n-1}(x) dx+S_n-\frac{\varepsilon}{2^n}-S_{n-1} \\
&> \int_a^b h_{n-2}(x) dx+S_{n-1}-\frac{\varepsilon}{2^{n-1}}-S_{n-2}+S_n-\frac{\varepsilon}{2^n}-S_{n-1} \\
&=\int_a^b h_{n-2}(x) dx+S_n-\frac{\varepsilon}{2^{n-1}}-\frac{\varepsilon}{2^n}-S_{n-2} \\
&>\cdots \\
&>\int_a^b h_1(x) dx+S_n-\sum_{k=2}^n \frac{\varepsilon}{2^k}-S_1 \\
&=S_n-\sum_{k=2}^n \frac{\varepsilon}{2^k}+\int_a^b g_1(x) dx-S_1 \\
&>S_n-\sum_{k=1}^n \frac{\varepsilon}{2^k} \\
&=S_n-\varepsilon \\
\end{align}</math>
である。

<math>0 \le h_n(x) \le s_n(x)</math>であり、<math>\lim_{n \to \infty}s_n(x)=0</math>なので、
<math>\lim_{n \to \infty}h_n(x)=0</math>であり、
<math>h_n(x)</math>は定理1.8の仮定を満たすのでこれは一様収束。
よって<math>\lim_{n \to \infty}\int_a^b h_n(x) dx=0</math>なので、<math>\lim_{n \to \infty}S_n=0</math>である。//

定理2.5は区間が開区間でも成り立ちます。

'''定理2.6''' 関数列<math>\{f_n(x)\}</math>が開区間<math>(a,b)</math>で一様有界のとき、
:<math>\lim_{n \to \infty}\int_a^b f_n(x) dx=\int_a^b f(x) dx</math>
である。

（証明） 開区間<math>(a,b)</math>で<math>|f_n(x)-f(x)| \le M</math>としてよい。任意の<math>\varepsilon >0</math>に対し<math>\delta=\min\left\{\frac{\varepsilon}{3M},\frac{b-a}{2}\right\}</math>とする。<math>\{f_n(x)\}</math>は閉区間<math>[a+\delta,b-\delta]</math>において定理2.5の仮定を満たすので、
:<math>\lim_{n \to \infty}\int_{a+\delta}^{b-\delta} f_n(x) dx = \int_{a+\delta}^{b-\delta} f(x) dx</math>
である。すなわち、ある自然数''N''が存在して、<math>n>N</math>ならば<math>\left|\int_{a+\delta}^{b-\delta} \left(f_n(x)-f(x)\right) dx\right|<\frac{\varepsilon}{3}</math>である。また、
:<math>\left|\int_a^{a+\delta} \left(f_n(x)-f(x)\right) dx\right| \le \int_a^{a+\delta} \left|f_n(x)-f(x)\right| dx \le \delta M \le \frac{\varepsilon}{3}</math>
:<math>\left|\int_{b-\delta}^b \left(f_n(x)-f(x)\right) dx\right| \le \int_{b-\delta}^b \left|f_n(x)-f(x)\right| dx \le \delta M \le \frac{\varepsilon}{3}</math>
である。以上より、<math>n>N</math>ならば
:<math>\left|\int_a^b \left(f_n(x)-f(x)\right) dx\right| < \varepsilon</math>
である。すなわち、
:<math>\lim_{n \to \infty}\int_a^b f_n(x) dx=\int_a^b f(x) dx</math>
である。//

=== 微分と積分の順序交換 ===
微分も極限ですので、前節の結果を使って微分と極限の順序交換についての定理が示されます。ただし、微分はこれまで扱ってきた数列の極限とは違い、関数の極限ですので、そこをつなぐ補題を用意しておきます。

'''補題2.7''' 有界閉区間<math>I=[a,b]</math>と任意の区間<math>J \subset \mathbb{R}</math>の直積集合<math>I \times J</math>で定義される有界な2変数関数<math>f(x,t)</math>が変数''x''について連続ならば、<math>\alpha \in J</math>について
:<math>\lim_{t \to \alpha}\int_a^b f(x,t) dx = \int_a^b \lim_{t \to \alpha} f(x,t) dx</math>
（証明）<math>f(x):=\lim_{t \to \alpha} f(x,t)</math>とする。この補題が成り立たないとすると、ある<math>\varepsilon>0</math>が存在して、任意の自然数''n''に対して<math>\left|\int_a^b\left(f(x,t_n)-f(x)\right) dx \right| \ge \varepsilon, \ 0<|t_n-\alpha|<\frac{1}{n}</math>を満たすような<math>t_n</math>が存在する。ところがこのとき、''x''についての関数の列<math>f_n(x):=f(x,t_n)</math>は一様有界なので、定理2.5より<math>\lim_{n \to \infty}\left|\int_a^b\left(f_n(x)-f(x)\right) dx \right|=0</math>となり、矛盾する。//

示したい主定理は次です。

'''定理2.8''' 有界閉区間<math>I=[a,b]</math>と任意の区間<math>J \subset \mathbb{R}</math>の直積集合<math>I \times J</math>で定義される2変数関数<math>f(x,t)</math>が''t''について偏微分可能で、偏導関数<math>f_t(x,t)</math>は有界かつ''x''について連続な関数とする。<math>F(t)=\int_a^b f(x,t) dx</math>とすると、
:<math>F'(t)=\int_a^b f_t(x,t) dx</math>

（証明）<math>\alpha \in J</math>を任意に取る。2変数関数<math>q(x,t)=\frac{f(x,t)-f(x,\alpha)}{t-\alpha}</math>は<math>t \ne \alpha</math>で連続である。<math>f(x,t)</math>に平均値の定理を用いると、
:<math>q(x,t)=f_t(x,\alpha+\theta(t-\alpha))</math>
を満たす<math>0<\theta<1</math>が存在する。よって、補題2.7より
:<math>\begin{align}
F'(\alpha)&=\lim_{t \to \alpha}\frac{F(t)-F(\alpha)}{t-\alpha} \\
&=\lim_{t \to \alpha}\frac{\int_a^b \left(f(x,t)-f(x,\alpha)\right) dx}{t-\alpha} \\
&=\lim_{t \to \alpha} \int_a^b q(x,t) dx \\
&=\lim_{t \to \alpha} \int_a^b f_t(x,\alpha+\theta(t-\alpha)) dx \\
&=\int_a^b \lim_{t \to \alpha} f_t(x,\alpha+\theta(t-\alpha)) dx \\
&=\int_a^b f_t(x,\alpha) dx
\end{align}</math>
である。//

== 極限と広義積分の順序交換 ==
前節と類似の結果は広義積分でも成り立ちます。しかし、次の例を見ればわかるように、広義積分の場合は一様収束だけでは不十分で、若干の修正が必要です。

'''例3.1''' <math>f_n(x)=\begin{cases}-\frac{1}{n^3}x\left(x-n\right) & \left(0 \le x \le n \right) \\ 0 & (\text{otherwise}) \end{cases}</math>とすると、<math>\lim_{n \to \infty}\sup_{x \ge 0} |f_n(x)|=\lim_{n \to \infty}\frac{1}{4n}=0</math>なので<math>\{f_n(x)\}</math>は0に一様収束するが、<math>\int_0^\infty f_n(x) dx=\frac{1}{6}</math>である。

=== 優関数が存在する場合 ===
ここでは、<math>f_n(x)</math>たちがよい関数で上から押さえられている状況を考えます。

'''定義3.2''' <math>\int_a^\infty g(x) dx < \infty</math>であるような<math>g(x)</math>が、任意の自然数''n''と''a''以上の任意の数''x''について<math>|f_n(x)|\le g(x)</math>を満たすとき、<math>g(x)</math>を<math>f_n(x)</math>の区間<math>[a,\infty)</math>における'''（可積分な）優関数'''と呼ぶことにする。

（可積分な）優関数が存在すれば、各<math>f_n(x)</math>も可積分である（すなわち、広義積分が収束する）ことは、[[解析学基礎/広義積分#優関数の原理]]で示しました。ここではさらに、このとき極限と広義積分の順序が交換できることを示します。

'''定理3.3''' 関数列<math>\{f_n(x)\}</math>が区間<math>[a,\infty)</math>において（可積分な）優関数<math>g(x)</math>を持つとき、
:<math>\lim_{n \to \infty}\int_a^\infty f_n(x) dx=\int_a^\infty f(x) dx</math>
である。

（証明）
<math>c \in [a,\infty)</math>を任意にとり、<math>\psi(x)=\int_c^x g(x) dx</math>とする。
<math>\psi(x)</math>は有界な単調増加関数なので、
<math>\alpha=\lim_{x \to a+0}\psi(x),\beta=\lim_{x \to \infty}\psi(x)</math>、
それに逆関数<math>\varphi</math>が存在する。よって置換積分の公式より、
:<math>\int_a^\infty f_n(x) dx=\int_\alpha^\beta \frac{f_n(\varphi(\psi))}{g(\varphi(\psi))} d\psi</math>
である。仮定より<math>\left|\frac{f_n(\varphi(\psi))}{g(\varphi(\psi))}\right| \le 1</math>なので、
<math>\frac{f_n(\varphi(\psi))}{g(\varphi(\psi))}</math>は開区間<math>(\alpha,\beta)</math>で一様有界である。よって、定理2.6より
:<math>\begin{align}
\lim_{n \to \infty}\int_a^\infty f_n(x) dx&=\lim_{n \to \infty}\int_\alpha^\beta \frac{f_n(\varphi(\psi))}{g(\varphi(\psi))} d\psi \\
&=\int_\alpha^\beta \frac{f(\varphi(\psi))}{g(\varphi(\psi))} d\psi \\
&=\int_a^\infty f(x) dx
\end{align}</math>
である。//

=== 微分と広義積分の順序交換 ===
定理2.5から定理2.8が導かれるのとまったく同様に、定理3.3から微分と広義積分の順序交換に関する定理が導かれます。まず、補題2.7にあたるものを示します。

'''補題3.4''' 区間<math>I=[a,\infty)</math>と任意の区間<math>J \subset \mathbb{R}</math>の直積集合<math>I \times J</math>で定義される有界な2変数関数<math>f(x,t)</math>が変数''x''について連続で、（可積分な）優関数<math>g(x)</math>を持つならば、<math>\alpha \in J</math>について
:<math>\lim_{t \to \alpha}\int_a^\infty f(x,t) dx = \int_a^\infty \lim_{t \to \alpha} f(x,t) dx</math>
（証明）<math>f(x):=\lim_{t \to \alpha} f(x,t)</math>とする。この補題が成り立たないとすると、ある<math>\varepsilon>0</math>が存在して、任意の自然数''n''に対して<math>\left|\int_a^\infty\left(f(x,t_n)-f(x)\right) dx \right| \ge \varepsilon, \ 0<|t_n-\alpha|<\frac{1}{n}</math>を満たすような<math>t_n</math>が存在する。ところがこのとき、''x''についての関数の列<math>f_n(x):=f(x,t_n)</math>は区間<math>[a,\infty)</math>において（可積分な）優関数<math>g(x)</math>を持つので、定理3.3より<math>\lim_{n \to \infty}\left|\int_a^\infty\left(f_n(x)-f(x)\right) dx \right|=0</math>となり、矛盾する。//

示したい主定理は次です。

'''定理3.5''' 区間<math>I=[a,\infty)</math>と任意の区間<math>J \subset \mathbb{R}</math>の直積集合<math>I \times J</math>で定義される2変数関数<math>f(x,t)</math>が（可積分な）優関数<math>g(x)</math>を持ち、''t''について偏微分可能で、偏導関数<math>f_t(x,t)</math>は有界かつ''x''について連続で（可積分な）優関数<math>g_1(x)</math>を持つとする。<math>F(t)=\int_a^\infty f(x,t) dx</math>とすると、
:<math>F'(t)=\int_a^\infty f_t(x,t) dx</math>

（証明）<math>\alpha \in J</math>を任意に取る。2変数関数<math>q(x,t)=\frac{f(x,t)-f(x,\alpha)}{t-\alpha}</math>は<math>t \ne \alpha</math>で連続である。<math>f(x,t)</math>に平均値の定理を用いると、
:<math>q(x,t)=f_t(x,\alpha+\theta(t-\alpha))</math>
を満たす<math>0<\theta<1</math>が存在する。よって、補題3.4より
:<math>\begin{align}
F'(\alpha)&=\lim_{t \to \alpha}\frac{F(t)-F(\alpha)}{t-\alpha} \\
&=\lim_{t \to \alpha}\frac{\int_a^\infty \left(f(x,t)-f(x,\alpha)\right) dx}{t-\alpha} \\
&=\lim_{t \to \alpha} \int_a^\infty q(x,t) dx \\
&=\lim_{t \to \alpha} \int_a^\infty f_t(x,\alpha+\theta(t-\alpha)) dx \\
&=\int_a^\infty \lim_{t \to \alpha} f_t(x,\alpha+\theta(t-\alpha)) dx \\
&=\int_a^\infty f_t(x,\alpha) dx
\end{align}</math>
である。//

== アスコリ＝アルツェラの定理 ==
一様有界（定義2.3）な関数列に対し、さらに同程度連続という条件を付すと、一様収束する部分列が存在することがわかります。まず、同程度連続性を定義します。

'''定義4.1'''
区間<math>I \subset \mathbb{R}</math>で定義される関数列<math>\{f_n(x)\}</math>について、任意の<math>\varepsilon>0</math>に対してある<math>\delta>0</math>が存在し、<math>|x_1-x_2|<\delta</math>ならば任意の自然数''n''に対して<math>|f_n(x_1)-f_n(x_2)|<\varepsilon</math>となるとき、<math>\{f_n(x)\}</math>は'''同程度連続'''であるという。

''n''にはよらない<math>\delta</math>を選ぶことができる、ということがポイントです。一様有界かつ同程度連続であれば、次が成り立ちます。

'''定理4.2''' （アスコリ＝アルツェラの定理）
有界閉区間''I''上の関数列<math>\{f_n(x)\}</math>が一様有界かつ同程度連続ならば、<math>\{f_n(x)\}</math>の部分列<math>\{f_{n_j}(x)\}</math>で、ある関数に一様収束するものが存在する。

（証明）
''I''上の有理数は可算個なので、適当に並べて数列<math>\{r_n\}</math>を作ることができる。<math>\{f_n(x)\}</math>が一様有界であることより、数列<math>\{f_n(r_1)\}</math>は有界なので、ボルツァーノ＝ワイエルシュトラスの定理より収束部分列<math>\{f_{n^{(1)}}(r_1)\}</math>を持つ。このとき、数列<math>\{f_{n^{(1)}}(r_2)\}</math>は有界数列なので、同様に収束部分列<math>\{f_{n^{(2)}}(r_2)\}</math>を持つ。以下同様にして、関数列<math>\{f_{n^{(j)}}(x)\}</math>を作ることができ、<math>m=1,2,\cdots,j</math>であれば<math>f_{n^{(j)}}(r_m)</math>は収束する。このとき、<math>f_{n_j}(x):= \{f_{n^{(j)}}(x)\}</math>とすると、この関数列<math> \{f_{n_j}(x)\}</math>は<math>\{f_n(x)\}</math>の部分列であり、任意の有理数''r''に対して<math>\lim_{j \to \infty} f_{n_j}(r)</math>は収束する。

この関数列<math> \{f_{n_j}(x)\}</math>が''I''上一様収束することを示せばよい。<math>\varepsilon>0</math>を任意にとると、<math>\{f_n(x)\}</math>が同程度連続であることより、ある<math>\delta>0</math>が存在して<math>|x_1-x_2|<\delta</math>ならば任意の''n''に対して<math>|f_n(x_1)-f_n(x_2)|<\frac{\varepsilon}{3}</math>となる。この<math>\delta</math>を固定し、区間''I''を幅<math>\frac{\delta}{2}</math>の小区間に分割すると、''I''は有界閉区間なので有限個の小区間に分かれる。''x''を任意にとると、''x''と同じ小区間に属する有理数''r''が存在する。この''r''に対し、数列<math> \{f_{n_j}(r)\}</math>は収束するので、十分大きい''l,l'''を取れば<math>|f_{n_l}(r)-f_{n_{l'}}(r)|<\frac{\varepsilon}{3}</math>となる。よって、
:<math>|f_{n_l}(x)-f_{n_{l'}}(x)| \le |f_{n_l}(x)-f_{n_l}(r)|+|f_{n_l}(r)-f_{n_{l'}}(r)|+|f_{n_{l'}}(r)-f_{n_{l'}}(x)| < \frac{\varepsilon}{3}+\frac{\varepsilon}{3}+\frac{\varepsilon}{3}=\varepsilon</math>
である。よって<math>\{f_{n_j}(x)\}</math>は一様収束する。//

[[カテゴリ:極限 (数学)]]