連結空間

位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要な位相的性質のひとつであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。
位相空間 の部分集合が連結であるとは、 の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。
連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。
定義.
位相空間 formula_1 が非連結（ひれんけつ、）あるいは不連結であるとは、2つの交わりを持たない空でない開集合の和集合（非交和）であることをいう。つまり次が成り立つことである：
非連結でないとき、 は連結 (connected) であるという。位相空間の部分集合が連結であるとは、相対位相で連結であることをいう。この記事では空集合（位相は一意である）は連結であるが、著者によっては空集合を連結空間から除外することもある。
位相空間 に対し、以下の条件は同値である. ただし formula_3 は の閉集合系とする：
連結成分.
空でない位相空間の（包含による順序によって）極大な連結部分集合をその空間の連結成分 (connected component) という。紛れのおそれの無いときはこれを単に成分 (component) とも呼ぶ。明らかなことであるが、ある連結成分が 全体に一致するとき、 は連結である。
任意の位相空間 の連結成分たちは を分割する、すなわち、互いに素で、空でなく、合併が全空間となる。同じことだが、 の点が同じ連結成分に属するという関係は、 上の同値関係を定めるということもできる。任意の成分はもとの空間の閉部分集合である。したがって、成分の個数が有限であれば、各成分は開でもある。しかしながら、その個数が無限であれば、成分が開とは限らない。例えば、有理数全体の集合の連結成分は一点集合であるが、これは開でない。
formula_6 を位相空間 の点 の連結成分とし、formula_7 を を含むすべての開かつ閉集合の交わりとする（ のquasi-componentと呼ばれる）。すると formula_8 であり、等号は がコンパクトハウスドルフあるいは局所連結であれば成り立つ。
全不連結空間.
位相空間 の連結成分がすべて一点からなる集合であるとき、 は全不連結または完全不連結（かんぜんふれんけつ、totally disconnected）であるという。このような位相空間の例として、有理数全体の成す集合 に絶対値に関する距離位相を入れたものや、-進数体 あるいはその上の線型代数群などを挙げることができる。これに関連して、位相空間 に相異なる二点が与えられたとき常に、交わりを持たないようにそれぞれの点の開近傍を選び出して を覆うことができるならば、 は全分離あるいは完全分離（かんぜんぶんり、totally separated）的であるという。完全分離空間は完全不連結であるが逆は正しくない。実際、有理数体 の二つのコピーを 以外の点で（同じ数は同じ数同士で）貼合わせて得られる集合 formula_9（ただし関係 は、 と については となるような最小の同値関係とする）に商位相を入れたものは完全不連結であるが、 のふたつのコピーはどのような開近傍によっても分離することができないのでハウスドルフ空間にすらならず、特に完全分離的ではない。
弧状連結.
位相空間 はその任意の点 を結ぶ道をとることができるとき弧状連結（こじょうれんけつ、path-connected, ）または道連結（みちれんけつ）であるという。
ここで始点 と終点 を結ぶ道 (path) とは、 かつ を満たす、単位閉区間 から への連続写像 のことである。（これは「パラメータ付けられた曲線」であって、単なる点の集合ではないことに注意を要する。）
弧状連結な位相空間は常に連結である。また、アレクサンドロフの長い直線とよばれる非可算無限個の単位半開区間の直積空間の一点コンパクト化や、 のグラフに原点を加えたもの（位相幾何学者の正弦曲線）は、連結だが弧状連結でない位相空間の例として挙げることができる。
一方、実数直線 の部分集合では連結であることと弧状連結であることとが同値であり、そのようなものは の区間に限られる。 次元数空間 , に対しても、連結な開部分集合が常に弧状連結となることがいえる。あるいは、有限集合に位相を入れて考えるときにも、連結性と弧状連結性は同値になる。
弧連結.
さらに強く、弧状連結空間がその任意の相異なる二点を結ぶ道 として常に弧 ()—つまり単位区間 と像 との間の同相写像—を選ぶことができるとき、弧連結 () であるという。弧状連結なハウスドルフ空間は常に弧連結空間である。弧状連結だが弧連結でない空間の例を、負でない実数全体の成す集合 に第二の として を加えることによって作ることができる。具体的に、通常の大小関係に加えて、 が正の数ならば であるとし、 と は比較不能であるとして半順序を与える。このとき順序位相—つまり開区間 , 半開区間 および を開基とする位相—を入れて得られる位相空間は、T1-空間になるがハウスドルフ空間ではない。そして、 と は道で結ぶことができるが弧で結ぶことができないのである。
局所連結性.
連結集合からなる開基を持つ位相空間は、局所連結（きょくしょれんけつ、locally connected）であるという。位相空間 が局所連結となることと、 のどの開集合に対しても、その任意の連結成分がまた開集合となることとは同値である。連結だが局所連結でない位相空間の例として、再び位相幾何学者の正弦曲線を挙げることができる。
同様にして、弧状連結な部分集合からなる開基を持つ位相空間は局所弧状連結（きょくしょこじょうれんけつ、locally path-connected）であるという。局所弧状連結空間の開集合は、それが連結であるならば弧状連結である。このことは一般に 次元数空間 , が局所弧状連結であることから、その開部分集合についても言える。したがってなお一般に、位相多様体は（各点の近傍が数空間の開集合に同相であるから）すべて局所弧状連結であることが従う。
性質.
既述のものも含めいくつかの性質と、諸概念間の関係性を挙げる。
より強い連結性.
位相空間の連結性のより強い形がある。例えば
一般に、任意の弧状連結空間は連結であるが、弧状連結でない連結空間が存在することに注意しよう。 はそのような例であり、また上に述べた位相幾何学者の正弦曲線もそうである。