ВУЗ:
Составители:
Рубрика:
24 Глава 19. Кратные интегралы
Теорема 4. Пусть функция f непрерывна на измеримом
компакте E ⊂ R
n
. Тогда f интегрируема на E.
Д о к а з а т е л ь с т в о. Функция f в силу теорем Вейер-
штрасса и Кантора ограничена и равномерно непрерывна на
E. Тогда ее модуль непрерывности на E w(δ, f) → 0 при δ →
→ 0. Следовательно,
i
τ
X
i=1
w
i
(f)µE
i
6
i
τ
X
i=1
w(|τ|, f )µE
i
= w(|τ|, f )µE → 0 при |τ | → 0.
В силу критерия интегрируемости f интегрируема на E.
Упражнение 2. Обобщить теорему 3 на случай ограни-
ченных на измеримом компакте функций и непрерывных почти
в каждой точке компакта (т. е. в каждой точке компакта, за
исключением, быть може т, точек множества меры нуль).
У к а з а н и е. Воспользоваться леммой 18.2.3.
Показать, что функция, непрерывная и ограниченная на
открытом измеримом множестве, интегрируема на нем.
§ 19.2. Свойства кратного интеграла
1
◦
. Пусть E — измеримое множество. Тогда
Z
E
dx B
Z
E
1 dx = µE.
2
◦
. Пусть E и E
∗
— измеримые множества, E
∗
⊂ E, и
функция f интегрируема на E. Тогда она интегрируема и на
E
∗
. Пусть τ
∗
= {E
i
}
i
τ
∗
1
— разбиение множества E мелкости
|τ
∗
|. Дополним его до разбиения τ = {E
i
}
i
τ
1
множества E мел-
кости |τ | = |τ
∗
|. Это можно сделать, присоединив к {E
i
}
i
τ
∗
1
все
элементы разбиения множества E \ E
∗
не превосходящей |τ
∗
|
мелкости. Тогда
X
16i6i
τ
∗
µE
i
>0
w
i
(f)µE
i
6
X
16i6i
τ
µE
i
>0
w
i
(f)µE
i
.
В силу интегрируемости f на E и критерия интегрируе-
мости правая часть последнего неравенства стремится к нулю
при |τ | → 0. Следовательно, и левая часть стремится к нулю
24 Глава 19. Кратные интегралы Теорема 4. Пусть функция f непрерывна на измеримом компакте E ⊂ Rn . Тогда f интегрируема на E. Д о к а з а т е л ь с т в о. Функция f в силу теорем Вейер- штрасса и Кантора ограничена и равномерно непрерывна на E. Тогда ее модуль непрерывности на E w(δ, f ) → 0 при δ → → 0. Следовательно, iτ X iτ X wi (f )µEi 6 w(|τ |, f )µEi = w(|τ |, f )µE → 0 при |τ | → 0. i=1 i=1 В силу критерия интегрируемости f интегрируема на E. Упражнение 2. Обобщить теорему 3 на случай ограни- ченных на измеримом компакте функций и непрерывных почти в каждой точке компакта (т. е. в каждой точке компакта, за исключением, быть может, точек множества меры нуль). У к а з а н и е. Воспользоваться леммой 18.2.3. Показать, что функция, непрерывная и ограниченная на открытом измеримом множестве, интегрируема на нем. § 19.2. Свойства кратного интеграла 1◦ . Пусть E — измеримое множество. Тогда Z Z dx B 1 dx = µE. E E 2◦ . Пусть E и E ∗ — измеримые множества, E ∗ ⊂ E, и функция f интегрируема на E. Тогда она интегрируема и на i ∗ E ∗ . Пусть τ ∗ = {Ei }1τ — разбиение множества E мелкости |τ ∗ |. Дополним его до разбиения τ = {Ei }i1τ множества E мел- i ∗ кости |τ | = |τ ∗ |. Это можно сделать, присоединив к {Ei }1τ все элементы разбиения множества E \ E ∗ не превосходящей |τ ∗ | мелкости. Тогда X X wi (f )µEi 6 wi (f )µEi . 16i6iτ ∗ 16i6iτ µEi >0 µEi >0 В силу интегрируемости f на E и критерия интегрируе- мости правая часть последнего неравенства стремится к нулю при |τ | → 0. Следовательно, и левая часть стремится к нулю
Страницы
- « первая
- ‹ предыдущая
- …
- 22
- 23
- 24
- 25
- 26
- …
- следующая ›
- последняя »