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$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.