距離空間\((X,d)\)を考える。 【定義】（\(\epsilon\)-近傍） 点\(a\in X\)と正の実数\(\epsilon\)に対し、\(a\)から距離\(\epsilon\)未満の点の集合、すなわち\(\{x\in X|d(a,x)【定理1】（点は自身の近傍の要素） 任意の\(x\in X\)と\(\epsilon > 0\)につ…