In the
mathematical
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
field of
real analysis
In mathematics, the branch of real analysis studies the behavior of real numbers, sequences and series of real numbers, and real functions. Some particular properties of real-valued sequences and functions that real analysis studies include con ...
, 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/R ...
) 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
In mathematics, the concept of a measure is a generalization and formalization of geometrical measures (length, area, volume) and other common notions, such as mass and probability of events. These seemingly distinct concepts have many simila ...
if and only if it is a
continuous function on nearly all its domain. In the
informal formulation of
J. E. Littlewood, "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
In topology and related areas of mathematics, a subspace of a topological space ''X'' is a subset ''S'' of ''X'' which is equipped with a topology induced from that of ''X'' called the subspace topology (or the relative topology, or the induced t ...
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
In mathematics (specifically in measure theory), a Radon measure, named after Johann Radon, is a measure on the σ-algebra of Borel sets of a Hausdorff topological space ''X'' that is finite on all compact sets, outer regular on all B ...
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 name ...
, 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
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, ...
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