any -finite measure is equivalent to a probability measure
The following theorem states that for any -finite (http://planetmath.org/SigmaFinite) measure , there is an equivalent
probability measure — that is, the sets satisfying are the same as those satisfying .This result allows statements about probability measures to be generalized to arbitrary -finite measures.
Theorem.
Any nonzero -finite measure on a measurable space is equivalent to a probability measure on . In particular, there is a positive measurable function
satisfying , and for all .
Proof.
Let be a sequence in such that and . Then it is easily verified that
satisfies and . So, setting , we have and therefore is a probability measure equivalent to .∎