位相幾何学や関連する数学の分野において、連結空間（れんけつくうかん、）とは、2つ以上の互いに素な空でない開部分集合の和集合として表すことのできない位相空間のことである。空間の連結性は主要なの1つであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、弧状連結 (path-connected) という概念があり、これは任意の2点が道によって結べることをいう。位相空間 "X" の部分集合が連結であるとは、"X" の相対位相によってそれ自身を位相空間と見たときに連結であることをいう。連結でない空間の例は、平面から直線を取り除いたものがある。非連結空間（すなわち連結でない空間）の他の例には、平面からアニュラスを取り除いたものや、2つの交わりを持たない閉円板の和集合がある。ただし、これら3つの例はいずれも、2次元ユークリッド空間から誘導される相対位相を考えている。位相空間 "X" が非連結（ひれんけつ、）あるいは不連結であるとは、2つの交わりを持たない空でない開集合の和集合（非交和）でないことをいう。そうでないとき、"X" は連結 (connected) であるという。位相空間の部分集合が連結であるとは、相対位相で連結であることをいう。この記事では空集合（位相は一意である）は連結であるが、著者によっては空集合を連結空間から除外することもある。位相空間 "X" に対し、以下の条件は同値である：空でない位相空間の（包含による順序によって）極大な連結部分集合をその空間の連結成分 (connected component) という。紛れのおそれの無いときはこれを単に成分 (component) とも呼ぶ。明らかなことであるが、ある連結成分が "X" 全体に一致するとき、"X" は連結である。任意の位相空間 "X" の連結成分たちは "X" を分割する、すなわち、互いに素で、空でなく、合併が全空間となる。同じことだが、"X" の点が同じ連結成分に属するという関係は、"X" 上の同値関係を定めるということもできる。任意の成分はもとの空間の閉部分集合である。したがって、成分の個数が有限であれば、各成分は開でもある。しかしながら、その個数が無限であれば、成分が開とは限らない。例えば、有理数全体の集合の連結成分は一点集合であるが、これは開でない。formula_1 を位相空間 "X" の点 "x" の連結成分とし、formula_2 を "x" を含むすべての開かつ閉集合の交わりとする（"x" のquasi-componentと呼ばれる）。すると formula_3 であり、等号は "X" がコンパクトハウスドルフあるいは局所連結であれば成り立つ。位相空間 "X" の連結成分がすべて一点からなる集合であるとき、"X" は全不連結または完全不連結（かんぜんふれんけつ、totally disconnected）であるという。このような位相空間の例として、有理数全体の成す集合 Q に絶対値に関する距離位相を入れたものや、"p"-進数体あるいはその上の線型代数群などを挙げることができる。これに関連して、位相空間 "X" に相異なる二点が与えられたとき常に、交わりを持たないようにそれぞれの点の開近傍を選び出して "X" を覆うことができるならば、"X" は全分離あるいは完全分離（かんぜんぶんり、totally separated）的であるという。完全分離空間は完全不連結であるが逆は正しくない。実際、有理数体 Q の二つのコピーを 0 以外の点で（同じ数は同じ数同士で）貼合わせて得られる集合（ただし関係 ～ は、"a" (≠ 0) ∈ "A" と "b" (≠ 0) ∈ "B" については "a" ～ "b" ⇔ "a" = "b" となるような最小の同値関係とする）に商位相を入れたものは完全不連結であるが、0 のふたつのコピーはどのような開近傍によっても分離することができないのでハウスドルフ空間にすらならず、特に完全分離的ではない。位相空間 "X" はその任意の点 "a" , "b" を結ぶ道をとることができるとき弧状連結（こじょうれんけつ、path-connected）または道連結（みちれんけつ）であるという。ここで "a

出典:wikipedia