In the
mathematical field of
real analysis, Lusin's theorem (or Luzin's theorem, named for
Nikolai Luzin
Nikolai Nikolaevich Luzin (also spelled Lusin; rus, Никола́й Никола́евич Лу́зин, p=nʲɪkɐˈlaj nʲɪkɐˈlaɪvʲɪtɕ ˈluzʲɪn, a=Ru-Nikilai Nikilayevich Luzin.ogg; 9 December 1883 – 28 January 1950) was a Soviet/Ru ...
) or Lusin's criterion states that an
almost-everywhere
In measure theory (a branch of mathematical analysis), a property holds almost everywhere if, in a technical sense, the set for which the property holds takes up nearly all possibilities. The notion of "almost everywhere" is a companion notion t ...
finite function is
measurable if and only if it is a
continuous function
In mathematics, a continuous function is a function such that a continuous variation (that is a change without jump) of the argument induces a continuous variation of the value of the function. This means that there are no abrupt changes in value ...
on nearly all its domain. In the
informal formulation of
J. E. Littlewood
John Edensor Littlewood (9 June 1885 – 6 September 1977) was a British mathematician. He worked on topics relating to mathematical analysis, analysis, number theory, and differential equations, and had lengthy collaborations with G. H. H ...
, "every measurable function is nearly continuous".
Classical statement
For an interval
'a'', ''b'' let
:
be a measurable function. Then, for every ''ε'' > 0, there exists a compact ''E'' ⊆
'a'', ''b''such that ''f'' restricted to ''E'' is continuous and
:
Note that ''E'' inherits the
subspace topology from
'a'', ''b'' continuity of ''f'' restricted to ''E'' is defined using this topology.
Also for any function ''f'', defined on the interval
'a, b''and almost-everywhere finite, if for any ''ε > 0'' there is a function ''ϕ'', continuous on
'a, b'' such that the measure of the set
:
is less than ''ε'', then ''f'' is measurable.
General form
Let
be a
Radon measure space and ''Y'' be a
second-countable
In topology, a second-countable space, also called a completely separable space, is a topological space whose topology has a countable base. More explicitly, a topological space T is second-countable if there exists some countable collection \mat ...
topological space equipped with a
Borel algebra
In mathematics, a Borel set is any set in a topological space that can be formed from open sets (or, equivalently, from closed sets) through the operations of countable union, countable intersection, and relative complement. Borel sets are named ...
, and let
be a measurable function. Given
, for every
of finite measure there is a closed set
with
such that
restricted to
is continuous.
On the proof
The proof of Lusin's theorem can be found in many classical books. Intuitively, one expects it as a consequence of
Egorov's theorem and density of smooth functions. Egorov's theorem states that pointwise convergence is nearly uniform, and uniform convergence preserves continuity.
References
Sources
* N. Lusin. Sur les propriétés des fonctions mesurables, ''Comptes rendus de l'Académie des Sciences de Paris'' 154 (1912), 1688–1690.
* G. Folland. ''Real Analysis: Modern Techniques and Their Applications'', 2nd ed. Chapter 7
* W. Zygmunt. Scorza-Dragoni property (in Polish), UMCS, Lublin, 1990
* M. B. Feldman, "A Proof of Lusin's Theorem", American Math. Monthly, 88 (1981), 191-2
* Lawrence C. Evans, Ronald F. Gariepy, "Measure Theory and fine properties of functions", CRC Press Taylor & Francis Group, Textbooks in mathematics, Theorem 1.14
Citations
{{reflist
Theorems in real analysis
Theorems in measure theory
Articles containing proofs