Completion of ℚ under the p-adic absolute value |x|_p = p^{−v_p(x)}. Complete, locally-compact, totally-disconnected field; together with ℝ exhausts all completions of ℚ (Ostrowski).
Completion of ℚ under the p-adic absolute value |x|_p = p^{−v_p(x)}. Complete, locally-compact, totally-disconnected field; together with ℝ exhausts all completions of ℚ (Ostrowski).