Advanced Search

The necessary and sufficient condition for a function $f:(0,1)\to [0,1]$ to be Borel measurable (given by Theorem stated below) provides a technique to prove (in Corollary 2) the existence of a Borel measurable map $H:{\{0,1\}}^{\mathbb{N}}\to {\{0,1\}}^{\mathbb{N}}$ such that $ℒ\left(H\left({\mathbf{\text{X}}}^p\right)\right)=ℒ\left({\mathbf{\text{X}}}^{1/2}\right)$ holds for each $p\in (0,1)$, where ${\mathbf{\text{X}}}^p=(X_1^p,X_2^p,...)$ denotes Bernoulli sequence of random variables with $P[X_i^p=1]=p$.