9

It's often said that the Lebesgue integral is superior to the Riemann integral because it satisfies nicer properties, for instance things like

$$\lim_{n\to\infty} \int f_n = \int \lim_{n\to\infty} f_n$$

But if in the course of a problem we're blocked by the fact that our (Riemann) integrals aren't satsifying some mathematical property, how could it possibly solve our problem to change the definition of the integral? The original problem statement, after all, was formulated for Riemann integrals, so by changing the definition of the integral, we're surely addressing a different problem. I realize the Lebesgue and Riemann definitions agree when they're both defined, but that's just the thing - the cases in which the Lebesgue integral is useful are precisely those cases in which the Riemann integral isn't defined.

Imagine I was doing algebra, investigating some particular ring, and I was bothered by the fact that the ring wasn't principal. I wouldn't be able to get out of that trouble by simply changing the definition of "principal". Otherwise I may as well just say "by definition, all rings are Jack Principal, so my ring is principal".

What the question really boils down to is:

Why does changing the definition of an integral not change the nature of the problem so much as to make any conclusions irrelevant to the original problem?

Maybe the best kind of answer to this question would be an example of a problem which is satisfactorily solved by changing the definition of the integral, but I'm open to any explanations you feel address this confusion.

Jack M
  • 27,819
  • 7
  • 63
  • 129

2 Answers2

4

There are several answers to this.

As a first example, consider the introductin of the complex numbers. Even if you are only interested in calculating for example real (Riemann) integrals, then theorems from complex analysis like the Residue theorem can help you calculate certain real integrals which are very difficult to calculate directly (see http://en.wikipedia.org/wiki/Residue_theorem#Example).

Hence, introducing a further structure containing a lot of new elements in which we are not really interested (imaginary numbers, oh my), can suddenly lead to new insights for the old structure.



Also, we are not necessarily only interested in Riemann integrals. What one often wants is some form of an integral with good properties.

For example, one thing one wants to introduce/consider/study/use is the scale of spaces $L^p(U)$ for $U \subset \Bbb{R}^n$ open (take $n=1$ if you wish). For certain problems, these spaces are far superior to the "classical" spaces $C_b (U)$ (bounded continuous functions) or $C_b^k (U)$ and the like (one can also define the Sobolev spaces $W^{k,p}(U)$ which will give you something similar to $C_b^k$), because they are reflexive (at least for $1 < p < \infty$), which allows a certain amount of compactness arguments, for example every norm-bounded sequence has a weakly convergent subsequence. This is used often in PDE-theory or in the calculus of variations.

If you define these spaces using the Riemann-integral as

$$ L^p (U) = \{f : U \to \Bbb{R} \mid f \text{ Riemann integrable and } \int |f|^p \, dx < \infty\}, $$ the resulting space will not be complete, but if you define (essentially) the same thing using Lebesgue-measurable functions for which $\int|f|^p \, dx < \infty$, you will get a complete space and you can get your theory going.

As a further example, you might be interested in the fundamental theorem of calculus, i.e.

$$ f(b) - f(a) = \int_a^b f'(t) \, dt. $$

Using the Riemann integral, you will only be able to show this as long as (at least) the derivative is Riemann integrable. Hence, you are somewhat artificially restricting your theorem, because you insist on using the Riemann integral. Using for example the Lebesgue-integral, one can show that it suffices if $f ' $ is Lebesgue integrable and $f'(t)$ exists at every $t$. One can even exclude a countable set of $t$, as long as $f$ is continuous, see here (A Fundamental Theorem of Calculus) if you are interested.



Also, you can get many properties of the Riemann integral through having the Lebesgue integral.

This is somewhat similar to the introduction of the real numbers. Often/sometimes, you are only interested in the fact whether a certain equation has a rational/algebraic solution.

In this case, it can be much easier to show that the equation has a real solution (because you have certain devices like the intermediate value theorem or Banach's fixed point theorem which fail on the rationals) and once you have shown that, you show that the solution is actually rational/algebraic/...

As above, you will sometimes show that a certain (partial differential) equation or a certain minimization problem has a solution in the Sobolev space $W^{k,p}$, but once you know that such a solution exists, you can afterwards show that the solution is even $C^k$, hence solving your original problem.

Also, consider the following:

  1. You have a sequence $f_n \to f$ (pointwise) of Riemann integrable functions on $[0,1]$ with $f$ also Riemann integrable and $|f_n| \leq K$ for all $n$. Then you want to know that $$ \int_0^1 f_n \,dx \to \int_0^1 f \,dx. $$ You can show this easily using the theory of the Lebesgue integral (dominated convergence), but try proving it directly for the Riemann integral! (I don't know how to do that!)

  2. You know something like: If $f : [0,1] \to \Bbb{R}$ is bounded, it is Riemann integrable iff the set of discontinuities is a Lebesgue null-set. This allows for (easily) showing things like "if $g : \Bbb{R} \to \Bbb{R}$ is continuous and $f$ Riemann integrable, then $g \circ f $ is Riemann integrable." You can certainly do this without Lebesgue theory, but it is very convenient.

PhoemueX
  • 35,087
  • As an additional comment, this post http://math.stackexchange.com/questions/1047630/f-n-in-mathcalra-b-converges-pointwise-to-f-in-mathcalra-b asks for a proof of $\lim \int f_n = \int f$ if $f_n \to f$ pointwise and $f$ and all $f_n$ are Riemann integrable with $|f_n| \leq M$. As the first answer shows, there are elementary proofs, but I would argue that the proof by Lebesgue integration is still more natural/easy to understand. – PhoemueX Dec 02 '14 at 12:33
1

I am far from an expert on analysis and measure theory. However, I think the goal of integrating a function is (intuitively speaking) to get the area under the curve/surface. Riemann formalized this concept by partitioning the domain which leads to contradiction when you have uncountable discontinuity. Lebesgue on the other hand defined the concept of integration by partitioning the co-domain which generalize the concept over Riemann. Hence, using Lebesgue integration should enable you to compute the are under the curve for a wide range of functions. But, there are functions that are Riemann integrable and yet not Lebesgue.

  • 1
    All Riemann integrable functions are Lebesgue integrable. Presumably you mean improperly Riemann integrable functions needn't be Lebesgue integrable and this is essentially only the case because there are improperly Riemann integrable functions whose integral converges conditionally but not absolutely. – a... Dec 01 '14 at 16:59
  • Yes I meant improperly Riemann integrable functions. I would also like to add that I saw some papers(which I have only glanced over) that argues Lebesgue integral, itself, is not general enough. Perhaps, a person that is close to the subject should comment on this. – Girum Demisse Dec 01 '14 at 17:24