Біртекті жинақылудың шарттары: Егоров теоремасы

Theorem concerning uniform convergence
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.

The first proof of the theorem was given by Carlo Severini in 1910: 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, 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. The first mathematicians to prove independently the theorem in the nowadays common abstract measure space setting were , and in : 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 Further generalizations were given much later by Pavel Korovkin, in the paper , and by Gabriel Mokobodzki in the paper .

Let (fn) 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 ⊆ X, with finite μ measure, such that (fn) 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 (fn) converges to f uniformly on 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.

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 defined on the real line. This sequence converges pointwise to the zero function everywhere but does not converge uniformly on for any set B of finite measure: a counterexample in the general dimensional real vector space can be constructed as shown by 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.

Nikolai Luzin's generalization of the Severini–Egorov theorem is presented here according to .

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 (fn) is a given sequence of M valued measurable functions on some measure space (X,Σ,μ), such that (fn) 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, A1, A2, such that μ(H) = 0 and (fn) converges to f uniformly on each set Ak.

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 {Ak}k=1,2, such that

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

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

The proof of the Korovkin version follows closely the version on , which however generalizes it to some extent by considering admissible functionals instead of non negative measures and inequalities and respectively in conditions 1 and 2.

, available at Gallica. . Published by the Accademia Gioenia in Catania. , available from the Biblioteca Digitale Italiana di Matematica. The obituary of Carlo Severini. A short note in which Leonida Tonelli credits Severini for the first proof of Severini–Egorov theorem.

. 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. Contains a section named Egorov type theorems, where the basic Severini–Egorov theorem is given in a form which slightly generalizes that of
, reviewed by and by (available at the Polish Virtual Library of Science).