Measurable function by definition

43 Views Asked by At

How to prove (by definition) that if $f:X\to R$ is measurable function, then [f] is also measurable? Here, I have to prove that for every $[c,\infty)$, $[f]^{-1}([c,\infty))$ is measurable.

Any help is welcome.

Thanks in advance.

1

There are 1 best solutions below

0
On BEST ANSWER

If $c\in\mathbb{Z}$: $[f]^{-1}([c,\infty))=f^{-1}([c,\infty))$

Otherwise: $[f]^{-1}([c,\infty))=\\f^{-1}([c,\infty)) \cap (f^{-1}([c,[c]+1)))^c$

And these sets are measurable.