Д.И. Кравцов, B.A.

Борбут

Функциональный анализ

1 Метрические и нормированные пространства

1.1 Метрические пространства
Определение 1. ρ : X × X ⇒ R называется метрикой, если ∀x, y, z ∈ X
1. ρ(x, y) ≥ 0, ρ(x, y) = 0 ⇐⇒ x = y
2. ρ(x, y) = ρ(y, x)
3. ρ(x, y) ≤ ρ(x, z) + ρ(y, z)
Определение 2. (X, ρ) называется метрическим пространством

Примеры метрических пространств:

Пример 1. Rm (Cm )
x = (x(1), x(2), . . . , x(m))
m 1
ρ(x, y) = ( |x(k) − y(k)|2 ) 2
P
1

Пример 2. C[a, b]
ρ(x, y) = max |x(t) − y(t)|
a≤t≤b

Пример 3. CL [a, b]
Rb
ρL (x, y) = |x(t) − y(t)| dt
a

∞
P
Пример 4. l1 3 x = (x(1), . . . , ), x(k) ∈ C : |x(k)| < +∞
k=1
∞
P
ρ1 (x, y) = |x(k) − y(k)|
k=1

Пример 5. Ограниченные числовые последовательности:

l∞ 3 x = (x(1), . . . , ), x(k) ∈ C : sup |x(k)| < +∞
ρ∞ (x, y) = sup |x(k) − y(k)|
k

∞
|x(k)|p < +∞
P
Пример 6. lp 3 x = (x(1), . . . , ), x(k) ∈ C :
k=1
∞ 1
p
P
ρp (x, y) = ( |x(k) − y(k)| ) p

k=1
 Пример 7. C0 3 x = (x(1), . . . , ), x(k) −−−→ 0
k→∞
ρ(x, y) = max |x(k) − y(k)|
k

Пример 8. C 3 x = (x(1), . . . , ), ∃ lim x(k)

k→∞
ρ(x, y) = ρ∞ (x, y) = sup |x(k) − y(k)|
k

Пример 9. S - все числовые последовательности:

∞
P |x(k)−y(k)|
ρ(x, y) = 2k (1+|x(k)−y(k)|)
k=1

Определение 3. xn сходится к x0 (xn −−−→ x0 ) в (X, ρ) ⇐⇒ ρ(xn , x0 ) −−−→ 0

n→∞ n→∞
∀ε > 0 ∃ nε ∈ N : ∀ n ≥ nε ρ(xn , x0 ) < ε

Определение 4. xn ∈ X называется последовательностью Коши, если

ρ(xn , xm ) → 0 при n, m → ∞
∀ сходящаяся последовательность ⇒ последовательность Коши

Определение 5. (X, ρ) - полное, если ∀ последовательность Коши cходится

Утверждение 1. Необходимые условия сходимости в C[a, b]:
1. ∀t ∈ [a, b] ∃ lim xn (t) = x0 (t)
n→∞

2. x0 ∈ C[a, b]
Утверждение 2. Сходимость в C[a, b] ⇐⇒ равномерная сходимость

Утверждение 3. Необходимое условие сходимости в lp (1 ≤ p ≤ +∞), C0 , C, S:

1. ∃ lim xn (k) = x0
n→∞

2. x0 ∈ заданному пространству
Эти условия являются достаточными только в пространстве S
l1 ,→ lp1 ,→ lp2 ,→ C0 ,→ C ,→ l∞ ,→ S, 1 < p1 < p2 < +∞
X ,→ Y , X - подмножество Y, xn → x0 в X ⇒ xn → x0 в Y
Теорема 1. xn ∈ C[a, b] ⇐⇒ xn сходится равномерно ∀ε > 0 ∃ n(ε) ∀n, m ≥ n(ε) ∀t ∈
[a, b] : |xn (t) − xm (t)| < ε

2
1.2 Топология метрических пространств
Определение 6. Открытым(замкнутым) шаром называется
B(x0 , r) (B[x0 , r]) = {x : ρ(x, x0 ) < r(≤ r)}
Определение 7. M ⊂ X - метрического пространства называется открытым,
если ∀x0 ∈ M ∃r > 0 : B(x0 , r) ⊂ M
Утверждение 4. Открытый шар - открытое множество
S
Утверждение 5. Открытое множество на прямой - не более чем счетное
∞
F
попарно непересекающихся интервалов U = (ak , bk )
k=1
( S
G A B
A B= T
A B=∅

Определение 8. M ⊂ X - метрического пространства называется замкнутым,

если его дополнение открыто

Различные точки множества:

Определение 9. x0 - внутренняя точка
x0 ∈ M ∃B(x0 , r) ⊂ M
Определение 10. x0 - граничная точка
∀B(x0 , r)
T
1. B(x0 , r) M 6= ∅
T
2. B(x0 , r) (X \ M ) 6= ∅
Определение 11. x0 - изолированная точка M

1. x0 ∈ M
T
2. ∃r > 0 : B(x0 , r) M = {x0 }

Определение 12. x0 - точка прикосновения M

T
1. ∀r > 0 : B(x0 , r) M 6= ∅

Определение 13. Множество всех точек прикосновения M называется его замы-

канием M = {x0 − точка прикосновения }
T
Определение 14. Точка x0 называется внешней точкой M , если ∃B(x0 , r) M = ∅

3
 Свойства 1. M ⊂ X - метрического пространства

1. M замкнуто
2. M ⊂ M
3. M = M
4. ∀xm ∈ M : xm → x0 ⇒ x0 ∈ M
Определение 15. Отображение F непрерывно в точке x0
F : (X, ρX ) → (Y, ρY ), x0 ∈ X
∀ε > 0 ∃δ(ε, x0 ) > 0, ρX (x, x0 ) < δ ⇒ ρY (F (x), F (x0 )) < ε
Определение 16. Отображение F равномерно непрерывно
F : (X, ρX ) → (Y, ρY )
∀ε > 0∃ δ(ε) > 0, ρX (x, x0 ) < δ ⇒ ρY (F (x), F (x0 )) < ε
Определение 17. Отображение F Липшицево
F : (X, ρX ) → (Y, ρY ) с const L
ρY (F (x), F (y)) ≤ L · ρX (x, y)
Теорема 2. F : (X, ρX ) → (Y, ρY ) непрерывно в точке x0 ⇐⇒ ∀xn ∈ X : xn −−−→ x0 в
n→∞
X ⇒ F (xn ) −−−→ F (x0 )
n→∞

Утверждение 6. F : (X, ρX ) → (Y, ρY ) непрерывно в точке x0 ⇐⇒ ∀xn → x0

F (xn ) сходится
Определение 18. M ⊂ X - метрического пространства всюду плотно в X, если
M =X
Определение 19. M ⊂ X - метрического пространства нигде не плотно в X, если
X \M =X

1.3 Полные метрические пространства

Теорема 3. (О вложенных шарах)
∞
T
X - полное метрическое пространство, Bn = B[xn , rn ] ⊃ Bn+1 , rn → 0 ⇒ Bn 6= ∅
n=1

Теорема 4. (Бэр) T
X - полное метрическое пространство, Un ∈ τ, Un = X ⇒ Un = A ⇒ A = X
Теорема 5. (Бэр’)
∞
S
Mk = M , X = Mk , то хотя бы 1 из этих множеств содержит шар
k=1

4
 Теорема 6. (О пополнении метрического пространства)
∀ метрического пространства X ∃Y - полное метрическое простaнство:
1. X ⊂ Y
2. ρY |X×X = ρX
3. X = Y
Y - пополнение метрического пространства.

Лемма 1. Если Y - метрическое пространство, X ⊂ Y, X = Y ⇒ Y - полное ⇐⇒

∀xn ∈ X - последовательности Коши ∃ lim в Y
n→∞

1.4 Принцип сжимающих отображений

Определение 20. 1. f : X → X называется сжимающим, если ∃ α ∈ (0, 1) :
ρ(f (x), f (y)) ≤ α · ρ(x, y)

2. f : X → X, x∗ - неподвижная, если f (x∗ ) = x∗

Теорема 7. (Банаха)
В полном метрическом пространстве ∃! x∗ : x∗ = f (x∗ )
∀ x0 , xn = f (xn−1 ) → x∗
αn
ρ(xn , x∗ ) ≤ 1−α ρ(x0 , x1 )

Теорема 8. (Локальный принцип сжимающих отображений)

Если X - полное метрическое пространство f : X → X ∃r > 0 :
∀x, y ∈ B[x0 , r] , ρ(f (x), f (y)) ≤ αρ(x, y)
ρ(f (x0 ), x0 ) ≤ (1 − α)r, тогда в B[x0 , r] ∃! x∗ : f (x∗ ) = x∗
Теорема 9. Если X - полное метрическое пространство ∃k ∈ N : F k сжимающее,
⇒ ∃! x∗ = F (x∗ )

1.5 Применение принципа сжимающих отображений к интегральным урав-

нениям в C[a, b]
Определение 21. Интегральное уравнение 2-го рода:

Zb
x(t) = K(t, s, x(s))ds + y(t)
a

5
 Определение 22. Линейное интегральное уравнение или уравнение Фритгольма:
K(t, s, z(s)) = K(t, s) ∗ z(s)

Zb
x(t) = K(t, s)x(s)ds + y(t)
a

Определение 23. Интегральное уравнение Вольтера:

Zt
x(t) = K(t, s, x(s))ds + y(t)
a

Теорема 10. Если K : [a, b] × [a, b] × R → R непрерывна как функция 3-х переменных,
то
|K(t, s, z1 ) − K(t, s, z2 )| ≤ C|z1 − z2 |
α := C(b − a) < 1, то ∀y ∈ C[a, b]
для интегрального уравнения второго рода ∃! x∗ , которое можно найти методом после-
довательных приближений: x∗ - решение.
Теорема 11. Если
Zb
K ∈ C([a, b] × [a, b]), max |K(t, s)|ds = α < 1 ⇒ ∀y ∈ C[a, b] ∃! x∗ ∈ C[a, b]
a≤t≤b
a

- решение уравнения Фритгольма

K(t, s, z) = K(t, s) · z
Теорема 12. Если K ∈ C([a, b] × [a, b] × R) по 3-й переменной удовлетворяет условию
Липшица
|K(t, s, z1 ) − K(t, s, z2 )| ≤ C|z1 − z2 | ⇒ ∀y ∈ C[a, b] ∃! x∗
- решение уравнения Вольтера

Теорема 13. (Пикара-Линделефа)

dx
dt
= f (t, x(t))
x(t0 ) = y0
Rt
x(t) = f (s, x(s))ds + y0
0

1.6 Нормированные пространства

Определение 24. Векторным пространством над полем K называется:
+:X ×X →X

6
 1. x + (y + z) = (x + y) + z
2. ∃ 0 : x + 0 = x
3. ∃ − x : x + (−x) = 0
4. x + y = y + x
∗:K×X →X
5. λ(x + y) = λx + λy
6. (λ + µ)x = λx + µx
7. 1K ∗ x = x
8. λ(µx) = (λµ)x
Определение 25. Подпространством векторного пространства называется
A ⊂ X, где A и X - векторные пространства
Утверждение 7. Y ⊂ X - векторного пространства является векторным простран-
ством ⇐⇒ Y - замкнуто относительно умножения на скаляр и сложения
Определение 26. Нормой называется:
k·k:X →R
1. kxk ≥ 0 и kxk = 0 ⇐⇒ x = 0
2. kλxk = |λ|kxk
3. kx + yk ≤ kxk + kyk

Определение 27. Нормированное пространство называется Банаховым, если оно

полно относительно метрики ρ(x, y) = kx − yk

Теорема 14. В нормированном пространстве операции сложения и умножения на

число непрерывны

Теорема 15. Нормированное пространство X является Банаховым ⇐⇒ ∀ абсолют-

но сходящийся ряд сходится

Теорема 16. ∀ нормированного пространства X ∃ Банахово пространство Y попол-

нение X

7
2 Теория меры
2.1 Кольца и полукольца
Определение 28. X 6= ∅, K ⊂ P(X) называется кольцом, если:
\
A, B ∈ K ⇒ A B, A4B ∈ K (1)

Определение 29. Кольцо K называется алгеброй, если X ∈ K

Определение 30. Кольцо K называется σ-кольцом, если:
∞
[
Ak ∈ K ⇒ Ak ∈ K (2)
k=1

Определение 31. Кольцо K называется δ-кольцом, если:

∞
\
Ak ∈ K ⇒ Ak ∈ K (3)
k=1

Определение 32. Кольцо, являющееся алгеброй и σ-кольцом(δ-кольцом), называется

σ-алгеброй(δ-алгеброй)
Теорема 17.
∀S ⊂ P(X) ∃K(S) : ∀кольца U ⊃ S ⇒ K(S) ⊂ U (4)
K(S), называется кольцом, порожденным S
Определение 33. ∅ 6= S ⊂ P(x) называется полукольцом, если ∀A, B ∈ S:
T
1. A B ∈ S
n
F
2. ∃ Ai ∈ S, i = 1, n : A \ B = Ai
i=1

Лемма 2. Пусть S – полукольцо.

n
G n
G
B= Bk , Bk ∈ S, A ∈ S ⇒ A \ B = Ai , Ai ∈ S (5)
k=1 k=1

Теорема 18. Пусть S – полукольцо, тогда

n
G
K(S) = {A|A = Ak , Ak ∈ S} (6)
k=1

Определение 34. Пусть (X, τ ) – топологическое пространство. Минимальняя σ-

алгебра содержащая топологию, называется борелевской σ-алгеброй. Элементы бо-
релевской σ-алгеброй называются борелевскими множествами

8
2.2 Мера
Определение 35. Пусть S – полукольцо на X. µ : S → R≥0 называется мерой, если:
n
G n
X
A= Ak , A, Ak ∈ S ⇒ µ(A) = µ(Ak ) (7)
k=1 k=1

Лемма 3. (Монотонность меры) Пусть S – полукольцо на X и µ – мера на S.

A, B ∈ S, A ⊂ B ⇒ µ(A) ≤ µ(B) (8)
Определение 36. Мера µ : S → R называется счетно-аддитивной(σ-
аддитивной), если
∞
G ∞
X
A= Ak , A, Ak ∈ S ⇒ µ(A) = µ(Ak ) (9)
k=1 k=1

Теорема 19. Длинна является σ-аддитивной мерой на полукойльце S, состоящем из

полуинтервалов [a, b)
Определение 37. Мера µ на кольце K называется непрерывной, если для любой
монотонно возрастающей (Ak ⊂ Ak+1 ) последовательности множеств Ak ∈ K : A :=
∞
S
Ak ∈ K, справедливо µ(A) = lim µ(Ak )
k=1 k→∞

Теорема 20. Мера на кольце является σ-аддитивной ⇐⇒ она непрерывна

Определение 38. Мера µ, заданная на полукольце K, называется продолжением
меры m, заданной на полукольце S, если
1. S ⊂ K
2. µ(A) = m(A), ∀A ∈ S

Теорема 21. Пусть m – мера на полукольце S ⊂ P(X) и K(S)– минимальное кольцо

порожденное S. Тогда на K(S) ∃! мера µ , являющяяся продолжением меры m. И эта
Pn
мера задаются формулой µ(A) = m(Ak ). Если m σ-аддитивна, то и µ σ-аддитивна
k=1

Теорема 22. Пусть K ⊂ P(X) – кольцо множеств и µ – мера на K и A, Ak ∈ K.

Тогда
∞
F P∞
1. Ak ⊂ A ⇒ µ(Ak ) ≤ µ(A)
k=1 k=1
∞
S ∞
P
2. мера µ σ-аддитивна и A ⊂ Ak ⇒ µ(A) ≤ µ(Ak )(субаддитивность меры)
k=1 k=1

9
 Следствие 1. Мера является σ-аддитивной ⇐⇒ она субаддитивна.

Определение 39. Пусть K ∈ P(X) – кольцо и пусть µ – мера на K. A ⊂ X называ-

ется множеством меры нуль, если
[ X
∀ε > 0 ∃Ak ∈ K k ∈ N : A ⊂ Ak , µ(Ak ) < ε (10)
k k

2.3 Продолжение меры по Лебегу

Определение 40. Пусть K ⊂ P(X) – алгебра, и на ней задана σ-аддитивная мера m.
Элементы K назаваются элементарными множествами

Определение 41. K ⊂ P(X) – кольцо. Мера µ называется полной мерой если

µ(A) = 0 ⇒ ∀B ⊂ A, B ∈ K (11)

Определение 42. Пусть m – σ-аддитивная мера на алгебре K ⊂ P(X). Внешней

мерой A ⊂ X порожденной m называется число
X [
µ∗ (A) = inf{ m(Aj )|A ⊂ Aj , Aj ∈ K} (12)
j

Определение 43. A ⊂ X называется измеримым по Лебегу относительно ме-

ры m, если
µ∗ (A) + µ∗ (X \ A) = m(X) (13)
Определение 44.
L(K, m) : µ(A) = µ∗ (A), A ∈ L(K, m) (14)

L(K, m) – семейство измеримых по Лебегу множеств

Определение 45. Мера Лебега µ определяется как сужение внешней меры на
L(K, m)
Теорема 23. (о субаддитивности внешеней меры)
[ X
A⊂ Ak ⇒ µ∗ (A) ≤ µ∗ (Ak ) (15)
k k

Следствие 2.
∀A, B ⊂ X |µ∗ (A) − µ∗ (B)| ≤ µ∗ (A4B) (16)
Следствие 3.
∀A, B, C ⊂ X µ∗ (A4B) ≤ µ∗ (A4C) + µ∗ (C4B) (17)

10
 Теорема 24. (критерий измеримости множества) A ⊂ X измеримо по Лебегу
⇐⇒ ∀ε > 0 ∃ элементарное множество B, такое что µ∗ (A4B) < ε
Теорема 25. L(K, m) – алгебра
Теорема 26.
n
G n
X
A= Ai , Ai ∈ L(K, m) ⇒ µ(A) = µ(Ai ) (18)
i=1 i=1

Следствие 4. Мера Лебега σ-аддитивна

Теорема 27. Счетное объединение измеримых измеримо
Теорема 28. (основная теорема) Если исходная мера m σ-аддитивна ⇒ L(K, m)
σ− алгебра, а мера Лебега σ-аддитивна

F∞ 46. Мера µ, заданная на кольце K ⊂ P(X), называется σ-конечной,

Определение
если ∃ X = k=1 Xk , где Xk ∈ K, µ(Xk ) < ∞
T
Определение 47. A ⊂ X называется измеримым, если ∀k, A Xk измеримо в Xk

2.4 Мера Лебега-Стилтьеса

Замечание 1. Любая мера на прямой задается своей производящей функций F, и
верно
m([a, b)) = F (b) − F (a) (19)
Теорема 29. Мера m σ-аддитивна ⇐⇒ её производяшая функция непрерывна слева
Определение 48. Лебеговское продолжение меры, порожденной непрерывной слева
функцией, называется мерой Лебега-Стилтьеса.
Определение 49. Меры µ на σ−алгебре Σµ ,ν на σ−алгебре Σν . мера ν абсолюстно
непрерывна относительно µ если
µ(A) = 0 ⇒ ν(A) = 0 (20)
Определение 50. F : [0, 1] → R называется абсолютно непрерывной, если
n
X n
X
∀ε > 0∃δ > 0∀ не пересекающихся [αi , βi ) ⊂ [0, 1), i = 1, n : (βi −αi ) < δ ⇒ |F (βi )−F (αi )| < ε
i=1 i=1
(21)
Лемма 4. Пусть µ и ν – σ-аддитивные меры на одной σ-алгебре. ν абсолютно непре-
рывна относительно µ ⇐⇒ ∀ε > 0 ∃δ > 0 : µ(A) < δ ⇒ ν(A) < ε
Теорема 30. Мера ν заданная на σ-алгебре борелевских множеств, порожденная F .
ν абсолютно непрерывна ⇐⇒ F –абсолютно непрерывна.

11
 Определение 51. Функцией Кантора называется функция

1
 2 ϕ(2x),
 x ∈ [0, 31 ]
ϕ(x) = 12 , x ∈ [ 13 , 32 ] (22)
 1 ϕ(3x − 2), x ∈ [ 2 , 1]

2 3

Определение 52. Меры S µ и ν нызываются взаимно сингулярными, если суще-

ствует разбиение X = X1 X2 на измеримые подмножества, что µ(X1 ) = 0 и ν(X2 ) = 0

R
3 Лебега
3.1 Измеримые функции
Пусть X – множество, Σ – σ-алгебра на X, на Σ задана σ-аддитивная поная мера µ.
Определение 53. (X, Σ) называется измеримым пространством, а его элемен-
ты измеримыми
Определение 54. (X, Σ, µ) называется пространством с мерой
Определение 55. f : X → R называется изммеримой функцией, если
∀c ∈ R, Xc := {x|f (x) < c} измеримо
Определение 56. Функции fn на X сходится точено к f, если
∀x ∈ X fn (x) → f (x) (23)
Определение 57. Функции fn на X сходится равномерно к f, если
∀ε > 0∃nε : n > nε |fn (x) − f (x)| < ε, ∀x ∈ X (24)
Определение 58. Функции fn на пространстве с мерой, сходится почти всюду
к f, если
∃X0 меры 0 : fn (x) → f (x) ∀x ∈ X \ X0 (25)
Определение 59. Измеримые функции fn на пространстве с мерой, сходится по
мере к f по мере µ, если
∀c > 0 : µ({x : |fn (x) − f (x)| > c}) → 0 (26)
Теорема 31. Точечный предел измеримых функций есть измеримая функция
Определение 60. Фунции f и g называются эквивалентными если
µ({x|f (x) 6= g(x)}) = 0 (27)
Определение 61. f : X → R называеся простой, если она измерима и принимает
не более чем счетное множество значений

12
 ∞
F
Теорема 32. Функция f простая ⇐⇒ X = Ak , где Ak измеримы и f (x) прини-
k=1
мает постоянное значение на Ak
Теорема 33. Для любой измеримой функции существует последовательность равно-
мерно сходящейся к ней простых функций
Теорема 34. Множество простых функций замкнуто относительно алгебраических
операций
Теорема 35. (Егоров) Пусть X – множество конечной меры и последовательность
измеримых функций fn сходится почти всюду на X к функции f . Тогда ∀δ > 0 ∃ из-
меримое множество Xδ ⊂ X : µ(X \ Xδ ) < δ и на Xδ последовательность сходится
равномерно

3.2 Интеграл Лебега. Определение и простейшие свойства

(T, µ), µ(T ) < ∞
Определение 62. Простая функция x : T → R, x(t) = yk , t ∈ Ak
∞
F ∞
P
Ak - измеримо Ak = T называется интегрируемой по Лебегу, если yk · µ(Ak ) схо-
k=1 k=1
дится абсолютно ⇐⇒
∞
X Z ∞
X
|yk |µ(Ak ), x(t)dµ = yk µ(Ak ) (28)
k=1 T k=1

Свойства 2. Интеграла простой функции

R R
1. A - измеримо 1dµ = χ(t)dµ = µ(A)
A T

2. Если x(T ) = y1 , . . . , yk , то интегрируема

3. |x(t)
R ≤ C| R
| x(t)dµ| ≤ |x(t)|dµ ≤ Cµ(T )
T T

4. x
R - интегрируема
R ⇒ λx интегрируема ∀λ ∈ R
λx(t)dµ = λ x(t)dµ
T T

5. x1 , x2 - интегрируемы ⇒ x1 + x2 - интегрируемы и
Z Z Z
(x1 (t) + x2 (t))dµ = x1 (t)dµ + x2 (t)dµ (29)
T T T

13
 Определение 63. Измеримая функция x называется интегрируемой по Лебегу, если
∃xn , xn - последовательность интегрируемых функций: xn ⇒ x
n→∞
Z Z
x(t)dµ = lim xn (t)dµ (30)
n→∞
T T

Утверждение 8. Если x - интегрируемая функция, то ∀xn ⇒ x ⇒ xn - интегрируе-

мы по крайней мере начиная с некоторого номера

Свойства 3. Интеграла Лебега

R
1. Если x - измеримая и ограниченная (|x| ≤ C), ⇒ x - интегрируема | x(t)dµ| ≤
R T
|x(t)|dµ ≤ Cµ(T )
T
R R
2. Если x интегрируема, то и λx интегрируема и λx(t)dµ = λ x(t)dµ
T T
R R R
3. (x1 (t) + x2 (t))dµ = x1 (t)dµ + x2 (t)dµ
T T T

3.3 Сравнение интеграла Римана с интегралом Лебега по мере Лебега

Теорема 36. (Лебег)
Если функция x : [a, b] → R интегрируема по Риману, то она интегрируема по Лебегу
R Rb
по мере Лебега и интеграл Лебега x(t)dµ = x(t)dt
[a,b] a

Теорема 37. (Критерий интегрируемости функции по Риману)

Ограниченная функция x : [a, b] → R интегрируема по Риману на [a, b] ⇐⇒ λ(Mx ) = 0,
где Mx - множество точек разрыва функции x
Теорема 38. Если x : [a, b] → R неограничена в окрестности точки a или в окрест-
ности точки b и x почти всюду непрерывна, то эта функция интегрируема по Лебегу
Rb R Rb
⇐⇒ несобственный интеграл Римана |x(t)|dt < ∞ При этом x(t)dλ = x(t)dt
a [a,b] a

R
3.4 Предельный переход под знаком
Теорема 39. (абсолютная непрерывность интегралла Лебега) Пусть f – ин-
тегрируемая функция. Тогда
Z

∀ε > 0 δ > 0 : µ(A) < δ ⇒ | f (x)dµ (31)
A

14
 F∞
Теорема 40. Если A = k=1 Ak , f интегрируема на Ak и ряд
XZ
|f (x)|dµ (32)
k A
k

сходится ⇒ функция f интегрируема на A и

Z XZ
f (x)dµ = f (x)dµ (33)
A k A
k

Теорема 41. (о мажорируемой сходимости, Лебег) fn измеримы и почти всю-

ду сходятся к f и ∃ интегрируемая функция ϕ : |fn (x)| ≤ ϕ(x) почти всюду. Тогда f
интегрируема и Z Z
f (x)dµ = lim fn (x)dµ (34)
n→∞
X X
R
Теорема 42. (Леви) f1 (x) ≤ f2 (x) ≤ . . . интегрируемы и ∃C : fn (x)dµ ≤ C. Тогда
X
почти всюду ∃ lim fn (x) := f (x) интегрируема и
n→∞
Z Z
f (x)dµ = lim fn (x)dµ (35)
n→∞
X X

Теорема 43. (лемма Фату) Если последовательность R неотриццательных инте-

грируемых функций fn сходится почти всюду к f и ∃K : fn (x)dµ ≤ K, то f интегри-
R X
руема и f (x)dµ ≤ K
X

∞
F
Определение 64. X = Xk , µ(Xk ) < +∞. Интеграллом Лебега интегрируемой
1
функции называется число
Z ∞ Z
X
f (x)dµ = f (x)dµ (36)
X k=1 X
k

3.5 Заряды
Определение 65. Пусть S − σ-кольцо
∞
F ∞
P
Φ : S → R называется зарядом, если Φ( Ak ) = Φ(Ak )
k=1 k=1

Теорема 44. ∀Φ - заряд ∃µ1 , µ2 - σ - аддитивные: Φ = µ1 − µ2

15
 Определение 66. Φ называется абсолютно непрерывной относительно меры µ :
K → R, K − σ−алгебра, если µ(A) = 0 ⇒ Φ(A) = 0
Определение 67. Измеримое множество A ⊂ X называется положитель-
ным(отриццательным)
Теорема 45. (Радона-Никодима)

Если Φ абсолютно непрерывна относительно µ(σ - аддитивная,

R полная), то ∃ρ - ин-
тегрируемая функция относительно µ, что Φ(A) = ρ(t)dµ, ρ называется призвод-
A R
ной Радона-Никодима, если ν абсолютно непрерывна относительно µ, то x(t)dν =
R T
ρ(t)x(t)dµ
T

Определение 68. Функция g : [a, b] → R называется функцией ограниченной вариа-

n−1
P
ции, если ∃ c > 0 : ∀a ≤ t0 < · · · < tk ≤ b; |g(tk+1 ) − g(tk )| ≤ c
k=0
b
V g = inf{c} - полная вариация функции g по [a, b]
a

Теорема 46. ν([α, β]) = g(β) − g(α) - заряд ⇐⇒ g ∈ V ar - функция ограниченной

вариации

b c b
1. Если a < c < b : V g = V g + V g
a a c

2. g1 , g2 ∈ V ar[a, b] ⇒ α · g1 + β · g2 ∈ V ar[a, b]
b b b
3. V (g1 + g2 ) ≤ V g1 + V g2
a a a

4. Если g ∈ V ar[a, b], то ∃gi ↑: g = g1 − g2

b b b
V g = V g1 + V g2 ;
a a a
Если g непрерывна слева, то g1 и g2 тоже
Если g абсолютно непрерывна, то g1 и g2 тоже

t
5. V g ↑
a
dµ
Утверждение 9. Если ∃ g 0 , то g 0 = dλ
Утверждение 10. Если g - абсолютно непрерывна, то g диффериенцируема почти
всюду
Z Z
x(t)dµg = x(t)g 0 (t)dλ (37)
[a,b) [a,b]

16
 Теорема 47. Формула двойной подстановки справедлива ⇐⇒ f - абсолютно непре-
рывна

17