本稿では、数列の極限に関する法則を紹介しています。
なお、閲覧にあたっては、以下の点にご注意ください。
- スマートフォンやタブレット端末でご覧の際、数式が見切れている場合は、横にスクロールすることができます。
極限の法則①:極限値と四則
収束する数列の極限値と四則演算に関しては、次の法則が成り立つ。
【定理】
収束する数列の極限値と四則演算
Limit Laws for Convergent Sequences
数列 $ \left\{a_n\right\}, \left\{b_n\right\}$ がともに収束して \begin{gather} \lim_{n\rightarrow\infty}{a_n}=\alpha \quad \ \lim_{n\rightarrow\infty}{b_n}=\beta \end{gather} ならば、 \begin{gather} \lim_{n\rightarrow\infty}{ka_n}=k\alpha\tag{1} \end{gather} ただし、$k$ は定数 \begin{gather} \lim_{n\rightarrow\infty}{ \left(a_n+b_n\right)}=\alpha+\beta\tag{2} \end{gather} \begin{gather} \lim_{n\rightarrow\infty}{ \left(a_n-b_n\right)}=\alpha-\beta\tag{3} \end{gather} \begin{gather} \lim_{n\rightarrow\infty}{a_nb_n}=\alpha\beta\tag{4} \end{gather} \begin{gather} \lim_{n\rightarrow\infty}{\frac{a_n}{b_n}}=\frac{\alpha}{\beta} \quad \lim_{n\rightarrow\infty}{\frac{1}{b_n}}=\frac{1}{\beta}\ \tag{5} \end{gather} ただし、$b_n \neq 0\ \left(n=1,2, \cdots \right)$ かつ $\beta \neq 0$ が成り立つ。
極限の法則②:極限値と不等式
収束する数列の極限値の大小関係に関しては、次の法則が成り立つ。
【定理】
収束する数列の極限値と不等式
Limit Laws for Convergent Sequences
数列 $ \left\{a_n\right\}, \left\{b_n\right\}$ がともに収束して \begin{gather} \lim_{n\rightarrow\infty}{a_n}=\alpha \quad \ \lim_{n\rightarrow\infty}{b_n}=\beta \end{gather} ならば、次のことが成り立つ。 [1] \begin{gather} a_n \le b_n \quad n=1,2, \cdots \end{gather} ならば \begin{gather} \alpha \le \beta \end{gather} [2]数列 $ \left\{a_n\right\}, \left\{b_n\right\}, \left\{c_n\right\}$ において、 \begin{gather} a_n \le b_n \le c_n \end{gather} であり、かつ \begin{gather} \lim_{n\rightarrow\infty}{a_n}=\lim_{n\rightarrow\infty}{c_n}=\alpha \end{gather} ならば、 数列 $ \left\{b_n\right\}$ も収束して、 \begin{gather} \lim_{n\rightarrow\infty}{b_n}=\alpha \end{gather} これは、はさみうちの原理 squeeze theorem, pinching theorem, sandwich theorem などと呼ばれる。
極限の法則③:発散する数列
発散する数列の極限値に関しては、次の法則が成り立つ。
【定理】
発散する数列
Limit Laws for Divergent Sequences
[1] \begin{gather} \lim_{n\rightarrow\infty}{a_n}=+\infty\Leftrightarrow\lim_{n\rightarrow\infty}{ \left(-a_n\right)}=-\infty \end{gather} [2] \begin{gather} \lim_{n\rightarrow\infty}{a_n}=+\infty,\lim_{n\rightarrow\infty}{b_n}=+\infty \end{gather} または、 \begin{gather} \lim_{n\rightarrow\infty}{a_n}=\alpha,\lim_{n\rightarrow\infty}{b_n}=+\infty \end{gather} ならば \begin{gather} \lim_{n\rightarrow\infty}{ \left(a_n+b_n\right)}=+\infty \end{gather} [3] \begin{gather} \lim_{n\rightarrow\infty}{a_n}=+\infty,\lim_{n\rightarrow\infty}{b_n}=+\infty\Rightarrow\lim_{n\rightarrow\infty}{ \left(a_nb_n\right)}=+\infty\\ \lim_{n\rightarrow\infty}{a_n}=+\infty,\lim_{n\rightarrow\infty}{b_n}=-\infty\Rightarrow\lim_{n\rightarrow\infty}{ \left(a_nb_n\right)}=-\infty \end{gather} [4] \begin{gather} \lim_{n\rightarrow\infty}{a_n}=\alpha \gt 0,\lim_{n\rightarrow\infty}{b_n}=+\infty\Rightarrow\lim_{n\rightarrow\infty}{ \left(a_nb_n\right)}=+\infty\\ \lim_{n\rightarrow\infty}{a_n}=\alpha \lt 0,\lim_{n\rightarrow\infty}{b_n}=+\infty\Rightarrow\lim_{n\rightarrow\infty}{ \left(a_nb_n\right)}=-\infty \end{gather} [5]$0 \lt a_n$ のとき、 \begin{gather} \lim_{n\rightarrow\infty}{\frac{1}{a_n}}=0\Leftrightarrow\lim_{n\rightarrow\infty}{a_n}=+\infty \end{gather} $a_n \lt 0$ のとき、 \begin{gather} \lim_{n\rightarrow\infty}{\frac{1}{a_n}}=0\Leftrightarrow\lim_{n\rightarrow\infty}{a_n}=-\infty \end{gather} [6]$a_n \lt b_n$ のとき、 \begin{gather} \lim_{n\rightarrow\infty}{a_n}=+\infty\Rightarrow\lim_{n\rightarrow\infty}{b_n}=+\infty\\ \lim_{n\rightarrow\infty}{b_n}=-\infty\Rightarrow\lim_{n\rightarrow\infty}{a_n}=-\infty \end{gather}
無限等比数列の極限
無限等比数列の極限に関しては、次の法則が成り立つ。
【定理】
無限等比数列の極限
Limits of Infinite Geometric Series
$r$ を定数とするとき、数列 \begin{gather} \left\{r_n\right\}= \left\{r^n\right\} \end{gather} について次のことが成り立つ。 [1] \begin{gather} 1 \lt r\Rightarrow\lim_{n\rightarrow\infty}{r^n}=+\infty\tag{6} \end{gather} [2] \begin{gather} r=1\Rightarrow\lim_{n\rightarrow\infty}{r^n}=1\tag{7} \end{gather} [3] \begin{gather} \left|r\right| \lt 1\Rightarrow\lim_{n\rightarrow\infty}{r^n}=0\tag{8} \end{gather} [4] \begin{gather} r \le -1 \end{gather} ならば数列 $ \left\{r^n\right\}$ は振動し、極限値は存在しない。
証明
[1]$1 \lt r$ のとき
$r=1+h$ とおけば $0 \lt h$ で、2以上の自然数 $n$ に対して
\begin{gather}
r^n= \left(1+h\right)^n \gt 1+nh
\end{gather}
が成り立つ。
$0 \lt h$ より、
\begin{gather}
\lim_{n\rightarrow\infty}{ \left(1+nh\right)}=\infty
\end{gather}
よって、
\begin{gather}
\lim_{n\rightarrow\infty}{r^n} \gt \lim_{n\rightarrow\infty}{ \left(1+nh\right)}
\end{gather}
の関係から
\begin{gather}
\lim_{n\rightarrow\infty}{r^n}=\infty
\end{gather}
$\blacksquare$
[2]$r=1$ のとき
すべての自然数 $n$ に対して $r^n=1$ なので、
\begin{gather}
\lim_{n\rightarrow\infty}{r^n}=1
\end{gather}
$\blacksquare$
[3]$ \left|r\right| \lt 1\Leftrightarrow-1 \lt r \lt 1$ のとき
$r=0$ ならば、すべての自然数 $n$ に対して $r^n=0$ なので、
\begin{gather}
\lim_{n\rightarrow\infty}{r^n}=0
\end{gather}
また、$r \neq 0$ のとき、
\begin{gather}
\frac{1}{ \left|r\right|} \gt 1
\end{gather}
なので、[1]により、
\begin{gather}
\lim_{n\rightarrow\infty}{\frac{1}{ \left|r^n\right|}}=\lim_{n\rightarrow\infty}{ \left(\frac{1}{ \left|r\right|}\right)^n}=\infty
\end{gather}
よって、この逆数を取ると、
\begin{gather}
\lim_{n\rightarrow\infty}{ \left|r^n\right|}=0
\end{gather}
ゆえに
\begin{gather}
\lim_{n\rightarrow\infty}{r^n}=0
\end{gather}
$\blacksquare$
[4]$r \le -1$ のとき
(i)$r=-1$ のとき
\begin{gather}
\left\{r_n\right\}= \left\{-1,1,-1,1, \cdots \right\}
\end{gather}
という $-1$ と $1$ が交互に出現する数列となるので、発散する。
(ii)$r \lt -1$ のとき
与えられた数列は、
$n$が奇数のとき負、偶数のときに正
となる。
$1 \lt \left|r\right|$ なので、[1]により、
\begin{gather}
\lim_{n\rightarrow\infty}{r^n}= \left\{\begin{matrix}+\infty&n=2k\\-\infty&n=2k-1\\\end{matrix}\right. \quad k=1,2, \cdots
\end{gather}
よって、数列 $ \left\{r_n\right\}$ は振動し、極限値は存在しない。
$\blacksquare$
参考文献
- 松坂 和夫 著. 数学読本 4. 新装版, 岩波書店, 2019, p.643-654
- はさみうちの原理の証明. 高校数学の美しい物語. 2022-02-08. https://manabitimes.jp/math/782.
0 件のコメント:
コメントを投稿