PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
[parent] proof of Egorov's theorem (Proof)

Let $E_{i,j} = \{x\in E: |f_j(x) - f(x)|< 1/i\}.$ Since $f_n\to f$ almost everywhere, there is a set $S$ with $\mu(S)=0$ such that, given $i\in \N$ and $x\in E-S$ there is $m\in \N$ such that $j>m$ implies $|f_j(x)-f(x)|<1/i$ This can be expressed by $$E-S\subset \cup_{m\in \N} \cap_{j>m} E_{i,j},$$ or, in other words, $$\cap_{m\in \N}\cup_{j>m} (E-E_{i,j})\subset S.$$ Since $\{\cup_{j>m} (E-E_{i,j})\}_{m\in \N}$ is a decreasing nested sequence of sets, each of which has finite measure, and such that its intersection has measure $0$ by continuity from above we know that $$\mu(\cup_{j>m}(E-E_{i,j}))\xrightarrow[m\to \infty]{} 0.$$ Therefore, for each $i\in \N$ we can choose $m_i$ such that $$\mu(\cup_{j>m_i}(E-E_{i,j})) < \frac{\delta}{2^i}.$$ Let $$E_\delta = \cup_{i\in \N}\cup_{j>m_i}(E-E_{i,j}).$$ Then $$\mu(E_\delta)\leq \sum_{i=1}^\infty \mu(\cup_{j>m_i}(E-E_{i,j})) < \sum_{i=1}^\infty \frac{\delta}{2^i} = \delta.$$ We claim that $f_n\to f$ uniformly on $E-E_\delta$ In fact, given $\varepsilon>0$ choose $n$ such that $1/n<\varepsilon$ If $x\in E-E_\delta$ we have $$x\in\cap_{i\in \N}\cap_{j>m_i}E_{i,j},$$ which in particular implies that, if $j>m_n$ $x\in E_{n,j}$ that is, $|f_j(x) - f(x)|< 1/n < \varepsilon$ Hence, for each $\varepsilon>0$ there is $N$ (which is given by $m_n$ above) such that $j>N$ implies $|f_j(x)-f(x)|<\varepsilon$ for each $x\in E-E_\delta$ as required. This completes the proof.




"proof of Egorov's theorem" is owned by Koro.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: proof, intersection, measure, finite, sequence, decreasing, implies, almost everywhere

This is version 4 of proof of Egorov's theorem, born on 2003-07-27, modified 2006-07-27.
Object id is 4518, canonical name is ProofOfEgorovsTheorem.
Accessed 5892 times total.

Classification:
AMS MSC28A20 (Measure and integration :: Classical measure theory :: Measurable and nonmeasurable functions, sequences of measurable functions, modes of convergence)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)