コーシー列

コーシー列：解析学の基礎概念

解析学において、コーシー列（Cauchy sequence）は極めて重要な概念です。直感的には、数列の項が十分先ではほとんど変化しなくなるような数列を指します。別名として、基本列、正則列、自己漸近列などとも呼ばれています。

コーシー列の定義

無限数列 (xn) を考えます。任意の小さな正数 ε > 0 に対して、ある自然数 N が存在し、n, m > N ならば |xn - xm| < ε が成り立つとき、数列 (xn) はコーシー列であるといいます。これは、数列の項が互いに限りなく近づくことを意味します。

この定義は、実数だけでなく、より一般的な距離空間においても拡張できます。距離空間 (X, d) における点列 (xn) がコーシー列であるとは、任意の ε > 0 に対して、ある自然数 N が存在し、n, m > N ならば d(xn, xm) < ε となることです。ここで、d(xn, xm) は xn と xm の間の距離を表します。

コーシー列の性質

コーシー列の重要な性質として、次のことが挙げられます。

収束列はコーシー列である: 収束する数列は必ずコーシー列です。しかし、その逆は必ずしも成り立ちません。
完備空間: 任意のコーシー列がその空間内で収束するような距離空間を完備距離空間といいます。実数全体の集合 R は完備距離空間です。有理数全体の集合 Q は完備ではありません。例えば、√2 に収束する有理数のコーシー列は存在しますが、その極限値である √2 は有理数ではありません。

実数の構成とコーシー列

コーシー列は、実数の厳密な構成において重要な役割を果たします。実数は、有理数のコーシー列の同値類として構成することができます。具体的には、有理数のコーシー列全体を考え、互いに差が 0 に収束するコーシー列を同値類としてまとめることで、実数を定義します。この方法では、実数の連続性（任意のコーシー列が収束する）が自然に導かれます。

コーシー列の応用

コーシー列は、解析学の様々な分野で応用されます。

級数の収束判定: 級数の収束性を判定する際に、コーシーの収束判定基準を用いることができます。これは、極限値を求めずに収束性を判定できる有用な方法です。
関数空間: 関数空間においても、コーシー列の概念は重要です。例えば、バナッハ空間やヒルベルト空間などの関数空間において、コーシー列の収束性を考えることで、関数の極限や連続性などを研究することができます。

数学史における位置付け

19世紀、解析学の厳密化が進められる中で、コーシーやボルツァーノによって連続や収束の概念が明確化されました。しかし、実数の定義は未だ不明瞭でした。カントールは、1872年にコーシーの収束判定法を満たす数列（コーシー列）を用いて実数を定義することで、実数の厳密な構成に貢献しました。その後、フレシェによる距離空間におけるコーシー列の定義など、コーシー列の概念はさらに発展し、現代数学の基礎となっています。

まとめ

コーシー列は、解析学における基本的な概念であり、実数の構成、級数の収束判定、関数空間の研究など、様々な分野で重要な役割を果たしています。その簡潔な定義と強力な性質から、現代数学において不可欠な存在となっています。特に、完備空間の概念と密接に関連しており、数学の基礎理論を支える重要な柱となっています。

もう一度検索