Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

This may sound a bit too elementary but at school, differential equations are taught in a haste . I am quite shaky when it comes to rigorously prove identities like $d(a+b)=da+db$.So, can anyone please point me to a source where I can learn to rigorously prove them and understand what really is going on?


share|cite|improve this question
Do you mean linearity of differentiation? – Alex Oct 26 '12 at 6:05
If you do mean linearity of differentiation, then consider the limit definition of a derivative. Usually by the time that is talked about, you already have the fact that if $\lim_{x\to x_0}A(x)= a$ and $\lim_{x\to x_0}B(x)= b$, then $lim_{x\to x_0}(A+B)(x)= a+b$ and similar theorems. If you wish to derive those statements, then you will need to use the epsilon-delta definition of limits; for examples about how to work with $\varepsilon$-$\delta$ arguments, you can refer to any number of online resources for intro calculus classes, and try to generalize. – Eric Stucky Oct 26 '12 at 6:10
up vote 1 down vote accepted

What you want to do is prove that differential one forms behave linearly. You can attack this at several levels of depth. The most shallow way is to simply use the result that differentiation is a linear operator (which, with respect to proving $d(a+b)=da+db$, is not very far from "because I said so," but okay conceptually). To be more thorough, you can state the one form definitions concretely in terms of differentiation definitions, then use (or show) that the limits behave linearly.

share|cite|improve this answer
So, it seems I will have to wait till I know differential geometry. – user43081 Oct 26 '12 at 7:00

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.