Let $(X,\mathscr F)$ be some measurable space and $Y$ be a finite set with a $\sigma$-algebra $2^Y$. Let the map $ f:X\to Y $ be $\mathscr F|2^Y$-measurable. Consider sets $X^\mathbb N$ and $Y^\mathbb N$ endowed with product $\sigma$-algebras and extend $ f':X^\mathbb N\to Y^\mathbb N,\quad f'(x_1,x_2,\dots) = (f(x_1),f(x_2),\dots). $ Is it true that $f'$ is measurable? If yes, how can I show that? It seems to be an easy problem, but I guess I am missing some point.
Measurability of a map
4
$\begingroup$
measure-theory
1 Answers
5
Yes, it is. One way to see it is to recall that the product $\sigma$-algebra on $Y^\mathbb{N}$ is generated by "cylinder sets" of the form $A_1 \times A_2 \times \dots \times A_n \times Y \times Y \times \cdots.$ It is clear that $f'^{-1}$ of such a set is measurable. But the collection $\{A \subset Y^\mathbb{N} : f'^{-1}(A) \in \mathcal{F}^\mathbb{N}\}$ is a $\sigma$-algebra. Therefore, it contains all the sets in the product $\sigma$-algebra, which means $f'$ is measurable.
-
0Thanks a lot for a quick reply - I imagined this problem slightly more difficult than it is. – 2012-06-26