Namespaces
Variants
Actions

Lebesgue theorem

From Encyclopedia of Mathematics
Revision as of 16:58, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Lebesgue's theorem in dimension theory: For any the -dimensional cube has a finite closed -covering of multiplicity , and at the same there is an such that any finite closed -covering of the -dimensional cube has multiplicity (cf. also Covering (of a set)). This assertion led later to a definition of a fundamental dimension invariant, the Lebesgue dimension of a normal topological space .


Comments

This theorem is also called the Lebesgue covering theorem or "PflastersatzPflastersatz" (see Dimension). In the language of dimension theory it says that for every .

References

[a1] R. Engelking, "Dimension theory" , North-Holland & PWN (1978) pp. 19; 50
[a2] W. Hurevicz, G. Wallman, "Dimension theory" , Princeton Univ. Press (1948) ((Appendix by L.S. Pontryagin and L.G. Shnirel'man in Russian edition.))
[a3] C. Kuratowski, "Introduction to set theory and topology" , Pergamon (1972) (Translated from Polish)

Lebesgue's theorem on the passage to the limit under the integral sign: Suppose that on a measurable set there is specified a sequence of measurable functions that converges almost-everywhere (or in measure) on to a function . If there is a summable function on such that for all and ,

then and are summable on and

This was first proved by H. Lebesgue [1]. The important special case when and has finite measure is also called the Lebesgue theorem; he obtained it earlier [2].

A theorem first proved by B. Levi [3] is sometimes called the Lebesgue theorem: Suppose that on a measurable set there is specified a non-decreasing sequence of measurable non-negative functions () and that

almost-everywhere; then

References

[1] H. Lebesgue, "Sur les intégrales singuliéres" Ann. Fac. Sci. Univ. Toulouse Sci. Math. Sci. Phys. , 1 (1909) pp. 25–117
[2] H. Lebesgue, "Intégrale, longueur, aire" , Univ. Paris (1902) (Thesis)
[3] B. Levi, "Sopra l'integrazione delle serie" Rend. Ist. Lombardo sue Lett. (2) , 39 (1906) pp. 775–780
[4] S. Saks, "Theory of the integral" , Hafner (1952) (Translated from French)
[5] I.P. Natanson, "Theory of functions of a real variable" , 1–2 , F. Ungar (1955–1961) (Translated from Russian)

T.P. Lukashenko

Comments

This Lebesgue theorem is also called the dominated convergence theorem, while Levi's theorem is also known as the monotone convergence theorem.

References

[a1] N. Dunford, J.T. Schwartz, "Linear operators" , 1–3 , Interscience (1958–1971)
[a2] P.R. Halmos, "Measure theory" , v. Nostrand (1950)
[a3] E. Hewitt, K.R. Stromberg, "Real and abstract analysis" , Springer (1965)
How to Cite This Entry:
Lebesgue theorem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Lebesgue_theorem&oldid=28232
This article was adapted from an original article by B.A. Pasynkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article