数学 の位相空間論 周辺分野において、点の近傍系 (きんぼうけい、英 : 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\}} とすればよい[1] 。
また近傍系は以下のように公理的に特徴づけられる。集合 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\}} で与えられる。ただし、f i は 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 )
参考文献
関連項目
外部リンク neighborhood system - PlanetMath .(英語) Weisstein, Eric W . "Neighborhood System Base ". MathWorld (英語). ウィキペディア、ウィキ、本、library、論文、読んだ、ダウンロード、自由、無料ダウンロード、mp3、video、mp4、3gp、 jpg、jpeg、gif、png、画像、音楽、歌、映画、本、ゲーム、ゲーム。