5
$\begingroup$

I ran across this question in my analysis textbook. I just cannot prove this.

Suppose $\mu$ is a complex measure on $X$ such that $\mu(X)=1$ and $|\mu|(X)=1$. Show $\mu$ is a positive real measure.

1 Answers 1

2

Take some measurable set $A$. Then $\mu(A)+\mu(X\setminus A)=\mu(X)=1$ while $1\leq|\mu(A)|+|\mu(X\setminus A)|\leq|\mu|(X)=1$ Now use the fact that for any two complex numbers $z,z'$, $|z+z'|\leq|z|+|z'|$ with equality iff $z$ and $z'$ are positively collinear.

  • 0
    @john Has this helped you at all? Do you want me to finish the argument?2012-12-14