In the branch of

*every* point in (or ).
An

Darboux integral
In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function (mathematics), function. Darboux integrals are equivalent to Riemann integrals, meaning ...

offers a simpler definition that is easier to work with; it can be used to introduce the Riemann integral. The Darboux integral is defined whenever the Riemann integral is, and always gives the same result. Conversely, the gauge integral is a simple but more powerful generalization of the Riemann integral and has led some educators to advocate that it should replace the Riemann integral in introductory calculus courses.

mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and their changes (cal ...

known as real analysis
200px, The first four partial sums of the Fourier series for a square wave. Fourier series are an important tool in real analysis.">square_wave.html" ;"title="Fourier series for a square wave">Fourier series for a square wave. Fourier series are a ...

, the Riemann integral, created by Bernhard Riemann
Georg Friedrich Bernhard Riemann (; 17 September 1826 – 20 July 1866) was a German mathematician
A mathematician is someone who uses an extensive knowledge of mathematics
Mathematics (from Greek: ) includes the study of such topics ...

, was the first rigorous definition of the integral
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of a function
Function or functionality may refer to:
Computing
* Function key
A function key is a key on a computer
A computer is a machine that can be programmed to carry out sequences of arithmetic or logical operations automatically. Modern comp ...

on an interval. It was presented to the faculty at the University of Göttingen
The University of Göttingen, officially the Georg August University of Göttingen, (german: Georg-August-Universität Göttingen, known informally as Georgia Augusta) is a public research university in the city of Göttingen, Germany. Founded i ...

in 1854, but not published in a journal until 1868. For many functions and practical applications, the Riemann integral can be evaluated by the fundamental theorem of calculus
The fundamental theorem of calculus is a theorem
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they are contained (), and ...

or approximated by numerical integration
In analysis
Analysis is the process of breaking a complex topic or substance
Substance may refer to:
* Substance (Jainism), a term in Jain ontology to denote the base or owner of attributes
* Chemical substance, a material with a definite c ...

.
Overview

Let be a non-negativereal
Real may refer to:
Currencies
* Brazilian real (R$)
* Central American Republic real
* Mexican real
* Portuguese real
* Spanish real
* Spanish colonial real
Music Albums
* Real (L'Arc-en-Ciel album), ''Real'' (L'Arc-en-Ciel album) (2000)
* Real ...

-valued function on the interval , and let
:$S\; =\; \backslash left\; \backslash $
be the region of the plane under the graph of the function and above the interval (see the figure on the top right). We are interested in measuring the area of . Once we have measured it, we will denote the area by:
:$\backslash int\_^f(x)\backslash ,dx.$
The basic idea of the Riemann integral is to use very simple approximations for the area of . By taking better and better approximations, we can say that "in the limit" we get exactly the area of under the curve.
When can take negative values, the integral equals the ''signed area'' between the graph of and the -axis: that is, the area above the -axis minus the area below the -axis.
Definition

Partitions of an interval

Apartition of an interval
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

is a finite sequence of numbers of the form
:$a\; =\; x\_0\; <\; x\_1\; <\; x\_2\; <\; \backslash dots\; <\; x\_n\; =\; b$
Each is called a sub-interval of the partition. The mesh or norm of a partition is defined to be the length of the longest sub-interval, that is,
:$\backslash max\; \backslash left(x\_-x\_i\backslash right),\; \backslash quad\; i\; \backslash in;\; href="/html/ALL/s/,n-1.html"\; ;"title=",n-1">,n-1$
A tagged partition of an interval is a partition together with a finite sequence of numbers subject to the conditions that for each , . In other words, it is a partition together with a distinguished point of every sub-interval. The mesh of a tagged partition is the same as that of an ordinary partition.
Suppose that two partitions and are both partitions of the interval . We say that is a refinement of if for each integer , with , there exists an integer such that and such that for some with . Said more simply, a refinement of a tagged partition breaks up some of the sub-intervals and adds tags to the partition where necessary, thus it "refines" the accuracy of the partition.
We can turn the set of all tagged partitions into a directed set
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and th ...

by saying that one tagged partition is greater than or equal to another if the former is a refinement of the latter.
Riemann sum

Let be a real-valued function defined on the interval . The ''Riemann sum
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

'' of with respect to the tagged partition together with is
:$\backslash sum\_^\; f(t\_i)\; \backslash left(x\_-x\_i\backslash right).$
Each term in the sum is the product of the value of the function at a given point and the length of an interval. Consequently, each term represents the (signed) area of a rectangle with height and width . The Riemann sum is the (signed) area of all the rectangles.
Closely related concepts are the ''lower and upper Darboux sums''. These are similar to Riemann sums, but the tags are replaced by the infimum and supremum
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

(respectively) of on each sub-interval:
:$\backslash begin\; L(f,\; P)\; \&=\; \backslash sum\_^\; \backslash inf\_\; f(t)(x\_\; -\; x\_i),\; \backslash \backslash \; U(f,\; P)\; \&=\; \backslash sum\_^\; \backslash sup\_\; f(t)(x\_\; -\; x\_i).\; \backslash end$
If is continuous, then the lower and upper Darboux sums for an untagged partition are equal to the Riemann sum for that partition, where the tags are chosen to be the minimum or maximum (respectively) of on each subinterval. (When is discontinuous on a subinterval, there may not be a tag that achieves the infimum or supremum on that subinterval.) The Darboux integral
In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function (mathematics), function. Darboux integrals are equivalent to Riemann integrals, meaning ...

, which is similar to the Riemann integral but based on Darboux sums, is equivalent to the Riemann integral.
Riemann integral

Loosely speaking, the Riemann integral is the limit of the Riemann sums of a function as the partitions get finer. If the limit exists then the function is said to be integrable (or more specifically Riemann-integrable). The Riemann sum can be made as close as desired to the Riemann integral by making the partition fine enough. One important requirement is that the mesh of the partitions must become smaller and smaller, so that in the limit, it is zero. If this were not so, then we would not be getting a good approximation to the function on certain subintervals. In fact, this is enough to define an integral. To be specific, we say that the Riemann integral of equals if the following condition holds:For all , there exists such that for anyUnfortunately, this definition is very difficult to use. It would help to develop an equivalent definition of the Riemann integral which is easier to work with. We develop this definition now, with a proof of equivalence following. Our new definition says that the Riemann integral of equals if the following condition holds:tagged partition In mathematics, a partition of an interval (mathematics), interval on the real line is a finite sequence of real numbers such that :. In other terms, a partition of a compact space, compact interval is a strictly increasing sequence of numbers ...and whose mesh is less than , we have :$\backslash left,\; \backslash left(\; \backslash sum\_^\; f(t\_i)\; (x\_-x\_i)\; \backslash right)\; -\; s\backslash \; <\; \backslash varepsilon.$

For all , there exists a tagged partition and such that for any tagged partition and which is a refinement of and , we have : $\backslash left,\; \backslash left(\; \backslash sum\_^\; f(t\_i)\; (x\_-x\_i)\; \backslash right)\; -\; s\backslash \; <\; \backslash varepsilon.$Both of these mean that eventually, the Riemann sum of with respect to any partition gets trapped close to . Since this is true no matter how close we demand the sums be trapped, we say that the Riemann sums converge to . These definitions are actually a special case of a more general concept, a

net
Net or net may refer to:
Mathematics and physics
* Net (mathematics)
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers ( and ), formulas and related structures (), shapes and spaces in which they ...

.
As we stated earlier, these two definitions are equivalent. In other words, works in the first definition if and only if works in the second definition. To show that the first definition implies the second, start with an , and choose a that satisfies the condition. Choose any tagged partition whose mesh is less than . Its Riemann sum is within of , and any refinement of this partition will also have mesh less than , so the Riemann sum of the refinement will also be within of .
To show that the second definition implies the first, it is easiest to use the Darboux integral
In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function (mathematics), function. Darboux integrals are equivalent to Riemann integrals, meaning ...

. First, one shows that the second definition is equivalent to the definition of the Darboux integral; for this see the Darboux Integral
In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function (mathematics), function. Darboux integrals are equivalent to Riemann integrals, meaning ...

article. Now we will show that a Darboux integrable function satisfies the first definition. Fix , and choose a partition such that the lower and upper Darboux sums with respect to this partition are within of the value of the Darboux integral. Let
:$r\; =\; 2\backslash sup\_\; ,\; f(x),\; .$
If , then is the zero function, which is clearly both Darboux and Riemann integrable with integral zero. Therefore, we will assume that . If , then we choose such that
:$\backslash delta\; <\; \backslash min\; \backslash left\; \backslash $
If , then we choose to be less than one. Choose a tagged partition and with mesh smaller than . We must show that the Riemann sum is within of .
To see this, choose an interval . If this interval is contained within some , then
:$m\_j\; <\; f(t\_i)\; <\; M\_j$
where and are respectively, the infimum and the supremum of ''f'' on . If all intervals had this property, then this would conclude the proof, because each term in the Riemann sum would be bounded by a corresponding term in the Darboux sums, and we chose the Darboux sums to be near . This is the case when , so the proof is finished in that case.
Therefore, we may assume that . In this case, it is possible that one of the is not contained in any . Instead, it may stretch across two of the intervals determined by . (It cannot meet three intervals because is assumed to be smaller than the length of any one interval.) In symbols, it may happen that
:$y\_j\; <\; x\_i\; <\; y\_\; <\; x\_\; <\; y\_.$
(We may assume that all the inequalities are strict because otherwise we are in the previous case by our assumption on the length of .) This can happen at most times.
To handle this case, we will estimate the difference between the Riemann sum and the Darboux sum by subdividing the partition at . The term in the Riemann sum splits into two terms:
:$f\backslash left(t\_i\backslash right)\backslash left(x\_-x\_i\backslash right)\; =\; f\backslash left(t\_i\backslash right)\backslash left(x\_-y\_\backslash right)+f\backslash left(t\_i\backslash right)\backslash left(y\_-x\_i\backslash right).$
Suppose, without loss of generality, that . Then
:$m\_j\; <\; f(t\_i)\; <\; M\_j,$
so this term is bounded by the corresponding term in the Darboux sum for . To bound the other term, notice that
:$x\_-y\_\; <\; \backslash delta\; <\; \backslash frac,$
It follows that, for some (indeed any) ,
:$\backslash left,\; f\backslash left(t\_i\backslash right)-f\backslash left(t\_i^*\backslash right)\backslash \backslash left(x\_-y\_\backslash right)\; <\; \backslash frac.$
Since this happens at most times, the distance between the Riemann sum and a Darboux sum is at most . Therefore, the distance between the Riemann sum and is at most .
Examples

Let $f:;\; href="/html/ALL/s/,1.html"\; ;"title=",1">,1$ be the function which takes the value 1 at every point. Any Riemann sum of on will have the value 1, therefore the Riemann integral of on is 1. Let $I\_:;\; href="/html/ALL/s/,1.html"\; ;"title=",1">,1$ be theindicator function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of the rational numbers in ; that is, $I\_$ takes the value 1 on rational numbers and 0 on irrational numbers. This function does not have a Riemann integral. To prove this, we will show how to construct tagged partitions whose Riemann sums get arbitrarily close to both zero and one.
To start, let and be a tagged partition (each is between and ). Choose . The have already been chosen, and we can't change the value of at those points. But if we cut the partition into tiny pieces around each , we can minimize the effect of the . Then, by carefully choosing the new tags, we can make the value of the Riemann sum turn out to be within of either zero or one.
Our first step is to cut up the partition. There are of the , and we want their total effect to be less than . If we confine each of them to an interval of length less than , then the contribution of each to the Riemann sum will be at least and at most . This makes the total sum at least zero and at most . So let be a positive number less than . If it happens that two of the are within of each other, choose smaller. If it happens that some is within of some , and is not equal to , choose smaller. Since there are only finitely many and , we can always choose sufficiently small.
Now we add two cuts to the partition for each . One of the cuts will be at , and the other will be at . If one of these leaves the interval , 1
The comma is a punctuation
Punctuation (or sometimes interpunction) is the use of spacing, conventional signs (called punctuation marks), and certain typographical devices as aids to the understanding and correct reading of written text, ...

then we leave it out. will be the tag corresponding to the subinterval
:$\backslash left;\; href="/html/ALL/s/\_i\_-\_\backslash frac,\_t\_i\_+\_\backslash frac\_\backslash right\_.html"\; ;"title="\_i\; -\; \backslash frac,\; t\_i\; +\; \backslash frac\; \backslash right\; ">\_i\; -\; \backslash frac,\; t\_i\; +\; \backslash frac\; \backslash right$
If is directly on top of one of the , then we let be the tag for both intervals:
:$\backslash left;\; href="/html/ALL/s/\_i\_-\_\backslash frac,\_x\_j\_\backslash right\_.html"\; ;"title="\_i\; -\; \backslash frac,\; x\_j\; \backslash right\; ">\_i\; -\; \backslash frac,\; x\_j\; \backslash right$
We still have to choose tags for the other subintervals. We will choose them in two different ways. The first way is to always choose a rational point
In number theory and algebraic geometry, a rational point of an algebraic variety is a point whose coordinates belong to a given field (mathematics), field. If the field is not mentioned, the field of rational numbers is generally understood. If t ...

, so that the Riemann sum is as large as possible. This will make the value of the Riemann sum at least . The second way is to always choose an irrational point, so that the Riemann sum is as small as possible. This will make the value of the Riemann sum at most .
Since we started from an arbitrary partition and ended up as close as we wanted to either zero or one, it is false to say that we are eventually trapped near some number , so this function is not Riemann integrable. However, it is Lebesgue integrable
In mathematics, the integral of a non-negative Function (mathematics), function of a single variable can be regarded, in the simplest case, as the area between the Graph of a function, graph of that function and the -axis. The Lebesgue integral, ...

. In the Lebesgue sense its integral is zero, since the function is zero almost everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to ...

. But this is a fact that is beyond the reach of the Riemann integral.
There are even worse examples. $I\_$ is equivalent (that is, equal almost everywhere) to a Riemann integrable function, but there are non-Riemann integrable bounded functions which are not equivalent to any Riemann integrable function. For example, let be the Smith–Volterra–Cantor set
In mathematics, the Smith–Volterra–Cantor set (SVC), fat Cantor set, or ε-Cantor set is an example of a set of points on the real line ℝ that is nowhere dense (in particular it contains no interval (mathematics), intervals), yet has positiv ...

, and let be its indicator function. Because is not Jordan measurable, is not Riemann integrable. Moreover, no function equivalent to is Riemann integrable: , like , must be zero on a dense set, so as in the previous example, any Riemann sum of has a refinement which is within of 0 for any positive number . But if the Riemann integral of exists, then it must equal the Lebesgue integral of , which is . Therefore, is not Riemann integrable.
Similar concepts

It is popular to define the Riemann integral as theDarboux integral
In real analysis, a branch of mathematics, the Darboux integral is constructed using Darboux sums and is one possible definition of the integral of a function (mathematics), function. Darboux integrals are equivalent to Riemann integrals, meaning ...

. This is because the Darboux integral is technically simpler and because a function is Riemann-integrable if and only if it is Darboux-integrable.
Some calculus books do not use general tagged partitions, but limit themselves to specific types of tagged partitions. If the type of partition is limited too much, some non-integrable functions may appear to be integrable.
One popular restriction is the use of "left-hand" and "right-hand" Riemann sums. In a left-hand Riemann sum, for all , and in a right-hand Riemann sum, for all . Alone this restriction does not impose a problem: we can refine any partition in a way that makes it a left-hand or right-hand sum by subdividing it at each . In more formal language, the set of all left-hand Riemann sums and the set of all right-hand Riemann sums is cofinal in the set of all tagged partitions.
Another popular restriction is the use of regular subdivisions of an interval. For example, the th regular subdivision of consists of the intervals
:$\backslash left;\; href="/html/ALL/s/,\_\backslash frac\_\backslash right.html"\; ;"title=",\; \backslash frac\; \backslash right">,\; \backslash frac\; \backslash right$
Again, alone this restriction does not impose a problem, but the reasoning required to see this fact is more difficult than in the case of left-hand and right-hand Riemann sums.
However, combining these restrictions, so that one uses only left-hand or right-hand Riemann sums on regularly divided intervals, is dangerous. If a function is known in advance to be Riemann integrable, then this technique will give the correct value of the integral. But under these conditions the indicator function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

$I\_$ will appear to be integrable on with integral equal to one: Every endpoint of every subinterval will be a rational number, so the function will always be evaluated at rational numbers, and hence it will appear to always equal one. The problem with this definition becomes apparent when we try to split the integral into two pieces. The following equation ought to hold:
:$\backslash int\_0^\; I\_\backslash Q(x)\; \backslash ,dx\; +\; \backslash int\_^1\; I\_\backslash Q(x)\; \backslash ,dx\; =\; \backslash int\_0^1\; I\_\backslash Q(x)\; \backslash ,dx.$
If we use regular subdivisions and left-hand or right-hand Riemann sums, then the two terms on the left are equal to zero, since every endpoint except 0 and 1 will be irrational, but as we have seen the term on the right will equal 1.
As defined above, the Riemann integral avoids this problem by refusing to integrate $I\_.$ The Lebesgue integral is defined in such a way that all these integrals are 0.
Properties

Linearity

The Riemann integral is a linear transformation; that is, if and are Riemann-integrable on and and are constants, then :$\backslash int\_^\; (\backslash alpha\; f(x)\; +\; \backslash beta\; g(x))\backslash ,dx\; =\; \backslash alpha\; \backslash int\_^f(x)\backslash ,dx\; +\; \backslash beta\; \backslash int\_^g(x)\backslash ,dx.$ Because the Riemann integral of a function is a number, this makes the Riemann integral alinear functional
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and t ...

on the vector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of Riemann-integrable functions.
Integrability

Abounded function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities and ...

on a compact interval is Riemann integrable if and only if it is continuous function, continuous almost everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion to ...

(the set of its points of discontinuity has measure zero, in the sense of Lebesgue measure). This is the (of characterization of the Riemann integrable functions). It has been proven independently by Giuseppe Vitali and by Henri Lebesgue in 1907, and uses the notion of measure zero, but makes use of neither Lebesgue's general measure or integral.
The integrability condition can be proven in various ways, one of which is sketched below.
:
In particular, any set that is at most countable set, countable has Lebesgue measure zero, and thus a bounded function (on a compact interval) with only finitely or countably many discontinuities is Riemann integrable. Another sufficient criterion to Riemann integrability over , but which does not involve the concept of measure, is the existence of a right-hand (or left-hand) limit at indicator function
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

of a bounded set is Riemann-integrable if and only if the set is Jordan measurable. The Riemann integral can be interpreted measure theory, measure-theoretically as the integral with respect to the Jordan measure.
If a real-valued function is monotone function, monotone on the interval it is Riemann integrable, since its set of discontinuities is at most countable, and therefore of Lebesgue measure zero. If a real-valued function on is Riemann integrable, it is Lebesgue integrable
In mathematics, the integral of a non-negative Function (mathematics), function of a single variable can be regarded, in the simplest case, as the area between the Graph of a function, graph of that function and the -axis. The Lebesgue integral, ...

. That is, Riemann-integrability is a ''stronger'' (meaning more difficult to satisfy) condition than Lebesgue-integrability. The converse does not hold; not all Lebesgue-integrable functions are Riemann integrable.
The Lebesgue–Vitali theorem does not imply that all type of discontinuities have the same weight on the obstruction that a real-valued bounded function be Riemann integrable on . In fact, certain discontinuities have absolutely no role on the Riemann integrability of the function—a consequence of the Classification of discontinuities, classification of the discontinuities of a function.
If is a uniform convergence, uniformly convergent sequence on with limit , then Riemann integrability of all implies Riemann integrability of , and
:$\backslash int\_^\; f\backslash ,\; dx\; =\; \backslash int\_a^b\; =\; \backslash lim\_\; \backslash int\_^\; f\_n\backslash ,\; dx.$
However, the Lebesgue monotone convergence theorem (on a monotone pointwise limit) does not hold for Riemann integrals. Thus, in Riemann integration, taking limits under the integral sign is far more difficult to logically justify than in Lebesgue integration.
Generalizations

It is easy to extend the Riemann integral to functions with values in the Euclidean vector space $\backslash R^n$ for any . The integral is defined component-wise; in other words, if then :$\backslash int\backslash mathbf\; =\; \backslash left(\backslash int\; f\_1,\backslash ,\backslash dots,\; \backslash int\; f\_n\backslash right).$ In particular, since the complex numbers are a realvector space
In mathematics
Mathematics (from Greek: ) includes the study of such topics as numbers (arithmetic and number theory), formulas and related structures (algebra), shapes and spaces in which they are contained (geometry), and quantities a ...

, this allows the integration of complex valued functions.
The Riemann integral is only defined on bounded intervals, and it does not extend well to unbounded intervals. The simplest possible extension is to define such an integral as a limit, in other words, as an improper integral:
:$\backslash int\_^\backslash infty\; f(x)\backslash ,dx\; =\; \backslash lim\_\backslash int\_a^b\; f(x)\backslash ,dx.$
This definition carries with it some subtleties, such as the fact that it is not always equivalent to compute the Cauchy principal value
:$\backslash lim\_\; \backslash int\_^a\; f(x)\backslash ,dx.$
For example, consider the sign function which is 0 at , 1 for , and −1 for . By symmetry,
:$\backslash int\_^a\; f(x)\backslash ,dx\; =\; 0$
always, regardless of . But there are many ways for the interval of integration to expand to fill the real line, and other ways can produce different results; in other words, the multivariate limit does not always exist. We can compute
:$\backslash begin\; \backslash int\_^\; f(x)\backslash ,dx\; \&=\; a,\; \backslash \backslash \; \backslash int\_^a\; f(x)\backslash ,dx\; \&=\; -a.\; \backslash end$
In general, this improper Riemann integral is undefined. Even standardizing a way for the interval to approach the real line does not work because it leads to disturbingly counterintuitive results. If we agree (for instance) that the improper integral should always be
:$\backslash lim\_\; \backslash int\_^a\; f(x)\backslash ,dx,$
then the integral of the translation is −2, so this definition is not invariant under shifts, a highly undesirable property. In fact, not only does this function not have an improper Riemann integral, its Lebesgue integral is also undefined (it equals ).
Unfortunately, the improper Riemann integral is not powerful enough. The most severe problem is that there are no widely applicable theorems for commuting improper Riemann integrals with limits of functions. In applications such as Fourier series it is important to be able to approximate the integral of a function using integrals of approximations to the function. For proper Riemann integrals, a standard theorem states that if is a sequence of functions that uniform convergence, converge uniformly to on a compact set , then
:$\backslash lim\_\; \backslash int\_a^b\; f\_n(x)\backslash ,dx\; =\; \backslash int\_a^b\; f(x)\backslash ,dx.$
On non-compact intervals such as the real line, this is false. For example, take to be on and zero elsewhere. For all we have:
:$\backslash int\_^\backslash infty\; f\_n\backslash ,dx\; =\; 1.$
The sequence converges uniformly to the zero function, and clearly the integral of the zero function is zero. Consequently,
:$\backslash int\_^\backslash infty\; f\backslash ,dx\; \backslash neq\; \backslash lim\_\backslash int\_^\backslash infty\; f\_n\backslash ,dx.$
This demonstrates that for integrals on unbounded intervals, uniform convergence of a function is not strong enough to allow passing a limit through an integral sign. This makes the Riemann integral unworkable in applications (even though the Riemann integral assigns both sides the correct value), because there is no other general criterion for exchanging a limit and a Riemann integral, and without such a criterion it is difficult to approximate integrals by approximating their integrands.
A better route is to abandon the Riemann integral for the Lebesgue integral. The definition of the Lebesgue integral is not obviously a generalization of the Riemann integral, but it is not hard to prove that every Riemann-integrable function is Lebesgue-integrable and that the values of the two integrals agree whenever they are both defined. Moreover, a function defined on a bounded interval is Riemann-integrable if and only if it is bounded and the set of points where is discontinuous has Lebesgue measure zero.
An integral which is in fact a direct generalization of the Riemann integral is the Henstock–Kurzweil integral.
Another way of generalizing the Riemann integral is to replace the factors in the definition of a Riemann sum by something else; roughly speaking, this gives the interval of integration a different notion of length. This is the approach taken by the Riemann–Stieltjes integral.
In multivariable calculus, the Riemann integrals for functions from $\backslash R^n\backslash to\backslash R$ are multiple integrals.
Comparison with other theories of integration

The Riemann integral is unsuitable for many theoretical purposes. Some of the technical deficiencies in Riemann integration can be remedied with the Riemann–Stieltjes integral, and most disappear with the Lebesgue integral, though the latter does not have a satisfactory treatment of improper integrals. The gauge integral is a generalisation of the Lebesgue integral that is at once closer to the Riemann integral. These more general theories allow for the integration of more "jagged" or "highly oscillating" functions whose Riemann integral does not exist; but the theories give the same value as the Riemann integral when it does exist. In educational settings, theSee also

* Area * Antiderivative * Lebesgue integrationNotes

References

* Shilov, G. E., and Gurevich, B. L., 1978. ''Integral, Measure, and Derivative: A Unified Approach'', Richard A. Silverman, trans. Dover Publications. . *External links

* * {{Bernhard Riemann Definitions of mathematical integration Bernhard Riemann