This is from my classnote:
Define to be all continuous functions on [0,1], and define its metric be
Show that if , then
Proof.
if , then for some
Consider the function , we see that [tex]h(x) [tex] is continuous on
Now, let , then
with
Then we have on (Why is that?)
Then we have