今回は、距離空間の性質を一般化して位相空間を定義する方法を見ていきます。 距離 X を集合とするとき、 が距離であるとは (三角不等式) が成り立つことを言います。距離 d が与えられた集合 X を距離空間といいます。例えば、実数や複素数なら絶対値を用い…