近傍(距離空間)
距離空間において、近傍とは、距離空間上の任意の点に関連付けられた特定の集合のことです。
距離空間上の点
\(x\)
の近傍は、
\(x\)
が作る開球を完全に含む集合と定義されます。