sequential continuity compactum convergent sequence compact space monotone convergence theorem supercompactness compactification uniform convergence locally compact group continuous function