Qの非自明な位相なら可法付値 v 持ってきて

d(x,y) = exp( -v(x-y) )

でいいやん