7
$\begingroup$

In Rudin's textbook, "Principles of Mathematical Analysis", theorem 5.3 says:

If $f$ and $g$ are defined on $[a, b]$ and are differentiable at a point $x \in [a,b]$, then $$(f+g)'(x) = f'(x) + g'(x)$$

Rudin said this statement is clear by theorem 4.4, but I tried to prove it by myself. Could you tell me if my way is correct?

My proof:

\begin{align} (f+g)'(x) &= \lim_{t\to x} \frac{(f+g)(t) - (f+g)(x)}{(t-x)}\\ &= \lim _{t\to x} \frac{f(t) + g(t) - f(x) - g(x)}{(t-x)}\\ &= \lim _{t\to x} \frac{f(t)-f(x)}{t-x} + \lim _{t\to x} \frac{g(t)- g(x)}{t-x}\\ &= f'(x) + g'(x) \end{align}

$\endgroup$
4
  • 1
    $\begingroup$ Yep, looks good. You might want to work on your formatting though. $\endgroup$
    – Adriano
    Aug 3, 2013 at 21:55
  • $\begingroup$ @adriano Yeah! I just edited formatting! $\endgroup$ Aug 3, 2013 at 21:56
  • $\begingroup$ Looks good. I improved the formatting a little bit. Check out the source to see how I did it. $\endgroup$ Aug 3, 2013 at 22:01
  • $\begingroup$ Just wait till you graduate to Rudin's Real + Complex Analysis, or Functional Analysis. Then everything is 'clear'! $\endgroup$ Aug 4, 2013 at 3:09

1 Answer 1

5
$\begingroup$

It's correct.

I think I'd add a step that says this:

$$ \lim_{t\to x}\left( \frac{f(t)-t(x)}{t-x} + \frac{g(t)-g(x)}{t-x} \right) = \lim_{t\to x} \frac{f(t)-t(x)}{t-x} + \lim_{t\to x}\frac{g(t)-g(x)}{t-x}. $$

The reason I'd want this to be there is:

  • to be explicit about the fact that that is where I relied on the equality between the limit of the sum and the sum of the limits, provided the latter two limits exist;
  • two make it clear at what point the proof relies on the hypothesis that $f$ and $g$ are differentiable at $x$.

You could just replace your second line in your question with the left side of what I wrote above.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .