Uniqueness of Product Measures
Jump to navigation
Jump to search
Theorem
Let $\struct {X, \Sigma_1, \mu}$ and $\struct {Y, \Sigma_2, \nu}$ be measure spaces.
Let $\GG_1$ and $\GG_2$ be generators for $\Sigma_1$ and $\Sigma_2$, respectively.
Suppose that $\GG_1$ and $\GG_2$ are closed under intersection.
Suppose further that there are exhausting sequences $\sequence {G_{1, n} }_{n \mathop \in \N}$ and $\sequence {G_{2, n} }_{n \mathop \in \N}$ in $\GG_1$ and $\GG_2$, respectively, such that:
- $\forall n \in \N: \map \mu {G_{1, n} } < \infty$
- $\forall n \in \N: \map \nu {G_{2, n} } < \infty$
Then there is at most one measure $\rho$ on the product space $\struct {X \times Y, \Sigma_1 \otimes \Sigma_2}$ such that:
- $\forall G_1 \in \GG_1, G_2 \in \GG_2: \map \rho {G_1 \times G_2} = \map \mu {G_1} \, \map \nu {G_2}$
That is, there can be at most one product measure on $\struct {X \times Y, \Sigma_1 \otimes \Sigma_2}$.
Proof
This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code.If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page. |
Sources
- 2005: René L. Schilling: Measures, Integrals and Martingales ... (previous) ... (next): $13.4$