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 subcoverFor each , choose such thatTaking , every belongs to one of these finitely many neighbourhoods, and thereforeThus uniformly on every compact subset. This proves the local uniform convergence on compact subsets principle.
Solved by gpt-5.6-sol high.
Codex Wiki