数列の積の極限

最終更新 2018年 3月31日
  数列 $a_{n}$ と $b_{n}$ の極限値がそれぞれ
であるとき、 数列の積 $a_{n} b_{n}$ の極限は、
数列の積の極限
となる。 その結果、
が成り立つ。

  証明


準備
  数列 $a_{n}$ の極限値が
であるとは、 次のように定義される。 すなわち、 任意の正の値 $\epsilon$ に対して、
を満たす自然数 $N$ が存在する。
  同じように、 数列 $b_{n}$ の極限値が
であるとは、 任意の正の値 $\epsilon$ に対して、
となる自然数 $N$ が存在することである。
  これらを踏まえて以下のように証明する。
証明
  任意の正の値 $\epsilon'$ に対して、 正の値 $\epsilon_{a}$ と $\epsilon_{b}$ を次のように定義する。
$(1)$ は任意の正の値 $\epsilon$ に対して成り立つので、 $\epsilon = \epsilon_{a}$ の場合にも成り立つ。 すなわち、
を満たす自然数 $N_{a}$ が存在する。 同じように、 $(2)$ は任意の $\epsilon$ に対して成り立つので、 $\epsilon = \epsilon_{b}$ の場合にも成り立つ。 すなわち、
を満たす自然数 $N_{b}$ が存在する。
  ここで、 $N_{a}$ と $N_{b}$ よりも大きな任意の自然数を $N$ とする。 すなわち、 自然数 $N$ を
によって定義する。 こうすると、 $(4)$ から $N$ は、
を満たし、 $(5)$ から
を満たす。
  ところで、 三角不等式 を用いると、
が成り立つが、 これと $(6)$ と $(7)$ によって、
を満たす自然数 $N$ が存在することが分かる。 加えて $(6)$ の右側から
が成り立つ(下の補足を参考)ので、
を満たす自然数 $N$ が存在することが分かる。
  この関係の右側と $(3)$ から、 $\beta \neq 0$ の場合
が成り立ち、 一方、 $\beta = 0$ の場合
が成り立つ。
  よって、 いずれの場合にも、 任意の正の値 $\epsilon'$ に対して、
を満たす自然数 $N$ が存在することが分かる。 これは、 $a_{n} b_{n}$ の極限が $\alpha \beta$ であることの定義そのものであるので、
が成り立つ。
  その結果、
が成り立つ。
補足:
$(6)$ の右側
を書き換えると、
と表せる。 この不等式を次の4つの場合に分けて考える。
それぞれの場合と $a_{n}$ の取りうる範囲を表したのが下図である。
  (i) の場合、 図から分かるように $a_{n}$ の絶対値は、 $\epsilon + \alpha$ の絶対値以下の値になる。 よって、 三角不等式から、
が成り立つ。
  (ii) の場合、 図から分かるように $a_{n}$ の絶対値は、 $\epsilon_{a} + \alpha$ の絶対値以下の値になる。 よって、 (i) と同様に三角不等式によって、
が成り立つ。
  (iii) の場合、 図から分かるように $a_{n}$ の絶対値は $-\epsilon_{a} + \alpha$ の絶対値以下の値になる。 よって、 三角不等式から、
が成り立つ。 ここで (iii) の場合には、 $0 \leq \alpha$ であることを用いた。
  (iv) の場合、 図から分かるように $a_{n}$ の絶対値は、 $-\epsilon_{a} + \alpha$ の絶対値以下になる。 よって、 三角不等式から
が成り立つ。 ここで (iv) の場合には、 $0 \leq \alpha$ であることを用いた。
  以上から、 いずれの場合にも
が成り立つ。