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
116
Answer
Answers can only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
1 Attachment
Mathe
3.7K
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 1470 views
- $7.00
Related Questions
- Demonstrating Strict Inequality in Fatou's Lemma with Sequences of Functions
- Stochastic Processes Questions
- Sigma-Algebra Generated by Unitary Subsets and Its Measurable Functions
- What is the asymptotic density of $A$ and $B$ which partition the reals into subsets of positive measure?
- Existence of a Non-negative Integrable Random Variable with Supremum-Constrained Survival Function
- Prove that $\frac{d \lambda}{d \mu} = \frac{d \lambda}{d \nu} \frac{d \nu}{d \mu}$ for $\sigma$-finite measures $\mu,\nu, \lambda$.
- What is the Lebesgue density of $A$ and $B$ which answers a previous question?
- Card riffle shuffling
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.