近傍 (位相空間論)
位相空間の基本概念の一つ
定義
編集
位相空間 Xと Xの点 pに対して、p の近傍とは、p を含む Xのある開集合 Uを含むような Xの部分集合
をいう。これは Vの内部に pが含まれるといっても同じことである。
注意すべきは、V それ自体は Xの開集合である必要はないことである。V 自身が開集合となるときは特に開近傍と呼ぶ。文献によっては開近傍を以って単に近傍とする場合もあるが、普通はそのことを断る。
また、任意の開集合はそれに含まれる全ての点の︵開︶近傍である。
一つの点の近傍全体の成す集合族は、その点における全近傍系と呼ばれる。
X の部分集合 Sに対して、S の近傍とは、S を含む開集合を含む集合 Vをいう。従って、集合 Vが Sの近傍であるための必要十分条件は、それが Sの点すべての近傍となることである。従ってさらに、V が Sの近傍であることと Sが Vの内部の部分集合であることとは同値である。
距離空間における近傍
編集
距離空間 (X, d) において、X の部分集合 Vが Xの点 pの近傍であるとは、p を中心とする半径 rの開球体
で、V に含まれるようなものが存在することをいう。
V が Xの部分集合 Sの一様近傍であるとは、正の実数 r> 0 が存在して、S の任意の点 pに対して
が Vに含まれるときにいう。
各 r> 0 に対して、集合 Sの r-近傍 Srとは Sからの距離が rより小さいような Xの点全体の成す集合をいう。これは Sの各点を中心とする半径 rの開球体全体の和集合が Srであるといっても同じである。
従って直接的に、r-近傍が一様近傍であること、および、ある集合が一様近傍であるための必要十分条件が、その集合が適当な値の rに対する r-近傍を含むことであることなどが分かる。
例
編集実数全体の成す集合 R 上に通常のユークリッド距離を入れたものを考え、部分集合 V を
で定めると、V は自然数全体の成す集合 N の近傍であるが、一様近傍ではない。
近傍系の定める位相
編集
上述の定義は開集合が既に与えられているときには有用であるが、そうでない場合にも位相を定義する方法は複数存在しており、先に近傍系を定義しておいてそれを用いて開集合を﹁その各点の近傍が常に含まれる集合﹂として定義することも可能である。
X 上の近傍系とは、X の各点に Xの部分集合からなるフィルター N(x) で以下の条件を満足するものを割り当てたものである。
(一)点 xは N(x) のどの元 Uにも含まれる。
(二)N(x) の各元 Uについて N(x) の元 Vで Vの各元 yに対して Uが N(y) に属するようなものが存在する。︵上の条件により yは Uに含まれるので Vは Uに含まれる︶
この定義と先の定義とは両立する。すなわち、開集合系を使って定義される近傍系から得られる位相は元々の位相と一致し、かつ逆に近傍系から得られる位相に関する開集合系によって位相を定めたものも元々の位相に一致する。
一様近傍
編集一様空間 (X, δ) において、X の部分集合 V が X の点 P の一様近傍であるとは、P が X ∖ V に近くないこと、つまり P と X ∖ V をともに含む近縁が存在しないことをいう。
穴あき近傍
編集関連項目
編集参考文献
編集- Kelley, John L. (1975). General topology. New York: Springer-Verlag. ISBN 0387901256
- Bredon, Glen E. (1993). Topology and geometry. New York: Springer-Verlag. ISBN 0387979263
- Kaplansky, Irving (2001). Set Theory and Metric Spaces. American Mathematical Society. ISBN 0821826948