>>811
距離空間でfを考えること出来ないことは分かった