Листок 03.

Интеграл Лебега
Анализ, 2 курс, 19 ноября 2021

031 Пусть (X, Σ, µ) — пространство с мерой, µ(X) < ∞. Докажите, что измеримая функция
X∞
f : X → R интегрируема, если и только если ряд µ({x : |f (x)| > n}) сходится.
n=0

032 Пусть (X, Σ, µ) — пространство с мерой, измеримая функция f : X → R интегрируема

на X и f > 0. Доказать, что приZ каждом ε > 0 справедливо неравенство
µ({x : f (x) > ε}) 6 ε−1 f (x) dµ.
X

033 Пусть (X, Σ, µ) — пространство с мерой, µ(X) < ∞. Пусть Ai ⊂ X, i = 1, . . . , n —

конечный набор измеримых подмножеств X.
n
X n
\
а) Пусть µ(Ai ) > (n − 1)µ(X). Докажите, что Ai 6= ∅.
i=1 i=1
б) Пусть каждая точка x ∈ X принадлежит не менее k подмножествам Ai . Докажите, что
X n
kµ(X) 6 µ(Ai ).
i=1

034 Пусть (X, Σ, µ) — пространство с мерой, µ(X) < ∞. Пусть fn — интегрируемые функции.
L1
а) Из равномерной сходимости fn ⇒ f следует сходимость в среднем fn → f .
L1 µ
б) Из сходимости в среднем fn → f следует сходимость по мере fn → f .
µ
в) Из сходимости по мере fn → f и условия |fn |, |f | 6 C следует сходимость в среднем
L1
fn → f .
г) Из сходимости по мере не следует сходимость в среднем: предложите последователь-
µ
ность fn → 0, которая не сходится в среднем.
д) Из сходимости в среднем не следует сходимость почти всюду: предложите последова-
L1
тельность fn → 0, которая не сходится ни в одной точке.
е) Из сходимости почти всюду не следует сходимость в среднем: предложите последова-
a.e.
тельность fn → 0, которая не сходится в среднем.

035 Пусть f : [0, 1] → R — интегрируемая по Лебегу функция. R

а) Пусть для любого измеримого A ⊂ [0, 1] выполнено равенство A f (x) dµ = 0. Доказать,
a.e.
что f = 0. R
б) Пусть для любого отрезка ∆ ⊂ [0, 1] выполнено равенство ∆ f (x) dµ = 0. Доказать,
a.e.
что f = 0.

Определение. Последовательность fn интегрируемых функций сходится к интегриру-

L1 R
емой функции f в среднем (fn → f ), если X |f − fn | dµ → 0 при n → ∞.