Assuming is a metric is also a metric since iff iff and clearly . The commutativity follows immediately and so we only have to prove the triangle inequality which is equivalent to: which is clearly true.

For the second one, which is ? Is it the usual metric?