>>332
距離空間で開球を使って定義される開集合が、位相空間の開集合系の公理（任意の開集合族の和集合も開集合etc）を満たすことを証明
というようなことじゃないの？