Lebesgue Measure and Affine Transformations
This didn’t make it up yesterday, due to some preoccupation on my part. Playing catch-up…
The thing that makes Lebesgue measure really special is the way that every part of the real line “looks like” every other part, and the same is true as we scale the line up or down. Once we specify the measure of one interval then the measure of every other interval — and every Lebesgue measurable set — is completely determined. But first, let’s show that this nice behavior actually holds.
Let be an affine transformation of the real line, defined by
for some real
and any real
. This is invertible, and the inverse function is affine as well:
. Given a subset
, we write
for the image of
under the transformation
—
. I say that the outer and inner Lebesgue measures are both nicely behaved under the transformation
.
We’ll start by assuming that . In the other case,
is the composition of the mapping
and an affine transformation with a positive multiplier, so we’ll have to come back and show that this reflection preserves our measures.
Let be the collection of all sets of the form
with
. It should be clear that this is a
-ring, and we will show that
. Indeed, if
is a semiclosed interval
, then
, where
is the semiclosed interval
. And so
, and the whole
-ring
generated by
must be contained in
:
. We can apply the exact same reasoning to
to conclude that
, and thus
. This shows that
.
For every Borel set , we define
and
. These are both measures on
. If
is a semiclosed interval, we calculate
so the two measures agree on . But our extension theorem tells us that a measure on
is uniquely determined by its values on
. And thus our assertion holds for Lebesgue measure on Borel sets.
Now if we apply these considerations to , we can show that
Replacing by
and
by
, we also reach our conclusion for inner Lebesgue measure. But we still need to verify that
preserves Lebesgue measurability in the first place. If
is Lebesgue measurable, and
is any set, then
and thus is also Lebesgue measurable.
Now let’s go back and consider what happens with the reflection . This sends the semiclosed interval
to the interval
. But this is a Borel set:
, and the singletons are Borel sets. Thus we see that the reflection sends Borel sets to Borel sets. It should also be clear that it preserves Lebesgue measure, for
. If
is a subset of a Borel set of measure zero, then the reflection of
is again such a subset, and so we see that reflection preserves the Lebesgue measurable sets as well as their inner and outer measures.