$f^{-1}([-\infty,r))$ measurable for all rational numbers $r$

621 Views Asked by At

If $X$ is measurable space, $f : X\to [-\infty,+\infty]$, function such that $f^{-1}([-\infty,r))$ measurable for all rational numbers $r$,prove than $f$ is measurable

I know that $f$ is measurable iff set $\{x\in X : f(x)<a\}$ is measurable for all $a\in \mathbb{R}$ but for $a\in\mathbb{Q}$ I don't know how to proceed.

2

There are 2 best solutions below

0
On BEST ANSWER

Hint: for any $a$, you can write $\{x\in X: f(x)<a\}$ as a countable union of (measurable) sets of the form $f^{-1}([-\infty,r))$. Then use your hypothesis and the fact that a countable union of measurable sets is measurable to conclude.

1
On

Find a sequence $(r_{n})$ of rational numbers such that $r_{n}<a$, and $r_{n}\uparrow a$, then $f^{-1}([-\infty,a))=\displaystyle\bigcup_{n=1}^{\infty}f^{-1}([-\infty,r_{n}))$.