Continuity of the Absolute Value, Maximum and Minimum of Real-Valued Functions on a Metric Space
lemmaAnalysisTopologylem:absolute-value-max-min-continuous-real-metric-2026aLet be a metric space, let , and let . Let denote the real numbers, with the addition, identities, additive inverses and order of their ordered field structure, the order being in particular a total order; 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 . Define maps from to by
where and of two elements are as in the definition of the maximum and the definition of the minimum.
Then the following hold.
1. is continuous at relative to .
2. is continuous at relative to .
3. is continuous at relative to .
4. 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.