Система Orphus

Суммы Дарбу и их свойства.

Пусть функция , определённая на отрезке  , ограничена на этом отрезке и пусть  - разбиение отрезка  (i=1,n). Обозначим

, ,     

                       , .                    (5)

Назовём   и   соответственно верхней и нижней суммами Дарбу для функции  при заданном разбиении   отрезка   . Заметим, что  эти суммы не зависят от выборки . Рассмотрим свойства сумм Дарбу.

С в о й с т в о  1. Для любой выборки    справедливы неравенства

.                                                     (6)

○ Так как для любого , выполняются неравенства

то

Складывая эти неравенства, получаем

          .                           (7)

Согласно определению сумм Дарбу и интегральной суммы    утверждения (7) и (6) равносильны. ●

С в о й с т в о  2. Справедливы равенства

                 ,                            (8)

                .                              (9)

○ Докажем утверждение (8). Согласно определению точной верхней грани нужно доказать, что выполняются следующие условия:

.

Первое из этих условий выполняется в силу (6). Докажем второе условие.

Так как , то по определению точной верхней грани

:.

Умножая  -е неравенство на  и складывая все полученные неравенства, находим

,

Где  - выборка. Итак, утверждение (8) доказано. Аналогично доказывается, что справедливо и утверждение (9).●

Следующее свойство сумм Дарбу связано с ещё одним понятием для разбиений. Назовём разбиение    продолжением (измельчением) разбиения   , если каждая точка разбиения    является точкой разбиения  . Иначе говоря, Разбиение   либо совпадает с разбиением  , либо получено из    добавлением по крайней мере одной новой точки.

С в о й с т в о  3. Если разбиение    -  продолжение разбиения  , то

                                                (10)

т.е. при измельчении разбиения нижняя сумма Дарбу не уменьшается, а верхняя не увеличивается.

○ Для доказательства неравенств (10) достаточно рассмотреть случай, когда разбиение    получается из разбиения    добавлением только одной точки   . пусть   и  - отрезки, на которые точка    разбивает отрезок   , а  и   - длины этих отрезков; тогда   . Обозначим  , . Очевидно, что   ,  .

В суммах  и   равны все соответствующие слагаемые, за исключением тех, которые связаны с отрезком   . Поэтому

+ ,

где   ,  . Следовательно,

+ , т.е.   .

Аналогично доказывается неравенство   . Отсюда, используя неравенство   (см.(6)), получаем цепочку неравенств (10). ●

С в о й с т в о  4. Для любых разбиений   и   справедливо неравенство

                                                                                                          (11)

○ Пусть разбиение    является продолжением как разбиения   , так и  разбиения   (в качестве   можно взять    и добавить к нему те точки разбиения    , которые не входят в   ).

Из неравенств (10) при   ,   получаем

.

Полагая в (10)   =   и  = , находим

 .

Объединяя полученные неравенства, имеем

  ,

Откуда следует неравенство (11).●

 

 

С в о й с т в о  5. Существуют числа

,

Удовлетворяющие для любых разбиений    и    отрезка    условию

                                                                                       (12)

Эти числа называют соответственно нижним и верхним интегралами Дарбу от функции    на отрезке   .

○ Из неравенства (11) по теореме об отделимости числовых множеств следует, что существует    и    (супремум и инфимум по всевозможным разбиениям отрезка    и для любых разбиений    и    выполняется неравенство (12).●

В заключение отметим, что свойства 1-5 справедливы для любой ограниченной на отрезке    функции.

Критерий интегрируемости функции.

Т е о р е м а  2. Для того, чтобы функция   , определённая на отрезке   , была интегрируема на этом отрезке, необходимо и достаточно, чтобы эта функция была ограничена и удовлетворяла условию

< .                                 (13)

○ Н е о б х о д и м о с т ь. Пусть функция    интегрируема на отрезке   . Тогда она ограничена  (теорема 1) и в силу определения интеграла

>0:  .

Таким образом, при каждом разбиении    отрезка   , мелкость которого удовлетворяет условию   , неравенство

                                                                        (14)

Выполняется при любой выборке   . Поэтому из левого неравенства (14) и равенства (9) следует, что

.                                                                    (15)

Аналогично из правого неравенства (14) и равенства (8) следует, что

 .                                                                   (16)

Из неравенств (15), (6) и (16) получаем цепочку неравенств

 ,

откуда следует, что

 .

Итак, интегрируемая на отрезке функция    удовлетворяет условию (13).

Д о с т а т о ч н о с т ь. Пусть функция   ограничена на отрезке    и удовлетворяет условию (13). Докажем, что функция    интегрируема на отрезке   , т.е.

>0:  .                          (17)

Воспользуемся свойством 5. Из неравенств (12) следует, что

 ,

откуда в силу (13) получаем неравенство

 ,

Справедливое для любого разбиения    такого, что   . Так как числа    и    не зависят от   , то отсюда следует, что

 .

Обозначим

                                                                                 (18)

И докажем, что число     есть интеграл от функции    на отрезке   .

Из (12) и (18) следует, что

,                                                                          (19)

А из (19) и (6) в силу (13) получаем

 .

Это означает, что функция   интегрируема на отрезке   , а число    есть интеграл от    на   .●


Система Orphus

Комментарии