\documentclass[12pt]{article}
\newcommand{\ds}{\displaystyle}
\parindent=0pt
\begin{document}

{\bf Question}

If $f$ is measurable prove that for all $c\epsilon{\bf R} \,\,\,
\{x|f(x)=c\}$ is measurable.  Is the converse of this result true?


\vspace{0.25in}

{\bf Answer}

$\{x|f(x)=c\}=\{x|f(x)\leq c\}\cap\{x|f(x)\geq c\}$

The converse is not true, for example let ${\bf R^n_+}$ be the
half space $x_1>0$.  Let $A$ be a non-measurable subset of  ${\bf
R^n_+}$.  Define $f:{\bf R^n} \rightarrow {\bf R^*}$ by

$f(x)=\left\{\begin{array}{ccl}0&{\rm if}&x\not\epsilon{\bf
R^n_+}\\ +\infty&{\rm if}&x\epsilon A\\ -\infty&{\rm
if}&x\epsilon{\bf R^n_+}-A\end{array}\right.$





\end{document}
