連結空間のソースを表示

[[Image:Connected and disconnected spaces.svg|thumb|200px|平面上の連結集合と非連結集合の例:
上側の ''A'' は連結、下の飛び飛びになっている集合 ''B'' は非連結。]]
[[位相幾何学]]や関連する[[数学]]の分野において、'''連結空間'''（れんけつくうかん、{{lang-en-short|connected space}}）とは、2つ以上の[[素集合|互いに素な]]空でない[[開部分集合]]の[[和集合]]として表すことのできない[[位相空間]]のことである。空間の連結性は主要な[[位相的性質]]のひとつであり、位相空間の区別をつけることに利用できる。より強い意味での連結性として、'''弧状連結''' (path-connected) という概念があり、これは任意の2点が[[道 (位相幾何学)|道]]によって結べることをいう。

位相空間 {{mvar|X}} の部分集合が'''連結'''であるとは、{{mvar|X}} の[[相対位相]]によってそれ自身を位相空間と見たときに連結であることをいう。

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

==定義==
[[位相空間]] <math>(X,\mathcal{O})</math> が'''非連結'''（ひれんけつ、{{en|disconnected}}）あるいは'''不連結'''であるとは、2つの[[素集合|交わりを持たない]][[空集合|空]]でない[[開集合]]の[[和集合]]（[[非交和]]）であることをいう。つまり次が成り立つことである：
:<math>\exists\ A,\ B \in \mathcal{O}\ \text{s.t.}\ [X=A \cup B,\ A \cap B=\varnothing,\ A \neq \varnothing,\ B \neq \varnothing].</math>
非連結でないとき、{{mvar|X}} は'''連結''' (connected) であるという{{sfn|Bourbaki|2007|loc=TG I.80, {{smallcaps|Définition 1}}}}。位相空間の[[部分集合]]が連結であるとは、相対位相で連結であることをいう。この記事では空集合（位相は一意である）は連結であるが、著者によっては空集合を連結空間から除外することもある{{sfn|斎藤|2009|p=141|loc=定義 6.2.1.1}}。

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

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

===連結成分===
空でない位相空間の（[[部分集合|包含]]による順序によって）[[極大元|極大]]な連結部分集合をその空間の'''連結成分''' (connected component) という。紛れのおそれの無いときはこれを単に'''成分''' <span lang="en">(component)</span> とも呼ぶ。明らかなことであるが、ある連結成分が {{mvar|X}} 全体に一致するとき、{{mvar|X}} は連結である。

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

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

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

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

== 弧状連結 ==
[[Image:Path-connected space.svg|thumb|200px|left|平面上の弧状連結集合：任意の二点を弧で結ぶことができる]]
位相空間 {{mvar|X}} はその任意の点 {{mvar|a, b}} を結ぶ道をとることができるとき'''弧状連結'''（こじょうれんけつ、<em lang="en">path-connected</em>, {{lang|en|pathwise connected}}<ref name="#1">{{PlanetMath|urlname=path|title=path}}</ref>）または'''道連結'''（みちれんけつ）であるという{{sfn|コスニオフスキ|1983|p=99}}。
ここで始点 {{mvar|a}} と終点 {{mvar|b}} を結ぶ'''[[道 (位相幾何学)|道]]'''{{efn2|これが（[[#弧連結]]での用法とは異なり）弧と呼ばれることもある {{sfn|コスニオフスキ|1983|p=98}}。}} <span lang="en">(path)</span> とは、{{math|1=''f''(0) = ''a''}} かつ {{math|1=''f''(1) = ''b''}} を満たす、単位閉区間 {{closed-closed|0, 1}} から {{mvar|X}} への[[連続写像]] {{mvar|f}} のことである{{sfn|コスニオフスキ|1983|p=98}}。（これは「パラメータ付けられた曲線」であって、単なる点の集合ではないことに注意を要する。）

弧状連結な位相空間は常に連結である。また、[[長い直線|アレクサンドロフの長い直線]]とよばれる非可算無限個の単位半開区間の直積空間の一点コンパクト化や、{{math|sin(1/''x'')}} のグラフに原点を加えたもの（[[位相幾何学者の正弦曲線]]）は、連結だが弧状連結でない位相空間の例として挙げることができる。
[[image:tsc.png|thumb|right|位相幾何学者の正弦曲線]]

一方、[[実数直線]] {{mathbf|ℝ}} の部分集合では連結であることと弧状連結であることとが同値であり、そのようなものは {{mathbf|ℝ}} の[[区間 (数学)|区間]]に限られる。{{mvar|n}} 次元数空間 [[実数空間|{{math|'''ℝ'''{{sup|''n''}}}}]], [[複素数空間|{{math|'''ℂ'''{{sup|''n''}}}}]] に対しても、連結な開部分集合が常に弧状連結となることがいえる。あるいは、有限集合に位相を入れて考えるときにも、連結性と弧状連結性は同値になる。

==弧連結==
さらに強く、弧状連結空間がその任意の相異なる二点を結ぶ道 {{mvar|f}} として常に'''弧''' ({{lang|en|arc}})&mdash;つまり単位区間 {{closed-closed|0, 1}} と像 {{math|''f''({{closed-closed|0, 1}})}} との間の[[同相写像]]<ref>{{SpringerEOM|urlname=Arc_(topology)|title=Arc (topology)}}; あるいは {{MathWorld|urlname=Arc|title=Arc}}（equation.3 のやや下あたり）</ref>{{efn2|{{PlanetMath|urlname=path|title=path}} では単純道 ({{closed-closed|0, 1}} からの連続全単射) を arc としている。}}&mdash;を選ぶことができるとき、'''弧連結''' ({{lang|en|arc-connected, arcwise connected}}<ref name="#1"/>) であるという。弧状連結なハウスドルフ空間は常に弧連結空間である。弧状連結だが弧連結でない空間の例を、負でない実数全体の成す集合 {{closed-open|0, &infin;}} に第二の {{math|0}} として {{math|0&prime;}} を加えることによって作ることができる。具体的に、通常の大小関係に加えて、{{mvar|a}} が正の数ならば {{math|0' &lt; ''a''}} であるとし、{{math|0}} と {{math|0'}} は比較不能であるとして[[順序集合|半順序]]を与える。このとき順序位相&mdash;つまり開区間 {{math|{{open-open|''a'', ''b''}} {{coloneqq}} {{mset|''x'' | ''a'' &lt; ''x'' &lt; ''b''}}}}, 半開区間 {{math|{{closed-open|0, ''a''}} {{coloneqq}} {{mset|''x'' | 0 &le; ''x'' &lt; ''a''}}}} および {{math|{{closed-open|0&prime;, ''a''}} {{coloneqq}} {{mset|''x'' | 0&prime; &le; ''x'' &lt; ''a''}}}} を開基とする位相&mdash;を入れて得られる位相空間は、[[分離公理|T<sub>1</sub>]]-空間になるがハウスドルフ空間ではない。そして、{{math|0}} と {{math|0&prime;}} は道で結ぶことができるが弧で結ぶことができないのである。

== 局所連結性 ==
{{main|局所連結空間}}
連結集合からなる[[開基 (位相空間論)|開基]]を持つ位相空間は、'''[[局所連結]]'''（きょくしょれんけつ、<em lang="en">locally connected</em>）であるという。位相空間 {{mvar|X}} が局所連結となることと、{{mvar|X}} のどの開集合に対しても、その任意の連結成分がまた開集合となることとは同値である。連結だが局所連結でない位相空間の例として、再び位相幾何学者の正弦曲線を挙げることができる。

同様にして、弧状連結な部分集合からなる開基を持つ位相空間は'''[[局所弧状連結]]'''（きょくしょこじょうれんけつ、<em lang="en">locally path-connected</em>）であるという。局所弧状連結空間の開集合は、それが連結であるならば弧状連結である。このことは一般に {{mvar|n}} 次元数空間 [[実数空間|{{math|'''ℝ'''{{sup|''n''}}}}]], [[複素数空間|{{math|'''ℂ'''{{sup|''n''}}}}]] が局所弧状連結であることから、その開部分集合についても言える。したがってなお一般に、[[位相多様体]]は（各点の近傍が数空間の開集合に同相であるから）すべて局所弧状連結であることが従う。

== 性質 ==
既述のものも含めいくつかの性質と、諸概念間の関係性を挙げる。
* 連結性は位相的性質であり、[[同相写像]]によって保たれる。
* {{mvar|X}} と {{mvar|Y}} が位相空間で、{{math|''f'': ''X'' &rarr; ''Y''}} が連続写像であるとするとき、{{mvar|X}} が連結ならば像 {{math|''f''(''X'')}} も再び連結である。特に {{mvar|f}} が全射ならば {{mvar|Y}} も連結である。同様に {{mvar|X}} が弧状連結ならば像 {{math|''f''(''X'')}} も弧状連結となる。この特別の場合として[[中間値の定理]]を捉えることができる。
* 連結部分集合の族 {{math|{{mset|''A''<sub>1</sub>, ''A''<sub>2</sub>, …}}}} が与えられていて、この族に属するどの二つの部分集合も交わりを持つならば、族の和 <math display="inline">\bigcup_\lambda A_\lambda</math> もまた連結である。特に族の共通分 <math display="inline">\bigcap_\lambda A_\lambda</math> が空でないならば、<math display="inline">\bigcup_\lambda A_\lambda</math> もまた連結である。
* 弧状連結空間は常に連結である。
* 局所弧状連結空間は常に局所連結である。
* 局所弧状連結空間が弧状連結となるのは、それが連結であるときであり、またそのときに限る。
* 連結成分は弧連結な成分の非交和として表される。
* 局所連結空間の連結成分は開かつ閉である。
* 連結集合の閉包もまた連結である。
* 連結空間の商空間は連結であり、弧状連結空間の商空間は弧状連結である。
* 連結集合の[[直積位相空間|直積]]は連結であり、弧状連結空間の直積はまた弧状連結である。
* 局所連結空間の開集合は局所連結であり、局所弧状連結空間の開集合もまた局所弧状連結である。
* 多様体は全て局所弧状連結である。

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

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

== 関連項目 ==
* [[一様連結空間]]
* [[N-連結|n連結]]
* [[局所連結空間]]
* [[単連結]]
* [[連結グラフ]]

==注==
{{脚注ヘルプ}}
=== 注釈 ===
{{notelist2}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
*[[クゼ・コスニオフスキ]]著、[[加藤十吉]]訳編 『トポロジー入門』 [[東京大学出版会]]、1983年。
* {{Cite book
 | 和書
 | last1 = 斎藤
 | first1 = 毅
 | year = 2009
 | title = 集合と位相
 | series = 大学数学の入門8
 | publisher = 東京大学出版会
 | isbn = 978-4-13-062958-4
 | ref = harv
}}
*{{cite book|last=Bourbaki|first=N.|authorlink=ブルバキ|title=Éléments de mathématique: Topologie générale, Chapitres 1 à 4|publisher=Springer|year=2007|isbn=978-3-540-33936-6|ref=harv}}

== 関連文献 ==
* {{cite book | author= Munkres, James R. | authorlink=James Munkres  | title=Topology, Second Edition | publisher=Prentice Hall | year=2000 | isbn=0-13-181629-2}}
*{{Cite journal|url=http://www.math.shimane-u.ac.jp/memoir/39/D.Buhagiar.pdf|last1=Muscat|first1=J|last2=Buhagiar|first2=D|title=Connective Spaces|journal=Mem. Fac. Sci. Eng. Shimane Univ., Series B: Math. Sc.|volume=39|year=2006|pages=1–13|ref=harv}}.

== 外部リンク ==
* {{MathWorld|urlname=ConnectedSet|title=Connected Set}}
* {{nlab|urlname=connected+space|title=connected space}}
* {{PlanetMath|urlname=ConnectedSpace|title=connected space}}
* {{ProofWiki|urlname=Definition:Connected_(Topology)|title=Definition:Connected (Topology)}}
* {{SpringerEOM|title=Connected spsce|last= Malykhin|first=V. I.|urlname=Connected_space}}

{{Normdaten}}
{{DEFAULTSORT:れんけつくうかん}}
[[Category:位相的構造]]
[[Category:数学に関する記事]]