Continuity of the Reciprocal of a Nonvanishing Real-Valued Function on a Metric Space
lemmaAnalysisTopologylem:reciprocal-continuous-real-metric-2026aLet be a metric space, let , and let . Let denote the real numbers, with the addition, multiplication, identities, additive inverses, multiplicative inverses and order of their ordered field structure; for write for , write to mean that and , write for the multiplicative inverse of when , let denote the absolute value of , and let be given by , which is a metric on by The Absolute Value Metric on the Real Line.
Let satisfy for every , and define by .
Then the following hold.
1. If is continuous at relative to as a map from to , then so is .
2. If is continuous on , then so is .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.