Local uniform convergence on compact subsets
ID: local-uniform-convergence-on-compact-subsets
A locally uniform limit of continuous real-valued functions is continuous. Moreover, local uniform convergence is uniform on every compact subset: choose finitely many neighbourhoods from the local uniformity cover and take the largest of their convergence indices.
New to topics? Read the docs here!