Corollaries of the Chain Rule
Today we’ll look at a couple corollaries of the Radon-Nikodym chain rule.
First up, we have an analogue of the change of variables formula, which was closely tied to the chain rule in the first place. If and
are totally
-finite signed measures with
, and if
is a finite-valued
-integrable function, then
which further justifies the the substitution of one “differential measure” for another.
So, define a signed measure as the indefinite integral of
. Immediately we know that
is totally
-finite and that
. And, obviously,
is the Radon-Nikodym derivative of
with respect to
. Thus we can invoke the above chain rule to conclude that
-a.e. we have
We then know that for every measurable
and the substitution formula follows by putting in for
.
Secondly, if and
are totally
-finite signed measures so that
— that is,
and
— then
-a.e. we have
Indeed, , and by definition we have
so serves as the Radon-Nikodym derivative of
with respect to itself. Putting this into the chain rule immediately gives us the desired result.

Why is that initial change of variables thing justifiable? You hint that it follows from the chain rule or was closely related, but I don’t see how.
The first equation is basically just notation, when we’re talking about measures and the Radon-Nikodym derivative. It’s the original change of variables formula that I meant is tied to the chain rule. Follow that link and you should find more information about that connection.
Actually, I was confusing myself in a far different way. I have figured it out now. THanks John
I think it is not very clear from the first paragraph that you are actually going to prove (or at least make very acceptable) this change of variables formula in the second paragraph. This only became clear to me when I was at “and the substitution formula follows by putting X in for E.” and I realized that “substitution formula” = “change of variables formula”.
Great series of posts though!
Thanks, Evert. Glad you find them useful.