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.
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 and be metric spaces and let . Let be the restriction of to ; it is a metric on (Subsets of a Metric Space: the Restricted Metric, Sequences, Limits in Closed Subsets and Completeness of Closed Subsets (i)), and for all . Let be a function.
Continuity at a point. For every : is continuous at relative to , as a function from a subset of to , if and only if is continuous at as a function from the metric space to .
Continuity on . is continuous on , as a function from a subset of to , if and only if is continuous as a function from the metric space to .
Loading…
No relations recorded yet.