６　完備
f-denshi.com  最終更新日：04/11/9

１．完備な距離空間

[１]　実数の連続性を実数の完備性とも言いました。[#]　実数解析入門で述べたように実数の完備性はユークリド空間 Rⁿ 上に解析学を構築する上でも最も重要な公理であり，「極限値」なるもの(＝解析学) の存在を正当化するものです。この状況は一般的な ”距離空間上の解析学” においても全く同様です。　距離空間における完備性の厳密な定義を述べると，

となります。ここで，コーシー列とは，m，n→∞ のとき，|a_m−a_n|→0　となる点列 {a_n}； (a_n∈X)です。[#]

実数 R (１次元ユークリド空間(R,d))の連続性を，

「任意のコーシー列 {rn}に対して，

rn＝r　が R に存在する。」　　[#]

と述べることは，ここでの完備性の定義に沿った言い方なのです。　実数の場合，点列＝数列です。

[２]　もう一つ，定義を与えます。

上の定義において，

S，E    ⇒　 有理数
X        ⇒　 実数

とすれば，上の定義は有理数，実数の関係をもったいぶって言い表したにすぎないことがわかります。すなわち，
(1) 有理数 Q の閉包 [#] は実数 R なので Q は稠密。
(2) 実数 R の可算濃度をもつ部分集合 Q の閉包は R なので実数は可分な集合です。

この用語は，ある距離空間がユークリッド空間にどこまで似ているのか，ユークリド空間上と同じような微分・積分学が構築できるのかどうかを判定するために使われる概念のひとつです。特にこの性質をもっているかどうかでその空間に正規直交基底が存在するかどうかが決まります。⇒　[#]

[３]　さて，具体的に関数の集合を元とする距離空間を見ていきましょう。関数を元とする距離空間において，コーシー列とは，

m，n → ∞ のとき，d(ｆ_m−f_n)＝|ｆ_m−f_n|→ 0　となる関数列 {f_n}； (f_n∈X)

ということになります。ただし，関数どおしの距離はいかようにも定義可能で，前章の例をもう一度書くと，

[A]　X＝閉区間[a，b]上の連続関数，C[a，b] 　　　(C[a，b]，d(f，g))		d(f，g)＝Max|f(x)−g(x)|　　　；　a≦x≦b
[B]　X＝閉区間[a，b]上の連続関数，C[a，b] 　　　(C[a，b]，d1(f，g))		d1(f，g)＝ |f(x)−g(x)|dx　；　a≦x≦b

などがあります。どちらの距離を採用しても，コーシー列 f_n は n → ∞ のとき，ある f にどこまでも近づいてゆくのですが，その様子はかなり違っています。

[A]では，実解析入門で述べたいわゆる　”一様収束”[#]と同様に ｆ_n は，n　が十分大きければ，図に示すような f ±ε の帯の中に f_n はすっぽりと収まらなければなりません。

ところが，[B]の場合は，どんなに大きな n を考えても (どんなに f_n が f に近づいたとしても)，ｆ_n は f ±ε の帯の中に収まる必要はありません。例えば，ある点 x₀∈[ a，b ] で|f_n(x₀)−f(x₀)|＝ h　＞1 を満たすような関数 f_n を選んでも図に示す W を十分小さくすれば，距離 d₁ (図中の青で示した面積 S)をいくらでもいくらでも 0 に近づけることが可能だからです。

したがって，ε-近傍 V_ε(f) [#]を考えるならば，[A]と[B]とでは性質の異なる関数 f_n をそこに含んでおり，

「距離空間 [A]と[B]とでは近さの概念が異なる。」

ということができます。このように距離，すなわち，関数の集合への位相の与え方によって[#]，関数どおしの ”近さ” はぜんぜん違ったものになってくるのです。　そして，この近さの概念の違いは距離空間としての完備性に影響します。　

すなわち，　距離空間[A]において，f は必ず連続関数となり，完備であろうと考えられます。一方，[B]では，f_n は実数解析入門で挙げた一様収束でない例 [#] のように不連続関数に近づくことがあり，極端な場合，いたるところで不連続なディリクレ関数のような不連続関数にも近づくことも可能です。つまり，その距離空間は完備ではないということになります。

[４]　最後に完備な距離空間をバナッハ空間と呼ぶことを明記しておきましょう。ただし，この講義では用語の紹介だけにとどめ，深入りはしません。あしからず。

[目次へ]

有理数の集合 Q は完備ではありません。例えば，円周率πの少数第n位までとった有理数を第n項とするコーシー列{a_n}：

a₁＝3.1，　　　 a₂＝3.14，　　　　a₃＝3.141，･･････　　　　　：(|a_m−a_n|＜10^min{m,n})

を考えると，この列の収束する点は無理数 π であって有理数ではありません。