近傍系のソースを表示

[[数学]]の[[位相空間論]]周辺分野において、点の'''近傍系'''（きんぼうけい、{{lang-en-short|''neighbourhood system''}}）あるいは'''近傍フィルター'''（きんぼうフィルター、{{lang-en-short|''neighbourhood filter''}}）とは、その点の[[近傍 (位相空間論)|近傍]]全体の成す集合族をいう。

== 定義 ==
[[位相空間]] ''X'' とその任意の元 ''x'' に対して、''x'' の（全）'''近傍系''' <math>\mathcal{V}(x)</math> とは、''x'' の近傍全体の成す[[フィルター (数学)|フィルター]]をいう。

点 ''x'' における'''基本近傍系''' {{lang|en|(''fundamental system of neighbourhoods'')}}, '''近傍基''' {{lang|en|(''neighbourhood basis'')}} あるいは'''局所基''' {{lang|en|(''local basis'')}} とは、近傍フィルターの[[フィルター基]]をいう。すなわち <math>\mathcal{V}(x)</math> の部分集合 <math>\mathcal{B}(x)</math> が基本近傍系であるというのは、各近傍 ''V'' に対して <math>\mathcal{B}(x)</math> の元 ''B'' で ''V'' に含まれるものがとれること、記号で書けば
:<math>\forall V \in \mathcal{V}(x) \quad \exists B \in \mathcal{B}(x) \mbox{ with } B \subset V</math>
が成立することをいう。

逆に、任意のフィルター基に関すると同様、基本近傍系 <math>\mathcal{B}(x)</math> から近傍フィルター <math>\mathcal{V}(x)</math> を得ることができる。それには
: <math>\mathcal{V}(x) =\left\{ V \subset X \mid \exists B \in \mathcal{B}(x) \ \mathrm{s.t.} \ B \subset V \right\}</math>
とすればよい<ref>Stephen Willard, ''General Topology'' (1970) Addison-Wesley Publishing (''See Chapter 2, Section 4'')</ref>。

また近傍系は以下のように公理的に特徴づけられる{{sfn|Broubaki|1989|p=19}}。集合 ''X'' とその任意の元 ''x'' に対して ''X'' の部分集合のなす空でない族 <math>\mathcal{V}(x)</math> が次の 4 つの条件を満たすとき、集合 ''X'' 上に <math>\mathcal{V}(x)</math> を近傍系とする位相が唯ひとつ定まる。
* <math> \forall U \subseteq X,\ V \in \mathcal{V}(x):\ V \subseteq U \implies U \in \mathcal{V}(x) </math>
* <math> \forall U_1, \dotsc, U_n \in \mathcal{V}(x):\ \bigcap_{i = 1}^n U_i \in \mathcal{V}(x) </math>
* <math> \forall U \in \mathcal{V}(x):\ x \in U </math>
* <math> \forall U \in \mathcal{V}(x),\ \exists V \in \mathcal{V}(x):\ \forall y \in V,\ U \in \mathcal{V}(y) </math>
言葉で書くと次のようになる。
* ''V'' が ''x'' の近傍ならば、''V''&subseteq;''U''&subseteq;''X'' なる集合 ''U'' も ''x'' の近傍である。
* ''x'' の近傍を有限個とると、その共通部分も ''x'' の近傍である。
* ''x'' の近傍は ''x'' 自身を元にもつ。
* ''U'' を ''x'' の近傍とする。 ''U'' 上の点 ''y'' で、 ''U'' が ''y'' の近傍でもあるようなものの全体を ''U'' の[[内部 (位相空間論)|内部]]といい int(''U'') で表す。<div style="margin:1ex 2em;"><math>
  \mathrm{int}(U) := \{ y \in U :\ U \in \mathcal{V}(y) \}
</math></div> このとき、 ''x'' の別の近傍 ''V'' で ''V''&subseteq;int(''U'') であるようなものが存在する。実はこのような ''V'' で最大のものが存在して int(''U'') に等しい。

== 例 ==
* ある点の全近傍系は明らかにそれ自身その点の近傍基である。
* [[密着空間]] ''X'' において、任意の点 ''x'' の近傍系は空間全体のみからなる： <math>\mathcal{V}(x) = \{ X \}</math>。
* [[距離空間]]の任意の点 ''x'' に対して、''x'' を中心とする半径 1/''n'' の[[開球体]]の列<div style="margin:1ex 2em;"><math>
  \mathcal{B}(x) = \{ B_{1/n}(x) ; n \in \mathbb N^* \}
</math></div>は[[可算]]な基本近傍系をなす。ゆえに、任意の距離空間は[[第一可算]]である。
* 空間 ''E'' 上の測度全体の成す空間に[[弱位相]]を入れたとき、測度 &nu; における基本近傍系は<div style="margin: 1ex 2em;"><math>
  \{ \mu \in \mathcal{M}(E) : | \mu f_i - \nu f_i | < \varepsilon_i , i=1,\ldots, n\} 
</math></div>で与えられる。ただし、''f''<sub>''i''</sub> は ''E'' 上の実数値連続有界函数である。

== 性質 ==
[[半ノルム空間]]、つまり[[半ノルム]]の誘導する位相を備えた[[ベクトル空間]]において、任意の近傍系 <math>\mathcal{V}(x)</math> は原点 0 における近傍系 <math>\mathcal{V}(0)</math> を
:<math>\mathcal{V}(x) = \mathcal{V}(0) + x</math>
と[[平行移動]]することによって得られる。これはベクトルの加法が半ノルムの誘導する位相に関して分離連続であるという仮定から従う。従って、この空間の位相は原点における近傍系のみから決定される。より一般に、位相が[[平行移動不変距離]]や[[擬距離]]から定まる場合にも同様のことが成り立つ。

空でない集合 ''A'' の任意の近傍系は ''A'' の[[近傍フィルター]]と呼ばれる[[フィルター (数学)|フィルター]]を成す。

== 脚注 ==
{{reflist}}

== 参考文献 ==
* {{cite book
|last1      = Broubaki 
|first1     = N. 
|year       = 1989
|title      = General topology
|pages      = 18&ndash;19
|url        = {{google books|kTFSfmsjDM0C|General topology|page=18|plainurl=yes}}
|publisher  = Springer-Verlag
|isbn       = 3-540-64241-2
|ref        = harv
}}

== 関連項目 ==
* [[近傍 (位相空間論)]]
* [[開基 (位相空間論)]]
* [[局所凸位相線型空間]]
* [[フィルター (数学)]]

== 外部リンク ==
* {{PlanetMath|urlname=NeighborhoodSystem|title=neighborhood system}}
* {{MathWorld|urlname=NeighborhoodSystemBase|title=Neighborhood System Base}}

{{DEFAULTSORT:きんほうけい}}
[[Category:位相空間論]]
[[Category:数学に関する記事]]