関数の点収束と一様収束の違い
$\mathbb{R}$ の部分集合 $E \ne \emptyset$ に対して、関数 $f : E \to \mathbb{R}$ と関数列 $\left\{ f_{n} : E \to \mathbb{R} \right\}_{n=1}^{\infty}$ を定義しよう。
全ての $\varepsilon > 0$ 及び $x \in E$ に対して $n \ge N \implies | f_{n} (x) - f(x) | < \varepsilon$ を満たす $N \in \mathbb{N}$ が存在する場合、$E$ で $f_{n}$ は $f$ に点収束すると言い、以下のように表記される。
$$ f_n \rightarrow f $$
全ての $\varepsilon > 0$ に対して $n \ge N \implies | f_{n} (x) - f(x) | < \varepsilon$ を満たす $N \in \mathbb{N}$ が存在する場合、$E$ で $f_{n}$ は $f$ に一様収束すると言い、以下のように表記される。
$$ f_n \rightrightarrows f $$
解説
点収束 と 一様収束 の違いは、関数値が収束することと関数自体が収束することの違いと見ることができる。両方の収束を比較すると、違いはただ $x \in E$ に言及があるかどうかだけ。数学者の視点から言えば、以下のようなニュアンスで書ける。
点収束: $x \in E$ 一つ一つを見ると、$\varepsilon > 0$ を与えた時に $n \ge N \implies | f_{n} (x) - f(x) | < \varepsilon$ を満たす各々の $N_{x} \in \mathbb{N}$ は実際に存在する。
一様収束: $\varepsilon > 0$ のみならず $x \in E$ が何であれ、$n \ge N \implies | f_{n} (x) - f(x) | < \varepsilon$ を単独で満たす $N \in \mathbb{N}$ が存在する。
もっと極端に言うと、関数に焦点を当て、点収束は「偽の収束」、一様収束は「本当の収束」とも言えるかもしれない。点収束と一様収束は、ある種の「収束速度」によって区別される。もちろん、どちらも最終的には収束するが、点収束は点それぞれを別々に見るために、それぞれの $x$ に対して、$N_{x}$ が存在しても構わない。逆に、一様収束する場合は、どんな$x_{1}$ や $x_{2}$ を見逃したりせず、$E$ 全体で同時に、一斉に、$ | f_{N} (x) - f(x) | < \varepsilon$ が成立するように強制する $N$ が存在するのだ。
例
例として、$E := [0,1)$ で定義された以下の $f , f_{n}$ を考えてみよう。
$$ f(x) := 0 $$
$$ f_{n} (x) := x^{n} $$
$0 \le x<1$ であれば、$\varepsilon$ が何であっても $n \ge N \implies x^{n} < \varepsilon$ を満たす $N \in \mathbb{N}$ が存在する。$\varepsilon = 0.5$ が与えられているとして、三つの点 $x_{7} = 0.7$、$x_{8} = 0.8$、$x_{9} = 0.9$ だけを確認してみよう。
$$ N_{7} = 2 \implies 0.7^{2} = 0.49 < 0.5 $$
$$ N_{8} = 4 \implies 0.8^{4} = 0.4096 < 0.5 $$
$$ N_{9} = 7 \implies 0.9^{7} = 0.4782969 < 0.5 $$
このように、各々の $x_{r}$ に対して、$N_{r}$ がそれぞれ存在するので、$f_{n}$ が $f$ に 点収束するのは正しい。しかし、このような方式では、$x_{r}$ が $1$ に近づくにつれて、$N_{r}$ も著しく大きくなる必要がある。どんなに大きな $N \in \mathbb{N}$ を提案しても、$(0.9…9)^{N} > 0.5$ を満たす $(0.9…9 )$ が存在しなければならない。したがって、一様収束ではない。
$N_{8}=4$ は $N_{7}=2$ までカバーできるかもしれないが、$N_{9}=7$ までカバーできなかったことに注目してほしい。各々の $x$ が $0$ に収束するマラソンがあるとすると、$N=6$ の時に$x_{9} = 0.9$ が $0.9^{6}=0.531441$ なので、収束速度が遅く、$\varepsilon = 0.5$ より小さくなければならないという基準で「脱落」した。点収束はこれを許容するが、一様収束は許容しない。「いずれにせよ最終的には収束する」というゆったりした前提では不十分で、例外なく同時に収束する必要がある、それが本当の収束と呼べるのだ。