近傍系

数学の位相空間論周辺分野において、点の近傍系（きんぼうけい、英: neighbourhood system）あるいは近傍フィルター（きんぼうフィルター、英: neighbourhood filter）とは、その点の近傍全体の成す集合族をいう。 位相空間 X とその任意の元 x に対して、x の（全）近傍系 V ( x ) {\displaystyle {\mathcal {V}}(x)} とは、x の近傍全体の成すフィルターをいう。 点 x における基本近傍系 (fundamental system of neighbourhoods), 近傍基 (neighbourhood basis) あるいは局所基 (local basis) とは、近傍フィルターのフィルター基をいう。すなわち V ( x ) {\displaystyle {\mathcal {V}}(x)} の部分集合 B ( x ) {\displaystyle {\mathcal {B}}(x)} が基本近傍系であるというのは、各近傍 V に対して B ( x ) {\displaystyle {\mathcal {B}}(x)} の元 B で V に含まれるものがとれること、記号で書けば ∀ V ∈ V ( x ) ∃ B ∈ B ( x )  with  B ⊂ V {\displaystyle \forall V\in {\mathcal {V}}(x)\quad \exists B\in {\mathcal {B}}(x){\mbox{ with }}B\subset V} が成立することをいう。 逆に、任意のフィルター基に関すると同様、基本近傍系 B ( x ) {\displaystyle {\mathcal {B}}(x)} から近傍フィルター V ( x ) {\displaystyle {\mathcal {V}}(x)} を得ることができる。それには V ( x ) = { V ⊂ X ∣ ∃ B ∈ B ( x )   s . t .   B ⊂ V } {\displaystyle {\mathcal {V}}(x)=\left\{V\subset X\mid \exists B\in {\mathcal {B}}(x)\ \mathrm {s.t.} \ B\subset V\right\}} とすればよい。 また近傍系は以下のように公理的に特徴づけられる。集合 X とその任意の元 x に対して X の部分集合のなす空でない族 V ( x ) {\displaystyle {\mathcal {V}}(x)} が次の 4 つの条件を満たすとき、集合 X 上に V ( x ) {\displaystyle {\mathcal {V}}(x)} を近傍系とする位相が唯ひとつ定まる。 ∀ U ⊆ X ,   V ∈ V ( x ) :   V ⊆ U ⟹ U ∈ V ( x ) {\displaystyle \forall U\subseteq X,\ V\in {\mathcal {V}}(x):\ V\subseteq U\implies U\in {\mathcal {V}}(x)} ∀ U 1 , … , U n ∈ V ( x ) :   ⋂ i = 1 n U i ∈ V ( x ) {\displaystyle \forall U_{1},\dotsc ,U_{n}\in {\mathcal {V}}(x):\ \bigcap _{i=1}^{n}U_{i}\in {\mathcal {V}}(x)} ∀ U ∈ V ( x ) :   x ∈ U {\displaystyle \forall U\in {\mathcal {V}}(x):\ x\in U} ∀ U ∈ V ( x ) ,   ∃ V ∈ V ( x ) :   ∀ y ∈ V ,   U ∈ V ( y ) {\displaystyle \forall U\in {\mathcal {V}}(x),\ \exists V\in {\mathcal {V}}(x):\ \forall y\in V,\ U\in {\mathcal {V}}(y)} 言葉で書くと次のようになる。 V が x の近傍ならば、V⊆U⊆X なる集合 U も x の近傍である。 x の近傍を有限個とると、その共通部分も x の近傍である。 x の近傍は x 自身を元にもつ。 U が x の近傍ならば、 x の別の近傍 V で、任意の y∈V に対し U が y の近傍でもあるようなものが存在する。実はこのような V で最大のものが存在して U の内部 int(U) に等しい。 ある点の全近傍系は明らかにそれ自身その点の近傍基である。 密着空間 X において、任意の点 x の近傍系は空間全体のみからなる： V ( x ) = { X } {\displaystyle {\mathcal {V}}(x)=\{X\}} 。 距離空間の任意の点 x に対して、x を中心とする半径 1/n の開球体の列 B ( x ) = { B 1 / n ( x ) ; n ∈ N ∗ } {\displaystyle {\mathcal {B}}(x)=\{B_{1/n}(x);n\in \mathbb {N} ^{*}\}} は可算な基本近傍系をなす。ゆえに、任意の距離空間は第一可算である。 空間 E 上の測度全体の成す空間に弱位相を入れたとき、測度 ν における基本近傍系は { μ ∈ M ( E ) : | μ f i − ν f i | < ε i , i = 1 , … , n } {\displaystyle \{\mu \in {\mathcal {M}}(E):|\mu f_{i}-\nu f_{i}|<\varepsilon _{i},i=1,\ldots ,n\}} で与えられる。ただし、fi は E 上の実数値連続有界函数である。 半ノルム空間、つまり半ノルムの誘導する位相を備えたベクトル空間において、任意の近傍系 V ( x ) {\displaystyle {\mathcal {V}}(x)} は原点 0 における近傍系 V ( 0 ) {\displaystyle {\mathcal {V}}(0)} を V ( x ) = V ( 0 ) + x {\displaystyle {\mathcal {V}}(x)={\mathcal {V}}(0)+x} と平行移動することによって得られる。これはベクトルの加法が半ノルムの誘導する位相に関して分離連続であるという仮定から従う。従って、この空間の位相は原点における近傍系のみから決定される。より一般に、位相が平行移動不変距離や擬距離から定まる場合にも同様のことが成り立つ。 空でない集合 A の任意の近傍系は A の近傍フィルターと呼ばれるフィルターを成す。 ^ Stephen Willard, General Topology (1970) Addison-Wesley Publishing (See Chapter 2, Section 4) ^ Broubaki 1989, p. 19. Broubaki, N. (1989). General topology. Springer-Verlag. pp. 18–19. ISBN 3-540-64241-2. https://books.google.co.jp/books?id=kTFSfmsjDM0C&pg=PA18  近傍 (位相空間論) 開基 (位相空間論) 局所凸位相線型空間 フィルター (数学) neighborhood system - PlanetMath.（英語） Weisstein, Eric W. "Neighborhood System Base". mathworld.wolfram.com (英語).