スポンサーリンク

コーシー列のイメージをつかもう!

実数の連続性

本記事の内容

本記事はコーシー列のイメージを説明する記事です。

本記事は数列の収束と密接に関係しているため、以下の数列の収束の記事も合わせてご覧ください。

コーシー列の直感的な理解

前回の記事(【解析学の基礎シリーズ】実数の連続性編 その15)の余談その2で述べたことを掻い摘んでもう一度述べます。

「数列が収束するとは?」という条件を別の視点から言い換えてみます。
数列\(\{a_n\}_{n\in\mathbb{N}}\)が\(a\in\mathbb{R}\)に収束するというのは、
$$(\forall \epsilon>0)(\exists N\in\mathbb{N}\ {\rm s.t.}\ \forall n\in\mathbb{N}\ n\geq N\Rightarrow |a_n-a|<\epsilon)$$
が成り立つということでした。
これは今まで、直感的には

ある番号\(N\)以降の数列の値\(a_n\)は\(a\)と十分に近い。

ということだ、と説明してきました。
しかし、言い方を変えてみると、

\(|a_n-a|<\epsilon\)が任意の正の実数\(\epsilon\)で成り立たないような\(a_n\)は高々有限個しか存在しない。

とも言えるのです。
どういうことかと言うと、「ある番号\(N\)以降は全部\(|a_n-a|<\epsilon\)が成り立つ」のだから、その番号までは、すなわち\(N-1\)番目までは\(|a_n-a|\geq\epsilon\)が成り立つということです。
つまり、\(|a_n-a|\geq\epsilon\)が成り立つような\(a_n\)は\(N-1\)個しか無いのだから有限個しか存在しないのです。
より直感的に言えば、

収束する数列というのは、数直線上で見ると収束先に(極限に)近づけば近づくほど点が密集している!

ということなのです。

これを更に言い換えてみれば、収束する数列は

収束先に近づけば近づくほど点が密集しているのだから、収束先の付近にある数列の値同士も十分近いよね。

です。
この発想から得られた概念がコーシー列なのです。
この発想の立場に立ってみれば、「コーシー列も収束するんじゃね?」という意識もあまり抵抗がないのではないかと思われます。

今回はコーシー列のイメージを説明しました。

一言で言えば、「ある番号以降の数列の値同士は十分近いのだ」ということです。

次回は「コーシー列ってどんなの?」という題でどのような数列がコーシー列なのかということの例とその証明を与えます。

乞うご期待!質問、コメントなどお待ちしております!

コメントをする