収束数列と順序（比較定理）
数列である\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)の間には、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq y_{n}
\end{equation*}という関係が成り立つものとします。つまり、任意番目の項に注目したとき、\(\left\{y_{n}\right\} \)の項が\(\left\{ x_{n}\right\} \)の項以上であるということです。さらに、これらの数列がともに有限な実数へ収束する場合には、両者の極限の間についても、\begin{equation*}\lim_{n\rightarrow \infty }x_{n}\leq \lim_{n\rightarrow \infty }y_{n}
\end{equation*}という関係が成り立つことが保証されます。これを比較定理（comparison theorem）と呼びます。
数列\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)がともに有限な実数へ収束するとともに、両者の項の間に、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq y_{n}
\end{equation*}という関係が成り立つ場合、両者の極限についても、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}\leq \lim_{n\rightarrow \infty }y_{n}
\end{equation*}という関係が成り立つ。
\end{equation*}という関係が成り立つ場合、大小関係\(\leq \)と狭義大小関係\(<\)の定義より、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq y_{n}
\end{equation*}もまた成り立つため、先の命題より、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}\leq \lim_{n\rightarrow \infty }y_{n}
\end{equation*}が成り立つことが保証されます。
上の例において、結論中の大小関係\(\leq \)を狭義大小関係\(\leq \)に置き換えた主張もまた成り立つでしょうか。つまり、収束する数列である\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)の間に、\begin{equation*}\forall n\in \mathbb{N} :x_{n}<y_{n}
\end{equation*}という関係が成り立つ場合、両者の極限の間にも、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}<\lim_{n\rightarrow \infty }y_{n}
\end{equation*}という関係が成り立つことが保証されるのでしょうか。以下の例が示唆するように、こうした関係は成り立つとは限りません。
\end{equation*}が成り立ちます。その一方で、\begin{equation}
\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right) =0 \quad \cdots (1)
\end{equation}であることを踏まえると、\begin{eqnarray*}
\lim_{n\rightarrow \infty }\left( \frac{1}{n+1}\right)
&=&\lim_{n\rightarrow \infty }\left( \frac{\frac{1}{n}}{1+\frac{1}{n}}\right) \quad \because \text{分子と分母を}n\in \mathbb{N} \text{で割る} \\
&=&\frac{\lim\limits_{n\rightarrow \infty }\left( \frac{1}{n}\right) }{\lim\limits_{n\rightarrow \infty }\left( 1+\frac{1}{n}\right) }\quad
\because \text{収束する数列の商の極限} \\
&=&\frac{\lim\limits_{n\rightarrow \infty }\left( \frac{1}{n}\right) }{\lim\limits_{n\rightarrow \infty }1+\lim\limits_{n\rightarrow \infty }\left(
\frac{1}{n}\right) }\quad \because \text{収束する数列の和の極限} \\
&=&\frac{0}{1+0}\quad \because \left( 1\right) \text{および定数数列の極限} \\
&=&0
\end{eqnarray*}となるため、\begin{equation*}
\lim_{n\rightarrow \infty }\left( \frac{1}{n+1}\right) =\lim_{n\rightarrow
\infty }\left( \frac{1}{n}\right)
\end{equation*}が成り立つことが明らかになりました。
発散数列と順序（比較定理）
数列である\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)の間には、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq y_{n}
\end{equation*}という関係が成り立つものとします。つまり、任意番目の項に注目したとき、\(\left\{y_{n}\right\} \)の項が\(\left\{ x_{n}\right\} \)の項以上であるということです。このとき、\(\left\{ x_{n}\right\} \)が正の無限大へ発散するならば\(\left\{ y_{n}\right\} \)もまた正の無限大へ発散することが保証されます。つまり、\begin{equation*}\lim_{n\rightarrow \infty }x_{n}=+\infty \Rightarrow \lim_{n\rightarrow
\infty }y_{n}=+\infty
\end{equation*}が成り立つということです。また、\(\left\{y_{n}\right\} \)が負の無限大へ発散するならば\(\left\{x_{n}\right\} \)もまた負の無限大へ発散することが保証されます。つまり、\begin{equation*}\lim_{n\rightarrow \infty }y_{n}=-\infty \Rightarrow \lim_{n\rightarrow
\infty }x_{n}=-\infty
\end{equation*}が成り立つということです。これもまた比較定理のバリエーションです。
数列\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)の項の間に、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq y_{n}
\end{equation*}という関係が成り立つ場合、\begin{eqnarray*}
\left( a\right) \ \lim_{n\rightarrow \infty }x_{n} &=&+\infty \Rightarrow
\lim_{n\rightarrow \infty }y_{n}=+\infty \\
\left( b\right) \ \lim_{n\rightarrow \infty }y_{n} &=&-\infty \Rightarrow
\lim_{n\rightarrow \infty }x_{n}=-\infty
\end{eqnarray*}がともに成り立つ。
\end{equation*}が成り立ちます。さらに、\begin{equation*}
\lim_{n\rightarrow \infty }n=+\infty
\end{equation*}が成り立つため、上の命題より、\begin{equation*}
\lim_{n\rightarrow \infty }n^{2}=+\infty
\end{equation*}を得ます。
\end{equation*}が成り立ちます。さらに、\begin{equation*}
\lim_{n\rightarrow \infty }\left( -n\right) =-\infty
\end{equation*}が成り立つため、上の命題より、\begin{equation*}
\lim_{n\rightarrow \infty }\left( -n^{2}\right) =-\infty
\end{equation*}を得ます。
収束する数列の極限と上界・下界の関係
収束する数列は有界ですが、先の命題より、その数列の極限は任意の上界以下であり、任意の下界以上になることが示されます。
\end{equation*}という関係が成り立つ。
はさみうちの定理
数列である\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)と\(\left\{ z_{n}\right\} \)の間には、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq z_{n}\leq y_{n}
\end{equation*}という関係が成り立つものとします。つまり、任意番目の項に注目したとき、\(\left\{z_{n}\right\} \)の項は\(\left\{ x_{n}\right\} \)の項と\(\left\{ y_{n}\right\} \)の項によって挟まれるということです。両端の数列である\(\left\{ x_{n}\right\} \)と\(\left\{y_{n}\right\} \)がともに有限な実数へ収束するとともに、それらの極限が同じ実数\(a\)である場合、間に挟まれた数列\(\left\{ z_{n}\right\} \)もまた有限な実数へ収束するとともに、その極限もまた\(a\)であることが保証されます。これをはさみうちの定理（squeeze theorem）と呼びます。
\end{equation*}という関係が成り立つ場合、\(\left\{ z_{n}\right\} \)もまた\(\left\{ x_{n}\right\} \)や\(\left\{ y_{n}\right\} \)の極限と同一の実数へ収束する。
\end{equation*}が成り立つ場合、大小関係\(\leq \)と狭義大小関係\(<\)の定義より、\begin{equation*}\forall n\in \mathbb{N} :x_{n}\leq z_{n}\leq y_{n}
\end{equation*}もまた成り立つため、はさみうちの定理より、\(\left\{ z_{n}\right\} \)もまた\(\left\{ x_{n}\right\} \)や\(\left\{ y_{n}\right\} \)の極限と同一の実数へ収束することが保証されます。
\end{equation*}で与えられているものとします。任意の\(n\in \mathbb{N} \)について、\begin{equation*}-1\leq \cos n\leq 1
\end{equation*}が成り立つことから、各辺を\(n>0\)で割ることにより、\begin{equation}-\frac{1}{n}\leq \frac{\cos n}{n}\leq \frac{1}{n} \quad \cdots (1)
\end{equation}を得ます。さらに、数列\(\left\{ -\frac{1}{n}\right\} \)と\(\left\{ \frac{1}{n}\right\} \)について、\begin{eqnarray}\lim_{n\rightarrow \infty }\left( -\frac{1}{n}\right)
&=&-\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right) =0 \quad \cdots (2) \\
\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right) &=&0 \quad \cdots (3)
\end{eqnarray}が成り立ちます。\(\left(1\right) ,\left( 2\right) ,\left( 3\right) \)およびはさみうちの定理より、\begin{equation*}\lim_{n\rightarrow \infty }\left( \frac{\cos n}{n}\right) =0
\end{equation*}すなわち、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}=0
\end{equation*}が成り立つことが明らかになりました。
\end{equation*}で与えられているものとします。任意の\(n\in \mathbb{N} \)について、\begin{equation}-\frac{1}{2^{n}}\leq \left( -\frac{1}{2}\right) ^{n}\leq \frac{1}{2^{n}}
\quad \cdots (1)
\end{equation}が成り立ちます。数列\(\left\{ -\frac{1}{2^{n}}\right\} \)と\(\left\{ \frac{1}{2^{n}}\right\} \)について、\begin{equation}\lim_{n\rightarrow \infty }\left( -\frac{1}{2^{n}}\right)
=\lim_{n\rightarrow \infty }\left( \frac{1}{2^{n}}\right) =0 \quad \cdots (2)
\end{equation}が成り立ちます。\(\left(1\right) ,\left( 2\right) \)およびはさみうちの定理より、\begin{equation*}\lim_{n\rightarrow \infty }\left( -\frac{1}{2}\right) ^{n}=0
\end{equation*}すなわち、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}=0
\end{equation*}が成り立つことが明らかになりました。
絶対値定理
数列\(\{x_{n}\}\)が与えられたとき、その一般項の絶対値\(\left\vert x_{n}\right\vert \)を一般項とする数列\( \{ \left \vert x_{n} \right \vert \} \)について考えます。ここで注目すべきは、絶対値の定義より、任意の\(n\in \mathbb{N} \)について、\begin{equation*}-\left\vert x_{n}\right\vert \leq x_{n}\leq \left\vert x_{n}\right\vert
\end{equation*}が成り立つということです。さて、数列\(\{\left\vert x_{n}\right\vert \}\)について、\begin{equation*}\lim_{n\rightarrow \infty }\left\vert x_{n}\right\vert =0
\end{equation*}が成り立つ場合には、数列\(\{-\left\vert x_{n}\right\vert \}\)についても明らかに、\begin{equation*}\lim_{n\rightarrow \infty }-\left\vert x_{n}\right\vert =0
\end{equation*}が成り立ちます。したがって、はさみうちの定理を適用すれば\(\{x_{n}\}\)もまた\(0\)へ収束することが示されます。つまり、数列\(\{x_{n}\}\)が\(0\)へ収束することを示すためには、かわりに数列\(\{\left\vert x_{n}\right\vert \}\)が\(0\)へ収束することを示してもよいということです。これを絶対値定理（absolute value theorem）と呼びます。
\end{equation*}が成り立つ場合には、\(\left\{ x_{n}\right\} \)についても、\begin{equation*}\lim_{n\rightarrow \infty }x_{n}=0
\end{equation*}が成り立つ。
\end{equation*}で与えられているものとします。数列\(\left\{\left\vert x_{n}\right\vert \right\} \)の極限について、\begin{eqnarray*}\lim_{n\rightarrow \infty }\left\vert x_{n}\right\vert
&=&\lim_{n\rightarrow \infty }\left\vert \frac{\left( -1\right) ^{n}}{n^{2}+2}\right\vert \quad \because \left\{ \left\vert x_{n}\right\vert \right\}
\text{の定義} \\
&=&\lim_{n\rightarrow \infty }\frac{\left\vert \left( -1\right)
^{n}\right\vert }{\left\vert n^{2}+2\right\vert } \\
&=&\lim_{n\rightarrow \infty }\left( \frac{1}{n^{2}+2}\right) \quad \because
n\in \mathbb{N} \\
&=&\lim_{n\rightarrow \infty }\left( \frac{\frac{1}{n}}{1+\frac{2}{n^{2}}}\right) \\
&=&\frac{0}{1+0} \\
&=&0
\end{eqnarray*}が成り立つため、絶対値定理より、\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}=0
\end{equation*}が成り立つことが明らかになりました。
演習問題
\end{equation*}で与えられています。この数列は収束しますか。議論してください。
\end{equation*}で与えられています。この数列は収束しますか。議論してください。
\end{equation*}で与えられています。この数列は収束しますか。議論してください。
\end{equation}が成り立つ場合、両者の極限についても以下の関係\begin{equation*}
\lim_{n\rightarrow \infty }x_{n}\leq \lim_{n\rightarrow \infty }y_{n}
\end{equation*}が成り立ちます。実際には、数列\(\left\{ x_{n}\right\} \)と\(\left\{ y_{n}\right\} \)がともに有限な実数へ収束するとともに、\(\left( 1\right) \)の代わりに、以下の条件\begin{equation*}\exists N\in \mathbb{N} ,\ \forall n\in \mathbb{N} :\left( n\geq N\Rightarrow x_{n}\leq y_{n}\right)
\end{equation*}が成り立つ場合にも（十分大きい任意の\(n\)のもとで\(x_{n}\leq y_{n}\)が成り立つ）、同様の結論を導くことができます。これを証明してください。
\end{equation}が成り立つ場合、\(\left\{z_{n}\right\} \)もまた\(\left\{ x_{n}\right\} \)や\(\left\{ y_{n}\right\} \)の極限と同一の実数へ収束します。実際には、数列\(\left\{x_{n}\right\} ,\left\{ y_{n}\right\} \)が同一の実数へ収束するとともに、\(\left( 1\right) \)の代わりに、以下の条件\begin{equation*}\exists N\in \mathbb{N} ,\ \forall n\in \mathbb{N} :\left( n\geq N\Rightarrow x_{n}\leq z_{n}\leq y_{n}\right)
\end{equation*}が成り立つ場合にも（十分大きい任意の\(n\)のもとで\(x_{n}\leq z_{n}\leq y_{n}\)が成り立つ）、同様の結論を導くことができます。これを証明してください。
\end{equation*}で与えられています。この数列は収束しますか。議論してください。
\end{equation*}が成り立ち、数列\(\left\{y_{n}\right\} \)に対してある有限な実数\(b\in \mathbb{R} \)が存在し、\begin{equation*}\forall n\in \mathbb{N} :\left\vert y_{n}-b\right\vert \leq x_{n}
\end{equation*}が成り立つものとします。以上の条件のもとで、\begin{equation*}
\lim_{n\rightarrow \infty }y_{n}=0
\end{equation*}が成り立つことを証明してください。
&&\left( b\right) \ \lim_{n\rightarrow +\infty }q_{n}=x
\end{eqnarray*}を満たす数列\(\left\{ q_{n}\right\} \)の存在を示すことが目標です。
プレミアム会員専用コンテンツです
【ログイン】【会員登録】