# What is the most general integral on $\mathbb{R}$?

The day I learned about the Lebesgue integral was very exciting. A more general integral than Riemann, which is equal to it for all Riemann integrable functions (on finite domains)? Very cool.

Unfortunately, my curiosity led me to google, and my search results showed:

It turns out I'm more naive than I ever knew.

The question: Is there a "most general integral" of real-valued functions on the real line? One which agrees with the others where they are defined, but is defined on a superset of their domains? ("defined", for me, includes infinite integrals). The Khinchin integral seems like a candidate.

Note: I saw another similar question but it didn't ask about $\mathbb{R}$ specifically, which is my interest.

Note2: I don't mean "trivial" integrals, like one which is defined to be 0 whenever the Riemann integral is not defined, or equal to it otherwise. The answer would presumably have its own wikipedia page.

• An integral is just a linear map from the vector space of real-valued functions to the reals. Using the axiom of choice, you can even "find" an integral that works for all functions, extends Riemann on compact support and even avoids $\pm\infty$ ... it just cannot be computed Jun 16, 2016 at 20:56
• Fair - I could define the integral to be 0 any time Riemann is not defined. But what I'm asking is whether one of the known integrals is most general. Jun 16, 2016 at 23:40

The "gauge" integral,otherwise known as the Henstock–Kurzweil integral-is the most general integral known defined on subsets of $\mathbb R^n$, which of course includes the real line as a special case. Indeed, a number of mathematicians, including the late Robert Bartle, have suggested the gauge integral replace the Riemann integral in basic analysis/honors calculus courses because not only is it far more general then even the Lebesgue integral on these spaces, it's definition is much simpler. It results from a minor modification of the definition of a partition on a subset of $\mathbb R^n$.As a result, only a careful treatment of "$\epsilon-\delta$" calculus is needed to fully develop it.
• @Paul While the Khinchin integral is somewhat more general then the gauge integral,it is also quite a bit more sophisticated in machinery and many of the more general aspects are lost on subsets of $\mathbb R^n$. For these purposes,the gauge integral is more general then the Lebesgue integral and therefore covers all cases in these spaces. Jun 17, 2016 at 18:31