Let $f \ge 0$ be a measurable function on measure space $(\Omega, \Sigma)$. Let $\mu$ be a measure. How to prove that if $ \int f \mathrm{d}\mu = 0, $ then we have $f = 0$ almost everywhere?
This is an exercise 1.4.1 of Probability: Theory and Examples.