数学 › 高校数学:関数と微分積分 › 数列と関数の極限

数列の極限の基本性質

命題 2.2(「数列と関数の極限」§2) ・ ✓公理まで証明済み

実数列 (an)(a_n)、(bn)(b_n) が an→αa_n\to\alpha、bn→βb_n\to\beta を満たすとする。このとき次が成り立つ。

  1. (an)(a_n) は有界である。すなわち、ある M>0M>0 があってすべての nn で ∣an∣≤M|a_n|\le M。
  2. 極限は一意である。an→α′a_n\to\alpha' でもあるならば α=α′\alpha=\alpha'。
  3. an+bn→α+βa_n+b_n\to\alpha+\beta、任意の定数 cc について can→cαca_n\to c\alpha、anbn→αβa_nb_n\to\alpha\beta。
  4. β≠0\beta\ne0 ならば、ある番号から先で bn≠0b_n\ne0 であり、an/bn→α/βa_n/b_n\to\alpha/\beta。
  5. ある番号から先で an≤bna_n\le b_n ならば α≤β\alpha\le\beta。
  6. (はさみうち)ある番号から先で an≤cn≤bna_n\le c_n\le b_n であり α=β\alpha=\beta ならば、数列 (cn)(c_n) も α\alpha に収束する。

本文で読む(証明と前後の説明)→

閉包の状態

✓ 公理まで証明済み

証明が使う定理を 前提 としてたどると、Rikai の中の証明だけで定義・公理(物理では基本仮定)までつながっています。

印の意味: ✓公理まで証明済み ・ △証明あり(閉包未完)・ ※主張のみ。テーマごとの集計は 閉包の状況。

前提をたどる 証明が使う定理・定義

証明は Rikai の他の定理を参照していません(定義と論理だけで示されています)。

これを使っている定理 証明で参照している 23 件

関連するノック 7 問