Lektsii_Rubleva / Лекции Рублева-1 / Гл 04 _нтеграл Р_мана / Пар 4-04 Властивост_ _нтегрованих за Р_маном функц_й
.doc
Глава 4
Інтеграл Рімана
4. Властивості інтегрованих за Ріманом функцій
Теорема 1. |
(Лінійність інтеграла Рімана) |
|
|
Якщо , , то і |
|
|
(1) |
Доведення теореми. і при права частина має границю, що дорівнює правій частині (1), тому теж саме має місце і для лівої частини.
Теорему доведено.
Позначимо далі як множину точок розриву функції на .
Теорема 2. |
(Інтегрованість модуля) |
|
Якщо , то . |
Теорема 3. |
(Інтегрованість добутку) |
|
Якщо , то . |
Теорема 4. |
(Інтегрованість звуження) |
|
Якщо , то . |
Доведення теорем. Доведення всіх трьох теорем очевидно, наприклад Теорема 3: міра Лебега нуль.
Теорему доведено.
Теорема 5. |
(адитивність по області інтегрування) |
|
|
Нехай і , якщо , то і |
|
|
(2) |
Доведення теореми. ; . З теорем 1,3 .
Теорему доведено.
Аналогічно теорема доводиться і для .
Теорема 6. |
(Інтеграл Рімана з нерівними функціями) |
|
|
Якщо і |
|
|
. |
(3) |
Доведення теореми. і в цій нерівності переходячи до границі при , одержимо (3).
Теорему доведено.
Наслідок 1. |
(Інтеграл від невід’ємної функції ) |
|
Якщо , і , то . |
Наслідок 2. |
(Інтеграл Рімана від додатної функції ) |
|
Якщо , і , і неперервна в точці і , то : . |
Доведення. Із стійкості нерівності для неперервної функції в точці , ми маємо : : .
Наслідок доведено.
Наслідок 3. |
(Двобічна оцінка інтеграла ) |
|
Якщо та виконується нерівність , то |
Наслідок 4. |
(Модуль інтеграла ) |
|
Якщо , то . |
Доведення. З теореми 2 , а також , а далі за теоремою 6.