Mathematical Definition
For n > 1, consider a so-called "half-open" n-dimensional hyperrectangular domain T, defined as:
Partition each interval [aj, bj) into a finite family Ij of non-overlapping subintervals ijα, with each subinterval closed at the left end, and open at the right end.
Then the finite family of subrectangles C given by
is a partition of T; that is, the subrectangles Ck are non-overlapping and their union is T.
Let f : T → R be a function defined on T. Consider a partition C of T as defined above, such that C is a family of m subrectangles Cm and
We can approximate the total nth-dimensional volume bounded below by T and above by f with the following Riemann sum:
where Pk is a point in Ck and m(Ck) is the product of the lengths of the intervals whose Cartesian product is Ck, otherwise known as the measure of Ck.
The diameter of a subrectangle Ck is the largest of the lengths of the intervals whose Cartesian product is Ck. The diameter of a given partition of T is defined as the largest of the diameters of the subrectangles in the partition. Intuitively, as the diameter of the partition C is restricted smaller and smaller, the number of subrectangles m gets larger, and the measure m(Ck) of each subrectangle grows smaller. The function f is said to be Riemann integrable if the limit
exists, where the limit is taken over all possible partitions of T of diameter at most δ.
If f is Riemann integrable, S is called the Riemann integral of f over T and is denoted
Frequently this notation is abbreviated as
where x represents the n-tuple (x1, ... xn) and dx is the n-dimensional volume differential.
The Riemann integral of a function defined over an arbitrary bounded n-dimensional set can be defined by extending that function to a function defined over a half-open rectangle whose values are zero outside the domain of the original function. Then the integral of the original function over the original domain is defined to be the integral of the extended function over its rectangular domain, if it exists.
In what follows the Riemann integral in n dimensions will be called multiple integral.
Read more about this topic: Multiple Integral
Famous quotes containing the words mathematical and/or definition:
“It is by a mathematical point only that we are wise, as the sailor or the fugitive slave keeps the polestar in his eye; but that is sufficient guidance for all our life. We may not arrive at our port within a calculable period, but we would preserve the true course.”
—Henry David Thoreau (1817–1862)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)