In this post I’ll consider the task of integrating a function operating under the assumption that it is bounded. We will generalize the notion of a closed interval to that of a closed cell, and then generalize the notion of a partition to that of a division. We should note that in one variable, a partition can alternatively be viewed as a set of closed intervals on the real line, such that
- The union of all the closed intervals is the whole interval in question, .
- The interiors of these closed intervals have empty intersection, that is, they are disjoint.
It should come as no surprise, then, that in the multivariable case, we have the following definition.
Definition. A closed cell in is a set of the form . That is, a closed cell in is the Cartesian product of closed intervals in the real line.
To provide some intuition, note that a 1-cell is precisely a closed interval, a 2-cell is a closed rectangle, a 3-cell is a closed cube, and so on. We now proceed with our generalization of a partition.
Definition. Let be a closed cell in . A division of is a set where
- Each is a closed cell
Recall that in the single-variable case, the upper and lower Riemann sums were formed by taking the sum of the areas of rectangles of a certain height. For the upper sum, the height of these rectangles was the supremum of the function over the subinterval in question. For the lower sum, the height was given by the infimum of the function. Note how we started with closed intervals in the function’s domain and constructed rectangles. That is, we started with 1-cells in the domain, and we constructed 2-cells, based on the function’s behaviour.
In the multivariable case we will start with n-cells in our domain and use the function’s supremum and infimum over each cell to construct an n+1-cell. We now define the volume of a cell, which is quite a simple concept: it is merely the product of the cell’s dimensions. So the volume of a 1-cell is length, the volume of a 2-cell is area, and so forth.
Definition. Let be a closed cell in . Then its volume is given by .
We are finally ready to define what are known as the upper and lower Darboux sums for the function on the closed cell .
Definition. Let be a bounded function defined on a closed cell . Let be a division of . Then the upper and lower Darboux sums for with respect to are given, respectively, by
where we use the shorthand notation,
Let us consider some closed cell . Note that the upper and lower sums associated to a function can certainly change if we use a different division of (that is, we “chop it up” differently.) So it makes sense to consider the set of all upper and lower sums as we vary the division.
Definition. Let be a closed cell in , and let be a function. We define the upper and lower integrals of over the cell by
and we say, in the case that , that the function is integrable on the closed cell .
Anyways, there is much more to say on the subject. If your interest is piqued you can see the relevant section in my LaTeXed MATH 247 notes (which by the way aren’t done yet, so no guarantees on whether they’re perfect and polished, heh.)