Hi all I was tackled by this question from Folland's real analysis second edition in the second chapter, it looks like a modified Egoroff theorem but I cannot really tackle it, it is question 41 of chapter 2 which reads as follows:
Let $\mu$ be a $\sigma$-finite measure and $ f_n \rightarrow f $ a.e. Then there exist measurable sets $E_1,E_2,\ldots \subset X $ such that $$\mu\left(\left(\bigcup_{i=1}^\infty E_i\right)^C\right)=0$$ and $f_n \rightarrow f $ uniformly on each $ E_i. $
I think this might have something to do with Egoroff's theorem but that theorem mentions nothing about complement having measure zero, only as small as you would like, which is what confuses me. Can anyone point out a proof of this with an explanation?