開集合の性質 距離空間 X の開集合には次の著しい(?)性質があります。 は開集合 が開集合ならば も開集合 が開集合ならば も開集合 が開集合なのは約束事とも言えますが、定義からも示せます。残る二つの性質を示すのは難しくないでしょう。 閉集合が開集合…