Surprisingly, it is not easy to define what such an integral is. We want it to be equal to the area under the graph of a function - but to get it we need to define a specific algorithm that will produce it. One of such definitions is given by Riemann - it is called the Riemann Integral.
To properly define the Riemann Integral, we need to define a few other things firstly.
Lets suppose that we want a definition that will give us the area under the graph of some function f(x), which goes from the interval [a,b] to the real line (it is not necessary to assume that f is defined in all of [a,b], but it must be bounded in [a,b]). For this interval lets define:
The next step would be to define a limit "according to w". We will define it in the following way:
We will say that the limit =A if and only if:
Since we have a definition, lets use it to calculate an integral. For example, lets calculate the integral of f(x)=2 in the interval [0,1]. f()=2 for any part of the interval, so we can get it out of the sum. The rest of the sum is the length of the interval:
Unsurprisingly the answer is two. Notice that this is indeed the answer only because the calculation here is independent from both P and the points t we selected. But what if the function is slightly more complex, for example f(x)=x^2? It is still possible to calculate the integral using this definition, but it is better to use another definition.
The Riemann definition is a very good definition, but sometimes it is easier to use a different definition. There is more than one other definition, but I want to talk only about one of them - the definition according to Darbo.
In this definition we again make use of P, which is defined in exactly the same way as before. We also need to define two other things:
The next step is to define the lower and upper integral. The upper integral is the infimum of the group of the upper sums, and the lower integral is the supremum of the lower Darbo sums. If both of these integrals are equal, we will say that the function has an integral according to Darbo.
In the next posts I will show that these two ways to define the integral are equivalent, and will also discuss ways to calculate the integral.