logo

関数列の各点収束 📂解析学

関数列の各点収束

定義

R\mathbb{R} の部分集合 E≠∅E \ne \emptyset に対して関数 f:E→Rf : E \to \mathbb{R} を定義しよう。関数列 {fn:E→R}n=1∞\left\{ f_{n} : E \to \mathbb{R} \right\}_{n=1}^{\infty} が各 x∈Ex \in E について f(x)=lim⁡n→∞fn(X)f(x) = \lim \limits_{n \to \infty} f_{n} (X) を満たす場合、EE で fnf_{n} に 逐点収束pointwise convergenceすると言い、以下のように表記される。

fn→f f_{n} \to f

解説

上の定義を ε-δ 論法で書き直すと、次の必要十分条件が得られる。

すべての ε>0\varepsilon > 0 と x∈Ex \in E に対して n≥N  ⟹  ∣fn(x)−f(x)∣<εn \ge N \implies | f_{n} (x) - f(x) | < \varepsilon を満たす N∈NN \in \mathbb{N} が存在する。

数列は単に「定義域が N\mathbb{N} である関数」に過ぎないので、その値域が関数の集合であっても全く問題なく、関数列 {fn}n∈N\left\{ f_{n} \right\}_{n \in \mathbb{N}} のような恐ろしい存在を思い浮かべることができる。まだ数列の概念を「nn が増加するにつれて数直線上で動く点」と大雑把に考えているなら、受け入れがたいだろう。

新しい数列が現れたことで、新しい収束についても話さないわけにはいかない。もちろん、逐点で収束するという概念は実際そんなに難しくない。なぜなら、EE で一点以上の例外を許して収束するなら、それはEE での収束とは言えないからだ。しかし、このように常識的な「収束」をわざわざ「逐点収束」と呼ぶ理由は何だろう？

その理由は明らかに、逐点収束が関数それ自体の収束を議論するにはまだ不十分であるためだ。実際、逐点収束はこれよりも良い収束と対比して「十分に良くない収束」を言うためにある言葉とも言える。率直に言って、fn(x)f_{n} (x) というのも具体的な x0x_{0} を一つ固定すれば an:=fn(x0)a_{n} := f_{n} (x_{0} ) のように現れるので、わざわざ関数列という概念を考える必要もない。

次は、EE で fnf_{n} が ff に逐点収束したとき、元の fnf_{n} の性質を保持しない例である。

定理

EE で fnf_{n} が ff に逐点ごとに収束するとする。

(a) fnf_{n} が微分可能であっても、ff が微分可能であるわけではない。

(b) fnf_{n} が積分可能であっても、ff が積分可能であるわけではない。

(c) fn,ff_{n}, f が微分可能であっても、lim⁡n→∞ddxfn(x)=ddx(lim⁡n→∞fn(x))\lim \limits_{n \to \infty} \dfrac{d}{dx} f_{n} (x) = \dfrac{d}{dx} \left( \lim \limits_{n \to \infty} f_{n} (x) \right) が成立するわけではない。

(d) fn,ff_{n}, f が積分可能であっても、lim⁡n→∞∫abfn(x)dx=∫ab(lim⁡n→∞fn(x))dx\displaystyle \lim \limits_{n \to \infty} \int_{a}^{b} f_{n} (x) dx = \int_{a}^{b} \left( \lim \limits_{n \to \infty} f_{n} (x) \right) dx が成立するわけではない。

特に (a) は連続性も保持されない例でもある。

証明

反例(a)

E=[0,1]E = [0,1] で以下のように fn,ff_{n} , f を定義しよう。

fn(x):=xnf(x):={0,0≤x<11,x=1 \begin{align*} f_{n} (x) &:= x^{n} \\ f(x) &:= \begin{cases} 0 &, 0 \le x < 1 \\ 1 &, x=1 \end{cases} \end{align*}

明らかにEE で逐点ごとに fn→ff_{n} \to f に収束する。しかし、fnf_{n} は [0,1][0,1] で微分可能だが、ff は x=1x=1 で連続ではないので微分可能ではない。

■

反例(b)

E=[0,1]E = [0,1] で以下のように fn,ff_{n} , f を定義しよう。

fn(x):={1,x=pm,p∈Z,m∈{1,⋯ ,n}0,otherwisef(x):={1,x∈Q0,otherwise \begin{align*} f_{n} (x) &:= \begin{cases} 1 &, x = {{ p } \over { m }} , p \in \mathbb{Z} , m \in \left\{ 1 , \cdots , n \right\} \\ 0 &, \text{otherwise} \end{cases} \\ f(x) &:= \begin{cases} 1 &, x \in \mathbb{Q} \\ 0 &, \text{otherwise} \end{cases} \end{align*}

fnf_{n} の設定は少し複雑だが、f1(x)f_{1} (x) は x∈{0,1} x \in \left\{ 0 , 1 \right\} でのみ11 であり、f2(x)f_{2} (x) は x∈{0,12,1}\displaystyle x \in \left\{ 0 , {{ 1 } \over { 2 }} , 1 \right\} でのみ11 であり、f3(x)f_{3} (x) はx∈{0,13,12,23,1}x \in \left\{ 0 , {{ 1 } \over { 3 }} , {{ 1 } \over { 2 }} , {{ 2 } \over { 3 }} , 1 \right\} でのみ11 である。この方法でnn を増やしていくと、最終的にはすべてのx∈Qx \in \mathbb{Q} でのみ11 になるはずで、それ故にEE で逐点ごとにfn→ff_{n} \to f に収束することがわかる。しかし、fnf_{n} は [0,1][0,1] で積分可能だが、ディリクレ関数のff は積分可能ではない。

■

反例(c)

E=[0,1]E = [0,1] で以下のように fn,ff_{n} , f を定義しよう。

fn(x):=xnnf(x):=0 \begin{align*} f_{n} (x) &:= {{ x^{n} } \over { n }} \\ f(x) &:= 0 \end{align*}

明らかにEE で逐点ごとにfn→ff_{n} \to f に収束し、それぞれの導関数は

f’n(x)=xn−1f′(x)=0 \begin{align*} f’_{n} (x) =& x^{n-1} \\ f '(x) =& 0 \end{align*}

のように求められる。しかしx=1x=1 で

1=lim⁡n→∞ddxfn(1)≠ddx(lim⁡n→∞fn(1))=0 1 = \lim \limits_{n \to \infty} \dfrac{d}{dx} f_{n} (1) \ne \dfrac{d}{dx} \left( \lim \limits_{n \to \infty} f_{n} (1) \right) = 0

■

反例(d)

E=[0,1]E = [0,1] で以下のように fn,ff_{n} , f を定義しよう。

f1(x):=1fn(x):={n2x,0≤x<1n2n−n2x,1n≤x<2n0,2n≤x≤1f(x):=0 \begin{align*} f_{1} (x) &:= 1 \\ f_{n} (x) &:= \begin{cases} n^2 x &, 0 \le x < {{ 1 } \over { n }} \\ 2n - n^2 x &, {{ 1 } \over { n }} \le x < {{ 2 } \over { n }} \\ 0 &, {{ 2 } \over { n }} \le x \le 1 \end{cases} \\ f(x) &:= 0 \end{align*}

20190619\_122238.png

fnf_{n} は複雑に見えるが、上の図を見ると非常にシンプルであり、EE で逐点ごとに fn→ff_{n} \to f に収束していることが分かる。ここで、∫01fn(x)dx\displaystyle \int_{0}^{1} f_{n} (x) dx は三角形の内部の面積と同じで、高さがnn、底辺の長さが2n{{ 2 } \over { n }} であるため、nn が何であれ常に11 に等しい。しかし、

∫01f(x)dx=∫010dx=0 \int_{0}^{1} f(x) dx = \int_{0}^{1} 0 dx = 0

なので、

1=lim⁡n→∞∫01fn(x)dx≠∫01(lim⁡n→∞fn(x))dx=0 1 = \lim \limits_{n \to \infty} \int_{0}^{1} f_{n} (x) dx \ne \int_{0}^{1} \left( \lim \limits_{n \to \infty} f_{n} (x) \right) dx = 0

■

参照