Sum of Continuous Functions on Topological Ring is Continuous
Jump to navigation
Jump to search
Theorem
Let $X$ be a topological space.
Let $R$ be a topological ring.
Let $f, g : X \to R$ be continuous mappings.
Then $f + g : X \to R$ is continuous.
Proof
Equip the Cartesian product $R \times R$ with its product topology.
Define $h : X \to R \times R$ by:
- $\map h x = \tuple {\map f x, \map g x}$
for each $x \in X$ and $s : R \times R \to R$ by:
- $\map s {x, y} = x + y$
for each $\tuple {x, y} \in R \times R$.
From Continuous Mapping to Product Space, $h$ is continuous.
From the definition of a topological ring, $s$ is continuous.
From Composite of Continuous Mappings is Continuous, $s \circ h : X \to R$ is continuous.
Then:
\(\ds \map {\paren {s \circ h} } x\) | \(=\) | \(\ds \map s {\map f x, \map g x}\) | ||||||||||||
\(\ds \) | \(=\) | \(\ds \map f x + \map g x\) |
for $x \in X$.
$\blacksquare$