本稿では,位相空間が連結であること,および連結集合の定義を述べる.その後,連結集合を特徴づける1つの命題を証明する.
位相空間の連結性
位相空間が連結であることの定義はいくつかあるが,ここでは次の定義を採用する.
位相空間の連結性
位相空間が連結(connected)であるとは,の部分集合であって,の開集合かつ閉集合であるものが,空集合とのみであることをいう.
位相の定義を知っていれば,上記の定義は極めてシンプルである.しかし,連結性の直感的な意味,すなわち「つながっている」という感覚を,この定義から受け取るのは難しいだろう.後述する連結集合の特徴づけは,この困難さを解消するものである.文献によっては,その特徴づけを連結性の定義とすることもある.
連結集合
連結集合を定義するには,部分空間の概念が必要である.念のため,部分空間の定義を述べておく.
相対位相と部分空間
を位相空間とする.の空でない部分集合に対して
と定めると,はの1つの位相である.この位相を集合上のに関する相対位相(relative topology)という.また,位相空間を,位相空間の部分空間(subspace)という.
部分空間という用語について
部分空間という言葉は複数の文脈で用いられうる.それは「線形部分空間(linear subspace)」かもしれないし,本稿での意味「部分位相空間(topological subspace)」かもしれない.このように,同じ言葉でも異なる意味で使われる場合があるので,数学に関する文献を読むときには気を付けるとよい.
連結集合
を位相空間とする.の空でない部分集合がの連結集合(connected set)であるとは,が(相対位相に関する)部分空間として連結であることをいう.すなわち,集合上のに関する相対位相をとするとき,位相空間が連結であることをいう.
上記の定義は,先述した位相空間の連結性の定義に基づくものであるため,同様のわかりづらさを抱えている.これを解消するのが,次に示す特徴づけである.
連結集合の特徴づけ
ここでは,連結集合を特徴づける1つの命題を証明する.
連結集合の特徴づけ
を位相空間,をの空でない部分集合とするとき,次の2つの条件は同値である.
- はの連結集合である.
- 任意のに対して,が次の3つを満たすならば,である.
命題1の条件2について
命題1の条件2を論理記号で書くと次の通りである.こう書いた方が主張としてはわかりやすいかもしれない.
証明へ入る前に,命題1の条件2について直感的な図解をしておこう.
が「つながって」いる,すなわち連結集合であれば,条件2の3項目を満たすを取ると,図1のように必ずとなる.
Aが連結集合であるとき
一方,が「つながって」いない,すなわち連結集合でなければ,条件2の3項目を満たすを取っても,図2のようにとなることがある.
Aが連結集合でないとき
以下,命題1を証明するが,議論自体は抽象的である.数学においては,証明を追うだけでなく,もとの主張が意味するところを理解しておくことも重要である.上のような簡単な図を自分で描いてみるだけでも,定理や命題の意味を掴むきっかけになるはずだ.
命題1
以下,集合上のに関する相対位相をとする.
(12)
をの連結集合とする.さらに,は次の3つを満たすとする.
このとき,はともに空でない.また,の少なくとも一方がのときは,が直ちに成り立つ.そこで,以下ではとする.より
である.一方,はの連結集合かつであるから,とはともにの閉集合ではない.
以上を踏まえて,背理法によりであることを示そう.
もし,であるとすると,
である.これとよりであるが,これはがの閉集合ではないことに矛盾する.従ってである.
(21)
任意のに対して
が成り立つとする.をの開集合とすると,を満たすが存在する.
以上を踏まえて,背理法によりがの閉集合ではないことを示そう.
もし,がの閉集合であるとすると,もの開集合である.よって,を満たすが存在する.このとき,次の2つが言える.
さらに
よりである.ゆえに,最初の仮定から
が成り立つが,これはであることに矛盾する.従ってはの閉集合ではない.
以上より,はの連結集合である.
命題1の応用として,位相空間の連結性に連結集合と同様の特徴づけを与えることができる.これは,読者への演習問題とする.
位相空間の連結性の特徴づけ
を位相空間とするとき,次の2つの条件は同値であることを示せ.
- は連結である.
- 任意のに対して,が次の3つを満たすならば,である.
問題の解答
問題1
- ,である.
- とすると,各に対してを満たすが存在する.このとき,が成り立つから
である. - をの元からなる集合族とすると,各に対してを満たすが存在する.このとき,が成り立つから
である.
以上より,はの位相の定義をすべて満たす,すなわちの位相である.
問題2
命題1は,の空でない部分集合に対して成り立つから,特にでも成り立つ.すなわち,次の2つの条件は同値である.
- はの連結集合である.
- 任意のに対して,が次の3つを満たすならば,である.
1つ目の「はの連結集合である」とは,連結集合の定義よりが連結であることに他ならない.また,2つ目に現れる各式は,がともにの部分集合であることに注意すると,次のように置き換えられる.
従って,次の2つの条件は同値である.
- は連結である.
- 任意のに対して,が次の3つを満たすならば,である.