位相空間の連結性と連結集合

本稿では，位相空間が連結であること，および連結集合の定義を述べる．その後，連結集合を特徴づける1つの命題を証明する．

位相空間の連結性

位相空間が連結であることの定義はいくつかあるが，ここでは次の定義を採用する．

位相の定義を知っていれば，上記の定義は極めてシンプルである．しかし，連結性の直感的な意味，すなわち「つながっている」という感覚を，この定義から受け取るのは難しいだろう．後述する連結集合の特徴づけは，この困難さを解消するものである．文献によっては，その特徴づけを連結性の定義とすることもある．

連結集合

連結集合を定義するには，部分空間の概念が必要である．念のため，部分空間の定義を述べておく．

上記の定義は，先述した位相空間の連結性の定義に基づくものであるため，同様のわかりづらさを抱えている．これを解消するのが，次に示す特徴づけである．

連結集合の特徴づけ

ここでは，連結集合を特徴づける1つの命題を証明する．

証明へ入る前に，命題1の条件2について直感的な図解をしておこう．
$A$が「つながって」いる，すなわち連結集合であれば，条件2の3項目を満たす$U,V$を取ると，図1のように必ず$U\cap V\cap A\neq\varnothing$となる．

Aが連結集合であるとき

一方，$A$が「つながって」いない，すなわち連結集合でなければ，条件2の3項目を満たす$U,V$を取っても，図2のように$U\cap V\cap A=\varnothing$となることがある．

Aが連結集合でないとき

以下，命題1を証明するが，議論自体は抽象的である．数学においては，証明を追うだけでなく，もとの主張が意味するところを理解しておくことも重要である．上のような簡単な図を自分で描いてみるだけでも，定理や命題の意味を掴むきっかけになるはずだ．

命題1の応用として，位相空間の連結性に連結集合と同様の特徴づけを与えることができる．これは，読者への演習問題とする．

問題の解答

問題1

1. $\varnothing=\varnothing\cap A\in\mathcal{O}_A$，$A=X\cap A\in\mathcal{O}_A$である．
2. $O_1,O_2,\cdots,O_n\in\mathcal{O}_A$とすると，各$i=1,2,\cdots,n$に対して$O_i=U_i\cap A$を満たす$U_i\in\mathcal{O}$が存在する．このとき，$\bigcap_{i=1}^nU_i\in\mathcal{O}$が成り立つから
   $$ \bigcap_{i=1}^nO_i=\bigcap_{i=1}^n(U_i\cap A)=\left(\bigcap_{i=1}^nU_i\right)\cap A\in\mathcal{O}_A $$
   である．
3. $\{O_\lambda\}_{\lambda\in\Lambda}$を$\mathcal{O}_A$の元からなる集合族とすると，各$\lambda\in\Lambda$に対して$O_\lambda=U_\lambda\cap A$を満たす$U_\lambda\in\mathcal{O}$が存在する．このとき，$\bigcup_{\lambda\in\Lambda}U_\lambda\in\mathcal{O}$が成り立つから
   $$ \bigcup_{\lambda\in\Lambda}O_\lambda=\bigcup_{\lambda\in\Lambda}(U_\lambda\cap A)=\left(\bigcup_{\lambda\in\Lambda}U_\lambda\right)\cap A\in\mathcal{O}_A $$
   である．

以上より，$\mathcal{O}_A$は$A$の位相の定義をすべて満たす，すなわち$A$の位相である．

問題2

命題1は，$X$の空でない部分集合$A$に対して成り立つから，特に$A=X$でも成り立つ．すなわち，次の2つの条件は同値である．

• $X$は$(X,\mathcal{O})$の連結集合である．
• 任意の$U,V\in\mathcal{O}$に対して，$U,V$が次の3つを満たすならば，$U\cap V\cap X\neq\varnothing$である．
  • $U\cap X\neq\varnothing$
  • $V\cap X\neq\varnothing$
  • $X\subset U\cup V$

1つ目の「$X$は$(X,\mathcal{O})$の連結集合である」とは，連結集合の定義より$(X,\mathcal{O})$が連結であることに他ならない．また，2つ目に現れる各式は，$U,V$がともに$X$の部分集合であることに注意すると，次のように置き換えられる．
\begin{align} U\cap V\cap X\neq\varnothing &\rightarrow U\cap V\neq\varnothing\\ U\cap X\neq\varnothing &\rightarrow U\neq\varnothing\\ V\cap X\neq\varnothing &\rightarrow V\neq\varnothing\\ X\subset U\cup V &\rightarrow X=U\cup V \end{align}
従って，次の2つの条件は同値である．

1. $(X,\mathcal{O})$は連結である．
2. 任意の$U,V\in\mathcal{O}$に対して，$U,V$が次の3つを満たすならば，$U\cap V\neq\varnothing$である．
   • $U\neq\varnothing$
   • $V\neq\varnothing$
   • $X=U\cup V$