2
$\begingroup$

Let $(X,\mathcal{A},p)$ and $(Y,\mathcal{B},q)$ be two probability spaces. One can assume that the first is the unit interval with its Borel sigma algebra and the Lesbegue measure. Let $\mathcal{C} \subset \mathcal{B}$ be a sub-sigma-algebra. Consider the product space $(X \times Y, \mathcal{A} \times \mathcal{B}, p \times q)$ (here, $p\times q$ is the product probability measure). Let $E \in \mathcal{A} \times \mathcal{B}$ satisfy the property that all its $x$-sections are in $\mathcal{C}$: for every $x \in X$ one has $E_x := \{ y \in Y \colon (x,y) \in E \} \in \mathcal{C}$.

Question: is it true that the function $y \mapsto p(E^y)$ is $\mathcal{C}$-measurable, where $E^y := \{ x \in X \colon (x,y) \in E \}$ is the $y$-section of $E$.

The answer is positive if $X$ is a finite (or countable) set, but recall that it is the unit interval.

One possible direction for a proof is to prove that $E \in \mathcal{A} \times \mathcal{C}$, but I think that this is incorrect in general. For example, assume that $(Y,\mathcal{B},q)$ is the unit interval with its Borel sigma algebra, $\mathcal{C}$ is the sigma algebra of all countable and co-countable sets, and $E$ is the diagonal.

$\endgroup$
  • $\begingroup$ Theorem 30 here probability.net/WEBfubini.pdf can help. $\endgroup$ – Davide Giraudo Jul 18 '12 at 14:03
  • $\begingroup$ Thanks, Davide. The theorem you refer to does not talk about sub-sigma algebras, and therefore it is not clear to me how it can be used to prove that the function $y \mapsto p(E^y)$ is $\mathcal{C}$-measurable. It does prove that this function is $\mathcal{B}$-measurable, but this is not what we need to show :( $\endgroup$ – Eilon Jul 18 '12 at 14:07
  • 1
    $\begingroup$ Eilon, you might get more help at mathoverflow.net , which has a focus on research mathematics. $\endgroup$ – Michael Greinecker Jul 22 '12 at 16:10
  • $\begingroup$ Thanks for the suggestion, Michael. $\endgroup$ – Eilon Jul 23 '12 at 6:19
  • $\begingroup$ @Eilon Have you asked the question at mathoverflow? $\endgroup$ – Davide Giraudo Aug 6 '12 at 9:40

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.