4
$\begingroup$

In Section 13 of Probability and Measure by Billingsley, it has been shown that for a measurable space $(F, \mathcal{F})$, $g:F\rightarrow \mathbb{R}^m$ and $g_i: F\rightarrow \mathbb{R}$ with $g(x) = [g_1(x),\cdots, g_m(x)], \forall x \in F$, $g$ is $\mathcal{F}/\mathcal{B}(\mathbb{R}^m)$ measurable if and only if $g_i$ is $\mathcal{F}/\mathcal{B}(\mathbb{R})$ measurable.

More generally, suppose $\{ (G_i, \mathcal{G}_i), i=1,\cdots,m \}$ are measurable space, $(\prod_{i=1}^m G_i, \mathcal{G})$ is also a measurable spaces, but $\mathcal{G}$ may not be $\prod_{i=1}^m \mathcal{G}_i$. for $g:F \rightarrow \prod_{i=1}^m G_i$, and $g_i: F \rightarrow G_i$ with $g(x) = [g_1(x),\cdots, g_m(x)]$. I wonder what are some conditions under which $g$ is measurable if and only if $g_i: F \rightarrow G_i, i=1, \cdots, m$ are measurable? Can the fact $g(x)=[g_1(x),⋯,g_m(x)]$ be used in your conditions?

How will your conditions be used to explain the example when $(G_i, \mathcal{G_i}) = (\mathbb{R}, \mathcal{B}(R))$ and $(\prod_{i=1}^m G_i, \mathcal{G}) = (\mathbb{R}^m, \mathcal{B}(\mathbb{R}^m))$ mentioned earlier? Thanks and regards!

  • 0
    @Mark$S$chwarzmann: Thanks! It seems to be what I have been looking for.2011-11-03

1 Answers 1

3

For question 1:

The mapping $g$ is measurable iff $g^{-1}(\mathcal{G}) \subset \mathcal{F}_1$.

The same way, $g_i$ is measurable iff $g_i^{-1}(\mathcal{G}_i) \subset \mathcal{F}_1$. So, to have measurability of $g$ implying that of $g_i$, you need to have $ g_i^{-1}(\mathcal{G}_i) \subset g^{-1}(\mathcal{G}) $ for all $i = 1, \dotsc, m$. That is, $ \sigma\left(g_i^{-1}(\mathcal{G}_i),\, i = 1, \dotsc, m\right) \subset g^{-1}(\mathcal{G}). $

The same way, in order to have measurability of $g_i$ implying that of $g$, you need to have $ g^{-1}(\mathcal{G}) \subset \sigma\left(g_i^{-1}(\mathcal{G}_i),\, i = 1, \dotsc, m\right). $

In question 2, $f_i$ is not well defined.

  • 0
    Forget my previous comment if it doesn't make sense. But: (1) Your conditions haven't used the fact that $g(x_1) = [g_1(x_1),\cdots, g_m(x_1)]$. So how can it be used to form some conditions? (2) How can your conditions be used to explain "it is true when $(G_i, \mathcal{G_i}) = (\mathbb{R}, \mathcal{B}(R))$ and $(\prod_{i=1}^m G_i, \mathcal{G}) = (\mathbb{R}^m, \mathcal{B}(\mathbb{R}^m))$"?2011-11-02