Let metric space. Let be the space of every continuous and bounded functions from to
Prove that is a metric on
Well obviously if besides it's so the only thing we need to prove is that
First, we have but it's easy to see that every component of the inequality is bounded, so it follows that
Is this correct?