The Square of a Nonnegative Continuous Real-Valued Function is Continuous
lemmaAnalysisTopologylem:square-nonnegative-continuous-2026aLet be a metric space, let , and let be the set of real numbers with the addition, multiplication and order of its ordered field structure, regarded as a metric space through the metric of The Absolute Value Metric on the Real Line.
Let be continuous on relative to , as a map into , and suppose that for every . Let be the function with for .
Then is continuous on relative to .
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.