On the set Q of rational numbers, the 3 -adic metric d3 is defined as follows: for x,y∈Q, define d3(x,x)=0 and d3(x,y)=3−n, where n is the integer satisfying x−y=3nu where u is a rational number whose denominator and numerator are both prime to 3 .
(1) Show that this is indeed a metric on Q.
(2) Show that in (Q,d3), we have 3n→0 as n→∞ while 3−n↛∞ as n→∞. Let d be the usual metric d(x,y)=∣x−y∣ on Q. Show that neither the identity map (Q,d)→(Q,d3) nor its inverse is continuous.