Continuity of Sums and Products of Real-Valued Functions on a Metric Space
theoremAnalysisTopologythm:sum-product-continuous-real-metric-2026aLet be a metric space, let , and let . Let denote the real numbers, with the addition, multiplication, identities, additive inverses and order of their ordered field structure; for write for , write to mean that and , 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 be continuous at relative to as maps from to , and let . Define maps , and from to by
Then the following hold.
1. For every , the map with constant value is continuous at relative to .
2. is continuous at relative to .
3. is continuous at relative to .
4. is continuous at relative to .
5. If and are continuous on , then , and are continuous on .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.