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}$?

It 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.
–
t.b.Mar 12 '12 at 12:47

Oops, accidentally typed "finitely many" without thinking. I'm actually reading the proof of Lusin's Theorem and it uses my question as a starting point for the proof. Is there another way to do this?
–
ShaylaMar 12 '12 at 12:25