Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/ib/paper-4/2g/solution

Fix . By assumption there is a neighbourhood of on which with uniform convergence. Each restriction is continuous, and a uniform limit of continuous functions is continuous. Thus is continuous, in particular at . Since was arbitrary, is continuous on .
Now let be compact and let . For each , choose a neighbourhood on which convergence is uniform. The sets cover , so compactness gives a finite subcover
For each , choose such that
Taking , every belongs to one of these finitely many neighbourhoods, and therefore
Thus uniformly on every compact subset. This proves the local uniform convergence on compact subsets principle.

New to topics? Read the docs here!