2
$\begingroup$

Let $S$ be a countable space, $\Omega_s$ be a finite space and $\Omega_S = \prod_{s \in S} \Omega_s$ be the product space, equiped with the product topology. Let $\mu^1$ and $\mu^2$ be two probability measures defined in the product space. Let's define $\mu^1|_s $, $\mu^2|_s$ their projection on the element $s \in S$, $c = \mu^1 \, \, t \, \, \mu^2$ a coupling between the two measures, $c_s $ the same coupling, but between the projections $\mu^1|_s $ and $\mu^2|_s$, $c|_s$ the projection of the coupling $c$ on $s$.

How to prove that $ c|_s = c_s ?$

1 Answers 1

2

We have to show that $c\mid_s(A\times B)=c_s(A\times B)$ for all $A$ and $B$ subsets of $\Omega_s$. We have $c_s(A\times B)=\mu^1(\pi_s^{-1}A)\cdot \mu^2(\pi_s^{-1}B)$ and $c\mid_s(A\times B)=\mu^1\times \mu^2(\{(x,y)\in \Omega_S^2, (\pi_s(x),\pi_s(y))\in A\times B),$ which is what we want.

Then we conclude using the fact that finite unions of products of measurable sets form a generating algebra (which gives the result when $\Omega_s$ is not necessarily finite).

  • 0
    So my question is: what is the mathematical justification of writing $ ( \mu^1 \, \, t \, \,\mu^2 ) \circ \pi^{-1}_s = (\mu^1 \circ \pi^{-1}_s)\,\, t \, \, (\mu^2 \circ \pi^{-1}_s), $ where t is the operator of a certain coupling (the product is only a special one).2012-11-23