一様コーシー列

一様コーシー性とは

一様コーシー性は、数学における函数列の収束を考える際に重要な概念です。この性質を持つ函数列は、特に距離空間の観点から評価されます。

一様コーシーの定義

集合 S から距離空間 M への函数列 {f_n} が一様コーシーであるとは、次の条件が成り立つことを指します。任意の正の数 ε に対して、ある自然数 N が存在し、全ての m, n が N より大きい場合には、任意の x ∈ S において、次の不等式が成立します：

\[ d(f_n(x), f_m(x)) < ε \]

ここで、d は距離関数です。これは、別の表現で言うと、m および n が無限大に近づくとき、二つの函数 f_n と f_m の間の一様距離 d_u は 0 に収束することを意味します。すなわち、

\[ d_u(f_n, f_m) \to 0 \]

になり、

\[ d_u(f,g) = \sup_{x \in S} d(f(x), g(x)) \]

によって定義される一様距離を用いて評価されます。

収束条件について

S から M への函数列 {f_n} が「各点毎に」コーシーである場合は、各点 x ∈ S に対して列 {f_n(x)} が M 内のコーシー列になることを指します。この条件は一様コーシー性よりも緩やかなものです。一般的に、ある列が各点毎にコーシーであっても、全体として収束するとは限らず、また一様コーシーであっても一様収束するとは限りません。しかし、距離空間 M が完備である場合、各点毎にコーシーである任意の列は S から M のある函数に各点毎に収束します。加えて、すべての一様コーシー列はそのような函数に一様収束します。

一様コーシー性の利用

一様コーシー性は、S が単なる集合でなく位相空間である場合や、M が完備距離空間であるときに特に有用です。この場合、次に示す定理が通用します：

• - S を位相空間、M を完備距離空間とする。このとき、連続函数 f_n: S → M からなる一様コーシー列は、唯一つの連続函数 f: S → M に一様収束します。

この定理により、一様コーシー性の重要性が明確になります。特に、数学の様々な分野でこの概念が応用されており、収束の様式や評価に関して重要な役割を果たします。

一様空間への一般化

さらに、ある集合 S から距離空間 U への函数列 {f_n} が一様コーシーであるということは、任意の x ∈ S 及び近縁 ε に対して、自然数 N が存在し、m, n が N を超える場合には、次の条件が常に満たされることをいいます：

\[ d(f_n(x), f_m(x)) < ε \]

このように、一様コーシー性は数学の多くの理論や応用に影響を与えています。関心がある方は、一様コーシー性と収束の関係についてさらに深掘りしてみると良いでしょう。

もう一度検索