区間縮小法とボルツァノ-ワイエルシュトラスの定理

この記事では区間縮小法を証明し、そこから有界な数列が収束する部分列をもつこと（ボルツァノ-ワイエルシュトラスの定理）を導きます。

区間縮小法
ボルツァノ-ワイエルシュトラスの定理

区間縮小法

次のような数列 $a_{n}, b_{n}$ を考えてみます。
$a_{n} = 1 - \frac{1}{n}, b_{n} = 1 + \frac{1}{n}$
$a_{n}$ は 0 から 1 に、 $b_{n}$ は 2 から 1 に近づいていく数列です。

区間縮小法の説明図

上図では $a_{n}$ は左から、 $b_{n}$ は右から 1 へ収束して等しい値になります。このような 1 が存在するということを主張するのが区間縮小法です。一般的な定理を書くと、

2 つの数列

{a_{n}}

と

{b_{n}}

が

a_{1} \leq a_{2} \leq \dots \leq a_{n} \leq b_{n} \leq \dots \leq b_{2} \leq b_{1}

という大小関係を満たし、

lim_{n \to \infty} (b_{n} - a_{n}) = 0

が成り立つとき、　

lim_{n \to \infty} a_{n} = lim_{n \to \infty} b_{n} = a

となる実数

a

が存在する。

【区間縮小法の証明】有界な単調増加（単調減少）数列は上限（下限）に収束するので、
$lim_{n \to \infty} a_{n} = a, lim_{n \to \infty} b_{n} = b$
となるような $a, b$ が存在することは明らかです。また数列についての基本的な定理によると、2 つの数列 ${a_{n}}$ と ${b_{n}}$ が
$lim_{n \to \infty} a_{n} = a, lim_{n \to \infty} b_{n} = b$
を満たし、かつ十分に大きな数 $n$ に対して $a_{n} \geq b_{n}$ が成立するならば、 $a \geq b$ が成り立つので、
$a_{n} \leq a \leq b \leq b_{n}$
が得られます。したがってすべての $n$ について
$| b_{n} - a_{n} | \geq | b - a | \geq 0$
が成り立ちます。数列 ${a_{n}}$ と ${b_{n}}$ は
$lim_{n \to \infty} (b_{n} - a_{n}) = 0$
を満たすものとしているので、 $a = b$ が成立します。

ボルツァノ-ワイエルシュトラスの定理

1 つの数列 ${a_{n}}$ から無限個の項を抜き出して、順序は変えないように新しい数列 ${b_{n}}$ をつくります。このとき ${b_{n}}$ は ${a_{n}}$ の部分列であるといいます。たとえば
$a_{1}, a_{2}, a_{3}, a_{4}, a_{5}, a_{6}, a_{7}, \dots$
があって、 $n$ が奇数のところを抜き出してそのままの順に並べると
$b_{1}, b_{3}, b_{5}, b_{7}, b_{9}, b_{11}, b_{13}, \dots$
となって無限に続く数列となり、 ${b_{n}}$ は ${a_{n}}$ の部分列となっていることがわかります。このようにすればどのような ${a_{n}}$ も部分列をもつことになりますが、今調べたいのは有界な数列の中に、収束するような部分列が含まれているかどうかということです。そこで少し複雑な振る舞いをする次のような数列 ${a_{n}}$ を考えてみます。
$a_{n} = 1 - \frac{(- 1)^{n}}{n}$
各項を具体的に書き並べてみると
$2, \frac{1}{2}, \frac{4}{3}, \frac{3}{4}, \frac{4}{5}, \dots$
となります。この数列は 1 を交互にまたぎながら次第に 1 へと近づいていきます。直感的には下図のように 1 を含む適当な区間をとって、その中にある数列を ${b_{n}}$ とすれば収束する部分列となるのは明らかに思えます。

1をまたいだ区間に無限のanが含まれます

しかし後の証明の理解のためにもう少し丁寧に部分列を作ってみましょう。
下図のように区間を次々と半分にしていって、その中にある ${a_{n}}$ から 1 つずつ選んで $b_{1}, b_{2}, b_{3}, \dots$ としていきます。

ワイエルシュトラスの定理

このようにすることで ${b_{n}}$ の各項には大きさに制限がつき、
$\begin{aligned} 0 < b_{1} \leq 2 \\ 1 \leq b_{2} \leq 2 \\ 1 \leq b_{3} \leq 3 / 2 \\ 1 \leq b_{4} \leq 5 / 4 \end{aligned}$
というように、どんどん範囲を狭めていくことができます。区間はいくらでも小さくなっていくので ${b_{n}}$ が 1 に収束することがわかります。以上のことを一般化した定理とその証明を載せておきます。

ボルツァノ-ワイエルシュトラスの定理（Bolzano-Wierstrass theorem）
有界な数列

{a_{n}}

は収束する部分列

{b_{n}}

をもつ。

【ボルツァノ – ワイエルシュトラスの定理の証明】
数列 ${a_{n}}$ は有界なので、 ${a_{n}}$ を全て含むような区間 $[p_{0}, q_{0}]$ が存在するはずです。この区間 $[p_{0}, q_{0}]$ を 2 等分して無数の ${a_{n}}$ を含んでいるほうの区間を $[p_{1}, q_{1}]$ とします。もし両方の区間がともに無数の ${a_{n}}$ を含んでいるのなら、（どちらでもいいのですが）とりあえず右側の区間を $[p_{1}, q_{1}]$ と定めることにしておきます。そしてまた $[p_{1}, q_{1}]$ を 2 等分して区間 $[p_{2}, q_{2}]$ を作ります。 $[p_{n}, q_{n}]$ の区間の長さは
$\frac{1}{2^{n}} (q_{0} - p_{0})$
となります。また明らかに
$p_{0} \leq p_{1} \leq \dots \leq p_{n} \leq \dots \leq q_{n} \leq \dots \leq q_{1} \leq q_{0}$
が成り立ちます。よってアルキメデスの原理より
$lim_{n \to \infty} \frac{1}{2^{n}} = 0$
となるので、
$lim_{n \to \infty} (q_{n} - p_{n}) = lim_{n \to \infty} \frac{1}{2^{n}} (q_{0} - p_{0}) = 0$
が成り立ち、すると区間縮小法から
$lim_{n \to \infty} p_{n} = lim_{n \to \infty} q_{n} = a$
となる実数 $a$ が存在することになります。次に区間
$[p_{0}, q_{0}], [p_{1}, q_{2}], \dots [p_{n}, q_{n}], \dots$
から 1 つずつ $a_{n}$ を取り出し、あらためて
$b_{1}, b_{2}, b_{3}, \dots b_{n}, \dots$
という数列をつくると、
$p_{k} \leq b_{k} \leq q_{k}$
が成り立っています。 $k \to \infty$ とすると「はさみうちの原理」より
$lim_{n \to \infty} b_{k} = a$
となって、部分列 ${b_{k}}$ は $a$ に収束することがわかります。

区間縮小法

ボルツァノ-ワイエルシュトラスの定理

エクセルや数学に関するコメントをお寄せください