基本近傍系 前回、近傍系(= 近傍の全体) を定義しましたが、これに対する基本近傍系 とは、任意の に対して となる が存在するものを言います。例えば を含む開集合の全体 距離空間 における などが基本近傍系になります。一般に基本近傍系は 全ての につい…