proof of Egorov’s theorem
Let Since almost everywhere, there is a set with such that, given and , there is such that implies . This can be expressed by
or, in other words,
Since is a decreasing nested sequence of sets, each of which has finite measure, and such that its intersection
has measure , by continuity from above (http://planetmath.org/PropertiesForMeasure) we know that
Therefore, for each , we can choose such that
Let
Then
We claim that uniformly on . In fact, given , choose such that . If , we have
which in particular implies that, if , ; that is, .Hence, for each there is (which is given by above) such that implies for each , as required. This the proof.