El espacio métrico formula_86 no es completo, su completitud es el cuerpo de los números p-ádicos formula_87.