TheoremBase

The Square of a Nonnegative Continuous Real-Valued Function is Continuous

Statement

Let (X,d)(X,d) be a metric space, let A⊆XA\subseteq X, and let R\mathbb{R} be the set of real numbers with the addition, multiplication and order ≤\le of its ordered field structure, regarded as a metric space through the metric dRd_{\mathbb{R}} of The Absolute Value Metric on the Real Line.

Let f:A→Rf:A\to\mathbb{R} be continuous on AA relative to AA, as a map into (R,dR)(\mathbb{R},d_{\mathbb{R}}), and suppose that 0≤f(y)0\le f(y) for every y∈Ay\in A. Let f2:A→Rf^{2}:A\to\mathbb{R} be the function with f2(y)=f(y) f(y)f^{2}(y)=f(y)\,f(y) for y∈Ay\in A.

Then f2f^{2} is continuous on AA relative to AA.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…