TheoremBase

Continuity on a Subset Is Continuity on the Metric Subspace

A map defined on a subset A of a metric space is continuous at a point relative to A, or continuous on A, exactly when it is continuous at that point, or continuous, as a map from A with the restricted metric.

Statement

In the setting of Routine Facts Used Without Citation: Arithmetic, Maps, Predicativity and Indices, which extends Metric Spaces: Balls, the Metric Topology, and the Real and Complex Numbers as Metric Spaces, let (X,d)(X,d) and (Y,e)(Y,e) be metric spaces and let A⊆XA\subseteq X. Let dA=d∣A×Ad_{A}=d|_{A\times A} be the restriction of dd to A×AA\times A; it is a metric on AA (Subsets of a Metric Space: the Restricted Metric, Sequences, Limits in Closed Subsets and Completeness of Closed Subsets (i)), and dA(a,b)=d(a,b)d_{A}(a,b)=d(a,b) for all a,b∈Aa,b\in A. Let f:A→Yf:A\to Y be a function.

Continuity at a point. For every x∈Ax\in A: ff is continuous at xx relative to AA, as a function from a subset of (X,d)(X,d) to (Y,e)(Y,e), if and only if ff is continuous at xx as a function from the metric space (A,dA)(A,d_{A}) to (Y,e)(Y,e).

Continuity on AA. ff is continuous on AA, as a function from a subset of (X,d)(X,d) to (Y,e)(Y,e), if and only if ff is continuous as a function from the metric space (A,dA)(A,d_{A}) to (Y,e)(Y,e).

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…