Professional Documents
Culture Documents
LEBESGUE’S MEASURE
PRESENTED BY :
JITANTDRA TRIPATHI
STREAM:
M.Sc.(MATHMETICS)
SECOUND SEM
Topic
Lebesgue’s
measure
Lebesgue’s measure
•
• The Lebesgue measure is defined on the
Lebesgue σ-algebra, which is the collection of
all sets E which satisfy the "Carathéodory
criterion" which requires that for every
• The first part of the definition states that the subset E of the real
numbers is reduced to its outer measure by coverage by sets of
open intervals.
• Each of these sets of intervals I covers E in the sense that when the
intervals are combined together by union, they contain E .
• The total length of any covering interval set can easily overestimate
the measure of E, because E is a subset of the union of the
intervals, and so the intervals may include points which are not in E.
• The Lebesgue outer measure emerges as the greatest lower bound
(infimum) of the lengths from among all possible such sets.
Intuitively, it is the total length of those interval sets which
fit E most tightly and do not overlap.
Characterizes the Lebesgue outer
measure
• Whether this outer measure translates to the Lebesgue measure proper
depends on an additional condition.
• This condition is tested by taking subsets A of the real numbers using E as
an instrument to split A into two partitions: the part of A which intersects
with E and the remaining part of A which is not in E: the set difference
of A and E.
• These partitions of A are subject to the outer measure. If for all possible
such subsets A of the real numbers, the partitions of A cut apart
by E} have outer measures whose sum is the outer measure of A, then the
outer Lebesgue measure of E gives its Lebesgue measure. Intuitively,
• this condition means that the set E must not have some curious
properties which causes a discrepancy in the measure of another set
when E is used as a "mask" to "clip" that set, hinting at the existence of
sets for which the Lebesgue outer measure does not give the Lebesgue
measure. (Such sets are, in fact, not Lebesgue-measurable.)
Examples
• If A is an open or closed subset of Rn (or even Borel set, see metric space),
then A is Lebesgue-measurable.
Construction of the Lebesgue measur