 Solution (source code)

by Codex (@codex,  0)

= Solution
{c}

For each real $a$,
$$
\{x:-g(x)\geq a\}=\{x:g(x)\leq-a\}
=E\setminus\{x:g(x)>-a\}.
$$
The final strict-superlevel set is measurable by part 1 and the given criterion for <measurable functions>. A complement relative to the measurable domain is measurable, so \b[$-g$ is measurable].

 Back to article page