[Math] Borel Measures and Bounded Variation

bounded-variationmeasure-theory

What is the connection between finite Borel sign-changing measures and the functions with bounded variation on the same interval? Proof would be appreciated.

Best Answer

Let $f\in BV[a,b]$ Let $f=\phi_1 - \phi_2$ be the Jordan decomposition. We can now define two pre-measures $\mu_0'$ and $\mu_0''$. From which we construct the outer measures $\mu'^\star$ and $\mu''^\star$ and by Carathéodory's extension theorem we get $\mu'$ and $\mu''$. Now define $\mu=\mu'+\mu''$ by Jordan’s theorem for compositions of measures.

Our construction is obvoiusly injective. We will show that it is surjective as well. Let $\mu$ be a finite Borel sign-changing measure on $[a,b]$. Let $\mu=\mu^+-\mu^+$ be the Jordan decomposition. Set $\phi_1(x)=\mu^+([a,x))$ and $\phi_2(x)=\mu^-([a,x))$. Now $f=\phi_1 - \phi_2$ is a function of bounded variation as the difference of two monotonic non-negative such function.

We just established a bijection between the two sets. q.e.d.

Related Question