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