So, we defined the Riemann integral
to be the limit as we refined the tagged partition of the Riemann sum
But why did we multiply by ? Well, that was the width of a rectangular strip we were using to approximate part of the area under the graph of . But why should we automatically use that difference as the “width”?
Let’s imagine we’re walking past a fence. Sometimes we walk faster, and sometimes we walk slower, but at time we can measure the height of the fence right next to us: . So what’s the area of the fence? If we just integrated we’d get the wrong answer. The samples we made when walking fast made fat rectangles, while the samples we made when we were walking slowly got paired with skinny rectangles, but we gave them the same weight if they took the same time to get through that segment of the partition. We need to reweight our sums to compensate for how fast we’re walking!
Okay, so how wide should we make the rectangles? Let’s say that at time we’re at position along the fence. Then in the segment of the partition between times and we move from position to position , so we should make the width come out to . We’ll put this into our formalism from before and get the “Riemann-Stieltjes sum”:
And now we can take the limit over tagged partitions as before to get the “Riemann-Stieltjes integral”:
if this limit exists.
Here we call the function the “integrand”, and the function the “integrator”. Clearly, the old Riemann integral is the special case when .
Immediately from the definition we can see the same “additivity” (using signed intervals) in the region of integration that the Riemann integral had:
and the same linearity in the integrand:
and also a new linearity in the integrator: