数列すうれつの極限きょくげん

1導入どうにゅう

この講義こうぎでは、数列すうれつがある実数じっすうへ収束しゅうそくすることを $\epsilon$\varepsilon-$N$N 論法ろんぽうによって定義ていぎし、有限個ゆうげんこの初項しょこうではなく、任意にんいの精度せいどに対たいして十分大じゅうぶんおおきい添字以降そえじいこうのすべての項こうによって極限きょくげんを判定はんていするという原則げんそくを説明せつめいする。

差分方程式さぶんほうていしきから得えた解かいの長期挙動ちょうききょどうや、次つぎの講義こうぎで扱あつかう級数きゅうすうの部分和ぶぶんわを解析かいせきするには、数列すうれつの「接近せっきん」を定量化ていりょうかする必要ひつようがある。以下いかでは実数列じっすうれつ $(a_n{)}_{n\ge 1}$(a_n)_{n\geq1} を対象たいしょうとし、通常つうじょうの絶対値ぜったいちの性質せいしつを前提ぜんていとする。

2用語ようごと定義ていぎ

数列すうれつ $\left(a_n\right)$(a_n) が $L\in \mathbb{R}$L\in\mathbb R に収束しゅうそくconvergeするとは、

が成立せいりつすることである。このとき $\underset{n\to \mathrm{\infty }}{\lim }{a}_n=L$\lim_{n\to\infty}a_n=L または $a_n\to L$a_n\to L と記しるす。$\epsilon$\varepsilon は要求ようきゅうする誤差ごさであり、$N$N はその要求ようきゅうに応おうじて選択せんたくしてよいが、選択後せんたくごはすべての $n\ge N$n\geq N に同一どういつの評価ひょうかが成立せいりつしなければならない。

有限ゆうげんな実数じっすう $L$L のいずれにも収束しゅうそくしない数列すうれつを発散はっさんdivergeするという。特とくに、

が成立せいりつするとき $a_n\to +\mathrm{\infty }$a_n\to+\infty と記しるす。同様どうように、十分大じゅうぶんおおきい添字以降そえじいこうのすべての項こうが任意にんいの実数じっすう $M$M より小ちいさくなるとき $a_n\to -\mathrm{\infty }$a_n\to-\infty と記しるす。$+\mathrm{\infty }$+\infty と $-\mathrm{\infty }$-\infty は実数じっすうの極限値きょくげんちではなく、特定とくていの発散様式はっさんようしきを表あらわす記号きごうである。例たとえば $(-1{)}^n$(-1)^n は振動しんどうして発散はっさんするため、いずれの無限大発散むげんだいはっさんでもない。

3基本性質きほんせいしつ

極限きょくげんは一意いちいである。実際じっさい、$a_n\to L$a_n\to L かつ $a_n\to K$a_n\to K と仮定かていし、$L\ne K$L\ne K とする。$\epsilon =|L-K|/3$\varepsilon=|L-K|/3 に対たいして両定義りょうていぎを同時どうじに満みたす十分大じゅうぶんおおきい $n$n を選えらぶと、三角不等式さんかくふとうしきから

となり矛盾むじゅんする。

また、収束列しゅうそくれつは有界ゆうかいである。$a_n\to L$a_n\to L に対たいして $\epsilon =1$\varepsilon=1 を選えらべば、十分大じゅうぶんおおきい項こうは $\left|a_n\right|\le \left|L\right|+1$|a_n|\leq|L|+1 を満みたす。残のこる有限個ゆうげんこの初項しょこうにも最大絶対値さいだいぜったいちが存在そんざいするため、すべての項こうを共通きょうつうの定数ていすうで評価ひょうかできる。したがって、非有界ひゆうかいな数列すうれつは収束しゅうそくしない。ただし、有界性ゆうかいせいだけでは収束しゅうそくを保証ほしょうせず、$(-1{)}^n$(-1)^n が反例はんれいとなる。

以下いかでは既知きちの極限則きょくげんそくを使用しようする。$a_n\to A$a_n\to A、$b_n\to B$b_n\to B なら、

である。最後さいごの主張しゅちょうでは $b_n\ne 0$b_n\ne0 が十分大じゅうぶんおおきい $n$n で成立せいりつする。これらは各誤差かくごさを三角不等式さんかくふとうしきで分割ぶんかつし、収束列しゅうそくれつの有界性ゆうかいせいを利用りようすれば $\epsilon$\varepsilon-$N$N 定義ていぎから証明しょうめいできる。

4等比数列とうひすうれつ

$a_n=a{r}^{n-1}$a_n=ar^{n-1} とする。$a=0$a=0 なら恒等的こうとうてきに $0$0 である。以下いかでは $a\ne 0$a\ne0 とする。

• $\left|r\right|<1$|r|<1 なら $a_n\to 0$a_n\to0 である。$0<\left|r\right|<1$0<|r|<1 のとき $q=1/\left|r\right|>1$q=1/|r|>1 とおく。二項定理にこうていりから $q^m=(1+(q-1){)}^m\ge 1+m(q-1)$q^m=(1+(q-1))^m\geq1+m(q-1) なので、任意にんいの $\epsilon >0$\varepsilon>0 に対たいし $1+m(q-1)>\left|a\right|/\epsilon$1+m(q-1)>|a|/\varepsilon となる $m$m を選えらぶ。$N=m+1$N=m+1 とすれば、$n\ge N$n\geq N に対たいして $\left|a{r}^{n-1}\right|\le \left|a{r}^m\right|<\epsilon$|ar^{n-1}|\leq|ar^m|<\varepsilon となる。$r=0$r=0 も直接確認ちょくせつかくにんできる。
• $r=1$r=1 なら $a_n=a$a_n=a であり、$a$a に収束しゅうそくする。
• $r=-1$r=-1 なら $a_n$a_n は $a$a と $-a$-a を交互こうごにとる。仮かりに $a_n\to L$a_n\to L なら、定義ていぎを偶数添字ぐうすうそえじと奇数添字きすうそえじへ適用てきようして定数列ていすうれつ $a$a と $-a$-a がともに $L$L へ収束しゅうそくすることになるが、極限きょくげんの一意性いちいせいと $a\ne 0$a\ne0 に反はんする。したがって発散はっさんする。
• $r>1$r>1 なら、上うえの二項定理にこうていりによって $r^{n-1}$r^{n-1} は任意にんいの正数せいすうを最終的さいしゅうてきに超こえる。したがって $a>0$a>0 なら $a_n\to +\mathrm{\infty }$a_n\to+\infty、$a<0$a<0 なら $a_n\to -\mathrm{\infty }$a_n\to-\infty である。
• $r\le -1$r\leq-1 なら符号ふごうが交替こうたいする。$r<-1$r<-1 では絶対値ぜったいちも非有界ひゆうかいとなるため発散はっさんし、$+\mathrm{\infty }$+\infty にも $-\mathrm{\infty }$-\infty にも発散はっさんしない。

したがって、非零ひれいの実数じっすう $a$a に対たいする有限極限ゆうげんきょくげんの存在条件そんざいじょうけんは $\left|r\right|<1$|r|<1 または $r=1$r=1 である。

5有理式ゆうりしきで定義ていぎされた数列すうれつ

$P,Q$P,Q を非零ひれいの実係数多項式じつけいすうたこうしき、$Q\left(n\right)\ne 0$Q(n)\ne0 が十分大じゅうぶんおおきい $n$n で成立せいりつするとし、

を考かんがえる。$p=\text{[PARSE ERROR: Undefined("Command("deg")")]}P$p=\deg P、$q=\text{[PARSE ERROR: Undefined("Command("deg")")]}Q$q=\deg Q とし、最高次係数さいこうじけいすうをそれぞれ $c,d$c,d とする。$p\le q$p\leq q の場合ばあいは分子ぶんしと分母ぶんぼを $n^q$n^q で除算じょざんする。$p>q$p>q の場合ばあいは $a_n/n^{p-q}=P\left(n\right)/\left(n^{p-q}Q\right(n\left)\right)$a_n/n^{p-q}=P(n)/(n^{p-q}Q(n)) の分子ぶんしと分母ぶんぼを $n^p$n^p で除算じょざんする。$1/n^k\to 0$1/n^k\to0 と極限則きょくげんそくを適用てきようすると次つぎを得える。

• $p<q$p<q なら $a_n\to 0$a_n\to0。
• $p=q$p=q なら $a_n\to c/d$a_n\to c/d。
• $p>q$p>q なら、$a_n/n^{p-q}$a_n/n^{p-q} は $c/d$c/d に収束しゅうそくする。この比ひは十分大じゅうぶんおおきい添字以降そえじいこうで $c/d$c/d と同符号どうふごうかつ絶対値ぜったいちが $|c/(2d\left)\right|$|c/(2d)| 以上いじょうとなり、$n^{p-q}$n^{p-q} は任意にんいの正数せいすうを超こえる。したがって、$c/d>0$c/d>0 なら $+\mathrm{\infty }$+\infty、$c/d<0$c/d<0 なら $-\mathrm{\infty }$-\infty へ発散はっさんする。

例たとえば、

である。ここで分母ぶんぼの極限きょくげんが $1\ne 0$1\ne0 であるため、商しょうの極限則きょくげんそくを適用てきようできる。

6はさみうちの定理ていり

十分大じゅうぶんおおきいすべての $n$n について

であり、$b_n\to L$b_n\to L かつ $c_n\to L$c_n\to L なら $a_n\to L$a_n\to L である。実際じっさい、任意にんいの $\epsilon >0$\varepsilon>0 に対たいし、十分大じゅうぶんおおきい $n$n では $L-\epsilon <b_n$L-\varepsilon<b_n かつ $c_n<L+\epsilon$c_n<L+\varepsilon となるため、$|a_n-L|<\epsilon$|a_n-L|<\varepsilon である。

$\left|\sin n\right|\le 1$|\sin n|\leq1 と $1/n\to 0$1/n\to0 から

であり、はさみうちの定理ていりによって $\sin n/n\to 0$\sin n/n\to0 となる。$\sin n$\sin n 自体じたいの収束しゅうそくを仮定かていする必要ひつようはない。

7判定手順はんていてじゅん

• まず有限極限ゆうげんきょくげん、無限大発散むげんだいはっさん、振動しんどうのいずれが候補こうほかを区別くべつする。
• 等比因子とうひいんしがある場合ばあいは $\left|r\right|<1$|r|<1、$r=1$r=1、$r=-1$r=-1、$\left|r\right|>1$|r|>1 を分離ぶんりする。
• 有理式ゆうりしきでは分子ぶんしと分母ぶんぼの次数じすうおよび最高次係数さいこうじけいすうを比較ひかくする。
• 絶対値ぜったいちを収束しゅうそくする上界じょうかいで評価ひょうかできる場合ばあいは、はさみうちを適用てきようする。
• 極限きょくげんを主張しゅちょうする際さいは、使用しようする極限則きょくげんそくの仮定かてい、特とくに商しょうの分母ぶんぼの非零性ひれいせいを確認かくにんする。

8適用範囲てきようはんい

$\epsilon$\varepsilon-$N$N 定義ていぎでは添字そえじが自然数しぜんすうに限定げんていされるため、関数極限かんすうきょくげんの $\epsilon$\varepsilon-$\delta$\delta 定義ていぎにある入力距離にゅうりょくきょり $\delta$\delta は不要ふようである。一方いっぽう、数列すうれつを関数かんすう $f\left(n\right)$f(n) の整数点上せいすうてんじょうの値あたいと見みても、整数点間せいすうてんかんにおける $f$f の挙動きょどうは数列すうれつの収束しゅうそくには影響えいきょうしない。

本講義ほんこうぎは実数列じっすうれつを対象たいしょうとする。複素数列ふくそすうれつでは絶対値ぜったいちを複素絶対値ふくそぜったいちに置換ちかんすれば収束しゅうそくを同様どうように定義ていぎできるが、$+\mathrm{\infty }$+\infty と $-\mathrm{\infty }$-\infty による順序付じゅんじょづけきの発散分類はっさんぶんるいはそのまま適用てきようできない。

9基本公式きほんこうしき

10要約ようやく

• 数列すうれつの収束しゅうそくは、任意にんいの誤差要求ごさようきゅうを十分大じゅうぶんおおきい添字以降そえじいこうのすべての項こうが満みたすことである。
• 発散はっさんには無限大発散むげんだいはっさんと振動しんどうなどがあり、$\pm \mathrm{\infty }$\pm\infty は有限ゆうげんな極限値きょくげんちではない。
• 等比数列とうひすうれつ、有理式ゆうりしき、はさみうちは、それぞれ絶対値ぜったいち、最高次項さいこうじこう、不等式ふとうしきによって長期挙動ちょうききょどうを判定はんていする。

11関連講義かんれんこうぎ