next up previous contents
Next: Other properties Up: Formalizing the concept of Previous: Quadratic functions

The sum of two functions

Suppose now that f and g have a common domain and

\begin{displaymath}
\begin{array}
{rcl}
\lim_{x\rightarrow a}f(x) & = & F\\ \lim_{x\rightarrow a}g(x) & = & G\end{array}\end{displaymath}

We want to verify that

\begin{displaymath}
\lim_{x\rightarrow a}(f+g)(x) = F+G\end{displaymath}

We begin as before, realizing that we can control |f(x) - F| and |g(x) - G|:

\begin{displaymath}
\begin{array}
{rcl}
\vert(f+g)(x) - (F+G)\vert
& = &
\vert f...
 ...\ & \leq &
\vert f(x) - F\vert + \vert g(x) - G\vert\end{array}\end{displaymath}

Now here is a plan: There is some mf so that if 0 < |x-a| < mf then |f(x) - F| < t/2 and there is some mg so that if 0 < |x-a| < mg then |g(x) - G| < t/2. So if $0 < \vert x-a\vert < \min(m_f,m_g)$ then |(f+g)(x) - (F+G)| < (t/2) + (t/2) = t, as required.



David G Radcliffe
8/18/1998