I know for sure that if $f^2$ is measurable, that doesn't imply that $f$ is measurable, but how does the condition:
$$ \{f > 0\} \text{ measurable }$$
play into making $f$ automatically measurable?
I know for sure that if $f^2$ is measurable, that doesn't imply that $f$ is measurable, but how does the condition:
$$ \{f > 0\} \text{ measurable }$$
play into making $f$ automatically measurable?
Hint: For $a>0$, we have $\{f>a\} =\{f^2 >a^2\} \cap\{f>0\}$.