### Real Analysis: Continuous Functions

Theorem: Let E and E' be metric spaces, with E compact and E' complete. Then the set of all continuous functions from E to E', with the distance between two such functions f and g taken to be max {d'( f(p), g(p) ) : p is an element of E} is a complete metric space. A sequence of points of this metric space converges if and only