局所連結空間のソースを表示

[[Image:Neighborhood illust1.svg|right|thumb|この位相空間において、''V'' は ''p'' の近傍であり、それは ''p'' を含む連結近傍（ダークグリーンの円板）を含む。]]

[[位相幾何学]]や[[数学]]の他の分野において、[[位相空間]] ''X'' が'''局所連結'''（きょくしょれんけつ、{{lang-en-short|locally connected}}）であるとは、すべての点が、連結開集合のみからなる[[近傍系|近傍基]]を持つことをいう。

==背景==
トポロジーの歴史の全体を通して、[[連結空間|連結性]]と[[コンパクト空間|コンパクト性]]は最も広く研究された位相的性質の 2 つであった。実際、[[ユークリッド空間]]の部分集合の中でさえこれらの性質の研究、そして[[ユークリッド計量]]の特定の形式からのそれらの独立性の認識は、位相的性質したがって位相空間の概念を明確化するのに大きな役割を果たした。しかしながら、ユークリッド空間のコンパクト部分集合の構造は[[ハイネ・ボレルの定理]]を通してかなり早期に理解されたが、（''n'' > 1 に対して）<math>\mathbb{R}^n</math> の連結部分集合ははるかに複雑であると証明された。実際、任意のコンパクト[[ハウスドルフ空間]]は[[局所コンパクト]]であるが、連結空間 - ユークリッド平面の連結部分集合でさえ - 局所連結とは限らない（下記参照）。

これは20世紀前半に研究の豊かな脈に導き、トポロジストは局所連結空間の概念の微妙で複雑なバリエーションを研究した（例として、点における弱局所連結性の概念と局所連結性とのその関係は後述）。 

20世紀後半には、研究のトレンドは局所的に（ユークリッド空間に[[局所同相]]なので）よく理解されるが複雑な大域的振る舞いを持つ[[多様体]]のような空間のより激しい研究にシフトした。これによって次のことが意味される。多様体の基本的な[[位相空間論|点集合位相]]は（多様体は概念の多くの定義によって本質的に[[距離化可能]]であるので）比較的単純だが、それらの代数的位相ははるかに複雑である。この現代的観点から、局所弧状連結性のより強い性質がより重要であることが判明する： 例えば、空間が[[普遍被覆]]を持つためには、連結かつ局所弧状連結でなければならない（局所弧状連結性は後述）。

空間が局所連結であることとすべての開集合 ''U'' に対して（[[部分空間位相]]で）''U'' の連結成分が開であることは同値である。例えば次が従う。局所連結空間から完全不連結空間への連続関数は[[局所定数]]でなければならない。実は成分の開性はとても自然なのでそれは一般には正しくないことを心に留めておくようにしなければならない： 例えば{{仮リンク|カントール空間|en|Cantor space|preserve=1}}は[[完全不連結]]であるが[[離散空間|離散]]ではない。

==定義と最初の例== <!--"Weakly connected space" and "connected im kleinen" both redirect to this section -->

''X'' を位相空間とし、''x'' を ''X'' の点とする。

''x'' を含むすべての開集合 ''V'' に対して <math>x \in U \subset V</math> なる連結開集合 ''U'' が存在するときに ''X'' は '''''x'' において局所連結''' (locally connected at ''x'') であると言う。''X'' のすべての ''x'' に対して ''x'' において局所連結であるときに空間 ''X'' を'''局所連結''' (locally connected) と言う<ref>Willard, Definition 27.4, p. 199</ref>。局所連結性と連結性は互いに関係していないことに注意しよう。空間はこれらの性質の 1 つあるいは両方を持つかもしれないし、どちらも持たないかもしれない。

対照的に、''x'' を含むすべての開集合 ''V'' に対して ''x'' が ''N'' の内部にあるような ''V'' の連結部分集合 ''N'' が存在するときに ''X'' は '''''x'' において弱局所連結''' (weakly locally connected at ''x'' あるいは connected im kleinen at ''x'') であるという。同値な定義は： ''x'' を含む各開集合 ''V'' は ''x'' のある開近傍 ''U'' を含み ''U'' の任意の 2 点は ''V'' のある連結部分集合にある<ref>Willard, Definition 27.14, p. 201</ref>。空間 ''X'' は ''X'' のすべての ''x'' に対して ''x'' において弱局所連結であるときに'''弱局所連結''' (weakly locally connected) と言われる。

言い換えると、2 つの定義の唯一の違いは次のことである。''x'' における局所連結性に対しては ''x'' を含む''開''連結集合の近傍基が要求され、''x'' における弱局所連結性に対しては ''x'' を含む''連結''集合の近傍基のみ要求される。

明らかに ''x'' において局所連結である空間は ''x'' において弱局所連結である。逆は成り立たない（反例 broom space （ほうき空間）は下で与えられる）。一方局所連結空間が弱局所連結であることも同様に明らかであり、ここで逆は''成り立つ''ことが判明する： すべての点において弱局所連結な空間はすべての点において局所連結である必要がある<ref>Willard, Theorem 27.16, p. 201</ref>。証明は下で与えられる。

次のとき ''X'' は [[局所弧状連結<!-- ループリンク -->|''x'' において局所弧状連結]] (locally path connected at ''x'') であるという。''x'' を含むすべての開集合 ''V'' に対して、<math>x \in U \subset V</math> なる弧状連結開集合 ''U'' が存在する。空間 ''X'' が[[局所弧状連結<!-- ループリンク -->]]であるとは、すべての ''x'' &isin; ''X'' に対して ''x'' において局所弧状連結であるということである。

弧状連結空間は連結であるから、局所弧状連結空間は局所連結である。今回は逆は成り立たない（下の例 6 参照）。

'''最初の例<!--First examples-->'''

1. 任意の正の整数 ''n'' に対して、ユークリッド空間 <math>\mathbb{R}^n</math> は連結かつ局所連結である。

2. 実数直線 <math>\mathbb{R}^1</math> の部分空間 <math>[0,1] \cup [2,3]</math> は局所連結だが連結でない。

3. [[位相幾何学者の正弦曲線]]は連結だが局所連結でないユークリッド平面の部分空間である<ref name="Steen">Steen &amp; Seebach, pp. 137–138</ref>。 

4. 標準的なユークリッド位相を与えられた[[有理数]]の空間 <math>\mathbb{Q}</math> は連結でも局所連結でもない。

5. {{仮リンク|くし空間|en|comb space}}は弧状連結だが局所弧状連結でない。

6. [[補有限位相]]を与えられた可算無限集合は局所連結（実は[[既約位相空間|既約]]）であるが、局所弧状連結でない<ref>Steen &amp; Seebach, pp. 49–50</ref>。 

さらなる例は記事で後で与えられる。

==性質==

1. 局所連結性は定義によって位相空間の{{仮リンク|局所的性質|en|local property}}である、すなわち或る位相的性質 ''P'' に対して空間 ''X'' が性質 ''P'' を有することと ''X'' の各点 ''x'' が性質 ''P'' を持つ集合の近傍基を持つことは同値である。それに応じて、局所的性質によって持たれるすべての「メタ性質」(metaproperties) は局所連結性に対して成り立つ。特に：

2. 空間が局所連結であることと連結部分集合の基底を持つことは同値である。

3. 空間の族 <math>\{X_i\}</math> の[[非交和 (トポロジー)|非交和]] <math>\coprod_i X_i</math> が局所連結であることと各 <math>X_i</math> が局所連結であることは同値である。特に、一点は必ず局所連結であるから、任意の[[離散空間]]は局所連結であることが従う。一方離散空間は[[完全不連結]]なので、連結であるのは高々一点からなるときに限る。

4. 逆に、[[完全不連結空間]]が局所連結であることと離散であることは同値である。これは有理数全体が局所連結でないという前に述べた事実を説明するために使うことができる。

==成分と道成分==

以下の結果は定義からほとんどすぐに従うがかなり有用である。

補題： ''X'' を空間とし、<math>\{Y_i\}</math> を ''X'' の部分集合の族とする。<math> \bigcap_i Y_i </math> は空でないとする。すると、各 <math>Y_i</math> が連結（resp. 弧状連結）であれば、和集合 <math>\bigcup_i Y_i</math> は連結（resp. 弧状連結）である<ref>Willard, Theorem 26.7a, p. 192</ref>。

さて位相空間 ''X'' 上の 2 つの関係を考える： <math>x,y \in X</math> に対し、次のように書く：

:''x'' と ''y'' を両方含む ''X'' の連結部分集合が存在すれば <math>x \equiv_c y</math>

:''x'' と ''y'' を両方含む ''X'' の弧状連結部分集合が存在すれば <math> x \equiv_{pc} y </math>

明らかに関係は両方とも反射的かつ対称的である。さらに、''x'' と ''y'' が連結（resp. 弧状連結）部分集合 ''A'' に含まれ、''y'' と ''z'' が連結（resp. 弧状連結）部分集合 ''B'' に含まれていれば、補題によって <math>A \cup B</math> は連結（resp. 弧状連結）部分集合であって ''x'', ''y'', ''z'' を含む。したがって各関係は[[同値関係]]であり、[[同値類]]への ''X'' の[[集合の分割|分割]]を定義する。これらの 2 つの分割を順に考える。

''x'' &isin; ''X'' に対して、<math>y \equiv_c x</math> なるすべての点 ''y'' の集合 <math>C_x</math> は ''x'' の[[連結成分 (トポロジー)|連結成分]]と呼ばれる<ref>Willard, Definition 26.11, p. 194</ref>。補題によって <math>C_x</math> は ''x'' を含む ''X'' の一意的な極大連結部分集合である<ref name="WillardProblem_a">Willard, Problem 26B, pp. 195–196</ref>。<math>C_x</math> の閉包はまた ''x'' を含む連結部分集合であるから<ref>Kelley, Theorem 20, p. 54; Willard, Theorem 26.8, p. 193</ref>、<math>C_x</math> は閉であることが従う<ref>Willard, Theorem 26.12, p. 194</ref>。

''X'' が有限個の連結成分しか持たなければ、各成分は閉集合の有限個の和集合の補集合であるから、開である。一般に、連結成分は開とは限らない、なぜなら、例えば、カントール空間のように離散でない完全不連結空間（すなわちすべての点 ''x'' に対して <math>C_x = \{x\}</math>）が存在するからである。然しながら、局所連結空間の連結成分はまた開であり、したがって[[開かつ閉集合]]である<ref>Willard, Corollary 27.10, p. 200</ref>。局所連結空間 ''X'' はその相異なる連結成分の位相的非交和 <math>\coprod C_x</math> であることが従う。逆に、''X'' のすべての開部分集合 ''U'' に対して ''U'' の連結成分が開であれば、''X'' は連結集合の基底を持ちしたがって局所連結である<ref>Willard, Theorem 27.9, p. 200</ref>。

同様に、''x'' &isin; ''X'' に対して、<math>y \equiv_{pc} x</math> なるすべての点 ''y'' の集合 <math>PC_x</math> は ''x'' の''道成分'' (path component) と呼ばれる<ref name="WillardProblem">Willard, Problem 27D, p. 202</ref>。上のように、<math>PC_x</math> もまた ''x'' を含む ''X'' のすべての弧状連結部分集合の和集合であるから、補題によってそれ自身弧状連結である。弧状連結集合は連結であるから、すべての ''x'' &isin; ''X'' に対して <math>PC_x \subset C_x</math> が成り立つ。

しかしながら弧状連結集合の閉包は弧状連結とは限らない： 例えば、位相幾何学者の正弦曲線は ''x'' > 0 なるすべての点 (''x'', ''y'') からなる開部分集合 ''U'' の閉包であり、''U'' は実数直線の区間に同相であるので、確かに弧状連結である。さらに、位相幾何学者の正弦曲線 ''C'' の道成分は開だが閉でない ''U'' と閉だが開でない <math>C \setminus U</math> である。

空間が局所弧状連結であることとすべての開部分集合 ''U'' に対して ''U'' の道成分が開であることは同値である<ref name="WillardProblem" />。したがって局所弧状連結空間の道成分は ''X'' のどの 2 つも互いに素な開集合への分割を与える。局所弧状連結空間の開連結部分空間は必ず弧状連結であることが従う<ref>Willard, Theorem 27.5, p. 199</ref>。さらに、空間が局所弧状連結であれば、局所連結でもあるので、すべての ''x'' &isin; ''X'' に対して、<math>C_x</math> は連結かつ局所弧状連結であり、したがって弧状連結である、すなわち <math>C_x = PC_x</math> である。つまり、すべての局所弧状連結空間に対して成分と道成分は一致する。

;例

1. [[辞書式順序|辞書]]{{仮リンク|順序位相|en|order topology}}における集合 ''I'' &times; ''I'' （ただし ''I'' = [0,1]）は（連結だから）ちょうど 1 つの成分を持つが非可算個の道成分を持つ。実際、''a'' &isin; ''I'' に対して {''a''} &times; ''I'' の形の任意の集合は道成分である。

2. （'''R''' に{{仮リンク|下極限位相|en|lower limit topology}}を与えて）''f'' を '''R''' から '''R'''<sub>ℓ</sub> への連続写像とする。'''R''' は連結であり連続写像の下での連結空間の像は連結でなければならないから、'''R''' の ''f'' による像は連結でなければならない。したがって、'''R''' の ''f'' による像は '''R'''<sub>ℓ</sub> の成分の部分集合でなければならない。この像は空でないから、'''R''' から '''R'''<sub>ℓ</sub> への連続写像は定値写像のみである。実は、連結空間から完全不連結空間への任意の連続写像は定値でなければならない。

==Quasicomponents==

''X'' を位相空間とする。''X'' 上の第三の関係を定義する： ''X'' の開集合 ''A'' と ''B'' への分離であって ''x'' が ''A'' の元であって ''y'' が ''B'' の元であるようなものは存在しないとき、<math>x \equiv_{qc} y</math>。これは ''X'' 上の同値関係であり ''x'' を含む同値類 <math>QC_x</math> は ''x'' の '''quasicomponent''' と呼ばれる<ref name="WillardProblem_a" />。  

<math>QC_x</math> は ''x'' を含む ''X'' のすべての[[開かつ閉]]部分集合の共通部分としても特徴づけることができる<ref name="WillardProblem_a" />。したがって <math>QC_x</math> は閉である； 一般に開であるとは限らない。

明らかにすべての ''x'' &isin; ''X'' に対して <math>C_x \subseteq QC_x</math> である<ref name="WillardProblem_a" />。全体で ''x'' における道成分、成分、quasicomponent の間に次の包含がある：

<math>PC_x \subseteq C_x \subseteq QC_x.</math>

''X'' が局所連結であれば、上のように、<math>C_x</math> は ''x'' を含む開かつ閉集合なので、<math>QC_x \subseteq C_x</math> でありしたがって <math>QC_x = C_x</math> である。局所弧状連結性は局所連結性を意味するから、局所弧状連結空間のすべての点 ''x'' において

<math>PC_x = C_x = QC_x</math>
が成り立つことが従う。

'''例'''

1. quasicomponent が成分に等しくないような空間の例は離散位相を持った可算集合 ''X'' に次のような 2 点 ''a'', ''b'' を足したものである。''a'' の任意の近傍は ''b'' を含むかまたは ''X'' の有限個を除くすべての点を含み、''b'' の任意の近傍は ''a'' を含むかまたは ''X'' の有限個を除くすべての点を含む。点 ''a'' は ''b'' の同じ quasicomponent にあるが ''b'' と同じ成分にはない。

2. {{仮リンク|Arens-Fort 空間|en|Arens–Fort space}}は局所連結ではないがそれにもかかわらず成分と quasicomponent は一致する： 実際すべての点 ''x'' に対して <math>QC_x = C_x = \{x\}</math> である<ref name="Steen" />。

==局所連結性 vs 弱局所連結性 に関してもっと==

'''定理'''

''X'' を弱局所連結空間とする。すると ''X'' は局所連結である。

'''証明'''

開集合の成分が開であることを示せば十分である。''U'' を ''X'' で開とし ''C'' を ''U'' の成分とする。''x'' を ''C'' の元とする。すると ''x'' は ''U'' の元なので ''X'' の連結部分空間 ''A'' が存在して ''U'' に含まれ ''x'' のある近傍 ''V'' を含む。''A'' は連結で ''x'' を含むから、''A'' は ''C'' の部分集合でなければならない（''x'' を含む成分）。したがって ''x'' の近傍 ''V'' は ''C'' の部分集合である。''x'' は任意であったから、各 ''x'' &isin; ''C'' は ''C'' に含まれる近傍 ''V'' を持つことが示せた。これは ''C'' は ''U'' において開であることを示している。したがって ''X'' は局所連結である。

decreasing [[:en:broom space|broom space]]s のある無限和はある特定の点において弱局所連結であるがその点において局所連結でない空間の例である<ref>Steen & Seebach, example 119.4, p. 139</ref>。

==脚注==
{{reflist|2}}

==関連項目==
* {{仮リンク|櫛空間|en|Comb space}}
* [[連結空間]]
* [[同値関係]]
* {{仮リンク|ゾルゲンフライ直線|en|Sorgenfrey line}}
* [[位相幾何学者の正弦曲線]]
* [[完全不連結空間]]
* [[局所単連結空間]]
* [[半局所単連結]]

==参考文献==
* [[John L. Kelley]]; <cite>General Topology</cite>; ISBN 0-387-90125-6
* {{Citation|first=James|last= Munkres|year=1999|title= Topology|edition= 2nd|publisher=Prentice Hall|isbn=0-13-181629-2}}.
* [[Stephen Willard]]; <cite>General Topology</cite>; Dover Publications, 2004.
*{{Citation | last1=Steen | first1=Lynn Arthur | author1-link=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | author2-link=J. Arthur Seebach, Jr. | title=[[Counterexamples in Topology]] | origyear=1978 | publisher=Dover Publications, Inc. | location=Mineola, NY | edition=[[Dover Publications|Dover]] reprint of 1978 | isbn=978-0-486-68735-3 | mr=1382863  | year=1995}}

==読書案内==

* {{Citation|doi=10.1090/S0002-9939-1972-0296913-7|title=Continuous Functions from a Connected Locally Connected Space into a Connected Space with a Dispersion Point|first=C. A.|last= Coppin|journal=Proceedings of the American Mathematical Society|volume=32|issue= 2|year=1972|pages=625&ndash;626|jstor=2037874|publisher=American Mathematical Society}}. For Hausdorff spaces, it is shown that any continuous function from a connected locally connected space into a connected space with a dispersion point is constant

* {{Citation|title=A Note on Connectedness Im Kleinen|first=H. S.|last= Davis|journal=Proceedings of the American Mathematical Society|volume= 19|issue=5|year=1968|pages= 1237&ndash;1241|jstor=2036067|publisher=American Mathematical Society|doi=10.1090/s0002-9939-1968-0254814-3}}.

{{DEFAULTSORT:きよくしよれんけつくうかん}}
[[Category:証明を含む記事]]
[[Category:位相空間の性質]]
[[Category:一般位相]]
[[Category:位相幾何学]]
[[Category:数学に関する記事]]