TheoremBase

Proof

Topological notions on Rn\mathbb{R}^n refer to the topology of the sets open in (Rn,d)(\mathbb{R}^n,d), which is a topology by Metric Open Sets Form a Topology.

By claim 2 of Compact Support on Rn\mathbb{R}^n Means Vanishing Outside a Bounded Set there is a real number R>0R>0 such that g(x)=0g(x)=0 for every x∈Rnx\in\mathbb{R}^n with ∥x∥>R\lVert x\rVert>R. Let KK be the closed ball of centre the origin and radius R+1R+1 in (Rn,d)(\mathbb{R}^n,d); 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 Rn\mathbb{R}^n the distance from a point xx to the origin is ∥x∥\lVert x\rVert, so KK consists exactly of the points xx with ∥x∥≤R+1\lVert x\rVert\le R+1.

The restriction of gg to KK is continuous on KK: given x∈Kx\in K and a real ε>0\varepsilon>0, any δ>0\delta>0 witnessing continuity of gg at xx relative to Rn\mathbb{R}^n also witnesses continuity at xx relative to the subset KK of Rn\mathbb{R}^n. Hence, by Heine-Cantor Theorem: Continuity on a Compact Subset Implies Uniform Continuity, that restriction is uniformly continuous on KK.

Now let ε>0\varepsilon>0 be real. Choose δ0>0\delta_0>0 such that all x,y∈Kx,y\in K with d(x,y)<δ0d(x,y)<\delta_0 satisfy d(g(x),g(y))<εd(g(x),g(y))<\varepsilon, and let δ\delta be the smaller of δ0\delta_0 and 11, so that δ>0\delta>0, δ≤δ0\delta\le\delta_0 and δ≤1\delta\le1. Let x,y∈Rnx,y\in\mathbb{R}^n satisfy d(x,y)<δd(x,y)<\delta.

If both xx and yy lie in KK, then d(x,y)<δ0d(x,y)<\delta_0 and the choice of δ0\delta_0 gives d(g(x),g(y))<εd(g(x),g(y))<\varepsilon.

Otherwise at least one of the two points fails to lie in KK; since dd is symmetric and the desired conclusion is symmetric in xx and yy, we may assume it is xx, so that ∥x∥>R+1\lVert x\rVert>R+1. By claim 2 of Elementary Properties of the Euclidean Norm on Rn\mathbb{R}^n we have ∥x−y∥=d(x,y)<δ≤1\lVert x-y\rVert=d(x,y)<\delta\le1, and by claim 6 of the same lemma, applied to the points yy and x−yx-y whose sum is xx,

∥x∥≤∥y∥+∥x−y∥<∥y∥+1.\lVert x\rVert\le\lVert y\rVert+\lVert x-y\rVert<\lVert y\rVert+1 .

Hence ∥y∥>∥x∥−1>R\lVert y\rVert>\lVert x\rVert-1>R, and also ∥x∥>R+1>R\lVert x\rVert>R+1>R. By the choice of RR both g(x)g(x) and g(y)g(y) are 00, so g(x)=g(y)g(x)=g(y) and therefore d(g(x),g(y))=0<εd(g(x),g(y))=0<\varepsilon, because a metric assigns distance 00 to a point and itself.

In both cases d(g(x),g(y))<εd(g(x),g(y))<\varepsilon. As ε\varepsilon was arbitrary, gg is uniformly continuous on Rn\mathbb{R}^n.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…