7设formula_48，这里formula_49是整除formula_47的formula_46的最高次幂；另外formula_52。对任何有理数formula_1，设formula_54。则formula_55在formula_7上定义了一个度量。度量空间formula_57不完备，它的完备集是"p"进数域formula_58。