ВУЗ:
Составители:
Рубрика:
10 Глава 18. Мера множеств в n-мерном евклид. пространстве
3.
◦
(Аддитивность меры)
µ(A ∪ B) = µA + µB, если A ∩ B = ∅. (5)
µ(A \ B) = µA − µB, при B ⊂ A. (6)
Д о к а з а т е л ь с т в о. (3) очевидно. Установим (5). Мно-
жество A ∪ B элементарно в силу леммы 1. Если
A =
m
[
k=1
P
k
, B =
r
[
j=1
Q
j
, P
k
, Q
j
— п-прямоугольники,
P
i
∩ P
k
= ∅ при i 6= k, Q
i
∩ Q
k
= ∅ при i 6= k,
то
A ∪ B =
m
[
k=1
P
k
!
∪
r
[
j=1
Q
j
,
причем P
k
∩ Q
j
= ∅ ∀k, j.
Тогда по определению меры элементарного множества
µ(A ∪ B) =
m
X
k=1
µP
k
+
r
X
j=1
µQ
j
,
µA =
m
X
k=1
µP
k
, µB =
r
X
j=1
µQ
j
,
откуда следует (5). Из (5) и (3) следует (4):
µ(A ∪ B) = µ(A \ (A ∩ B)) + µB 6 µA + µB.
Из (5) следует (6).
Определение 3. Пусть E ⊂ R
n
— ограниченное множе-
ство. Числа
µ
∗
E = sup
A⊂E
µA, µ
∗
E = inf
B⊃E
µB,
где верхняя и нижняя грани берутся по всем элементарным
множествам A, B (A ⊂ E, B ⊃ E), называются соответ-
ственно нижней (или внутренней) и верхней (или внешней)
мерой Жордана множества E.
10 Глава 18. Мера множеств в n-мерном евклид. пространстве 3.◦ (Аддитивность меры) µ(A ∪ B) = µA + µB, если A ∩ B = ∅. (5) µ(A \ B) = µA − µB, при B ⊂ A. (6) Д о к а з а т е л ь с т в о. (3) очевидно. Установим (5). Мно- жество A ∪ B элементарно в силу леммы 1. Если m [ r [ A= Pk , B= Qj , Pk , Qj — п-прямоугольники, k=1 j=1 Pi ∩ Pk = ∅ при i 6= k, Qi ∩ Qk = ∅ при i 6= k, то m ! r [ [ A∪B = Pk ∪ Qj , k=1 j=1 причем Pk ∩ Qj = ∅ ∀ k, j. Тогда по определению меры элементарного множества m X r X µ(A ∪ B) = µPk + µQj , k=1 j=1 m X Xr µA = µPk , µB = µQj , k=1 j=1 откуда следует (5). Из (5) и (3) следует (4): µ(A ∪ B) = µ(A \ (A ∩ B)) + µB 6 µA + µB. Из (5) следует (6). Определение 3. Пусть E ⊂ Rn — ограниченное множе- ство. Числа µ∗ E = sup µA, µ∗ E = inf µB, A⊂E B⊃E где верхняя и нижняя грани берутся по всем элементарным множествам A, B (A ⊂ E, B ⊃ E), называются соответ- ственно нижней (или внутренней) и верхней (или внешней) мерой Жордана множества E.
Страницы
- « первая
- ‹ предыдущая
- …
- 8
- 9
- 10
- 11
- 12
- …
- следующая ›
- последняя »