Proof of A Continuous Compactly Supported Function on is Uniformly Continuous
lemmalem:continuous-compact-support-uniformly-continuous-2026aTopological notions on refer to the topology of the sets open in , which is a topology by Metric Open Sets Form a Topology.
By claim 2 of Compact Support on Means Vanishing Outside a Bounded Set there is a real number such that for every with . Let be the closed ball of centre the origin and radius in ; it is compact by claim 2 of A Closed Euclidean Ball is Convex and Compact. By claim 2 of Elementary Properties of the Euclidean Norm on the distance from a point to the origin is , so consists exactly of the points with .
The restriction of to is continuous on : given and a real , any witnessing continuity of at relative to also witnesses continuity at relative to the subset of . Hence, by Heine-Cantor Theorem: Continuity on a Compact Subset Implies Uniform Continuity, that restriction is uniformly continuous on .
Now let be real. Choose such that all with satisfy , and let be the smaller of and , so that , and . Let satisfy .
If both and lie in , then and the choice of gives .
Otherwise at least one of the two points fails to lie in ; since is symmetric and the desired conclusion is symmetric in and , we may assume it is , so that . By claim 2 of Elementary Properties of the Euclidean Norm on we have , and by claim 6 of the same lemma, applied to the points and whose sum is ,
Hence , and also . By the choice of both and are , so and therefore , because a metric assigns distance to a point and itself.
In both cases . As was arbitrary, is uniformly continuous on .
Loading…
Prerequisites
deea50ed-e190-4b7b-8321-23b5b22b1b77