TheoremBase

The delta given by uniform continuity for a given epsilon serves at every point, after one use of the symmetry of the metric.

Proof

Let x∈Ax\in A and let ε>0\varepsilon>0 be real. By Uniformly Continuous Map Between Metric Spaces §uniformly-continuous there is a real δ>0\delta>0 such that all z,z′∈Az,z'\in A with dX(z,z′)<δd_{X}(z,z')<\delta satisfy dY(f(z),f(z′))<εd_{Y}(f(z),f(z'))<\varepsilon. Let y∈Ay\in A with dX(x,y)<δd_{X}(x,y)<\delta. Taking z=xz=x and z′=yz'=y gives dY(f(x),f(y))<εd_{Y}(f(x),f(y))<\varepsilon, and dY(f(y),f(x))=dY(f(x),f(y))d_{Y}(f(y),f(x))=d_{Y}(f(x),f(y)) by Metric Space §symmetric, so dY(f(y),f(x))<εd_{Y}(f(y),f(x))<\varepsilon. As ε\varepsilon was arbitrary and δ\delta was chosen after it, ff is continuous at xx relative to AA; as x∈Ax\in A was arbitrary, ff is continuous on AA by Continuous Map Between Metric Spaces §continuous.

Citations

Loading…

Dependencies

Uses0

Loading…

Comments

Log in to comment.

Loading…