距離化可能定理part1:Alexandroff-Urysohn-Tukey

距離化可能定理パート1デス。