The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Continuous function spaces
Let be the space of bounded continuous functions from metric space to metric space with uniform metric.
Suppose is complete. Then is complete.
Proof sketch
Let be the space of bounded functions with uniform metric. This is complete. Now is a subspace of . It is also closed because of uniform convergence stuff. Hence, as a closed subspace of a complete space, it is complete.