局所連結空間

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

背景

トポロジーの歴史の全体を通して、連結性とコンパクト性は最も広く研究された位相的性質の 2 つであった。実際、ユークリッド空間の部分集合の中でさえこれらの性質の研究、そしてユークリッド計量の特定の形式からのそれらの独立性の認識は、位相的性質したがって位相空間の概念を明確化するのに大きな役割を果たした。しかしながら、ユークリッド空間のコンパクト部分集合の構造はハイネ・ボレルの定理を通してかなり早期に理解されたが、（n > 1 に対して） の連結部分集合ははるかに複雑であると証明された。実際、任意のコンパクトハウスドルフ空間は局所コンパクトであるが、連結空間 - ユークリッド平面の連結部分集合でさえ - 局所連結とは限らない（下記参照）。
これは20世紀前半に研究の豊かな脈に導き、トポロジストは局所連結空間の概念の微妙で複雑なバリエーションを研究した（例として、点における弱局所連結性の概念と局所連結性とのその関係は後述）。
20世紀後半には、研究のトレンドは局所的に（ユークリッド空間に局所同相なので）よく理解されるが複雑な大域的振る舞いを持つ多様体のような空間のより激しい研究にシフトした。これによって次のことが意味される。多様体の基本的な点集合位相は（多様体は概念の多くの定義によって本質的に距離化可能であるので）比較的単純だが、それらの代数的位相ははるかに複雑である。この現代的観点から、局所弧状連結性のより強い性質がより重要であることが判明する： 例えば、空間が普遍被覆を持つためには、連結かつ局所弧状連結でなければならない（局所弧状連結性は後述）。
空間が局所連結であることとすべての開集合 U に対して（部分空間位相で）U の連結成分が開であることは同値である。例えば次が従う。局所連結空間から完全不連結空間への連続関数は局所定数でなければならない。実は成分の開性はとても自然なのでそれは一般には正しくないことを心に留めておくようにしなければならない： 例えばカントール空間は完全不連結であるが離散ではない。

定義と最初の例

X を位相空間とし、x を X の点とする。
x を含むすべての開集合 V に対して  なる連結開集合 U が存在するときに X は x において局所連結 (locally connected at x) であると言う。X のすべての x に対して x において局所連結であるときに空間 X を局所連結 (locally connected) と言う。局所連結性と連結性は互いに関係していないことに注意しよう。空間はこれらの性質の 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 のある連結部分集合にある。空間 X は X のすべての x に対して x において弱局所連結であるときに弱局所連結 (weakly locally connected) と言われる。
言い換えると、2 つの定義の唯一の違いは次のことである。x における局所連結性に対しては x を含む開連結集合の近傍基が要求され、x における弱局所連結性に対しては x を含む連結集合の近傍基のみ要求される。
明らかに x において局所連結である空間は x において弱局所連結である。逆は成り立たない（反例 broom space （ほうき空間）は下で与えられる）。一方局所連結空間が弱局所連結であることも同様に明らかであり、ここで逆は成り立つことが判明する： すべての点において弱局所連結な空間はすべての点において局所連結である必要がある。証明は下で与えられる。
次のとき X は x において局所弧状連結 (locally path connected at x) であるという。x を含むすべての開集合 V に対して、 なる弧状連結開集合 U が存在する。空間 X が局所弧状連結であるとは、すべての x ∈ X に対して x において局所弧状連結であるということである。
弧状連結空間は連結であるから、局所弧状連結空間は局所連結である。今回は逆は成り立たない（下の例 6 参照）。
最初の例
1. 任意の正の整数 n に対して、ユークリッド空間  は連結かつ局所連結である。
2. 実数直線  の部分空間  は局所連結だが連結でない。
3. 位相幾何学者の正弦曲線は連結だが局所連結でないユークリッド平面の部分空間である。
4. 標準的なユークリッド位相を与えられた有理数の空間  は連結でも局所連結でもない。
5. くし空間は弧状連結だが局所弧状連結でない。
6. 補有限位相を与えられた可算無限集合は局所連結（実は既約）であるが、局所弧状連結でない。
さらなる例は記事で後で与えられる。

性質

1. 局所連結性は定義によって位相空間の局所的性質である、すなわち位相的性質 P であって空間 X が性質 P を有することと X の各点 x が性質 P を持つ集合の近傍基を持つことは同値である。それに応じて、局所的性質によって持たれるすべての「メタ性質」(metaproperties) は局所連結性に対して成り立つ。特に：
2. 空間が局所連結であることと連結部分集合の基底を持つことは同値である。
3. 空間の族  の非交和  が局所連結であることと各  が局所連結であることは同値である。特に、一点は必ず局所連結であるから、任意の離散空間は局所連結であることが従う。一方離散空間は完全不連結なので、連結であるのは高々一点からなるときに限る。
4. 逆に、完全不連結空間が局所連結であることと離散であることは同値である。これは有理数全体が局所連結でないという前に述べた事実を説明するために使うことができる。

Quasicomponents

X を位相空間とする。X 上の第三の関係を定義する： X の開集合 A と B への分離であって x が A の元であって y が B の元であるようなものは存在しないとき、。これは X 上の同値関係であり x を含む同値類  は x の quasicomponent と呼ばれる。
 は x を含む X のすべての開かつ閉部分集合の共通部分としても特徴づけることができる。したがって  は閉である； 一般に開であるとは限らない。
明らかにすべての x ∈ X に対して  である。全体で x における道成分、成分、quasicomponent の間に次の包含がある：
X が局所連結であれば、上のように、 は x を含む開かつ閉集合なので、 でありしたがって  である。局所弧状連結性は局所連結性を意味するから、局所弧状連結空間のすべての点 x において
 が成り立つことが従う。
例
1. quasicomponent が成分に等しくないような空間の例は離散位相を持った可算集合 X に次のような 2 点 a, b を足したものである。a の任意の近傍は b を含むかまたは X の有限個を除くすべての点を含み、b の任意の近傍は a を含むかまたは X の有限個を除くすべての点を含む。点 a は b の同じ quasicomponent にあるが b と同じ成分にはない。
2. Arens-Fort 空間は局所連結ではないがそれにもかかわらず成分と quasicomponent は一致する： 実際すべての点 x に対して  である。

局所連結性 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 ∈ C は C に含まれる近傍 V を持つことが示せた。これは C は U において開であることを示している。したがって X は局所連結である。
decreasing broom spaces のある無限和はある特定の点において弱局所連結であるがその点において局所連結でない空間の例である。