Let $f$ be a Lebesgue measurable function that is finite valued on a set $E$ of finite measure. Then there exist a sequence of step functions $f_{n}$ with $f_{n} \rightarrow f$ almost everywhere. Why can we find $E_{n}$ such that $m(E_{n}) < 2^{-n}$ and $f_{n}$ is continuous outside $E_{n}$?
Step functions, continuity, and Lebesgue measure
0
$\begingroup$
real-analysis
analysis
measure-theory
-
1It is not quite clear to me what you mean by "step functions" (linear combinations of characteristic functions of intervals or of measurable sets?) In any case: use that for every set $F$ of finite measure and every $\varepsilon \gt 0$ there are a compact set $K$ and an open set $U$ such that $K \subset F \subset U$ and $m(U \smallsetminus K) \lt \varepsilon$. The restriction of the characteristic function of $F$ to $K \cup U^c$ is continuous. See also [this thread](http://math.stackexchange.com/questions/76931/). – 2012-03-12