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

Show that $\pi(E)=sup\lbrace \mu(A): A\subseteq E, A\in\mathbf{X} \rbrace$ is a measure on $\mathbf{X}$.

$\mu$ is a charge on $\mathbf{X}$ ($\sigma$-algebra), let $\pi$ be defined for $E\in\mathbf{X}$.

I have difficulty showing the $\sigma$-algebra countable additive property.

Could you please help.

share|cite|improve this question
Found on wikipedia: A charge is a finitely additive, signed measure. What is X, an algebra? a sigma-algebra? It seems to me, if $\mu$ is a positive charge, then $\pi = \mu$ so this will not gain countable additivity for us. – GEdgar Mar 2 '14 at 13:43
@GEdgar Bartle uses the term for general countably additive finite signed measures in his "The Elements of Integration and Lebesgue Measure". So it should be enough to use the Hahn decomposition theorem. – Michael Greinecker Mar 3 '14 at 0:11
So, user should specify. I would vote to put it "on hold" until he does, but that is not permitted when there is a bounty. – GEdgar Mar 3 '14 at 14:41

Your Answer


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

Browse other questions tagged or ask your own question.