# Combination Theorem for Continuous Mappings/Metric Space/Sum Rule

Jump to navigation Jump to search

## Theorem

Let $M = \struct {A, d}$ be a metric space.

Let $\R$ denote the real numbers.

Let $f: M \to \R$ and $g: M \to \R$ be real-valued functions from $M$ to $\R$ which are continuous on $M$.

Then:

$f + g$ is ‎continuous on $M$.

## Proof

By definition of ‎continuous:

$\forall a \in M: \ds \lim_{x \mathop \to a} \map f x = \map f a$
$\forall a \in M: \ds \lim_{x \mathop \to a} \map g x = \map g a$

Let $f$ and $g$ tend to the following limits:

$\ds \lim_{x \mathop \to a} \map f x = l$
$\ds \lim_{x \mathop \to a} \map g x = m$

From the Sum Rule for Limits of Real Functions, we have that:

$\ds \lim_{x \mathop \to a} \paren {\map f x + \map g x} = l + m$

So, by definition of ‎continuous again, we have that $f + g$ is continuous on $M$.

$\blacksquare$
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "https://proofwiki.org/wiki/Combination_Theorem_for_Continuous_Mappings/Metric_Space/Sum_Rule", "fetch_time": 1680302768000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2023-14/segments/1679296949689.58/warc/CC-MAIN-20230331210803-20230401000803-00603.warc.gz", "warc_record_offset": 529575916, "warc_record_length": 11088, "token_count": 303, "char_count": 877, "score": 3.671875, "int_score": 4, "crawl": "CC-MAIN-2023-14", "snapshot_type": "latest", "language": "en", "language_score": 0.7596192955970764, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00048-of-00064.parquet"}