概要
位相空間論(Topology)とは連続の幾何学である。それでは「連続」とは何か。ここで我々は直観的な連続性から公理的なものへと概念化をする。つまり、高校のときに勉強した連続の定義から位相空間での連続の定義へとつなげる。
Version 2: 2019/08/29 記号の変更
Version 3: 2022/07/31 ステップ 2 「誤差論からε-δ論法へ」において図の挿入および説明の変更。細かい記号の誤記の修正
- ステップ 1 直観的な連続性の定義
- ステップ 2 誤差論からε-δ論法へ
- ステップ 3 (Interlude) 点列における連続性との同値性
- ステップ 4 集合による連続性の書き換え
- ステップ 5 距離空間
- ステップ 6 ε-δから開集合へ
- ステップ 7 距離空間から位相空間へ
- 最後に
ステップ 1 直観的な連続性の定義
を実関数としよう。
定義 1 (直観的な連続性)
ある点
が与えられたとき、
が
で連続であるとは、
が
に限りなく近づくとき、
は限りなく
に近づくことができるときである。このとき、
と表わされる。または、
のとき、
と表される。
の各点で連続であるとき、関数は連続であると言う。
これが直観的に理解されている連続の定義である(高校のとき)。
ステップ 2 誤差論からε-δ論法へ
を点
で連続であるとする。連続性の考察の第一歩は誤差として考えることである。
すなわち、 が
に近づくとき、
が
に近づくことである。これは
のとき、
である。
さて、ここで連続性を考えるために、関数 が点
で連続でない場合を考えてみよう。
次の関数 を考えよう。つまり、
<
のとき、
であり、
のとき、
である関数である。これは明らかに点
で連続ではない。
このとき、さきほどの誤差論から次の性質を満たすある正数 > 0 が存在することがわかる:
たとえどんな小さな正数 > 0 に対しても、誤差
は
<
となるある点
が存在して、
が成り立つ*1。
以上より、定義 1で定義された直観的な連続性は次のように書き換えられる*2。
定義 2 (
論法での連続性)
関数
が点
で連続であるとは、任意の正数
に対して、ある正数
が存在して、
<
ならば、
<
が成り立つ。
各点で連続であるとき、関数
は
で連続であると言う。
さて、確かにこのように考えれば、 論法はもっともである。しかし私は昔からこの定義に違和感を覚えていた。というのも、直観的な連続の定義は
が変化すると
が変化するというものであったのに対して、
による連続の定義は逆に
が先に決まってから、
が決まるように思えたからである。
そこでもう一度連続でない関数 を場合を考えてみよう。この関数にはある絶対的な値、例えば
という値がある。ここで絶対的な値というのは、
の区間がどんなものであろうと、この区間内に含まれるある点
にたいして、誤差
は
より大きくなるということを意味している。
「不連続ってのはね。ある超えられない値(決して近づくことができない値)があって、どんなに の区間を変化しても、その区間内にある点
に対しての誤差は、その値以下になはならないということだよね。」
ステップ 3 (Interlude) 点列における連続性との同値性
もう一つの連続性の考え方は、点列である。つまり、点 に収束する任意の数列
に対して、
が
に収束することである。
実はこの二つの連続性の定義は同値である。その証明をすることは難しくない。が、点列における収束の定義をしなければならない(いわゆるε - N論法)。
したがって、ここでは省略する*3。
ステップ 4 集合による連続性の書き換え
さて、連続性に関する次のステップは、このε - δ論法を集合論的に定義し直すことである。そのためにいくつかの記号を導入する。
記号
任意の点
に対して、関数
を
と定義する。これを距離関数という。
を
の点として、
を正数とする。点
の
の近傍とは、
<
である。
さて、この記号のもと、先ほどの連続性の定義 (定義 2)を書き換えてみよう。
ε - δにおける連続性は、任意の正数 に対して、ある正数
が存在して、
もし実数 が
<
を満たすならば、
は
<
が成り立つことである。
これを集合論的に書き換えれば、
である。ここで、 は
の逆像を用いて、
と表される。したがって、一般に、
より、
である。以上より、連続性は次のように定義し直される。
関数
が点
で連続であるとは、任意の正数
に対して、ある正数
が存在して、
が成り立つことである。
ステップ 5 距離空間
このように集合論的に連続性を定義することによって、形式的には絶対値 がなくなった。一般に空間は
でなくてもよい。
次元実空間
でも連続性は同様に定義できる。このとき距離関数
は
と定義される。ここで、
である。
さらに、連続写像(関数)は実空間上でなくてもよい。より一般化できる。ある集合上に距離関数 があれば連続が定義できるからである。そこで、距離関数
の性質を考えてみよう(
)。容易にわかるように距離関数
には次の性質がある。
距離関数
の性質
任意の点
に対して
(1)
(2)
(3)
(4)
が成り立つ。
絶対値の定義からこれらの性質は容易にわかる。
したがって、集合 が与えられたとき、関数
が (1) - (4) を満たすときに
を距離関数と呼び、
を距離空間と呼ぶ。
距離空間によって定義 2'と同様にして連続写像を定義することができる。
を距離空間とする。写像
が点
で連続であるとは、任意の正数
に対して、ある正数
が存在して、
が成り立つことである。
ここで、
<
と定義されている。ただし、
>
である。
このように距離空間上で連続写像を定義すると、距離(関数)は連続写像において本質的(intrinsic)ではないことがわかる。
以下でその例を示す。例がわからなければ、先へ進むことを勧める(図を書けば理解をよりしやすくなると思うが、図はまだ挿入しない)。
例 1
を写像とする。任意の点
に対して、
と定義する。この関数 は距離関数の性質 (1) - (4)を満たすことが容易にわかる。
一般に、ある点 とある正数
に対して、
<
となるすべての
に対して、
<
が成り立つ。
<
となるすべての
に対して、
<
が成り立つ。
よって、 が点
で連続であることは、
が点
で連続である。
は自明であるので、
を示す。すなわち、任意の正数
に対して、ある正数
が存在して、
<
<
が成り立つならば、任意の正数
に対して、ある正数
が存在して、
<
<
も成り立つことを示す。
任意の正数 を取る。
が点
で連続であると仮定されているので、
> 0 に対して、ある正数
が存在して、
<
<
が成り立つ。
<
<
<
<
より、
任意の正数 に対して、ある正数
が存在して、
<
<
が成り立つ。これが示したかったことである。
のときは連続性は依存する。だが、実は、
のときは先ほどのように連続性は依存しない。つまり、
では連続ではないようなある連続写像
が存在する。証明は省略。
この例から写像の連続性において距離は本質的でないことが示唆される。
ステップ 6 ε-δから開集合へ
位相空間への次のステップは連続性をε - δから開集合で書き直すことである。これまで写像の連続は部分的に集合論的に書き換えられていたが、まだεやδのような数が使われている。それらを開集合によって形式的になくしてみよう。
を距離空間とする。開集合を先ほど定義した近傍 によって次のように定義しよう。
の部分集合
が開(open)であるとは、各点
に対して、ある正数
が存在して、
が成り立つことである。
ここで、任意の正数 と任意の点
に対して、
であり、
は開集合である。実際、
<
より、
である。各点
に対して、
> 0 とおけば、
である。実際、任意の点
を取れば、距離関数の定義の一つである三角不等式 (4)より、
<
である。よって、 である。
これによって次の定理が成り立つ。
定理 1
証明
( は連続
の開集合の逆像はまた
の開集合である)
が連続であるとする。つまり、各点
と任意の正数
に対して、ある正数
が存在して、
が成り立つとする。 を任意の
の開集合とする。各点
に対して、
は開集合より、ある正数
が存在して、
が成り立つ。
の連続性と逆像の性質より
と
> 0 に対して、ある正数
が存在して、
が成り立つ。したがって、各点 に対して、ある正数
> 0 が存在して、
が成り立つ、すなわち、 は
の開集合である。
(開集合の逆像が開集合 連続)
任意の の開集合の逆像が
の開集合であるとする。このとき、
は各点で連続であることを示す。つまり、各点
と任意の正数
> 0 に対して、ある正数
> 0 が存在して、
が成り立つことを示す。
任意の > 0 を取る。
は
の開集合である。したがって、仮定より、その逆像
は
の開集合である。
ここで、 つまり、
より、開集合の定義から、ある正数
> 0 が存在して、
が成り立つ。
これが示したかったことである。
(証明終わり)
したがって、我々は連続写像を次のように開集合によって定義し直すことができる。
定義 3' (開集合による連続写像)
を距離空間とする。
写像
が点
で連続であるとは、
を含む
任意の開集合
に対して、
を含む
のある開集合
が存在して、
が成り立つことである。
写像
が連続であるとは、
の任意の開集合に対して、
によるその逆像が
の開集合であることである。
注*5
このようにして写像の連続性を開集合や開近傍(点 を含む開集合)によって、表すことができるのである。そして我々は次のような標題を得る。すなわち、
連続性の主役は開集合である。
もちろん、ここには単純化がされている。というのも位相空間論では開集合だけでなく閉集合(closed sets)や近傍系などがあり、それらはどれも同等の立場であるからである。それらをいま無視している。
だが、にもかかわらず我々が言いたいことは、位相空間においては「集合」が主役であるということである。ε-δや距離関数 などから飛翔して、集合によって連続について議論をするのである。実際、定義 3'には形式的にはε-δも距離関数
も現れていない。開集合しか現れていない。主役は集合である。
ステップ 7 距離空間から位相空間へ
連続性において開集合が主役であるので、ここで開集合の性質について考えてみよう。
を距離空間としたとき、容易に開集合について次の性質がわかる(証明は略)。
(1) 空集合と全空間は開集合である。
ただし は
の開集合の族である。
(2) の二つの任意の開集合の共通部分はまた開集合である。
(3) の任意の開集合の和集合はまた開集合である。
このような開集合の性質を論理(logic)の観点から推測することができる(S. Vickers, Topology via Logicに書いてある)。
さて、先ほど絶対値の距離 の性質 (1) - (4)から逆に距離関数
および距離空間を定義したように、ある集合
の族
が上の (1) - (3)を満たすとき、
を位相空間(topological space)と言う。
の元 (集合)を
の開集合と言う。
これによって、我々の目標である位相空間上での連続写像を定義できる。それは実質的には定義 3'と全く同じである。
を位相空間とする。
写像
が点
で連続であるとは、
を含む
任意の開集合
に対して、
を含む
のある開集合
が存在して、
が成り立つことである。
写像
が連続であるとは、
の任意の開集合
に対して、
によるその逆像
が
の開集合であることである。
最後に
以上より、位相空間論の入門を終える。直観的な連続性の概念から位相空間による厳密な連続性へと自然と定義できた。位相空間は一見すると、あまりに抽象的に思われるかもしれない。だが、その分汎用性がある。というのも、距離空間ならば距離関数を定義しなければならないが、位相空間は集合とその集合族で定義されているからである。集合論の公理より、任意の集合はその集合族を定義することができるからである。 集合とその集合族によって位相空間を定義できるため、それによって論理にも適用することができる。
その代わり、位相空間はあまりにも抽象的であるため、実際は、適当な制限を加えて議論されることが多い。応用面ではハウスドルフ空間(分離公理という制限が加えられた位相空間)や距離空間であることが多い。幾何学ではハウスドルフ空間が普通であるし、解析では関数空間上で議論する。 したがって、もし位相空間が抽象すぎてよくわからなかったならば、一度、少し具体的な関数空間を勉強したほうがいいかもしれない。
これまでは、位相空間と連続写像という最低限の議論をした。線形代数で例えれば、ベクトル空間と線形写像を定義しただけである。他にも部分空間や直和や基底を議論したように、位相空間にも部分空間や閉集合や開基などを議論する。さらに抽象的なベクトル空間に計量をつけてベクトル空間に制限を加えて議論したように、抽象的な位相空間に制限を加えて議論される。それらは実数論からつながっていて、例えば、連結性(connectedness) や コンパクト性(compactness)や 分離公理(separate axioms)などである。
他にも、どのような位相空間ならば距離空間にできるのかという自然な問題もある(距離化可能問題)。
位相空間は抽象的で難しいかもしれないが、わかれば楽しいものである。この記事が何か役に立つならば幸いである。
僕から以上
*1:これは日本語で書くと、よくわからない文章となる(私の日本語能力の問題だけれども)。英語で書けば次のようになる。For any small positive number > 0, there exists a point
<
such that
ここの例のように、日本語で書くときも集合論の言葉を使った方がわかりやすいかもしれない。つまり、たとえどんな小さな正数 > 0 に対しても、誤差
はある点
<
が存在して、
が成り立つことである。
*2:この非連続関数の命題を否定して、連続関数の命題を得るためには、論理学の知識がなければならない。したがって、少しギャップを感じるかもしれない。
*3:このような点列で定義されている連続を点列連続(sequentially continuous)と言う。距離空間ならば同値であるが、位相空間ではそうではない。位相空間において任意の連続写像は点列連続である。逆は一般には言えない。
*4:ここでは、連続性が全空間で定義されている。一点での連続のときでも同様なのか考えてみた。つまり、 が点
で連続であるとは、
を含む任意の開集合
に対して、その逆像
も
の開集合であることと同値なのかということである。考えてみたが、全空間での連続でしかうまく証明ができなかった。
*5:この辺りの議論はもう少し改良ができると思う。まだ不十分でありギャップがある。