Let p be a prime number. Define what is meant by the p-adic metric dp on Q. Show that for a,b,c∈Q we have
dp(a,b)⩽max{dp(a,c),dp(c,b)}
Show that the sequence (an), where an=1+p+⋯+pn−1, converges to some element in (D.
For a∈Q define ∣a∣p=dp(a,0). Show that if a,b∈Q and if ∣a∣p=∣b∣p, then
∣a+b∣p=max{∣a∣p,∣b∣p}.
Let a∈Q and let B(a,δ) be the open ball with centre a and radius δ>0, with respect to the metric dp. Show that B(a,δ) is a closed subset of Q with respect to the topology induced by dp.