Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Lierre gave a very helpful insight at answer 5 on "Clean" approach to integrals about what Riemann integrals are. My question relates to whether this can be extended to Lebesgue integrals.

Lierre pointed out that Riemman integrals can be seen as the natural extension of the 'obvious' linear form on characteristic (or 'indicatrix') functions on real line intervals. There is a theorem which shows that any uniformly continuous function $f$ on a subset $V$ of a metric space $X$ into a complete metric space $Y$ can be uniquely extended to a u.c. function on the closure of $V$ into $Y$. If we take $X$ and $Y$ as $\mathbb{R}$, and $V$ as being the subspace of real functions on $\mathbb{R}$ spanned by the characteristic functions of closed finite intervals $[a,b]$, and $f$ as the function taking $[a,b]$ to $|a-b|$, it turns out that the Riemann integral is the extension of $f$ to closure of $V$.

My question is this: if we take countable unions of intervals $[a,b]$, with the 'obvious' $f$ defined as a countable sum (if it exists), and the subspace of functions on $\mathbb{R}$ spanned by these as our $V$, is it also true that the closure of $V$ consists of the Lebesgue integrable functions, and that $f$ extends to the Lebesgue integral on them? Also, how far if at all can one go in proving theorems such as the dominated convergence theorem based purely on the properties f must have as an extension to the closure, without actually constructing the integral itself?
Thanks!

share|improve this question
    
Not sure if this is what you are looking for, but $L^1 \mathbb{R}$ is the completion of $C_c(\mathbb{R})$ with respect to the (Riemann) integral norm. –  copper.hat May 16 '12 at 14:54
    
Yes it is possible and you do not miss anything. But keep in mind that the usual construction that decomposes a function into positive and negative parts naturally offers also the meaning of an integral being plus or minus infinite, which you have to define by "hand" if you use the completion approach. –  timur May 16 '12 at 19:53

1 Answer 1

As copper.hat pointed out $C_c(\mathbb{R})$ is dense in $L^1(\mathbb{R})$, so we had to define such an integral for continuous functions with compact support.

The idea to define integral as linear functional is due to Daniell.

As for a good introduction to integration theory from functional analysis point of view see chapter III of An Introduction To Abstract Harmonic Analysis, Loomis,Lynn H..

share|improve this answer
    
I attempted to correct the spelling of Daniell, but the software informed be that my one-character change was not important enough to be worth making. –  Noah Stein May 16 '12 at 16:57
    
@NoahStein typo, fixed. –  no identity May 16 '12 at 17:42
    
Thank you all for your answers - I have ordered a copy of Loomis and will take up the suggestion of reading the chapter on integration there. –  Rory Allen May 21 '12 at 12:04
    
@RoryAllen, if you are satisfied with this answer you can accept it. –  no identity May 21 '12 at 13:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.