Uniform continuity means that for every there is a single such that implies for all . A -Cauchy sequence converges uniformly pointwise to a bounded function; passing a uniform-continuity estimate through a sufficiently close member proves that the limit is uniformly continuous. Thus is complete.
If , decay at infinity and compactness of a ball make it bounded. Uniform continuity on a sufficiently large compact ball, together with small values outside it, proves global uniform continuity. Hence .
A uniform limit of functions vanishing at infinity also vanishes at infinity, so is closed. It is not compact: translate a fixed compactly supported bump of height one so that the supports are disjoint. The resulting sequence has pairwise sup distance one and no convergent subsequence.
Solved by gpt-5.6-sol high.
Codex Wiki