「実数列の逆数」の極限 = 「実数列の極限」の逆数
1. 命題
実数列$\{a_n \}$の極限が$\lim_{n \to \infty} a_n=\alpha$、かつ、$\alpha \neq 0$ならば、
\begin{align}
\lim_{n \to \infty} \frac{1}{a_n}= \frac{1}{\alpha}
\end{align}
である。
2. 証明
仮定と補題1により、以下が成り立つ。
\begin{align}
\lim_{n \to \infty} \frac{a_n}{\alpha} &= \frac{\alpha}{\alpha}\\
\lim_{n \to \infty} A_n &= 1\\
\end{align}
ただし、$A_n = a_n/\alpha$としている。
ここで、$x_n = A_n - 1$とおくと、$\{x_n\}$の極限は0となる。よって以下が成り立つ。
{}^\exists N \in \mathbb{N}, {}^\forall n > N, |x_n| < 1/2
ここで、$y_n = 1/(1+x_n)$とおく。すると以下の関係があることがわかる。
|x_n| < 1/2 \Leftrightarrow 3/2< y_n <2
したがって、$\{y_n\}$は有界である。
また、以下の関係があることがもわかる。
\begin{align}
1/a_n - 1/\alpha &= 1/(\alpha(x_n + 1)) + 1/\alpha\\
&= -x_n/(\alpha(1+x_n))\\
&= -x_ny_n/\alpha
\end{align}
$\{x_n\}$の極限が0であり、$\{y_n\}$が有界であるので、補題2より以下が成り立つ。
\begin{align}
\lim_{n \to \infty} x_n y_n= 0
\end{align}
このことと補題1により$\{-x_ny_n/\alpha\}$の極限は0である。すなわち、$\{1/a_n - 1/\alpha\}$の極限が0ということである。これより、命題は真である。$\Box$
補題1
$c$を定数とする。このとき、実数列$\{a_n \}$の極限が$\lim_{n \to \infty} a_n=\alpha$ならば、
\begin{align}
\lim_{n \to \infty} ca_n = c\alpha
\end{align}
である。
証明
仮定より、以下が成り立つ。
{}^\forall \epsilon > 0, {}^\exists N \in \mathbb{N}, {}^\forall n > N, |a_n - \alpha| < \epsilon
したがって、$\epsilon/(|c|+1) > 0$について以下が成り立つ。
{}^\exists N \in \mathbb{N}, {}^\forall n > N, |a_n - \alpha| < \epsilon/(|c|+1)
これが成り立つので、以下のような関係があることがわかる。
|ca_n - c\alpha| = |c| |a_n - \alpha| < |c|\epsilon/(|c|+1) < \epsilon
これより、補題1は示された。$\Box$
補題2
実数列$\{a_n \}$の極限が$\lim_{n \to \infty} a_n=0$であり、$\{b_n\}が有界ならば、
\begin{align}
\lim_{n \to \infty} a_n b_n = 0
\end{align}
である。
証明
$\{b_n\}$が有界なので、以下が成り立つ。
{}^\exists M \in \mathbb{R}, {}^\forall n \in \mathbb{N}, |b_n| \leq M
これより、以下の関係あることがわかる。
|a_n b_n| = |a_n||b_n| \leq M|a_n|
このことと補題1より、$\{M|a_n|\}$の極限は0である。この事実と補題3より、$\{a_n b_n\}$の極限は0である。これより、補題2は真である。$\Box$
補題3
実数列を$\{a_n \}, \{b_n \}$とし、${}^\forall n \in \mathbb{N}, |a_n| \leq b_n$であり、$\lim_{n \to \infty} b_n=0$であれば、$\lim_{n \to \infty} a_n=0$である。
証明
下記URLの補題5の証明を参照。
https://qiita.com/elephant_raion/items/2c0630e5f42264015620
Author And Source
この問題について(「実数列の逆数」の極限 = 「実数列の極限」の逆数), 我々は、より多くの情報をここで見つけました https://qiita.com/elephant_raion/items/b13b60c25b1fe4d4b2df著者帰属:元の著者の情報は、元のURLに含まれています。著作権は原作者に属する。
Content is automatically searched and collected through network algorithms . If there is a violation . Please contact us . We will adjust (correct author information ,or delete content ) as soon as possible .