任意の距離空間って計量線型空間内に埋め込めるんだったっけ

>>208
定数倍違うだけなのに何で?