教材一覧
教材一覧
教材検索
SEQUENCE OF NUMBERS

数列の定数倍の極限

目次

< 前のページ
次のページ >
Share on twitter
Twitterで共有
Share on email
メールで共有

収束する数列の定数倍の極限

数列\(\left\{ x_{n}\right\} \)と実数\(c\in \mathbb{R} \)が与えられたとき、\begin{equation*}c\cdot x_{n}
\end{equation*}を一般項とする新たな数列\(\left\{ c\cdot x_{n}\right\} \)が定義可能です。数列\(\left\{x_{n}\right\} \)が収束する場合には数列\(\left\{ c\cdot x_{n}\right\} \)もまた収束し、両者の極限の間には、\begin{equation*}\lim_{n\rightarrow \infty }\left( c\cdot x_{n}\right) =c\cdot
\lim_{n\rightarrow \infty }x_{n}
\end{equation*}という関係が成り立ちます。

命題(収束する数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)と実数\(c\in \mathbb{R} \)がそれぞれ任意に与えられたとき、そこから数列\(\left\{ c\cdot x_{n}\right\} \)を定義する。\(\left\{ x_{n}\right\} \)が収束するならば\(\left\{ c\cdot x_{n}\right\} \)もまた収束し、それらの極限の間には、\begin{equation*}\lim_{n\rightarrow \infty }\left( c\cdot x_{n}\right) =c\cdot
\lim_{n\rightarrow \infty }x_{n}
\end{equation*}という関係が成立する。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

つまり、収束する数列\(\left\{ x_{n}\right\} \)の定数倍の形をしている数列\(\left\{c\cdot x_{n}\right\} \)が与えられたとき、\(\left\{ c\cdot x_{n}\right\} \)もまた収束することが保証されるとともに、\(\left\{ x_{n}\right\} \)の極限を\(c\)倍すれば\(\left\{ c\cdot x_{n}\right\} \)の極限が得られることを上の命題は保証しています。したがって、何らかの数列\(\left\{ x_{n}\right\} \)の定数倍の形をしている数列\(\left\{ c\cdot x_{n}\right\} \)の収束可能性を検討する際には、数列の収束の定義にさかのぼって考える前に、まずは\(c\)と\(\left\{ x_{n}\right\} \)を分けた上で、\(\left\{ x_{n}\right\} \)が収束することを確認すればよいということになります。

例(収束する数列の定数倍の極限)
数列\(\left\{ -x_{n}\right\} \)は数列\(\left\{x_{n}\right\} \)の定数倍(\(-1\)倍)であるため、仮に\(\left\{x_{n}\right\} \)が収束するならば\(\left\{ -x_{n}\right\} \)もまた収束し、その極限は、\begin{eqnarray*}\lim_{n\rightarrow \infty }\left( -x_{n}\right) &=&\lim_{n\rightarrow
\infty }\left( -1\cdot x_{n}\right) \\
&=&\left( -1\right) \cdot \lim_{n\rightarrow \infty }x_{n} \\
&=&-\lim_{n\rightarrow \infty }x_{n}
\end{eqnarray*}となります。

例(収束する数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}x_{n}=-\frac{3}{n}
\end{equation*}で与えられているものとします。数列\(\left\{ \frac{1}{n}\right\} \)については、\begin{equation}\lim_{n\rightarrow \infty }\left( \frac{1}{n}\right) =0 \quad \cdots (1)
\end{equation}が成り立つため、数列\(\left\{ x_{n}\right\} \)について、\begin{eqnarray*}\lim_{n\rightarrow \infty }x_{n} &=&\lim_{n\rightarrow \infty }\left( -\frac{3}{n}\right) \quad \because \left\{ x_{n}\right\} \text{の定義} \\
&=&\lim_{n\rightarrow \infty }\left( -3\cdot \frac{1}{n}\right) \\
&=&-3\cdot \lim_{n\rightarrow \infty }\frac{1}{n}\quad \because \text{収束する数列の定数倍} \\
&=&-3\cdot 0\quad \because \left( 1\right) \\
&=&0
\end{eqnarray*}となります。

 

発散する数列の定数倍の極限

数列\(\left\{ x_{n}\right\} \)が正の無限大\(+\infty \)や負の無限大\(-\infty \)へ発散する場合にも、数列\(\left\{ c\cdot x_{n}\right\} \)の極限に関して、\begin{equation*}\lim_{n\rightarrow \infty }\left( c\cdot x_{n}\right) =c\cdot
\lim_{n\rightarrow \infty }x_{n}
\end{equation*}という関係が成り立ちます。ただし、ここでは拡大実数系\(\mathbb{R} ^{\ast }\)における以下の演算ルール\begin{equation*}c\cdot \left( +\infty \right) =\left\{
\begin{array}{cc}
+\infty & \left( if\ c>0\right) \\
0 & \left( if\ c=0\right) \\
-\infty & \left( if\ c<0\right)
\end{array}\right.
\end{equation*}が前提になっています。

命題(発散する数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)と実数\(c\in \mathbb{R} \)がそれぞれ任意に与えられたとき、そこから数列\(\left\{ c\cdot x_{n}\right\} \)を定義する。\(\left\{ x_{n}\right\} \)が正の無限大\(+\infty \)もしくは負の無限大\(-\infty \)に発散するならば、数列\(\left\{ c\cdot x_{n}\right\} \)の極限は、\begin{equation*}\lim_{n\rightarrow \infty }\left( c\cdot x_{n}\right) =c\cdot
\lim_{n\rightarrow \infty }x_{n}
\end{equation*}を満たす。

証明

プレミアム会員専用コンテンツです
ログイン】【会員登録

例(発散する数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}-\frac{n}{2\pi }
\end{equation*}で与えられているものとします。数列\(\left\{n\right\} \)については、\begin{equation}\lim_{n\rightarrow \infty }n=+\infty \quad \cdots (1)
\end{equation}が成り立つため、数列\(\left\{ x_{n}\right\} \)について、\begin{eqnarray*}\lim_{n\rightarrow \infty }x_{n} &=&\lim_{n\rightarrow \infty }\left( -\frac{n}{2\pi }\right) \quad \because \left\{ x_{n}\right\} \text{の定義} \\
&=&\lim_{n\rightarrow \infty }\left[ \left( -\frac{1}{2\pi }\right) n\right] \\
&=&-\frac{1}{2\pi }\cdot \lim_{n\rightarrow \infty }n\quad \because +\infty
\text{へ発散する数列の定数倍の極限} \\
&=&-\frac{1}{2\pi }\cdot \left( +\infty \right) \quad \because \left(
1\right) \\
&=&-\infty
\end{eqnarray*}となります。

 

演習問題

問題(数列の定数倍の極限)
一般項が、\begin{equation*}
x_{n}=-\frac{7\pi }{2n}
\end{equation*}として与えられる数列\(\left\{ x_{n}\right\} \)の極限を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(数列の定数倍の極限)
一般項が、\begin{equation*}
x_{n}=-\frac{2n}{7\pi }
\end{equation*}として与えられる数列\(\left\{ x_{n}\right\} \)の極限を求めてください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)と非ゼロの実数\(c\in \mathbb{R} \backslash \left\{ 0\right\} \)が与えられたとき、\begin{equation*}\frac{x_{n}}{c}
\end{equation*}を一般項とする新たな数列\(\left\{ \frac{x_{n}}{c}\right\} \)が定義可能です。数列\(\left\{x_{n}\right\} \)が収束する場合には数列\(\left\{ \frac{x_{n}}{c}\right\} \)もまた収束し、両者の極限の間には、\begin{equation*}\lim_{n\rightarrow \infty }\left( \frac{x_{n}}{c}\right) =\frac{\lim\limits_{n\rightarrow \infty }x_{n}}{c}
\end{equation*}という関係が成り立つことを証明してください。

解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

問題(数列の定数倍の極限)
数列\(\left\{ x_{n}\right\} \)が、\begin{equation*}\exists a\in \mathbb{R} ,\ \exists N\in \mathbb{N} ,\ \forall n\in \mathbb{N} :\left( n\geq N\Rightarrow x_{n}=a\right)
\end{equation*}を満たすものとします。実数\(c\in \mathbb{R} \)を任意に選んだ上で数列\(\left\{ c\cdot x_{n}\right\} \)を定義したとき、この数列は有限な実数へ収束することを証明してください。
解答を見る

プレミアム会員専用コンテンツです
ログイン】【会員登録

次回は数列の和の極限について解説します。

< 前のページ
次のページ >
Share on twitter
Twitterで共有
Share on email
メールで共有
DISCUSSION

質問とコメント

プレミアム会員専用コンテンツです
ログイン】【会員登録

RELATED KNOWLEDGE

関連知識

コーシー列
数列の極限

数列の項が先に進むにつれてある実数に限りなく近づく場合には、その数列は収束すると言い、その実数を数列の極限と呼びます。ただし、「限りなく近づく」という表現は曖昧ですので、イプシロン・デルタ論法を用いて収束列の概念を厳密に定義します。

数列の極限
数列の無限極限

数列の項が先に進むにつれて限りなく大きくなる場合には、その数列は正の無限大に発散すると言います。また、数列の項が先に進むにつれて限りなく小さくなる場合には、その数列は正の無限大に発散すると言います。正ないし負の無限大に発散する数列は収束しません。また、収束列ではなく、正ないし負の無限大に発散しない数列を振動列と呼びます。

拡大実数
数列の和の極限

2つの数列が収束するとき、それらの一般項の和を一般項とする数列もまた収束します。また、ともに正の無限大に発散する2つの数列や、ともに負の無限大に発散する2つの数列の間にも同様の関係が成り立ちます。

単調数列
有界単調数列の収束定理

実数の連続性を特徴づける上限性質や下限性質を公理として認めると、そこから上に有界な単調増加数列や下に有界な単調減少数列が収束することを示すことができます。

数列の極限
数列を用いた点列の収束判定

ユークリッド空間上の点列が収束することは、その点列のすべての座標数列が有限な実数へ収束することと必要十分です。したがって、点列が収束することを示すためには、そのすべての座標数列が収束することを示せばよいということになります。

数列の極限
数列を用いた関数の収束判定

関数が収束することをイプシロン・デルタ論法を用いて証明するのは困難です。関数が収束する・収束しないことを数列を用いて判定する方法を解説します。

不定形
拡大実数系

R に属するすべての実数と正負の無限大+∞,−∞からなる集合を拡大実数系と呼びます。

数列