Table of contents |
2 Formal statements 3 Generalizations |
To get a feeling for the statement, we will start with an example. Suppose you travel in a straight line, starting at time t = 0, and with varying speeds. If d(t) denotes the distance from the origin at time t and v(t) denotes the speed at time t, then v(t) is the instantaneous rate of change of d and is therefore the derivative of d. Suppose you know only v(t) from your speedometer, and you want to recover d(t). The fundamental theorem of calculus says that you should integrate v in order to get d. And this is exactly what you would have done, even without knowing that theorem: record the speed at regular intervals, maybe after 1 minute, 2 minutes, 3 minutes and so on, and then multiply the first speed with 1 minute to get an estimate for the distance covered in the first minute, then multiply the second speed with 1 minute to get the distance covered in the second minute etc., and then add all the distances up. In order to get an even better estimate of your current distance, you need to record the speeds at shorter time intervals. The limit as the length of the intervals approaches zero is exactly the definition of the integral of v.
If the function f(x) is continuous on some interval [a, b], then the function F(x) defined:
is differentiable on the whole interval and its derivative is f(x).
Here, t is a dummy variable which is only used for the purposes of the integration operation.
Part II of the theorem gives an important method for computing the integral of the continuous function f:
If is any antiderivative of the function (i.e. if ), then
As an example, suppose you need to calculate
Part II of the theorem is true for any Lebesgue integrable function f which has an antiderivative F (not all integrable functions do, though).
The version of Taylor's theorem which expresses the error term as an integral can be seen as a generalization of the Fundamental Theorem.
There is a version of the theorem for complex functions: suppose U is an open set in C and f: U -> C is a function which has a holomorphic antiderivative F on U. Then for every curve γ : [a, b] -> U, the curve integral can be computed as
The most powerful statement in this direction is Stokes' theorem.