連結空間

位相幾何学や関連する数学の分野において、**連結空間**（れんけつくうかん、）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要な位相的性質のひとつであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、**弧状連結** (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。

位相空間  の部分集合が**連結**であるとは、 の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。

連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。

## 定義
位相空間 (X,\mathcal{O}) が**非連結**（ひれんけつ、）あるいは**不連結**であるとは、2つの交わりを持たない空でない開集合の和集合（非交和）であることをいう。つまり次が成り立つことである：
:\exists\ A,\ B \in \mathcal{O}\ \text{s.t.}\ [X=A \cup B,\ A \cap B=\varnothing,\ A \neq \varnothing,\ B \neq \varnothing].
非連結でないとき、 は**連結** (connected) であるという。位相空間の部分集合が連結であるとは、相対位相で連結であることをいう。この定義では空集合（位相は一意に定まる）も連結だが、著者によっては空集合を連結空間から除外することもある。

位相空間  に対し、以下の条件は同値である. ただし \mathcal{C} は  の閉集合系とする：

#  は連結である。
#  を2つの互いに素な空でない閉集合の和として書くことはできない。
#  の開かつ閉な部分集合は  と空集合のみである： Y \in \mathcal{O} \cap \mathcal{C} \implies Y=X \text{ or } Y=\varnothing.
# 境界を持たない部分集合は空集合と全体集合  のほかに無い: Y \subset X,\ \partial Y=\varnothing \Rightarrow Y=X \text{ or } Y=\varnothing.
#  を2つの空でない分離集合（どちらも他方の閉包と交わりを持たない集合）の和として書くことは出来ない。
#  から  への任意の連続写像は定値写像である、ただし  は離散位相を入れた二点空間とする。

### 連結成分
空でない位相空間の（包含による順序によって）極大な連結部分集合をその空間の**連結成分** (connected component) という。紛れのおそれの無いときはこれを単に**成分** (component) とも呼ぶ。明らかなことであるが、ある連結成分が  全体に一致するとき、 は連結である。

任意の位相空間  の連結成分たちは  を分割する、すなわち、互いに素で、空でなく、合併が全空間となる。同じことだが、 の点が同じ連結成分に属するという関係は、 上の同値関係を定めるということもできる。任意の成分はもとの空間の閉部分集合である。したがって、成分の個数が有限であれば、各成分は開でもある。しかしながら、その個数が無限であれば、成分が開とは限らない。例えば、有理数全体の集合の連結成分は一点集合であるが、これは開でない。

\Gamma_x を位相空間  の点  の連結成分とし、\Gamma_x' を  を含むすべての開かつ閉集合の交わりとする（ のquasi-componentと呼ばれる）。すると \Gamma_x \subset \Gamma'_x であり、等号は  がコンパクトハウスドルフあるいは局所連結であれば成り立つ。

### 全不連結空間
位相空間  の連結成分がすべて一点からなる集合であるとき、 は**全不連結**または**[[完全不連結]]**（かんぜんふれんけつ、totally disconnected）であるという。このような位相空間の例として、有理数全体の成す集合  に絶対値に関する距離位相を入れたものや、-進数体  あるいはその上の線型代数群などを挙げることができる。これに関連して、位相空間  に相異なる二点が与えられたとき常に、交わりを持たないようにそれぞれの点の開近傍を選び出して  を覆うことができるならば、 は**全分離**あるいは**完全分離**（かんぜんぶんり、totally separated）的であるという。完全分離空間は完全不連結であるが逆は正しくない。実際、有理数体  の二つのコピーを  以外の点で（同じ数は同じ数同士で）貼合わせて得られる集合 (A \sqcup B)/\sim \quad(A=B=\mathbb{Q})（ただし関係  は、 と  については  となるような最小の同値関係とする）に商位相を入れたものは完全不連結であるが、 のふたつのコピーはどのような開近傍によっても分離することができないのでハウスドルフ空間にすらならず、特に完全分離的ではない。

## 例
* 閉区間  は連結である。これを例えば、 と  の和集合に書くことはできるが、後者は  の開集合ではない。これに対して、 と  の和集合は非連結空間の例である。実際、 および  は  の開集合であり、また交わりを持たない。
* 凸集合は連結である。さらに単連結となる。
* 原点  を除いたユークリッド平面の全体は連結だが単連結ではない。3次元ユークリッド空間から原点を取り除いたものも連結である。この場合はさらに単連結となる。これらと対照的に、1次元のユークリッド空間から原点を除くと、これはもはや連結でない。
* 実数全体の成す集合  に通常の位相を入れた位相空間は連結である。
* 離散空間は非連結であり、実際はさらに完全不連結である。
* 密着空間は連結である。
* カントール集合は、非可算無限個の点を含む完全不連結空間である。したがって特に、非可算無限個の連結成分を持つ。
* 連結空間とホモトピックな空間は、連結である。

## 弧状連結

位相空間  はその任意の点  を結ぶ道をとることができるとき**弧状連結**（こじょうれんけつ、path-connected, ）または**道連結**（みちれんけつ）であるという。
ここで始点  と終点  を結ぶ**[[道 (位相幾何学)|道]]** (path) とは、 かつ  を満たす、単位閉区間  から  への連続写像  のことである。（これは「パラメータ付けられた曲線」であって、単なる点の集合ではないことに注意を要する。）

弧状連結な位相空間は常に連結である。また、アレクサンドロフの長い直線とよばれる非可算無限個の単位半開区間の直積空間の一点コンパクト化や、 のグラフに原点を加えたもの（位相幾何学者の正弦曲線）は、連結だが弧状連結でない位相空間の例として挙げることができる。

一方、実数直線  の部分集合では連結であることと弧状連結であることとが同値であり、そのようなものは  の区間に限られる。 次元数空間 ,  に対しても、連結な開部分集合が常に弧状連結となることがいえる。あるいは、有限集合に位相を入れて考えるときにも、連結性と弧状連結性は同値になる。

## 弧連結
さらに強く、弧状連結空間がその任意の相異なる二点を結ぶ道  として常に**弧** ()&mdash;つまり単位区間  と像  との間の同相写像&mdash;を選ぶことができるとき、**弧連結** () であるという。弧状連結なハウスドルフ空間は常に弧連結空間である。弧状連結だが弧連結でない空間の例を、負でない実数全体の成す集合  に第二の  として  を加えることによって作ることができる。具体的に、通常の大小関係に加えて、 が正の数ならば  であるとし、 と  は比較不能であるとして半順序を与える。このとき順序位相&mdash;つまり開区間 , 半開区間  および  を開基とする位相&mdash;を入れて得られる位相空間は、T<sub>1</sub>-空間になるがハウスドルフ空間ではない。そして、 と  は道で結ぶことができるが弧で結ぶことができないのである。

## 局所連結性

連結集合からなる開基を持つ位相空間は、**[[局所連結]]**（きょくしょれんけつ、locally connected）であるという。位相空間  が局所連結となることと、 のどの開集合に対しても、その任意の連結成分がまた開集合となることとは同値である。連結だが局所連結でない位相空間の例として、再び位相幾何学者の正弦曲線を挙げることができる。

同様にして、弧状連結な部分集合からなる開基を持つ位相空間は**[[局所弧状連結]]**（きょくしょこじょうれんけつ、locally path-connected）であるという。局所弧状連結空間の開集合は、それが連結であるならば弧状連結である。このことは一般に  次元数空間 ,  が局所弧状連結であることから、その開部分集合についても言える。したがってなお一般に、位相多様体は（各点の近傍が数空間の開集合に同相であるから）すべて局所弧状連結であることが従う。

## 性質
既述のものも含めいくつかの性質と、諸概念間の関係性を挙げる。
* 連結性は位相的性質であり、同相写像によって保たれる。
*  と  が位相空間で、 が連続写像であるとするとき、 が連結ならば像  も再び連結である。特に  が全射ならば  も連結である。同様に  が弧状連結ならば像  も弧状連結となる。この特別の場合として中間値の定理を捉えることができる。
* 連結部分集合の族  が与えられていて、この族に属するどの二つの部分集合も交わりを持つならば、族の和 \bigcup_\lambda A_\lambda もまた連結である。特に族の共通分 \bigcap_\lambda A_\lambda が空でないならば、\bigcup_\lambda A_\lambda もまた連結である。
* 弧状連結空間は常に連結である。
* 局所弧状連結空間は常に局所連結である。
* 局所弧状連結空間が弧状連結となるのは、それが連結であるときであり、またそのときに限る。
* 連結成分は弧連結な成分の非交和として表される。
* 局所連結空間の連結成分は開かつ閉である。
* 連結集合の閉包もまた連結である。
* 連結空間の商空間は連結であり、弧状連結空間の商空間は弧状連結である。
* 連結集合の直積は連結であり、弧状連結空間の直積はまた弧状連結である。
* 局所連結空間の開集合は局所連結であり、局所弧状連結空間の開集合もまた局所弧状連結である。
* 多様体は全て局所弧状連結である。

## より強い連結性
位相空間の連結性のより強い形がある。例えば
* 位相空間 *X* に2つの交わりを持たない空でない開集合が存在しないとき、*X* は連結でなければならず、したがっては連結である。
* 単連結空間は定義により弧状連結であるから、任意の単連結空間は連結でもある。しかしながら、単連結性の定義から「弧状連結性」の仮定を落とすと、連結になるとは限らないことに注意。
*さらに強い連結性の概念に、可縮空間がある。任意の可縮空間は弧状連結だから連結でもある。

一般に、任意の弧状連結空間は連結であるが、弧状連結でない連結空間が存在することに注意しよう。deleted comb space はそのような例であり、また上に述べた位相幾何学者の正弦曲線もそうである。

## 関連項目
* 一様連結空間
* n連結
* 局所連結空間
* 単連結
* 連結グラフ

## 注

### 注釈

### 出典

## 参考文献
*クゼ・コスニオフスキ著、加藤十吉訳編 『トポロジー入門』 東京大学出版会、1983年。
* 
*

## 関連文献
* 
*.

## 外部リンク
* 
* 
* 
* 
*