Suppose $f(a) = f(b)$ for some $a, b \in X$. Then, by the definition of an isometry, we have $p(f(a), f(b)) = d(a, b)$. Since $f(a) = f(b)$, we have $p(f(a), f(a)) = d(a, b)$. But $p(f(a), f(a)) = 0$ because the distance between a point and itself is always 0.
Show more…