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

第3回目の主題 :

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

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

$$c=c'$$

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

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

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

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

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

定理 3.3  

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

2. $a_n \leq b_n \quad(\forall n)$ で、かつ $\{a_n \}$ , $\{b_n\}$ が 収束するなら、
   $$\lim_{n\to \infty} a_n \leq \lim_{n\to \infty} b_n$$

3. $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)$ は収束して、
   $$\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. 「実数の乗法は連続である。」
   $$\lim_{n\to \infty} (a_n b_n) =(\lim_{n\to \infty} a_n) (\lim_{n\to \infty} b_n)$$

3. 実数の除法は「連続」である。 もっと詳しく言うと、 $\lim_{n\to \infty} b_n\neq 0$ なら、 有限個の例外を除いて $b_n\neq 0$ であって、
   $$\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$ に収束するとき、

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

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

(ヒント: 2項定理)

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

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

$(\because)$

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

$N$ として を採用する。 すると、この $N$ より大きい任意の $n$ に対して、

$$\vert a_n -\alpha\vert < \fbox{\phantom{Good inequalities}} <\epsilon$$

$\qedsymbol$

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

$$a_n=\frac{1}{k(n)} \qquad(n=1,2,3\dots)$$

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

ARRAY(0xad32748)