TheoremBase

Continuity of Sums and Products of Real-Valued Functions on a Metric Space

Constants, sums, products and scalar multiples of real-valued functions that are continuous at a point of a subset of a metric space are continuous there, and likewise on the whole subset.

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, multiplication, identities, additive inverses and order of their ordered field structure; 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}}), and let c∈Rc\in\mathbb{R}. Define maps f+gf+g, fgfg and cfcf from AA to R\mathbb{R} by

(f+g)(z)=f(z)+g(z),(fg)(z)=f(z)⋅g(z),(cf)(z)=c⋅f(z).(f+g)(z)=f(z)+g(z),\qquad (fg)(z)=f(z)\cdot g(z),\qquad (cf)(z)=c\cdot f(z).

Then the following hold.

1. For every b∈Rb\in\mathbb{R}, the map A→RA\to\mathbb{R} with constant value bb is continuous at xx relative to AA.

2. f+gf+g is continuous at xx relative to AA.

3. fgfg is continuous at xx relative to AA.

4. cfcf is continuous at xx relative to AA.

5. If ff and gg are continuous on AA, then f+gf+g, fgfg and cfcf 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…