Let 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…
No relations recorded yet.