2
$\begingroup$

My thoughts: Yes, it is measurable.

$|X|:\Omega\to\mathbb{R}$ is a random Variable which is $\mathcal{F}$-measurable. Then $\left\{ \omega:|X\left(\omega\right)|\leq x\right\} \in\mathcal{F}$ for all $x\in\mathbb{R}$. $\Rightarrow$ $\left\{ \omega:-x\leq X\left(\omega\right)\leq x\right\} \in\mathcal{F}$ for all $x\in \mathbb{R}$.

So what I have to show now, is that every element of the Borel $\sigma$-Algebra is constructable by these sets.

Because of the symmetry I seem not to be able to do that. Any hints? But I am pretty sure, that it is possible. Thanks for any advice.

  • 0
    @DavideGiraudo Thank you very much for pointing that out!2012-05-02

1 Answers 1

6

If $\mathcal F\neq 2^{\Omega}$, we have a counter-example: take $A$ a non-measurable set, and put $f(x)=\begin{cases}1&\mbox{ if }x\in A\\\ -1&\mbox{ if }x\notin A \end{cases}$. Then $|f|=1$ and is measurable, but $f$ is not since $\{f>0\}=A$ is not measurable.