Products of integrable functions
From the linearity of the Riemann-Stieltjes integral in the integrand, we know that the collection of functions that are integrable with respect to a given integrator over a given interval form a real vector space. That is, we can add and subtract them and multiply by real number scalars. It turns out that if the integrator is of bounded variation, then they actually form a real algebra — we can multiply them too.
First of all, let’s show that we can square a function. Specifically, if is a function of bounded variation on , and of is bounded and integrable with respect to on this interval, then so is . We know that we can specialize right away to an increasing integrator . This will work here (unlike for the order properties) because nothing in sight gets broken by subtraction.
Okay, first off we notice that is the same thing as , and so they have the same supremum in any subinterval of a partition Then the supremum of is the square of the supremum of because squaring is an increasing operation that preserves suprema (and, incidentally, infima). The upshot is that . Similarly we can show that . This lets us write
where is an upper bound for on . Riemann’s condition then tells us that is integrable.
Now let’s take two bounded integrable functions and . We’ll write
and then invoke the previous result and the linearity of integration to show that the product is integrable.