WIIS

数列

コーシー列と収束列の関係(コーシー列の収束定理)

目次

Mailで保存
Xで共有

収束する数列はコーシー列

数列\(\left\{ x_{n}\right\} \)が収束することとは、\(n\)が大きくなるにつれて項\(x_{n}\)が特定の実数\(a\in \mathbb{R} \)に限りなく近づくことを意味しますが、これを厳密に表現すると、\begin{equation*}\exists a\in X,\ \forall \varepsilon >0,\ \exists N\in \mathbb{N} ,\ \forall n\in \mathbb{N} :\left( n\geq N\Rightarrow \left\vert x_{n}-a\right\vert <\varepsilon \right)
\end{equation*}となります。

数列\(\left\{ x_{n}\right\} \)がコーシー列であることとは、ある項より先にある任意の2つの項の間の距離が限りなく小さくなることを意味しますが、これを厳密に表現すると、\begin{equation*}\forall \varepsilon >0,\ \exists N\in \mathbb{N} ,\ \forall m\in \mathbb{N} ,\ \forall n\in \mathbb{N} :\left[ m\geq N\wedge n\geq N\Rightarrow \left\vert x_{m}-x_{n}\right\vert
<\varepsilon \right] \end{equation*}となります。

数列の項が一定の値に限りなく近づくならば項の間の距離はどこまでも小さくなっていきそうです。つまり、直感的に考えると、収束列はコーシー列でもありそうです。実際、収束列はコーシー列です。

命題(収束列はコーシー列)
数列\(\left\{ x_{n}\right\} \)が収束するならば、\(\left\{ x_{n}\right\} \)はコーシー列である。
証明

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

 

コーシー列が収束するための条件

数列が収束する場合、その数列はコーシー列であることが明らかになりましたが、逆に、コーシー列は収束するのでしょうか。順番に考えます。

数列が収束する場合には、その任意の部分列もまた収束することが保証されます。一方、数列が収束する部分列を持つ場合、もとの数列は収束するとは限りません。以下の例より明らかです。

例(収束する部分列を持つ発散数列)
数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}x_{n}=\left( -1\right) ^{n}
\end{equation*}で与えられているものとします。この数列は振動するため収束しません。その一方で、この数列の偶数番目の項からなる部分列\(\left\{ x_{l\left( n\right) }\right\} =\left\{x_{2n}\right\} \)に注目すると、その一般項は、\begin{eqnarray*}x_{l\left( n\right) } &=&x_{2n} \\
&=&\left( -1\right) ^{2n} \\
&=&1
\end{eqnarray*}であるため、\begin{eqnarray*}
\lim_{n\rightarrow \infty }x_{l\left( n\right) } &=&\lim_{n\rightarrow
\infty }1 \\
&=&1
\end{eqnarray*}となります。

数列が収束する部分列を持つ場合でも、もとの数列は収束するとは限らないことが明らかになりました。ただ、考察対象をコーシー列に限定した場合には話は変わります。つまり、コーシー列が収束する部分列を持つ場合、そのコーシー列は収束することが保証されます。

命題(コーシー列が収束するための条件)
数列\(\left\{ x_{n}\right\} \)がコーシー列であるとともに、\(\left\{ x_{n}\right\} \)の部分列\(\left\{x_{l\left( n\right) }\right\} \)の中に有限な実数\(a\in \mathbb{R} \)へ収束するものが存在するものとする。この場合、\(\left\{ x_{n}\right\} \)もまた\(a\)へ収束する。
証明

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

 

コーシー列の収束定理

コーシー列\(\left\{ x_{n}\right\} \)が与えられているものとします。コーシー列は有界であるため\(\left\{ x_{n}\right\} \)は有界です。有界な数列は収束する部分列を持つ(ボルツァーノ=ワイエルシュトラスの定理)ため、\(\left\{ x_{n}\right\} \)は収束する部分列\(\left\{ x_{l\left( n\right) }\right\} \)を持ちます。つまり、\(\left\{x_{n}\right\} \)はコーシー列であるとともに収束する部分列を持つため、先の命題より、\(\left\{x_{n}\right\} \)は有限な実数へ収束します。

任意のコーシー列について同様の議論が成立するため、任意のコーシー列が有限な実数へ収束することが明らかになりました。

命題(コーシー列の収束定理)
数列\(\left\{ x_{n}\right\} \)がコーシー列ならば、\(\left\{ x_{n}\right\} \)は収束する。

任意のコーシー列は収束することが明らかになりました。コーシー列の定義は極限については何も述べてはいません。項の番号を大きくしていくと項の変化がどこまでも小さくなっていく数列をコーシー列と定めているだけです。しかし、実数の連続性の公理から導かれるボルツァーノ=ワイエルシュトラスの定理を認める場合には、コーシー列が収束することを保証できるというわけです。

 

コーシー列と収束列の関係

任意の収束数列はコーシー列です。逆に、先に示したように、任意のコーシー列は収束数列です。したがって、数列がコーシー列であることと、その数列が収束列であることは必要十分です。

命題(コーシー列と収束列の関係)
数列\(\left\{ x_{n}\right\} \)がコーシー列であることと、その数列\(\left\{ x_{n}\right\} \)が収束することは必要十分である。

この命題の意味を考えておきましょう。数列\(\left\{ x_{n}\right\} \)が与えられたとき、それが収束列であるかどうかを判定できない、もしくはその判定が難しい場合でも、その数列\(\left\{ x_{n}\right\} \)がコーシー列であることさえ示すことができれば、上の命題より、この数列\(\left\{ x_{n}\right\} \)が収束列であることが保証されます。さらに、他の一般の収束列と同様に、コーシー列が収束する部分列を持つ場合には、コーシー列自身もまた部分列と同じ極限に収束します。したがって、コーシー列の部分列の極限さえ求められれば、もとのコーシー列の極限が判明します。

例(収束列であることの判定)
数列\(\left\{ x_{n}\right\} \)が以下の再帰式\begin{equation*}\left\{
\begin{array}{l}
x_{1}=1 \\
x_{n+1}=1+\dfrac{1}{x_{n}}\end{array}\right.
\end{equation*}によって定義されているものとします。この数列\(\left\{ x_{n}\right\} \)が収束することを示します。ただ、上の再帰式によって数列\(\left\{x_{n}\right\} \)の隣り合う2つの項どうしの関係が与えられているため、この数列が収束することを示すよりも、この数列がコーシー列であることを示すほうが簡単です。そこで、この数列がコーシー列であることを示します。具体的には、任意の番号\(n\)について、\begin{eqnarray}\left\vert x_{n+2}-x_{n+1}\right\vert &=&\left\vert \left( 1+\frac{1}{x_{n+1}}\right) -\left( 1+\frac{1}{x_{n}}\right) \right\vert \quad \because \left\{
x_{n}\right\} \text{の定義} \notag \\
&=&\left\vert \frac{1}{x_{n+1}}-\frac{1}{x_{n}}\right\vert \notag \\
&=&\left\vert \frac{x_{n}-x_{n+1}}{x_{n+1}x_{n}}\right\vert \quad \cdots (1)
\end{eqnarray}となります。さらに、\(\left( 1\right) \)の分母について、\begin{eqnarray}\left\vert x_{n+1}x_{n}\right\vert &=&\left\vert \left( 1+\frac{1}{x_{n}}\right) x_{n}\right\vert \quad \because \left\{ x_{n}\right\} \text{の定義} \notag \\
&=&\left\vert x_{n}+1\right\vert \notag \\
&\geq &2\quad \because \left\{ x_{n}\right\} \text{の定義}
\quad \cdots (2)
\end{eqnarray}が成り立ちます。このとき、\begin{eqnarray*}
\left\vert x_{n+2}-x_{n+1}\right\vert &=&\left\vert \frac{x_{n}-x_{n+1}}{x_{n+1}x_{n}}\right\vert \quad \because \left( 1\right) \\
&=&\frac{\left\vert x_{n}-x_{n+1}\right\vert }{\left\vert
x_{n+1}x_{n}\right\vert } \\
&\leq &\frac{1}{2}\left\vert x_{n}-x_{n+1}\right\vert \quad \because \left(
2\right)
\end{eqnarray*}が成り立ちます。したがって、コーシー列であるための判定条件より、この数列\(\left\{ x_{n}\right\} \)はコーシー列です。さらに、先の命題より、これは数列\(\left\{ x_{n}\right\} \)が収束列であることと必要十分であるため目標が達成されました。

 

演習問題

問題(コーシー列の収束定理)
数列\(\left\{ x_{n}\right\} \)の一般項が、\begin{equation*}x_{n}=\left( -1\right) ^{n}
\end{equation*}で与えられているものとします。\(\left\{ x_{n}\right\} \)がコーシー列でないことを証明してください。
証明

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

問題(コーシー列の収束定理)
コーシー列\(\left\{ x_{n}\right\} \)を任意に選んだとき、その任意の部分列\(\left\{x_{l\left( n\right) }\right\} \)もまたコーシー列であることを証明してください。
証明

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

問題(コーシー列の収束定理)
数列\(\left\{ x_{n}\right\} \)がコーシー列であるものとします。このとき、一般項が、\begin{equation*}y_{n}=\left( x_{n}\right) ^{2}
\end{equation*}であるような数列\(\left\{y_{n}\right\} \)を定義します。\(\left\{ y_{n}\right\} \)もまたコーシー列であることを証明してください。
証明

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

問題(コーシー列の収束定理)
上の問題の主張の逆は成立するとは限らないことを示してください。つまり、数列\(\left\{ x_{n}\right\} \)が与えられたとき、そこから、一般項が、\begin{equation*}y_{n}=\left( x_{n}\right) ^{2}
\end{equation*}であるような数列\(\left\{y_{n}\right\} \)を定義します。\(\left\{ y_{n}\right\} \)がコーシー列であるとき、\(\left\{ x_{n}\right\} \)はコーシー列であるとは限らないことを示す例を挙げてください。
証明

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

関連知識

Mailで保存
Xで共有

質問とコメント

プレミアム会員専用コンテンツです

会員登録

有料のプレミアム会員であれば、質問やコメントの投稿と閲覧、プレミアムコンテンツ(命題の証明や演習問題とその解答)へのアクセスなどが可能になります。

ワイズのユーザーは年齢・性別・学歴・社会的立場などとは関係なく「学ぶ人」として対等であり、お互いを人格として尊重することが求められます。ユーザーが快適かつ安心して「学ぶ」ことに集中できる環境を整備するため、広告やスパム投稿、他のユーザーを貶めたり威圧する発言、学んでいる内容とは関係のない不毛な議論などはブロックすることになっています。詳細はガイドラインをご覧ください。

誤字脱字、リンク切れ、内容の誤りを発見した場合にはコメントに投稿するのではなく、以下のフォームからご連絡をお願い致します。

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