next up previous
Next: About this document ...

    

微分積分学概論AI要約 No.3

第3回目の主題 : \fbox{数列の収束の定義とそれに関する諸定理}

収束の定義は前回の定義 3.1 で述べた通りである。 それでは定義 3.1 の判定法を満たす $ c$ は唯一つだろうか?

定理 3.1   数列 $ \{a_n\}_{n=1}^\infty$(ある人が確かめたところ) $ c$ に収束し、 (別の人が確かめたところ) $ c'$ にも収束するなら、

$\displaystyle c=c'
$

である。つまり、数列の収束先は存在するとしたら唯一つしかない。

そこで、つぎのように定義することができる。

定義 3.2   数列 $ \{a_n\}_{n=1}^\infty$ がある数 $ c$ に収束するとき、

$\displaystyle \lim_{n\to \infty} a_n=c
$

と書いて、$ c$ のことを $ \{a_n \}$極限と呼ぶ。

定理 3.3  
  1. $\displaystyle \lim_{n\to \infty} a_n =\alpha \ {\Leftrightarrow}\
\lim_{n\to \infty} \vert a_n -\alpha\vert=0
$

  2. % latex2html id marker 886
$ a_n \leq b_n \quad(\forall n)$ で、かつ $ \{a_n \}$ , $ \{b_n\}$ が 収束するなら、

    % latex2html id marker 892
$\displaystyle \lim_{n\to \infty} a_n \leq \lim_{n\to \infty} b_n
$

  3. % latex2html id marker 894
$ a_n \leq c_n \leq b_n \quad(\forall n)$ で、かつ $ \{a_n \}$ , $ \{b_n\}$ が 同じ数 $ \alpha$ に収束するなら、 $ \{c_n\}$$ \alpha$ に収束する。

定理 3.4   収束する数列は有界である。

定理 3.5   実数列 $ \{a_n \}$ , $ \{b_n\}$ はそれぞれ収束するとする。このとき、
  1. 「極限をとる」という操作は線形である。すなわち、 $ \forall \lambda,\mu\in$   $ \mbox{${\mathbb{R}}$}$ に対して $ \lim_{n\to \infty} (\lambda a_n+ \mu b_n) $ は収束して、

    $\displaystyle \lim_{n\to \infty} (\lambda a_n+ \mu b_n)
=
\lambda (\lim_{n\to \infty} a_n)
+\mu (\lim_{n\to \infty} b_n)
$

  2. 「実数の乗法は連続である。」

    $\displaystyle \lim_{n\to \infty} (a_n b_n)
=(\lim_{n\to \infty} a_n)
(\lim_{n\to \infty} b_n)
$

  3. 実数の除法は「連続」である。 もっと詳しく言うと、 % latex2html id marker 929
$ \lim_{n\to \infty} b_n\neq 0$ なら、 有限個の例外を除いて % latex2html id marker 931
$ b_n\neq 0$ であって、

    $\displaystyle \lim_{n\to \infty} (a_n /b_n)
=(\lim_{n\to \infty} a_n)
/(\lim_{n\to \infty} b_n).
$

上の定理は、どちらかというと特別な二変数関数の連続性に関する 定理として扱うほうが見通しが良い。 二変数関数の連続性については二年生時に詳細に学ぶことになるが、 それまで待っているわけにもいかないので上のようなカッコ「」を用いた 煮え切らない表現 ではあってもここに述べる必要があったというワケ。

問題 3.1   実数列 $ \{a_n\}_{n=1}^\infty$$ c$ に収束するとき、

$\displaystyle \{a_n^{10}\}_{n=1}^\infty
$

は収束すると言えるだろうか。言えるならばその収束先と理由を、言えないならば 反例を作りなさい。 (注意: 今回の講義で証明する定理をただ用いるのではなく、 収束の定義に戻って ($ \epsilon$ -$ N$ 論法で)説明すること。)

(ヒント: 2項定理)

付録: 「数列が収束する」ことの証明のフォーマット。 四角の中に埋めるものが肝要。その他、行間に理由付けのための 文章を書く必要がある場合もある。


$ \{a_n\}_{n=1}^\infty$$ \alpha$ に収束する。

$ (\because)$

$ \forall \epsilon >0$ に対して

$ N$ として \fbox{\phantom{良い性質をもつ正の整数}} を採用する。 すると、この $ N$ より大きい任意の $ n$ に対して、

% latex2html id marker 965
$\displaystyle \vert a_n -\alpha\vert < \fbox{\phantom{Good inequalities}} <\epsilon
$

% latex2html id marker 980
$ \qedsymbol$


例題 3.6   $ k(n)$ を、$ n$ を十進数で表記したときの桁数とする。

% latex2html id marker 976
$\displaystyle a_n=\frac{1}{k(n)} \qquad(n=1,2,3\dots)
$

とおくと、 $ \{a_n\}_{n=1}^\infty$ は 0 に収束する。

ARRAY(0x8ffc058)


next up previous
Next: About this document ...
2014-04-25