I’ve been busy as of late with college applications and a science competition. But now I have a bit more time, so I shall try to resume posting.

Anyway, speaking of science competitions, I participated in the Intel International Science and Engineering Fair in 2007 with a self-guided project. The bulk of it dealt with Riemann integration in abstract spaces and the potential for generalizing certain constructions in analysis to this setting.

After the competition, I tried submitting a condensed version of the material to a mathematical journal, which concluded that the work did not merit publication, but may have had some interest: the method, while contained in more general approaches, seemed to have not been taken in the literature. (Unfortunately, I was unaware of the literature.)

The paper I submitted is here.

Nevertheless, since this is not a professional blog, I thought this might be an appropriate setting to post the paper and briefly discuss it, so I will try and see how this goes.

** The Riemann-Darboux Integral **

As is well-known, the Riemann-Darboux integral of a function is defined as follows. One splits for a collection of intervals such that for ; this is a partition . One defines the **upper and lower sums**

and defines to be **integrable** if , and calls the common value the **integral**.

Just as the Lebesgue integral can be defined on abstract spaces (and is perhaps most naturally done this way), we can abstract the notion of “intervals” and “length” to a compact metric space . So, on a family of intervals—which may be thought of as some weak form of a -algebra—is defined as a subset that satisfy:

The last condition allows for small coverings—this is necessary to prove that a continuous function is integrable. Similarly, to generalize the notion of a length function, we choose some with

Anyway, an example of this is, of course, closed subintervals of a compact interval , with the length function as the volume. In , if we have an interval with a nondecreasing function , then we can pick subsets as a family of intervals and as a length function.

Ok, now for integration. Given a **partition** of , i.e. a finite union

where and when , we define the upper and lower sums similarly as in the real case, set the upper integral to be the inf of the upper sums and the lower integral to be the sup of the lower sums. Call integrable when the upper and lower integrals coincide.

Our examples yield, respectively, the Riemann integral in and the Stieltjes (i.e. Darboux-Stieltjes) integral.

Theorem 1A continuous function is integrable.

Indeed, is compact so we have uniform continuity. The proof is essentially the same as the standard one.

There are lots of standard properties here, i.e. linearity, monotonicity, etc. But this is an exercise in repeating standard textbook real-analysis proofs, so let’s move on.

**Changing Variables **

It turns out that we can change variables in this context too. We don’t, of course, have a nice way to differentiate functions. But we can differentiate length functions, and this is done in a manner reminescent of differentiating measures in Euclidean space with respect to Lebesgue measure. I’ll sketch the ideas here (though in the paper I take a bit more generality).

So, if we have two length functions on the same space with the system of intervals , we say that is **differentiable with respect to at ** if we can choose such that for each , there is a such that , imply

This isn’t necessarily unique, but it will be if for containing and of nonempty interior.

If is everywhere defined, it is a function on . In the continuous case, there is a “mean value theorem.”

Theorem 2If is continuous and is nonvanishing at intervals of nonempty interior, then there is with .

Instead of writing out the proof, I’d like to sketch how it reduces for the case of an interval on the real line and is the usual length, when it is a special case of the usual mean value theorem (and an elementary exercise). So we have a , i.e. a nondecreasing and continuously differentiable . We must prove that there is a with

we cannot use the usual maxima proof because maxima and minima don’t make any sense in the context we’re trying to generalize to. So suppose that for all . Then the same must hold by replacing by one of the subintervals , as is easily checked. Inductively keep bisecting in this manner to get a sequence of nested intervals with

the intervals converge to some point with , contradiction. This proof is the one I generalize in the paper.

With it, there is a change-of-variables formula.

**Connection with the Lebesgue integral **

As one might expect, it is possible to construct a measure from these “length functions” under suitable conditions that extends this generalized Riemann-Darboux integral in the same way that the Lebesgue integral in Euclidean space extends the usual Riemann integral. The machinery I invoke to get the measure from the length function is the Daniell integral. With it, I show that the derivatives above are just Radon-Nikodym derivatives—indeed, this is basically a corollary of the change-of-variables formula.

Anyway, blogging this was a reminder of how much real analysis has already evaporated since I wrote this. But I am hoping that this paper may be of some interest to passers-by on this blog, if only as a review of analysis (as it was for me!).

## Leave a Reply