距離化定理
位相幾何学および関連する数学の分野において、距離化可能空間（きょりかかのうくうかん、）とは、距離空間と位相同型な位相空間のことを言う。すなわち、ある位相空間 formula_1 が距離化可能であるとは、ある距離
で、それによって導かれる位相が formula_3 であるようなものが存在することを言う。距離化定理（きょりかていり、）とは、位相空間が距離化可能であるための十分条件を与える定理のことを言う。