One of the thing that bothered me for a long time with the appearing in the end of the integral. What is it for? And why was it but there? People told me that it is because we want to show what we variable we are integrating, but it is clear without it even being there. Behold! I have dreamt a dream and I have a revelation! Behold! It was Riemann he told me the answer. Behold! It was the Riemann-Stieltjes Integral.
I want to explain what it is, it will make the notion of why we put a in the integral a lot more clearer.
First let us begin with a simpler question. What is a Riemann Integral? If you taken a basic course in analysis you would know there are two ways to define it. The classical Riemann definition which is a little discussed in a Calculus course also, and another one (which is exactly the same thing) developed by Darboux. Since Riemann's definition is more elementary (but not as neat) let us do that definition.
Definition: Let be a bounded function on a closed interval . We say that is integrable on this interval when there exists a real number such that: for any there exists a so that for any partition satisfing we have that where is any point chosen on -subinterval.
Basically the definition is saying that we can make the finite sums (approximating areas) as close as we want to the true value which we call * as long as the partition of the interval is fine (or thin) enough. And note how much freedom we have, it says for any partition and there are infinitely many, and it says any point in sub-interval and again there are infinitely many. So there is so much freedom with these finite Riemann sums.
So we know that if then to show that we need to show that the number is this number we need to satisfy the definition given above.
Note, that is what the fundamental theorem of Calculus is doing. Instead of going through all that difficult definition, it says that if we can find the anti-derivative it is that value that we are looking for.
If you think the Riemann integral definition is complicated just look at the Riemann-Steiljes integral definition. Now the Riemann-Steiljes integral is more general. It is an integral with respect to another function. Before stating their definition there is just one technical detail.
Definition: Let is a bounded variation when there exist a constant so that if for any partition we have that .
Now we can state the definition (which might look monstrous in the beginning).
Definition: Let be a bounded function on and be a bounded variation on . We say is Riemann-Steiljes integration with respect to when there exists a real number such that: for any there exists so that for any partion satisfing we have that where are any points in the sub-interval. We call this distinguished number to be the Riemann-Steiljes integral of on with respect to . And write .
Now why is this a generalization? Because if then it is the standard Riemann integral! And that means with respect to we would write . And that is where the comes from.
In fact it turns out that if is continous and is smooth (continously differenciable) then it is a bounded variation and: . Where the RHS is the standard Riemann Integral.
So not only does this explain the part it also explain the differencial part of a function.
For example, .
By the Riemann-Steiljes Integral.
Maybe you find that interesting, that is why I posted it.
*)It can be easily show that if are any possible real values for then Riemann integral then . Meaning there is only one such possible value and we define it to be the integral .
January 3rd 2008, 09:18 AM
If you would like to explore more of the topics you have introduced then that are two classics that are standards: INTRODUCTION TO THE THEORY OF INTERGRATION by T. H. Hildebrandt and THEORY OF THE INTEGRAL by Stanislaw Saks. I think that Hildebrandt is still the best on Riemann and Riemann-Stieltjes integrals there is. He also has a good discussion of content of a set which was the subject of another one of your postings.
If you are interested in modern work in integration theory I would suggest Robert McLeod’s book THE GENERALIZIED RIEMANM INTEGRAL. It explores a relatively new definition of the integral that makes any derivative, F’(x), integrable on [a,b] to F(b)-F(a). That is not true of earlier attempts. That book is an MAA publication: Carus#20.
January 3rd 2008, 11:26 AM
Thank you. I do like theory of integration, one of my favorite in an analysis course but since I am doing so much stuff it seems I have to wait until I have time to explore integration in more detail.