Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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

share|cite|improve this question
A proof of what? – Ilya Jan 29 '13 at 14:21

Given a right-continuous function of bounded variation on a closed interval, you can define a unique borel measure that gives rise to the Lebesgue-Stieltjes integral. Look at the link for more details.

share|cite|improve this answer
up vote 1 down vote accepted

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.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.