Egorov's theorem

In measure theory, an area of mathematics, Egorov's theorem establishes a condition for the uniform convergence of a pointwise convergent sequence of measurable functions. It is also named Severini–Egoroff theorem or Severini–Egorov theorem, after Carlo Severini, an Italian mathematician, and Dmitri Egorov, a Russian physicist and geometer, who published independent proofs respectively in 1910 and 1911.

Egorov's theorem can be used along with compactly supported continuous functions to prove Lusin's theorem for integrable functions.

Historical note

The first proof of the theorem was given by Carlo Severini in 1910:^[1][2] he used the result as a tool in his research on series of orthogonal functions. His work remained apparently unnoticed outside Italy, probably due to the fact that it is written in Italian, appeared in a scientific journal with limited diffusion and was considered only as a means to obtain other theorems. A year later Dmitri Egorov published his independently proved results,^[3] and the theorem became widely known under his name: however, it is not uncommon to find references to this theorem as the Severini–Egoroff theorem or Severini–Egorov Theorem. The first mathematicians to prove independently the theorem in the nowadays common abstract measure space setting were Frigyes Riesz (1922, 1928), and in Wacław Sierpiński (1928):^[4] an earlier generalization is due to Nikolai Luzin, who succeeded in slightly relaxing the requirement of finiteness of measure of the domain of convergence of the pointwise converging functions in the ample paper (Luzin 1916).^[5] Further generalizations were given much later by Pavel Korovkin, in the paper (Korovkin 1947), and by Gabriel Mokobodzki in the paper (Mokobodzki 1970).

The formal statement of the theorem and its proof

Statement of the theorem

Let (f_n) be a sequence of M-valued measurable functions, where M is a separable metric space, on some measure space (X,Σ,μ), and suppose there is a measurable subset A of finite μ-measure such that (f_n) converges μ-almost everywhere on A to a limit function f. The following result holds: for every ε > 0, there exists a measurable subset B of A such that μ(B) < ε, and (f_n) converges to f uniformly on the relative complement A \ B.

Here, μ(B) denotes the μ-measure of B. In words, the theorem says that pointwise convergence almost everywhere on A implies the apparently much stronger uniform convergence everywhere except on some subset B of arbitrarily small measure. This type of convergence is also called almost uniform convergence.

Discussion of assumptions and a counterexample

• The hypothesis μ(A) < ∞ is necessary. To see this, it is simple to construct a counterexample when μ is the Lebesgue measure: consider the sequence of real-valued indicator functions

$f_{n}(x)=1_{{[n,n+1]}}(x),\qquad n\in {\mathbb {N}},\ x\in {\mathbb {R}},$

defined on the real line. This sequence converges pointwise to the zero function everywhere but does not converge uniformly on ℝ \ B  for any set B of finite measure: a counterexample in the general $n$-dimensional real vector space ℝⁿ can be constructed as shown by Cafiero (1959, p. 302).

• The separability of the metric space is needed to make sure that for M-valued, measurable functions f and g, the distance d(f(x), g(x)) is again a measurable real-valued function of x.

Proof

For natural numbers n and k, define the set E_n,k by the union

$E_{{n,k}}=\bigcup _{{m\geq n}}\left\{x\in A\,{\Big |}\,|f_{m}(x)-f(x)|\geq {\frac 1k}\right\}.$

These sets get smaller as n increases, meaning that E_n+1,k is always a subset of E_n,k, because the first union involves fewer sets. A point x, for which the sequence (f_m(x)) converges to f(x), cannot be in every E_n,k for a fixed k, because f_m(x) has to stay closer to f(x) than 1/k eventually. Hence by the assumption of μ-almost everywhere pointwise convergence on A,

$\mu {\biggl (}\bigcap _{{n\in {\mathbb {N}}}}E_{{n,k}}{\biggr )}=0$

for every k. Since A is of finite measure, we have continuity from above; hence there exists, for each k, some natural number n_k such that

$\mu (E_{{n_{k},k}})<{\frac \varepsilon {2^{k}}}.$

For x in this set we consider the speed of approach into the 1/k-neighbourhood of f(x) as too slow. Define

$B=\bigcup _{{k\in {\mathbb {N}}}}E_{{n_{k},k}}$

as the set of all those points x in A, for which the speed of approach into at least one of these 1/k-neighbourhoods of f(x) is too slow. On the set difference A \ B we therefore have uniform convergence.

Appealing to the sigma additivity of μ and using the geometric series, we get

$\mu (B)\leq \sum _{{k\in {\mathbb {N}}}}\mu (E_{{n_{k},k}})<\sum _{{k\in {\mathbb {N}}}}{\frac \varepsilon {2^{k}}}=\varepsilon .$

Generalizations

Luzin's version

Nikolai Luzin's generalization of the Severini–Egorov theorem is presented here according to Saks (1937, p. 19).

Statement

Under the same hypothesis of the abstract Severini–Egorov theorem suppose that A is the union of a sequence of measurable sets of finite μ-measure, and (f_n) is a given sequence of M-valued measurable functions on some measure space (X,Σ,μ), such that (f_n) converges μ-almost everywhere on A to a limit function f, then A can be expressed as the union of a sequence of measurable sets H, A₁, A₂,... such that μ(H) = 0 and (f_n) converges to f uniformly on each set A_k.

Proof

It is sufficient to consider the case in which the set A is itself of finite μ-measure: using this hypothesis and the standard Severini–Egorov theorem, it is possible to define by mathematical induction a sequence of sets {A_k}_k=1,2,... such that

$\mu \left(A\setminus \bigcup _{{k=1}}^{{N}}A_{k}\right)\leq {\frac {1}{N}}$

and such that (f_n) converges to f uniformly on each set A_k for each k. Choosing

$H=A\setminus \bigcup _{{k=1}}^{{\infty }}A_{k}$

then obviously μ(H) = 0 and the theorem is proved.

Korovkin's version

The proof of the Korovkin version follows closely the version on Kharazishvili (2000, pp. 183–184), which however generalizes it to some extent by considering admissible functionals instead of non-negative measures and inequalities $\scriptstyle \leq$ and $\scriptstyle \geq$ respectively in conditions 1 and 2.

Statement

Let (M,d) denote a separable metric space and (X,Σ) a measurable space: consider a measurable set A and a class $\scriptstyle {\mathfrak {A}}$ containing A and its measurable subsets such that their countable in unions and intersections belong to the same class. Suppose there exists a non-negative measure μ such that μ(A) exists and

1. μ($\scriptstyle \cap$A_n)=$\scriptstyle \lim$μ(A_n) if A₁$\scriptstyle \supset$A₂$\scriptstyle \supset$... with A_n$\scriptstyle \in {\mathfrak {A}}$ for all n
2. μ($\scriptstyle \cup$A_n)=$\scriptstyle \lim$μ(A_n) if A₁$\scriptstyle \subset$A₂$\scriptstyle \subset$... with $\scriptstyle \cup$A_n$\scriptstyle \in {\mathfrak {A}}$.

If (f_n) is a sequence of M-valued measurable functions converging μ-almost everywhere on A$\scriptstyle \in {\mathfrak {A}}$ to a limit function f, then there exists a subset A′ of A such that 0 < μ(A) − μ(A′)<ε and where the convergence is also uniform.

Proof

Consider the indexed family of sets whose index set is the set of natural numbers m$\scriptstyle \in {\mathbb {N}}$, defined as follows:

$A_{{0,m}}=\left\{x\in A|d(f_{n}(x),f(x))\leq 1\ \forall n\geq m\right\}$

Obiviously

$A_{{0,1}}\subseteq A_{{0,2}}\subseteq A_{{0,3}}\subseteq \dots$

and

$A=\bigcup _{{m\in {\mathbb {N}}}}A_{{0,m}}$

therefore there is a natural number m₀ such that putting A_0,m0=A₀ the following relation holds true:

$0\leq \mu (A)-\mu (A_{0})\leq \varepsilon$

Using A₀ it is possible to define the following indexed family

$A_{{1,m}}=\left\{x\in A_{0}\left|d(f_{m}(x),f(x))\leq {\frac 12}\ \forall n\geq m\right.\right\}$

satisfying the following two relationships, analogous to the previously found ones, i.e.

$A_{{1,1}}\subseteq A_{{1,2}}\subseteq A_{{1,3}}\subseteq \dots$

and

$A_{0}=\bigcup _{{m\in {\mathbb {N}}}}A_{{1,m}}$

This fact enable us to define the set A_1,m1=A₁, where m₁ is a surely existing natural number such that

$0\leq \mu (A)-\mu (A_{1})\leq \varepsilon$

By iterating the shown construction, another indexed family of set {A_n} is defined such that it has the following properties:

• $\scriptstyle A_{0}\supseteq A_{1}\supseteq A_{2}\supseteq \dots$
• $\scriptstyle 0\leq \mu (A)-\mu (A_{m})\leq \varepsilon$ for all m$\scriptstyle \in {\mathbb {N}}$
• for each m$\scriptstyle \in {\mathbb {N}}$ there is a natural k_m such that for all n$\scriptstyle \geq$k_m then $\scriptstyle d(f_{n}(x),f(x))\leq 2^{{-m}}$ for all x$\scriptstyle \in$A_m

and finally putting

$A^{\prime }=\bigcup _{{n\in {\mathbb {N}}}}A_{n}$

the thesis is easily proved.

Notes

1. Published in (Severini 1910).
2. According to Straneo (1952, p. 101), Severini, while acknowledging his own priority in the publication of the result, was unwilling to disclose it publicly: it was Leonida Tonelli who, in the note (Tonelli 1924), credited him the priority for the first time.
3. In the note (Egoroff 1911)
4. According to Cafiero (1959, p. 315) and Saks (1937, p. 17).
5. According to Saks (1937, p. 19).

References

Historical references

• Egoroff, D. Th. (1911), "Sur les suites des fonctions mesurables" [On sequences of measurable functions], Comptes rendus hebdomadaires des séances de l'Académie des sciences (in French), 152: 244–246, JFM 42.0423.01, available at Gallica.
• Riesz, F. (1922), "Sur le théorème de M. Egoroff et sur les opérations fonctionnelles linéaires" [On Egorov's theorem and on linear functional operations], Acta Litt. Ac Sient. Univ. Hung. Francisco-Josephinae, Sec. Sci. Math. (Szeged) (in French), 1 (1): 18–26, JFM 48.1202.01.
• Riesz, F. (1928), "Elementarer Beweis des Egoroffschen Satzes" [Elementary proof of Egorov's theorem], Monatshefte für Mathematik und Physik (in German), 35 (1): 243–248, doi:10.1007/BF01707444, JFM 54.0271.04.
• Severini, C. (1910), "Sulle successioni di funzioni ortogonali" [On sequences of orthogonal functions], Atti dell'Accademia Gioenia, serie 5a, (in Italian), 3 (5): Memoria XIII, 1−7, JFM 41.0475.04. Published by the Accademia Gioenia in Catania.
• Sierpiński, W. (1928), "Remarque sur le théorème de M. Egoroff" [Remarks on Egorov's theorem], Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie (in French), 21: 84–87, JFM 57.1391.03.
• Straneo, Paolo (1952), "Carlo Severini", Bollettino della Unione Matematica Italiana, Serie 3, (in Italian), 7 (3): 98–101, MR 50531, available from the Biblioteca Digitale Italiana di Matematica. The obituary of Carlo Severini.
• Tonelli, Leonida (1924), "Su una proposizione fondamentale dell'analisi" [Ona fundamental proposition of analysis], Bollettino della Unione Matematica Italiana, Serie 2, (in Italian), 3: 103–104, Zbl 50.0192.01. A short note in which Leonida Tonelli credits Severini for the first proof of Severini–Egorov theorem.

Scientific references

• Beals, Richard (2004), Analysis: An Introduction, Cambridge: Cambridge University Press, pp. x+261, ISBN 0-521-60047-2, MR 2098699, Zbl 1067.26001
• Cafiero, Federico (1959), Misura e integrazione [Measure and integration], Monografie matematiche del Consiglio Nazionale delle Ricerche (in Italian), 5, Roma: Edizioni Cremonese, pp. VII+451, MR 0215954, Zbl 0171.01503. A definitive monograph on integration and measure theory: the treatment of the limiting behavior of the integral of various kind of sequences of measure-related structures (measurable functions, measurable sets, measures and their combinations) is somewhat conclusive.
• Kharazishvili, A.B. (2000), Strange functions in real analysis, Pure and Applied Mathematics – A Series of Monographs and Textbooks, 229 (1st ed.), New York: Marcel Dekker, pp. viii+297, ISBN 0-8247-0320-0, MR 1748782, Zbl 0942.26001. Contains a section named Egorov type theorems, where the basic Severini–Egorov theorem is given in a form which slightly generalizes that of Korovkin (1947).
• Korovkin, P.P. (1947), "Generalization of a theorem of D.F. Egorov", Doklady Akademii Nauk SSSR (in Russian), 58: 1265–1267, MR 0023322, Zbl 0038.03803
• Luzin, N. (1916), "Интегралъ и тригонометрическій рядъ" [Integral and trigonometric series], Matematicheskii Sbornik (in Russian), 30 (1): 1–242, JFM 48.1368.01
• Mokobodzki, Gabriel (22 June 1970), "Noyaux absolument mesurables et opérateurs nucléaires" [Absolutely measurable kernels and nuclear operators], Comptes rendus hebdomadaires des séances de l'Académie des sciences. Séries A (in French), 270: 1673–1675, MR 0270182, Zbl 0211.44803
• Picone, Mauro; Viola, Tullio (1952), Lezioni sulla teoria moderna dell'integrazione [Lectures on modern integration theory], Manuali Einaudi. Serie di matematica (in Italia), Torino: Edizioni Scientifiche Einaudi, p. 404, MR 0049983, Zbl 0046.28102, reviewed by Cimmino, Gianfranco (1952), "M. Picone – T. Viola, Lezioni sulla teoria Moderna dell'Integrazione", Bollettino dell'Unione Matematica Italiana, Serie 3 (in Italian), 7 (4): 452–454 and by Halmos, Paul R. (January 1953), "Review: M. Picone and T. Viola, Lezioni sulla teoria moderna dell'integrazione", Bulletin of the American Mathematical Society, 59 (1): 94, doi:10.1090/S0002-9904-1953-09666-5.
• Saks, Stanisław (1937), Theory of the Integral, Monografie Matematyczne, 7, translated by Young, L. C., with two additional notes by Stefan Banach (2nd ed.), Warszawa-Lwów: G.E. Stechert & Co., pp. VI+347, JFM 63.0183.05, MR 0017.30004 (available at the Polish Virtual Library of Science).

External links

• Egorov's theorem at PlanetMath.org.
• Humpreys, Alexis. "Egorov's theorem". MathWorld. Retrieved 19 April 2005.

• Kudryavtsev, L.D. (2001), "Egorov theorem", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4