Rでも完備付値体でも使うのは一向に構いませんが、位相を入れるのは厳禁です
もちろん、距離を定めるなんてとんでもない