1 定義と基本概念
コーシー性は、対象そのものの極限値を先に想定せず、内部の項どうしの距離が十分大きい番号以降でいかに小さくなるかを調べる考え方である。解析学では、収束の有無を判定するための枠組みとして用いられ、距離空間や関数列にも自然に拡張される。
1.1 数列におけるコーシー性
数列に対するコーシー性は、後の項が互いに近いという性質を表す。極限値が実際に見えていなくても、列の内部構造から収束可能性を読み取れる点に特徴がある。
1.1.1 形式的定義
| 実数列 $\{a_n\}$ がコーシー列であるとは、任意の正の数 $\varepsilon$ に対して、ある自然数 $N$ が存在し、$m,n \ge N$ ならば $ | a_m-a_n | <\varepsilon$ が成り立つことをいう。これは、十分後の項同士の差が任意に小さくできることを意味する。 |
|---|
1.1.2 直感的な意味
直感的には、列の後半がひとつの狭い範囲にまとまっていく状態である。各項が特定の点へ向かっているかどうかを直接見なくても、ばらつきが小さくなるため、収束に近い挙動を示す。
1.2 距離空間におけるコーシー性
コーシー性は実数に限らず、距離の概念が定まった空間で広く定義される。点列の間隔を距離関数で測ることで、同様の議論が可能になる。
1.2.1 距離を用いた定義
距離空間 $(X,d)$ の点列 $\{x_n\}$ がコーシー列であるとは、任意の $\varepsilon>0$ に対し、ある $N$ があって $m,n\ge N$ なら $d(x_m,x_n)<\varepsilon$ を満たすことである。距離が小さいことが、点列のまとまり具合を表す基準となる。
1.2.2 近傍による表現
位相的には、点列の後半が任意に小さい近傍の中に収まることとして言い換えられる。距離空間では、十分小さな球の内部で後続項が互いに近接するため、局所的な集中として理解できる。
1.3 関数列におけるコーシー性
関数列でも、値の差が小さくなるという形でコーシー性を考える。どの範囲で、どの意味で一様に近づくかによって、複数の定式化がある。
1.3.1 一様コーシー性
関数列 $\{f_n\}$ が一様コーシーであるとは、定義域全体で同じ $N$ を選べば、$m,n\ge N$ のとき $f_m(x)$ と $f_n(x)$ の差がすべての $x$ について一様に小さいことをいう。これは関数の族が全体として同時に安定化する性質である。
1.3.2 点ごとのコーシー性
点ごとのコーシー性では、各点 $x$ を固定したときに数列 $\{f_n(x)\}$ がコーシーになることを見る。これは一様版より弱く、点ごとにはまとまっても、定義域全体で同じ速さの収束があるとは限らない。
2 収束との関係
コーシー性は収束と密接に結びつくが、両者は常に同値ではない。空間が完備であるかどうかによって、コーシー列が実際に極限を持つかが決まる。
2.1 収束列とコーシー列
収束列が必ずコーシー列になることは、距離空間一般で成立する。一方、逆向きは空間の性質に依存する。
2.1.1 収束ならばコーシーであること
列 $\{x_n\}$ が点 $x$ に収束するなら、後半の項はすべて $x$ の近くに入り、互いの距離も小さくなる。したがって、収束はコーシー性を含意する。
2.1.2 逆が成り立つ条件
コーシー列が収束するためには、空間が完備であることが必要である。完備な空間では、内部的にまとまった列は必ず極限点を持ち、コーシー性と収束が一致する。
2.2 完備性との関係
完備性は、コーシー列が空間内で極限を持つことを保証する性質である。解析学の多くの基本定理は、この性質を背景に成立している。
2.2.1 完備空間の定義
距離空間が完備であるとは、その中の任意のコーシー列が空間の元へ収束することをいう。つまり、近づき方が十分整っていれば、空間の外へ極限が逃げない。
2.2.2 実数の完備性
実数全体 $\mathbb{R}$ は完備であり、実数列についてコーシー性と収束が一致する。これに対し、より小さな数体系ではこの性質が失われることがあるため、実数の構成や解析の基礎づけで重要視される。
2.3 収束判定としての利用
コーシー性は、極限を明示せずに収束を調べる実用的な基準として働く。特に、対象が抽象的で極限の候補を直接書きにくい場合に有効である。
2.3.1 実数列での判定
実数列では、後半の項差が任意に小さくなるかを確認することで収束性を判断できる。極限値を推定しなくてもよいため、級数や反復近似の評価に向いている。
2.3.2 関数空間での判定
関数空間では、ノルムや一様距離に基づいてコーシー性を調べる。これにより、関数列がある関数へ収束しうるかを、空間内部の一貫した基準で扱える。
3 具体例と非例
具体例を通して見ると、コーシー性は抽象的な定義以上に、収束の有無や空間の違いを反映する性質として理解しやすい。
3.1 実数列の例
実数列では、収束する典型例がそのままコーシー列になる。また、収束しない列でも、コーシー性の有無で挙動を区別できる。
3.1.1 収束するコーシー列
たとえば $a_n=1/n$ は $0$ に収束し、同時にコーシー列でもある。後ろの項は次第に近づき、差も小さくなるため、定義に合致する。
3.1.2 収束しないがコーシーでない列
$(-1)^n$ のように値が交互に振れる列は収束せず、コーシーでもない。十分後の項どうしの差が小さくならないため、まとまりを欠く。
3.2 有理数列の例
有理数体では、実数のような完備性がないため、コーシー列であっても有理数内に極限を持たない場合がある。ここに、コーシー性と完備性の差が現れる。
3.2.1 有理数体でのコーシー列
有理数のみからなる列でも、項どうしが互いに近づく列はコーシー列でありうる。たとえば、ある無理数に収束する実数近似列を有理数だけで作れば、その列は有理数体内では極限を欠く。
3.2.2 実数体への拡張との比較
同じ列を実数として見れば、極限が実数内に存在する。したがって、完備化によって「収束先が補われる」という違いが明確になる。
3.3 距離空間での例
距離空間では、空間の性質に応じてコーシー列の振る舞いが変わる。完備か非完備かで、列の終着点の有無が分かれる。
3.3.1 完備空間内の例
$\mathbb{R}^n$ や閉区間などの完備な空間では、コーシー列は必ず空間内の点に収束する。局所的な近づき方が、そのまま極限の存在につながる。
3.3.2 非完備空間内の例
開区間 $(0,1)$ 内で $1/n$ を考えると、列はこの空間ではコーシーだが、極限 $0$ は空間の外にある。したがって、列は空間内では収束しない。
4 応用と関連概念
コーシー性は、単なる定義にとどまらず、解析の多くの場面で収束の道具として機能する。また、完備化や関数列の理論とも深く結びついている。
4.1 解析学での応用
解析学では、数列・級数・関数列の収束を整理するうえでコーシー判定が重要である。証明の出発点としても、結果の表現としても頻繁に現れる。
4.1.1 級数の収束
級数の部分和列がコーシー列であれば、その級数は収束する。したがって、級数の収束判定は、部分和のまとまり具合を調べる問題に帰着される。
4.1.2 一様収束との関係
一様収束する関数列は一様コーシー列になる。逆に、適切な完備性を備えた関数空間では、一様コーシー性から一様収束が導かれる。
4.2 位相空間と完備化
コーシー列を用いると、不足している極限点を補う構成が可能になる。これが完備化の基本的な発想である。
4.2.1 完備化の構成
与えられた空間を、コーシー列の極限がすべて存在するように拡張することで完備化できる。元の空間は、その新しい空間の中に自然に埋め込まれる。
4.2.2 等価類による拡張
完備化では、同じ極限挙動を示すコーシー列を同一視するため、等価類を用いることが多い。こうして得られる空間は、元の空間の距離構造を保ちながら欠けていた点を補う。
4.3 関連する概念
コーシー性に近い概念として、関数列版の定式化や、有界性との関係がある。これらはしばしば一緒に扱われる。
4.3.1 コーシー関数列
コーシー関数列は、関数列の各項が互いに一様に近づく性質を表す。関数の収束を、極限関数を知らずに評価するための基本概念である。
4.3.2 コーシー列と有界性
コーシー列は必ず有界である。十分後の項同士が近いなら、列全体もある範囲に収まり、無限に大きく広がることはない。