3
$\begingroup$

This is a continuation of my previous question and inspired by Arturo Margidin's reply.

Suppose there are a collection of measurable spaces $(X_i, \mathbb{S}_i), i \in I$. Let $\mathbf{X}=\prod_{i\in I}X_i$, and let $\mathbb{S}=\prod_{i\in I} \mathbb{S}_i$ be the product $\sigma$-algebra.

  1. Suppose $A_{i_0}\subseteq X_{i_0}$ is such that $A_{i_0}\times\prod_{j\neq i_0}X_j\in\mathbb{S}$. Does it follow that $A_{i_0}\in\mathbb{S}_{i_0}$?

  2. More generally, suppose we have a family of subsets, $A_i\subseteq X_i$, and we know that $A_j\in\mathbb{S}_j$ for all $j\neq i_0$ and that $\prod_{i\in I}A_i\in\mathbb{S}$. Does it follow that $A_{i_0}\in \mathbb{S}_{i_0}$?

  3. Basically, I would like to reconstruct each $\mathbb{S}_i$ from $\prod_{i \in I} \mathbb{S}_i$. If you have other approaches, please don't hesitate to reply. In particular, Part 1 and Part 2 are attempts based on projection of measurable rectangles in the product $\sigma$-algebra. I was wondering if it is possible to go from sectioning a measurable set in the product $\sigma$-algebra?

Thanks and regards!

  • 0
    @Arturo: Thanks.$I$posted an answer. Please check and let me know if$I$made any mistakes.2011-02-22

1 Answers 1

2

Consider $I$ to be countable as suggested by Arturo Magidin. We show part (2). Define $ {\cal G} = \{\pi_i^{-1}(A):A\in \mathbb S_i, i\in I\}. $ The product $\sigma$-field $\mathbb S$ is generated by $\cal G$. Fix $i_0$, and pick arbitrary $x_i\in A_i$ for every $i\in I, i\neq i_0$. (Note that one needs to assume $\mathbb S_i\ni A_i\neq \emptyset$, otherwise the statement is obviously not correct.)

Define a mapping $ T_{i_0} : X_{i_0}\ni x_{i_0} \mapsto \{x_i\}_{t\in I}\in {\bf X}. $ Observe that if $T_{i_0}$ is $\mathbb S_{i_0}/\mathbb S$ measurable, then $\prod_{i\in I}A_i\in\mathbb S$ implies that $T_{i_0}^{-1}(\prod_{i\in I}A_i) = A_{i_0}\in\mathbb S_{i_0}$, and we are done.

It remains to show that $T_{i_0}$ is measurable and it suffices to show that $T_{i_0}^{-1}(G)\in\mathbb S_{i_0}$ for all $G\in \cal G$. This is true since for all $i\in I, A\in \mathbb S_i$, $T_{i_0}^{-1}(\pi_i^{-1}(A))$ equals (1) $A$ if $i=i_0$, (2) $X_{i_0}$ if $i\neq i_0, x_i\in A$, and (3) $\emptyset$ if $i\neq i_0, x_i\notin A$.

  • 0
    @Arturo Right, (1) is a special case of (2). Thanks.2011-02-22