You are here

Proof of the chain rule

6 November, 2015 - 17:30

In the statement of the chain rule on page 37, I followed my usual custom of writing derivatives as dy/dx, when actually the derivative is the standard part, st(dy/dx). In more rigorous notation, the chain rule should be stated like this:

st(\frac{dz}{dx})=st(\frac{dz}{dy})st(\frac{dy}{dx})

The transfer principle allows us to rewrite the left-hand side as st[(dz/dy)(dy/dx)], and then we can get the desired result using the identity st(ab) = st(a)st(b).