$ \alpha $ and $\beta $ are measures on $ (\Omega, \mathscr F) $ and $ A \subset \mathscr F$. If $\alpha (A) \ge \beta (A) $, I need to prove that $\alpha (A) = \beta (A).$
- Anybody can ask a question
- Anybody can answer
- The best answers are voted up and rise to the top
Here is a true statement.
Note the added hypothesis that $\alpha$ and $\beta$ are probability measures and the modified hypothesis on the comparison.
To prove this, assume that there exists $A$ in $\mathscr F$ such that $\alpha(A)\ne\beta(A)$. Then $\alpha(A)\gt\beta(A)$, $\alpha(\Omega\setminus A)\geqslant\beta(\Omega\setminus A)$ and $A$ and $\Omega\setminus A$ are disjoint with union $\Omega$ hence $$ 1=\alpha(\Omega)=\alpha(A)+\alpha(\Omega\setminus A)\gt\beta(A)+\beta(\Omega\setminus A)=\beta(\Omega)=1, $$ which is absurd. Thus, $\alpha(A)=\beta(A)$ for every $A$ in $\mathscr F$, that is, $\alpha = \beta$.