概要
有界な数列は収束する部分列を持つ、ということを主張している定理である。この定理を証明するにあたって、
で紹介した定理を使っているのでその記事を参照するといいだろう。
また、部分列とはであって、
を満たす自然数列に対して、
というように定めたものである。数列は自然数から実数への関数とみなすことができるが、これに自然数から自然数への関数を適用させたものとの合成写像とみなすこともできる。
証明
は有界であるため、常に
となるような区間が存在する。ここで、有界閉区間の列
を次のように定める。
は、
としたときに、
と
のうち、
の項が無限個入っている方を採用する。両方の区間に
となるように
も定める。
このとき、を、
かつ
となる最小の自然数
と定義すると、この部分列は収束する。何故ならば、このとき任意の自然数に対して
$$a_k\lt x_{n_k}\lt b_k$$
という不等式が成立するのだが、は有界で単調増加（減少）な数列であるため収束することがわかり、さらに、
より、
というように同じ値に収束する。よって
についても、はさみうちの原理を適用させることで、同じく
に収束することがわかる。よってこのような方法によって収束する部分列を取ることができた。（証明終わり）
