概要
完備距離空間の良い応用例として縮小写像がある。その縮小写像は汎用性があり色々なところで応用されている。例えば、微分方程式の解の存在性と一意性を証明するときに、縮小写像の性質が使われる。今回は、完備距離空間の定義からはじまり縮小写像を定義して、縮小写像の原理と言われる定理を証明したい。
準備
縮小写像を定義するにあたって、まず完備距離空間についてまとめよう。すなわち、距離空間、収束列、コーシー列、完備距離空間、連続写像の定義とそれらのいくつかの定理である。もしも、読者がそれらのことについて既知であれば、次のセクション(縮小写像)から進んでほしい。
距離空間
距離空間とは位相空間の一種である。そこには、「距離」というものが定義されているので、収束や連続性が定義できるのである。
定義 1 (距離空間)
を集合として、を から実数 への関数とする。つまり、とする。写像 が次の3つの性質を満たすとき、を距離(metric)といい、を距離空間(metric space)という。
任意の点 に対して
(1) であり、となるのは であるときのみ。つまり、;
(2) ;
(3)
例えば、は距離空間である。ただし、距離 はである。
完備性
距離空間より収束や連続性が定義できる。まずは収束とそれに関わるコーシー列(基本列)を定義する。
定義 2 (収束)
を距離空間とする。点列 とは、自然数 から への写像 の集合である。つまり、
点列 が点 に収束する(convergent to )とは、任意の正数 に対して、ある自然数 が存在して、ならば、が成り立つことである。つまり、
ある点列がある点に収束するとき、それを収束列という。
例えば、先ほどの距離空間 においては、点列 が点 に収束するとは、任意の正数 に対して、ある自然数 が存在して、ならば となることである。
収束列はある点に収束している点列である。したがって、もしある点列が収束列であることを示すためには、まずその収束点の存在を示さなければならない。これは、一般にはとても難しい。
続いて、完備性の定義に必要なコーシー列を定義する。これは点列間の差に注目している。
定義 3 (コーシー列)
点列 がコーシー列 (Cauchy sequence)または基本列であるとは、任意の正数 に対して、ある自然数 が存在して、ならば、が成り立つことである。つまり、
例えば、先ほどの距離空間 においては、点列 がコーシー列であるとは、任意の正数 に対して、ある自然数 が存在して、ならば、が成り立つことである。
コーシー列は収束列とは異なり点列間の差だけを問題としている。ある点列がコーシー列であることを示すほうが一般には易しい。
収束列とコーシー列の関係を考えてみよう。容易にわかるようにすべての収束列はコーシー列である。実際、点列 が点 の収束列であるとする。任意の正数 を取る。は当然正数であるので、これに対して収束の定義を適用する。つまり、ある自然数 が存在して、以上のすべての自然数 に対して、が成り立つ。よって、距離 の性質 (3) ---これを三角不等式という---により、以上のすべての自然数 に対して、
が成り立つ。すなわち、任意の正数 に対して、ある自然数 が存在して、ならば、が成り立つ。つまり、収束列はコーシー列である。
だが、この逆は一般には言えない。つまり「すべてのコーシー列は収束列である」とは言えないのである。そしてまさにそのことを保証している性質が「完備性」なのである。
定義 4 (完備性)
距離空間 が完備である(complete)とは、任意のコーシー列が収束列であることである。このような性質を持つ距離空間を完備距離空間(complete metric space)という。
これからの議論はすべてこの完備距離空間で行われる。要はある点列が収束点を持つことを言うために、その点列がコーシー列であることを示すということである。
次に連続写像を復習する。
連続写像
定義 5 (連続写像)
このとき写像 が点 において連続であるとは、任意の正数 に対して、ある が存在して、任意の に対して、が成り立つことである。ここで、である。ただし、である。しばしば上付きの は省略することを約束する。
が点 で連続である。
各点 に対して、写像 が連続であるとき、は空間 上で連続である、または、単に連続であるという。
例えば、を距離空間としたとき、関数 が点 で連続であるとは、任意の正数 に対して、ある正数 が存在して、各点 対して、が成り立つことである。
この連続の定義は要は「誤差はいくらでも小さくできる」という意味である。さらに、特に距離空間のとき、写像の連続性は点列で表すことができる。すなわち、
補題 1 (連続の同値)
を距離空間、を写像とする。このとき、点 に対して、次の(1)と(2)は同値である。
(1) 写像 は点 で連続である。
(2) 点 に収束する任意の の点列 に対して、 の点列 は に収束する。
実際今回使われるのは、 であるので、仮に逆------がわからなくても問題ない。
証明
は点 で連続であるとする。点 に収束する の任意の点列 をとる。このとき、我々は 任意の に対して、ある自然数 が存在して、 ならば が成り立つことを示せばいい。
任意の をとる。 は で連続であるから、ある が存在して、任意の に対して、
が成り立つ。いま、 は に収束するので、 に対して、ある自然数 が存在して、 に対して、 が成り立つ。したがって、任意の に対して、ある自然数 が存在して、 ならば、 が成り立つ。つまり、 の点列 は に収束する。
点 に収束する の任意の点列 に対して、 の点列 が に収束するとする。このとき、写像 が点 で連続でないと仮定して、矛盾を導き出す。 が点 で連続でないとは、つまり、ある正数 が存在して、任意の正数 に対して、 となる が存在する。
このとき、 を とすると、ある が存在して、 が成り立つ。よって、点列 が得られる。この点列は容易にわかるように には収束する。実際、 ならば、 より、任意の正数 に対して、 となる自然数 を取れば、任意の に対して、 より、 である。つまり、 である。
したがって、(2)の条件より、点列 は に収束する。だが各自然数 に対して により、 は に収束しない*2。矛盾である。よって、(1)が成り立つ。
証明終わり
縮小写像
以上の準備をして、本題へ入ろう。
まず縮小写像の定義をする。
定義 6 (縮小写像)
を完備距離空間とする*3。 写像 が縮小写像(contraction mapping)であるとは、ある正数 が存在して、任意の点 に対して、
が成り立つことである。
すべての縮小写像は連続である。すなわち、
証明
任意の点 を取る。任意の正数 に対して、 とおけば、 ならば、 である。 は縮小写像より、任意の点 に対して、
よって、である。つまり、任意の正数 に対して、ある正数 が存在して、任意の点 に対して、 である。
よって、各点 で連続である。
証明終わり
縮小写像の原理
それでは完備距離空間の応用例の一つである縮小写像の原理----これは実際は定理である----を示そう。
定理 1 (縮小写像の原理)
すなわち、 を完備距離空間として を縮小写像とする。つまり、ある正数 < 1 が存在して、任意の点 に対して、 が成り立つとする。
このとき、ある点 が存在して、 が成り立つ。しかもそのような点はただ一つしか存在しない。
以下に証明を行う。大体の概要は次のようなものである。つまり、まず不動点 の存在を証明する。ある数列を構成して、それがコーシー列であることを示す。そして、完備距離空間の性質よりその数列には極限値が存在することがわかる。数列の構成からその極限値が実は不動点であることが示される。そのときに、縮小写像の連続性が使われる。
次に、不動点の一意性の証明である。これは易しい。二点の不動点 と が存在すると仮定したとき、 であることを示せばよい。縮小写像 と距離関数 の性質を使えばよい。
それでは証明を行う。
証明
(I) 存在性
任意の点 をとる。もし、 が を満たすならば、それはまさしく不動点である。
そこで、 とする。 とおき、一般に とおく。すると、 を得る()。点列 がコーシー列であることを示す。つまり、任意の正数 に対して、ある自然数 が存在して、 ならば が成り立つことを示す。
として、 は縮小写像より、
つまり、である。
について三角不等式を使えば、
である。
ここで、 に対して、 であることが容易にわかる(帰納法を使えば示せる)。
以上より、
よって、 であるから、 が十分大きければ、この右辺はいくらでも小さくなる。つまり、 はコーシー列である。
実際、この数列がコーシー列であることを示すために、任意の正数 を取ってみよう。 であり、 であるから、 である。 であるから、 である。 であるから、 である。つまり、 に対して、ある自然数 が存在して、 となる任意の自然数 に対して、
が成り立つ。 つまり、 に対して
である。
よって、任意の正数 に対して、ある自然数 が存在して、 に対して、
が成り立つ。これは点列 がコーシー列であることを示している。
さて、 は完備であるから、したがって、点列 は極限値を持つ。つまり、 が存在する。補題 2より、縮小写像 は連続であり、補題 1の点列による連続より、
すなわち、不動点の存在が証明された。
(II) 一意性
次に不動点がただ一つであることを示す。不動点が2つあるとする。つまり、 として、 が成り立つとする。このとき、 であることを示す。
は縮小写像であるから、
である。
よって、 である。 より、 を得る。
距離関数 の公理 (1) より、 である。よって、 である。距離関数 の公理 (1) より、 である。
証明終わり
まとめ
完備距離空間の縮小写像には不動点がただ一つ存在する。存在を示すときに完備性を使う。
次回は縮小写像の応用例として、微分方程式の解の一意存在の証明をおこなう。
つづく
参考文献
コルモゴロフ・フォーミン著、山崎三郎訳『函数解析の基礎 第2版』§4. 縮小写像とその応用
僕から以上