
196
19. Элементы теории Функций
и ФункциональноГо анализа
опорный конспект № 19
19.1. Мера Лебега. измеримые множества
R = (-∞, +∞), А ∈ R
О: M(m) — верхняя (нижняя) грань ⇔ a ≤ M (a ≥ m) ∀a ∈ A
M* = supA (m* = infA) — точная верхняя (нижняя) грань А
ℑ = [a, b] ∨ (a, b) ∨ [a, b) ∨ (a, b]
О: {ℑ} ⊂ R — покрытие А ⇔ ∀с ∈ A ∃ ℑ: c ∈ ℑ
О: Мера ℑ ⇔ µ(ℑ) = b - a
О: Внешняя мера А, А ⊂ [a, b] ⇔ µ*(A) =
Внутренняя мера А ⇔ µ*(A) = (b - a) - µ*(
),
= [a, b]\A
О: Ограниченное множество А измеримо с мерой µ(A) ⇔ µ*(A) =
= µ*(A) = µ(A)
19.2. измеримые функции. интеграл Лебега
О: f(x), x ∈ A, — измерима ⇔ А измеримо ∧ ∀ конечного с ∈ R
измеримо А( f(x) > c)
Т. (Лузина): f (x) — измерима и почти всюду конечна на
[a, b] ⇒ ∀δ > 0 ∃ϕ(x) ∈ C
[a,b]
: µA ( f(x) ≠ ϕ(x)) < δ
О:
fx E
E
y
ii
i
n
i
() lim()
max
dµηµ
∫
∑
=
→
=
∆ 0
1
— интеграл Лебега, где f(x) изме-
рима на измеримом Е,
[m, M] раз-
бивают на [y
i-1
, y
i
),
∆y
i
= y
i
- y
i-1
, η
i
∈ [y
i
- y
i-1
),
E
i
= E (y
i-1
≤ f(x) < y
i
)
Т:
(Римана) ⇒
19.3. Функции с ограниченным изменением (ФОи).
интеграл Стилтьеса
О: f(x), x ∈ [a, b], ФОИ ⇔ ∃с > 0: ∀ℑ
n
(a = x
0
< x
1
< ... < x
n
=
= b) ⇒
Vf fx fx
a
b
kk
k
n
n
[] sup()().=-
ℑ
-
=
∑
1
1
О:
fx gx fgxgx
a
b
x
i
i
n
ii
i
() () lim()[ () ()]
max
d
∫
∑
=-
→
=
-
∆ 0
1
1
ξ
— интеграл Рима-
на—Стилтьеса, где f(x) ∈ C
[a,b]
, g(x) — ФОИ на [a, b], [a, b]
разбивается на [x
i-1
, x
i
],
∆x
i
= x
i
- x
i-1
, ξ
i
∈ [x
i
- x
i-1
]