14. Ordinary Function.—The idea of a curve representing a continuous function in an interval is that of a line which has the following properties: (1) the co-ordinates of a point of the curve are a value x of the argument and the corresponding value y of the function; (2) at every point the curve has a definite tangent; (3) the interval can be divided into a finite number of partial intervals within each of which the function is monotonous; (4) the property of monotony within partial intervals is retained after interchange of the axes of co-ordinates x and y. According to condition (2) y is a continuous and differentiable function of x, but this condition does not include conditions (3) and (4): there are continuous partially monotonous functions which are not differentiable, there are continuous differentiable functions which are not monotonous in any interval however small; and there are continuous, differentiable and monotonous functions which do not satisfy condition (4) (cf. § 24). A function which can be represented by a curve, in the sense explained above, is said to be “ordinary,” and the curve is the graph of the function (§2). All analytic functions are ordinary, but not all ordinary functions are analytic.
15. Integrable Function.—The idea of integration is twofold. We may seek the function which has a given function as its differential coefficient, or we may generalize the question of finding the area of a curve. The first inquiry leads directly to the indefinite integral, the second directly to the definite integral. Following the second method we define “the definite integral of the function ƒ(x) through the interval between a and b” to be the limit of the sum
Σn1 ƒ(x′r) (xr − xr−1)
when the interval is divided into ultimately indefinitely small partial intervals by points x1, x2, ... xn−1. Here x′r denotes any point in the rth partial interval, x0 is put for a, and xn for b. It can be shown that the limit in question is finite and independent of the mode of division into partial intervals, and of the choice of the points such as x′r, provided (1) the function is defined for all points of the interval, and does not tend to become infinite at any of them; (2) for any one mode of division of the interval into ultimately indefinitely small partial intervals, the sum of the products of the oscillation of the function in each partial interval and the difference of the end-values of that partial interval has limit zero when n is increased indefinitely. When these conditions are satisfied the function is said to be “integrable” in the interval. The numbers a and b which limit the interval are usually called the “lower and upper limits.” We shall call them the “nearer and further end-values.” The above definition of integration was introduced by Riemann in his memoir on trigonometric series (1854). A still more general definition has been given by Lebesgue. As the more general definition cannot be made intelligible without the introduction of some rather recondite notions belonging to the theory of aggregates, we shall, in what follows, adhere to Riemann’s definition.
We have the following theorems:—
1. Any continuous function is integrable.
2. Any function with restricted oscillation is integrable.
3. A discontinuous function is integrable if it does not tend to become infinite, and if the points at which the oscillation of the function exceeds a given number σ, however small, can be enclosed in partial intervals the sum of whose breadths can be diminished indefinitely.
These partial intervals must be a set chosen out of some complete set obtained by the process used in the definition of integration.
4. The sum or product of two integrable functions is integrable.