Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

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 ?$$

share|improve this question

1 Answer 1

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).

share|improve this answer
    
Sorry I wrote wrong because I wanted to mean that the coupling is not just the product measure, but it is a general coupling between the two measures. In this case how can I cannot write any more that $c_s(A \times B) = \mu^1 (\pi_s ^{-1} A) \mu^2 (\pi_s^{-1}B)$, right? How can I prove it, then? –  QuantumLogarithm Nov 23 '12 at 10:56
    
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). –  QuantumLogarithm Nov 23 '12 at 11:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.