In measure theory I encountered Egorov's theorem which states that if ( X , S...
Lucia Grimes
Answered
2022-07-02
In measure theory I encountered Egorov's theorem which states that if is a measure space such that i.e. is a finite measure.If be a sequence of measurable functions on converging pointwise to ,then is almost uniformly convergent to . Now in the book the definition of almost uniform convergence is the following: almost uniformly if for each ,there exists such that and uniformly on . Now in some books I have seen that almost everywhere means outside a measure 0 set. So the definition of almost uniformly convergent should have been almost uniformly if such that and uniformly on . But unfortunately the definition is not so.In fact the latter condition is stronger.I want to know why the former is taken as a definition and what the problem with the latter one is.I want to understand where I am making mistake in understanding the word "almost".
Answer & Explanation
Sanaa Hinton
Expert
2022-07-03Added 15 answers
Your alternate definition wouldn't work. Here is a counterexample: on [0,1], which converges pointwise to 0 if and 1 otherwise. This sequence doesn't converge uniformly on [0,1], nor on the half-open set [0,1), and you can't find a set of measure 0 such that convergence is uniform on : you would still need values of arbitrarily close to 1. However, converges uniformly on every compact interval that doesn't contain 1, so you can find such that , and converges uniformly on for all .