TheoremBase

Continuity of the Absolute Value, Maximum and Minimum of Real-Valued Functions on a Metric Space

Statement

Let (X,d)(X,d) be a metric space, let A⊆XA\subseteq X, and let x∈Ax\in A. Let R\mathbb{R} denote the real numbers, with the addition, identities, additive inverses and order of their ordered field structure, the order ≤\le being in particular a total order; for s,t∈Rs,t\in\mathbb{R} write s−ts-t for s+(−t)s+(-t), write s<ts<t to mean that s≤ts\le t and s≠ts\ne t, let ∣s∣|s| denote the absolute value of ss, and let dRd_{\mathbb{R}} be given by dR(s,t)=∣s−t∣d_{\mathbb{R}}(s,t)=|s-t|, which is a metric on R\mathbb{R} by The Absolute Value Metric on the Real Line.

Let f,g:A→Rf,g:A\to\mathbb{R} be continuous at xx relative to AA as maps from (X,d)(X,d) to (R,dR)(\mathbb{R},d_{\mathbb{R}}). Define maps from AA to R\mathbb{R} by

∣f∣(z)=∣f(z)∣,max⁡{f,g}(z)=max⁡{f(z),g(z)},min⁡{f,g}(z)=min⁡{f(z),g(z)},|f|(z)=|f(z)|,\qquad \max\{f,g\}(z)=\max\{f(z),g(z)\},\qquad \min\{f,g\}(z)=\min\{f(z),g(z)\},

where max⁡\max and min⁡\min of two elements are as in the definition of the maximum and the definition of the minimum.

Then the following hold.

1. ∣f∣|f| is continuous at xx relative to AA.

2. max⁡{f,g}\max\{f,g\} is continuous at xx relative to AA.

3. min⁡{f,g}\min\{f,g\} is continuous at xx relative to AA.

4. If ff and gg are continuous on AA, then ∣f∣|f|, max⁡{f,g}\max\{f,g\} and min⁡{f,g}\min\{f,g\} are continuous on 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…