# Equality of two measures on a generated $\sigma$-algebra.

Let $(\Omega, \mathcal{F})$ be a measurable space and $\mathcal{E} \subset \mathcal{P}(\Omega)$ a generator of $\mathcal{F}$, i.e. $\mathcal{F}$ is the intersection of all $\sigma$-algebras that contain $\mathcal{E}$. Now let $\mu$ and $\nu$ be two measures on $(\Omega, \mathcal{F})$ such that

(i) $\mathcal{E}$ is closed under intersection, i.e.: $A,B \in \mathcal{E} \implies A \cap B \in \mathcal{E}$, and

(ii) $\mu(A) = \nu(A) \quad \forall A \in \mathcal{E}$

Prove that $\mu = \nu$.

Ichbinanonym

101

## Answer

**Answers can be viewed only if**

- The questioner was satisfied and accepted the answer, or
- The answer was disputed, but the judge evaluated it as 100% correct.

1 Attachment

Mathe

3K

The answer is accepted.

Join Matchmaticians Affiliate Marketing
Program to earn up to 50% commission on every question your affiliated users ask or answer.

- answered
- 518 views
- $7.00

### Related Questions

- Convergence and Integrability of Function Series in Measure Spaces and Applications to Series Expansion Integrals
- Demonstrating Strict Inequality in Fatou's Lemma with Sequences of Functions
- Integral of product measure
- Question on a pre-measure defined by Folland's real analysis book
- A question in probability theory
- Card riffle shuffling
- How do we describe an intuitive arithmetic mean that gives the following? (I can't type more than 200 letters)
- What is the asymptotic density of $A$ and $B$ which partition the reals into subsets of positive measure?

What do you mean by Pot(Ω)?

I suppose it means Power Set. I believe this advanced question merits a larger bounty.

If you want to know what a fair bounty should be, just think about how much time one may need to spend to answer the question, and how much the time of such individual is worth.

One also needs to assume that \mu(\Omega) = \nu(\Omega)

One also needs to assume that \mu(\Omega) = \nu(\Omega) and that they are finite.