Connection between absolute continuity of function and measure

  • #1
psie
282
33
TL;DR Summary
I'm stuck with a small detail in the proposition below. I assume the reader is familiar with the space , the functions of bounded variation. We also have , where stands for normalized; this is the space of functions which are right continuous and .
Let be Lebesgue measure. It is another proposition that the functions are in one-to-one correspondence between complex Borel measures, e.g. induces a complex measure such that . Then in Folland's real analysis text,

3.32 Proposition. If , then is absolutely continuous iff .

I'll omit the direction. In the direction, we suppose that for a Borel set and we want to show . If and are as in the definition of absolute continuity of (see here), we can find open sets such that . This is possible by so-called regularity of . To be exact, we have , and then by definition of infimum we can find such a sequence. However, it is also claimed that . Why is this true?

Some observations; is a complex measure which is regular. This means the positive measure is regular. So for some sequence of open sets. But it is not clear to me that we can simply choose (and why we'd get convergence for rather than ).
 
Physics news on Phys.org
  • #2
Here’s one motivation I’ve worked out. I will omit some details, but just so that this receives an answer.

We can decompose the real and imaginary parts of into differences of bounded and increasing functions. Each of these functions induce finite measures who decompose . Now we apply regularity to all these four measures plus Lebesgue measure (and for Lebesgue measure we do it in a way so that the measure of all the sets is smaller than ). So we will obtain five sequences of sets. Then we just take the intersection of the first entries of all the five sequences, then the intersection of the second entries, and so on. Then we obtain a sequence of sets for which the Lebesgue measure is smaller than and the measure of the sets converges to . Finally, to make them decreasing, define a new sequence of sets whose th entry is the intersection of the first entries of our sequence of sets.
 
  • #3
Define a sequence of nested open sets that approximate from the outside, and then exploit a summation-by-parts style argument with an auxiliary function to pass to the limit.

First, write the complex measure as , where and are real finite Borel measures. Then each of and can be further decomposed using Jordan decomposition into finite positive measures. It thus suffices to argue for a single finite positive measure , because if we prove



for the nested open sets with , it will imply the same limit for any signed or complex combination of such measures.

Construct a function with the following properties:

1. is nonnegative and continuous.
2. for .
3. sufficiently fast as moves away from .

To ensure existence of , notice that for each , we can find an open interval (possibly very small) around disjoint from , and define to vanish there while smoothly transitioning to 1 on . One can, for instance, construct via a Urysohn-type lemma argument (the set being closed in the relative topology of , though it is not necessarily closed in ; one just arranges on and outside some union of slightly bigger open sets).

Define for each ,


that is, the integral of over with respect to . Because and , we have implies



So is a decreasing sequence of real numbers. Also,



By completeness of the real numbers, there is a limit


On the other hand, for each , . Hence intuitively, as the open sets shrink down onto , we expect to converge to



because on . Formally, for the complement , we have but arranged to be strictly less than 1 and vanish outside a neighborhood of . Thus for large , most of the mass of in is forced to lie near , making



Hence



Thus .

Now repeat this procedure with appropriate choices of continuous auxiliary functions that “pick out” the imaginary part, or the positive/negative parts from the Jordan decomposition; that gives, for each component, the analogous conclusion



Hence we deduce as .
 
  • Like
Likes psie
Back
Top