Вы находитесь на странице: 1из 14

Интегралы Римана и Дарбу.

Необходимые и достаточные условие


интегрируемости функции по Риману. Критерий Дю-Буа-Реймонда.
На прошлой лекции мы с вами ввели понятие определённого интеграла. Было отмечено,
что первообразные непрерывных функций могут быть представлены с помощью такого
интеграла.
Нами была получена следующая формула
t
s ( t ) −s ( a )=∫ v ( x ) dx
a

Здесьs=s ( t )−¿ первообразная непрерывной функции v=v ( x ).


Отметим здесь, что эта формула верна для любой первообразной s=s ( t )
рассматриваемой функции. Это означает, что на интервале ( a , b ) имеет место равенство
t

{
∫ v ( t ) dt=¿ ∫ v ( x ) dx +c ,c ∈ R
a
} ¿

Напомню здесь, что неопределённый интеграл представляет собой однопараметрическое


семейство первоообразных.
Покажем сейчас, что в том случае, когда функция v=v ( t ) является непрерывной ,
интеграл,
t

∫ v ( x ) dx (15.1)
a

определённый для любого t ∈ ( a , b ) , является первообразной функции v=v ( t ).


Впредь мы будем называть интеграл (15.1) интегралом с переменным верхним
пределом.
Докажем прежде всего следующую теорему.
Теорема 15.2. Пусть f : [ a , b ] → R−¿ непрерывная на [ a , b ] функция. В таком случае
интеграл
b

∫ f ( t ) dt
a

существует.

Доказательство. Пусть T n , n=12 ,…−¿ разбиения отрезка [ a , b ] ,T n ≔ { t 0 , … , t n }и

{ S n ( f ,Τ n ) } –
последовательность интегральных сумм Римана, соответствующих этим разбиениям.
n
Sn ( f , Τ n )=∑ f ( θ j )( t j−t j−1 , )
j=1
Рассмотрим два типа таких сумм, отличающихся друг от друга выбором точек сумм
θ j ∈ [ t j−1 , t j ] . Для суммS1n ( f , Τ n ) первого типа,
n
S1n ( f , Τ n )=∑ f ( θ1j ) ( t j −t j−1 , ) ,
j=1

Промежуточную точку θ1j отрезка[ t j−1 ,t j ] выберем так, что t ∈min f ( x )=f ( θ1j ) . Для сумм
t ,t [ j−1 j ]
n
S ( f , Τ n )=∑ f ( θ2j ) ( t j −t j−1 , )
2
n
j=1

второго типа в качестве θ2j выберем так, что t ∈max f ( t )=f ( θ2j ) .
t ,x [ j−1 t ]

Так как отрезок представляет собой компакт, а функция f непрерывна на нём, то такие
точки найдутся.

Рассмотрим последовательность { T n } разбиений, полученную последовательными


подразбиениями отрезка [ a , b ] ,так что T n ⊂T n+1 , n=1,2 , … Такие последовательности
будем называть последовательностью последовательных разбиений, или монотонной
последовательностью разбиений. Мы будем рассматривать такие монотонные
последовательности разбиений, при которых их мелкость стремится к нулю при
неограниченном возрастании числа точек разбиения (номеров разбиений).
Докажем, прежде всего следующую лемму.

Лемма 15.2. Пусть { T n }−¿ монотонная последовательность разбиений. Тогда


1
последовательность { S n ( f , Τ n ) } является невозрастающей последовательностью, а
2
последовательность { S n ( f , Τ n ) } – неубывающей.

Доказательство. Пусть T n ≔ {t 0 , … ,t n } и T n+1= { τ 0 , … , τ n+1 } . Так как T n ⊂ T n+1, то разбиение


T n+1 получается из разбиения T n добавлением одной точки. Допустим , что
τ j=t j , j=0 , … , k−1 и τ j+1 =t j , , j=k=1 , … , n . Ясно, что в таком случае точкаτ k
принадлежит внутренности отрезка [ t k−1 , t k ] .

Итак, множества отрезков, на которые разбивается отрезок [ a , b ] с помощью точек из T n и


T n+1 таковы, что

[ t j−1 ,t j ]=[ τ j−1 , τ j ]


для чисел j=1,…k-1, и

[ t j−1 ,t j ]=[ τ j , τ j+1 ]

для чисел j=k +1 , … , n. При этом отрезок [ t k−1 , t k ] представляется в виде объединения двух
отрезков

[ t k−1 , t k ]=[ t k−1 , τ k ] ∪ [ τ k , tk ]=[ τ k−1 , τ k ] ∪ [ τ k , τ k+1 ] .


Рассмотрим разность

σ 1n ≔ S1n ( f ,Τ n )−S1n+1 ( f , Τ n +1 )

Ясно, что

σ 1n=f ( θ1k ) ( t k −t k−1 , )− f ( ϑ1k ) ( τ k −τ k−1 ) + f ( ϑ1k+1 ) ( τ k+1 −τ k ) =¿


[ ]
1 1 1
[
=f ( θk ) [ ( τ k −τ k−1 ) + ( τ k+1−τ k ) ]− f ( ϑ k ) ( τ k −τ k−1 ) + f ( ϑk +1 ) ( τ k +1−τ k ) =¿ ]

1 1 1 1
[ ] [ ]
= f ( θk ) −f ( ϑk ) ( τ k −τ k−1 ) + f ( θk ) −f ( ϑk +1) ( τ k +1−τ k ) (15.3)

Здесь ϑ1k , ϑ 1k+1 выбраны так, что

f ( ϑ1k ) = min f ( t ) , f ( ϑ 1k+1 ) = min f ( t )


t ∈ [ τ k−1 ,τ k ] t ∈ [ τ k ,τ k+ 1]

Так 15. [ τ k−1 , τ k ] ⊂ [ t k−1 , t k ] и [ τ k , τ k+1 ] ⊂ [ t k−1 ,t k ] , то

f ( θ1k ) ≤ f ( ϑ 1k ) , f ( θ1k ) ≤ f ( ϑ1k+1 ) .(15.4 )

Сравнивая (15.3), ( 15.4 ) , устанавливаем что последовательность { S 1n } является


невозрастающей последовательностью.

Аналогичным образом получаем, что последовательность { S 2n }является неубывающей


последовательностью.
Лемма доказана.
Докажем сходимость рассматриваемых последовательностей.

Лемма 15.5. Пусть { T n }−¿ монотонная последовательность разбиений. Тогда


1 2
последовательности { S n ( f , Τ n ) } , {S n ( f , Τ n) }являются сходящимися последовательностями.

Доказательство. Докажем, что обе последовательности { S 1n } , {S 2n } являются ограниченными.


Функция f непрерывна на отрезке [ a , b ] , поэтому она ограничена на нём. Следовательно,

n
⌈ S ( f , Τ n ) ⌉ ≤ ∑ ⌈ f ( θlj ) ⌉ ( t j −t j−1) ≤ max ⌈ f ( t ) ⌉ ( b−a ) ,l=1,2.
l
n
j=1 t ∈ [ a ,b ]
Итак, мы получаем, что последовательность { S 1n }−¿ невозрастающая последовательность ,
ограниченная снизу, а { S 2n }−¿ неубывающая последовательность, ограниченная сверху.
Это означает, что последовательности { S 1n } , {S 2n } сходятся.

Лемма доказана.
В соответствии с определением интеграла Римана нас интересует поведение этих
последовательностей в том случае, когда мелкость δ nстремится к нулю при
неограниченном возрастании n . Покажем, что в этом случае они сходятся к одному и
тому же пределу.

Лемма 15.6. Пусть { T n }−¿ монотонная последовательность разбиений , мелкость которых


стремится к нулю. Тогда пределы последовательностей

{ S 1n ( f , Τ n ) } , {S 2n ( f , Τ n) }
Совпадают

lim S 1n ( f , Τ n )=lim S 2n ( f , Τ n ) (15.7)


n→∞ n→∞

Доказательство. В силу непрерывности функции f на [ a , b ]мы получаем, что она


равномерно непрерывна на этом отрезке. Поэтому

( ∀ ε >0 ) ( ∃ δ =δ ( ε )> 0 ) ( ∀ ∀ t 1 , t 2 ∈ [ a , b ] ) (|t 1 , −t 2|<δ ) (|f ( t 1 ) −f ( t 2 )|< ε ) (15.8)

( ∀ δ> 0 ) ( ∃n=n ( δ ) ∈ N ) ( ∀ n>n ( δ ) ) ( δ n< δ ) (15.9)

Из (15.8), (15.9) мы получаем

( ∀ ε >0 ) ( ∃ n=n ( ε ) ∈ N ) ( ∀ n>n ( ε ) ) ( ∀ j , j=1 ´, n ) (|f ( θ1j )−f ( θ2j )|<ε ) (15.10)

Пользуясь оценкой (15.10), теперь докажем(15.7). Итак, для заданного ε > 0 подберём n ( ε )
в соответствии с (15.9). Тогда, учитывая (15.9), получим

n n

|
|S1n ( f ,Τ n )−S 2n ( f ,Τ n )|= ∑ f ( θ1j ) ( t j−t j−1 , ) −∑ f ( θ2j ) ( t j−t j−1 , ) =¿
j=1 j=1
|
n
¿ |∑ [ (
j=1
f θ 1j ) −f ( θ2j ) ( t j −t j−1 , ) ≤
] |
n
≤ ∑ |f ( θ1j )−f ( θ2j )|( t j−t j−1 ) ≤ ε ( b−a ) (15.11)
j =1

В силу произвольности ε > 0 из (15.11) получаем (15.7).


Лемма доказана.

Обозначим через I ( { T n } )общее значение пределов из (15.7) для заданной монотонной


последовательности разбиений. Докажем независимость этого предела от выбора
монотонной последовательности, мелкость которой стремится к нулю.
~
Лемма 15.12 Пусть{ T n } , {T n }−¿ две различные монотонные последовательности
разбиений, мелкость которых стремится к нулю. Тогда

I ( { T n } )=I ( {~
T n }) .(15.13)

Доказательство. Для доказательства сравним между собой, например, интегральные


1 1 ~
суммыSn ( f , T n ) и Sn ( f , T n ) . В случае монотонных разбиений, основываясь на свойствах
нижней и верхней грани множества и его подмножества, мы осуществили сравнения
~
различных сумм. Проблема теперь заключается в том, чтоT n , T n , вообще говоря, не
сравнимы между собой. Для преодоления этой трудности рассмотрим множество G ,
~
G=T n ∪ T n
~
Множество Gявляется подразбиением как разбиенияT n, так иT n. Поэтому для
произвольного наперёд заданного ε > 0 мы можем выбрать число n ( ε ), такое что для
любого n> n ( ε ) , будет иметь место неравенство
1 1 ~
|S ( f ,T
n n )−S n ( f , T n )|=¿
1 1 1 1 ~
|S ( f ,T
n n )−S n ( f ,G ) + Sn ( f , G )−S n ( f , T n )|≤
ε
≤|S 1n ( f , T n )−S1n ( f , G )|+|S1n ( f ,G )−S 1n ( f , ~
T n )|≤ . ( 15.14 )
2
1
| 2
Далее, рассмотрим I ( {T n })−I ( {T n }) . Ясно, что |
|I ( {T })−I ({~T })|=¿
n n

|I ( {T })−S ( f ,T ) +[ S ( f , T ) −S ( f , ~T )] + S ( f , ~T )−I ( {~T })|≤


n
1
n n
1
n n
1
n n
1
n n n

≤|I ( { T n } ) −S1n ( f ,T n )|+|S1n ( f ,T n )−S 1n ( f , ~


T n )|+¿
+ S 1n ( f , ~
| T n ) −I ( {~ |
T n }) ( 15.15)

Так как

lim S 1n ( f , T n ) ¿ I ( { T n } ) lim S 1n ( f , ~
T n ) ¿ I ( {~
T n }) ,
n→∞ n →∞

то сумма первого и третьего слагаемых в правой части (15.15) при достаточно больших n
может быть сделана меньше ε /2. Учитывая ( 15.14 ) , получим

I ( { T n } )−I ( {~
T n })||≤ ε (15.16)

Левая часть неравенства (15.16) не зависит от n . Поэтому в силу произвольности ε > 0 и,


учитывая (15.9), приходим к выводу о том, что

I ( { T n } )=I ( {~
T n })=I (15.17)
~
Итак, нами доказано, что какой бы ни была пара { T n } , {T n } монотонных
последовательностей разбиений, мелкость которых стремится к нулю при возрастании n ,
пределы интегральных сумм Римана со специальным выбором промежуточных точек
совпадают между собой.
Лемма доказана.
Из лемм 15.5, 15.6, 15.15 следует, что какой бы ни была монотонная последовательность
разбиений пределы интегральных сумм Римана первого и второго типа существуют,
совпадают между собой и не зависят от выбора монотонной последовательности.
Основываясь на этих свойствах монотонных последовательностей , покажем , что какой
бы ни была последовательность разбиений , мелкость которых стремится к нулю ,
пределы интегральных сумм Римана первого и второго типа существуют , совпадают
между собой и не зависят от выбора последовательности.

Лемма 15.18.Пусть { T n } произвольная последовательность разбиений, мелкость которых


1 2
стремится к нулю. Тогда пределы интегральных сумм Sn ( f , T n ) , S n ( f ,T n ) существуют и
совпадают между собой,

lim S 1n ( f , T n )=lim S 2n ( f , T n )=I ( { T n } ) (15.19)


n→∞ n→∞

При этом пределы I ( { T n } ) для различных последовательностей { T n } совпадают между


собой.
1 2
Доказательство. Прежде всего покажем, что последовательности { S n ( f , T n ) } , { S n ( f , T n ) }
являются фундаментальными . Рассмотрим, например, разность
1
|S ( f ,T
n n )−S 1m ( f , T m )|
Разбиения T n , T m в общем случае не сравнимы между собой по включению. Однако, как и
1 1
при доказательстве (15.7) мы можем сравнить суммы Римана Sn ( f , T n ) , S m ( f ,T m ) ,прибегая
к подразбиению T nm=T n ∪T m каждого из них. Таким образом для произвольного наперёд
заданного ε > 0 мы получаем , что для достаточно больших nимеет место неравенство

1
|S ( f ,T
n n )−S 1n ( f ,T nm ) + S1n ( f ,T nm )−S1m ( f ,T m )|≤|S1n ( f , T n )−S1n ( f ,T nm )|+

1 1
+|Sn ( f ,T nm )−S m ( f , T m )|≤ ε

1
Итак, фундаментальность, а, следовательно, и сходимость последовательности { S n ( f , T n ) }
2
доказаны. Аналогично доказывается сходимость { S n ( f , T n ) }

Как и случае последовательностей последовательных разбиений , доказывается


равенство пределов

lim S 1n ( f , T n ) , lim S 2n ( f , T n )
n→∞ n →∞

Пусть

I ( { T n } ) ≔ lim S 1n ( f ,T n ) ¿ lim S 2n ( f , T n )
n→ ∞ n →∞

Доказательство независимости I ( { T n } ) от выбора последовательности разбиений,


мелкость которых стремится к нулю, производится по той же схеме, что и в случае
монотонных последовательностей разбиений.
Лемма доказана.
Для завершения доказательства теоремы заметим , что для произвольной
последовательности { T n } разбиений для сумм Римана Sn ( f , T n )имеет место оценка

S1n ( f , T n ) ≤ S n ( f , T n ) ≤ S2n ( f , T n ) (15.20)

Из оценки (15.20) следует сходимость последовательности { S n ( f ,T n ) } к пределу, не


зависящему от выбора последовательности { T n } и промежуточных точек на участках
разбиения.
Теорема доказана.

1 1
Упражнение 15.21. Доказать сходимости последовательностей { S n ( f , T n ) } , {S m ( f , T m ) } к
одному и тому же пределу.

Указание. Пусть T nm=T n ∪ T m и[ a к ,a к+1 ]−¿ отрезок разбиения T n. Так как T nm−¿
подразбиение разбиения T nm ,то этот отрезок может быть представлен в виде
[ a к ,a к+1 ]=¿ j=l ¿ l+ nk [ α j , α j +1 ] , α l=a к ,α l+n =aк +1 , α j ∈T m , j=l , l+´ nk (15.21)
k

Для того, чтобы подчеркнуть , что точки α j , j=l , l+´ nk ,избранные для заданного [ a к ,a к+1 ] ,
принадлежат этому отрезку введём дополнительный индекс kдля их обозначения.
Положим также j=i+l. В этих обозначениях формула (15.21) перепишется в виде

[ a к ,a к+1 ]=¿i=0 ¿ nk [ αik , α ki+1 ]


1
Слагаемому f ( θ1k ) ( a к+1−ak ) из суммы Sn ( f , T n ) поставим в соответствие сумму
nk

∑ f (ϑ1i )( αki +1−α ki )


i=0

1
из суммы Sn ( f , T n m ),

Рассмотрим разность Dnk ,


nk
n 1 1 k k
D k ≔f ( θ k ) ( a к+1−ak )−∑ f ( ϑ i )( α i +1−α i ) =¿
i=0

nk nk
1 k k 1 k k
¿ f (θ k )∑ (α i+ 1 −α ) −¿ ∑ f ( ϑ i )( α i +1−α i ) =¿ ¿
i
i=0 i=0

nk
1 1 k k
[ ]
¿ ∑ f ( θ k ) −f ( ϑi ) ( α i +1−α i ) (15.22)
i=0

Точки θ1k , ϑ1i ,i= 0 ,´nk , принадлежат одному и тому же отрезку [ a к ,a к+1 ] разбиения T n

В силу непрерывностиf на [ a , b ] мы можем подобрать n=n ( ε ) столь большим, что для


всехn> n ( ε ) будет иметь место неравенство
1 1
|f ( θ )−f ( ϑ )|< ε .(15.23)
k i

Поэтому из (15.22), 15.23) получаем

|Dnk|< ε ( a k+1−a k ) (15.24)


Так как

n−1
1
|S ( f ,T
n n
1 n
)−S ( f ,T n m )|= ∑ D k ,
n | |
k=0

nо с учётом оценки (15.24) мы получаем, что


1
|S ( f ,T
n n )−S 1n ( f ,T n m )|≤ ε ( b−a )
Аналогичную оценку можно получить для
1
|S m ( f ,T m ) −S 1n ( f , T n m )|
Используя эти результаты, завершить доказательство того, что последовательности
{ S 1n ( f , T n ) } , {S 1m ( f , T m ) } сходятся к одному и тому же пределу.

Упражнение 15.25. Доказать совпадение пределов последовательностей


{ S 1n ( f , T n ) } , {S 2n ( f , T n) } .
Лекция 17.
Итак, нами доказана интегрируемость по Риману непрерывной функции, заданной на
отрезке. Этот результат в случае функции непрерывной на [ a , b ] даёт возможность
определить функцию F=F ( t ) , представляющую собой интеграл
t
F ( t )=∫ f ( x ) dx (17.1)
a

с переменным верхним пределом t ∈ [ a , b ].


Докажем, что функция F является первообразной функции f .
Теорема 17.2. Пусть f : [ a , b ] → R−¿ непрерывная функция. Тогда функция F=F ( t ) из (17.1)
представляет собой первообразную функции f =f (t ).
Доказательство. Рассмотрим разностное отношение
t +∆ t t
F ( t+ ∆ t ) −F ( t ) 1
∆t
=
∆t [ ∫
a
f ( x ) dx−∫ f ( x ) dx =¿
a
]
t t+∆t t t +∆ t
¿
1
∆t [∫ a
f ( x ) dx+ ∫
t
f ( x ) dx−∫ f ( x ) dx =
a
1
∆t ] [∫ t
]
f ( x ) dx =¿

t +∆ t t +∆ t
¿
1
∆t [ ∫ [ f ( x )−f ( t ) ] dx + ∆1t ∫
t
] t
f ( t ) dx=¿ ¿

t +∆ t
¿ f (t )+
1
∆t [∫ [
t
]
f ( x )−f ( t ) ] dx (17.3)
Заметим теперь, что
t +∆ t t +∆ t

| [∫1
∆t t
]|
[ f ( x )−f (t ) ] dx ≤ 1
∆t
∫ |f ( x )−f ( t )|dx ≤
t

t +∆ t t +∆ t
1
∫ max |f ( x ) −f ( t )| dx ≤ max |f ( x ) −f ( t )| 1 ∫ dx=¿
∆t t x ∈ [ t , t+ ∆ t ] x ∈ [ t , t +∆ t ] ∆t t

¿ max |f ( x )−f ( t )|(17.4)


x ∈ [ t ,t +∆ t ]

Функция f непрерывна на [ a , b ], поэтому x∈max


[ t ,t +∆ t ]
|f ( x )−f ( t )| стремится к нулю , когда ∆ t
стремится к нулю.
В соответствии с (17.3), (17.4) мы получаем, что существует предел

F ( t+ ∆ t )−F ( t )
lim =f ( t )
∆ t →0 ∆t

Итак, мы получаем, что F ' ( t )=f ( t ).

Теорема доказана.
Перейдём теперь к исследованию необходимых и достаточных условий интегрируемости
1 2
функций на отрезке. Напомню, что сходимость сумм Римана Sn ( f , T n ) и Sn ( f , T n ) к одному
и тому же пределу была основана на том, что
( ∀ ε >0 )( ∃ δ >0 ) ( ∀ T N , δ T <δ ) N

N N

( ∑|f (ϑ1j )−f ( ϑ2j )|( t j −t j−1) =∑ max [ f (θ )−f ( ϑ ) ] ( t j −t j−1 ) <ε (17.5)
j=1 j=1 ϑ ,θ ∈ [ t j−1 , t j]
)
Рассмотрим произвольную ограниченную функциюf , заданную на [ a , b ]. Введём
следующее определение

Определение 17.6. Пусть [ t j−1 , t j ] ⊂ [ a ,b ]. Величину

ω ( f , [ t j−1 , t j ] ) :=¿ ϑ ,θ ∈ [t j−1 , t j ] [ f ( θ ) −f ( ϑ ) ]

назовём колебанием функцииf на отрезке [ t j−1 , t j ] .

Использую введённое понятие и его обозначение перепишем формулу (17.5) в виде


( ∀ ε >0 )( ∃ δ >0 ) ( ∀ T N , δ T <δ )
N

N N

(∑ | (
j=1
1 2
|
f ϑ ) −f ( ϑ ) ( t j −t j−1) =∑ ω ( f , [ t j−1 , t j ] ) ( t j−t j −1 ) < ε .(17.7)
j j
j=1
)
Обратим внимание на то, что для выполнения условия (17.7) непрерывность функции f
необязательна. В самом деле рассмотрим неубывающую на [ a , b ] ограниченную функцию
φ . Ясно, что
N N

∑ ω ( f , [ t j−1 , t j ] ) ( t j −t j−1) =∑ [ φ ( t j )−φ ( t j−1) ] ( t j−t j−1 ) ≤


j=1 j=1

N
≤ δT N
∑ ( t j −t j−1 ) ≤ δ ( b−a )
j=1

Выбирая
ε
δ< ,
b−a

получаем, что для разбиений, мелкость которых меньше таким образом выполненного δ
условие (17.7) выполняется. Так как неубывающая функция может иметь бесконечное (но
не более чем счётное) число точек разрыва, то мы видим, что условие (17.7) выполняется
и для разрывных функций с , вообще говоря бесконечным числом точек разрыва.
Докажем теперь следующую теорему.
Теорема 17.8. Для того, чтобы ограниченная на отрезке [ a , b ] функция f была
интегрируема по Риману достаточно, чтобы выполнялось следующее условие
NT
( ∀ ε >0 )( ∃ δ >0 ) ( ∀ T , δ T < δ ) (∑
j=1
)
ω ( f , [ t j−1 , t j ] ) ( t j −t j−1 ) < ε (17.8)

Здесь N T −¿ число отрезков разбиения T .

Доказательство. Пусть условие (17.8) выполнено. Будем считать поначалу { T n }−¿


монотонная последовательность разбиений, n=N T . Обозначим через ξ n набор { ξn1 , … , ξ nn }
n

n n
,t ] , j=1 ´, n отрезков [ t nj−1 , t nj ] разбиения T n. Обозначим
n
промежуточных точек ξ ∈ [ t j j−1 j

через

S ( f ,T n , ξn )

сумму Римана функции f для заданного разбиения T n и выбранного набора ξ n


промежуточных точек ξ n1 , … , ξnn .
n
Докажем, что для монотонной последовательности { T n } последовательность { S ( f , T n , ξ )}
является фундаментальной. Действительно, пусть n> m. Оценим ∆ n,
∆ n ≔ S ( f , T n , ξ n )−S ( f , T m , ξ m )
| |
m m
Рассмотрим отрезок [ t nj−1 , t nj ] разбиенияT n. Пусть t i ,… , t i все точки разбиения T m , 1 j

n n m n m n
принадлежащие [ t j−1 , t ] , t =t
j i0 j−1 ,t =t , так что
ij j

[ t nj−1 , tnj ] =[ t mi ,t mi ] ∪… ∪ [ t mi
0 1 ( j−1 )
, t mi
j
]
Ясно, что j−¿й член суммы S ( f ,T n , ξn )

имеет вид

f ( ξ nj ) ( t j−t j−1 ) =f ( ξnj ) ( t mi −t mi )+ …+ ( t mi −t mi


[ 1 0 j ( j−1 ) ) ]=
i1 ij
¿ f ( ξ nj ) ∑ ( t l −t l −1 ) =∑ f ( ξ nj ) ( t l −t l−1 ) (17.9)
l=1 l =i1

Соответствующая этому члену суммы S ( f ,T n , ξn )


m m m m
Группа слагаемых определяемая отрезками[ t i , t i ] , … , t i ,t i , составляющими отрезок 0 1
[ ( j−1 ) j
]
n n
[t j−1 , t ] имеет вид
j

f ( ξ mi )(t mi −t mi ) +…+ f ( ξ mi ) ( t im−t mi )=¿


1 1 0 j j ( j−1 )

Таких групп слагаемых в сумме

S ( f ,T m , ξ m )

столько же , сколько отрезков [ t nj−1 , t nj ] , а именно , n слагаемых. Поэтому

n ij
S ( f ,T m , ξ m )=∑ ∑ f ( ξ ml ) ( t l−t l−1 ) (17.10)
j=1 l=i1

При этом в соответствии с (17.9) получим

n ij
S ( f ,T n , ξn ) =∑ ∑ f ( ξ nj ) ( t l−t l−1) (17.12)
j=1 l=i1

Используя теперь (17.10) и ( 17.12 ) , получим

n m

|
∆ n= ∑ f ( ξ nj ) ( t j−t j−1) −∑ f ( ξ mj ) ( t j−t j−1 ) =¿
j=1 j=1
|
n ij n ij

¿| ∑ ∑ f (ξ nj ) ( t l−t l−1 )−∑ ∑ f (ξ ml ) ( t l−t l−1 ) = ¿


j=1 l=i1 j=1 l=i1
|

n ij

¿|∑ ∑ [ (
j=1 l=i1
] |
f ξnj ) −f ( ξ ml ) ( t l−t l−1 ) (17.13)

Точки

ξ nj , ξml , l=i 1´,i j

Принадлежат одному т тому же отрезку для любого j , j=1,´ n . Поэтому

n ij

|
∆ n= ∑ ∑ f ( ξ nj ) −f ( ξ ml ) ( t l−t l−1 ) ≤
j=1 l=i1
[ ] |
n ij n ij
≤ ∑ ∑ |f ( ξnj ) −f ( ξ ml )|( t l−t l−1 ) ≤ ∑ ∑ |f ( ξ nj )−f ( ξ ml )|( t l−t l−1 ) ≤
j =1 l =i1 j=1 l=i1

n ij
≤ ∑ ∑ ω ( f , [ t j−1 , t j ] ) ( t l −t l−1 ) ≤
j =1 l =i1

n ij n
¿ ∑ ω ( f , [ t j−1 , t j ] ) ∑ ( t l−t l−1) =¿ ∑ ω ( f , [ t j−1 , t j ] ) ( t j−t j−1 ) =¿ ¿
j=1 l=i 1 j=1

NT n

¿ ∑ ω ( f , [ t j−1 , t j ] ) ( t j−t j−1 ) (17.14 )


j=1

Выберем теперь n столь большим, чтобы мелкость разбиения T nбыла меньше δ из (17.8).
Тогда из (17.8) и (17.14) получим,

( ∀ ε > 0 ( ∃n ( ε ) ) ) ( ∀ n>n ( ε ) ) ( ∆n <ε ) (17.15)


Предложение (17.15) означает, что для монотонной последовательности разбиений
последовательность частичных сумм, мелкость разбиения которых стремится к нулю,
является сходящейся.
Пользуясь приёмом сравнения несравнимых T n , T m с T n ∪T m ,получаем, что

{S ( f , T n , ξ n )}

сходится для любой последовательности разбиений, чья мелкость стремится к нулю.


Теорема доказана.