Изменения
Нет описания правки
<tex>-M \leq f(x)\leq M</tex>,
<tex>E = \bigcup\limits_{k=0}^{n-1} E_ke_k</tex> — дизъюнктны.
Итак, мы получили разбиение <tex>E</tex>. Теперь убедимся, что пределы сумм Лебега-Дарбу на нем совпадают:
Имея теперь разбиение отрезка точками, создадим на его базе разбиение отрезка на попарно дизъюнктные множества:
<tex>\{[x_0; x_1), [x_1; x_2), \ldots, [x_nx_{n-1}; x_n), \{x_n\}\}</tex> {{---}} разбиение отрезка <tex>[a;b]</tex> на попарно дизъюнктные измеримые по Лебегу множества.
Значит, так как <tex>\inf\limits_{[x_k; x_{k+1}]}f(x) \leq \inf\limits_{[x_k; x_{k+1})}f(x)</tex>, <tex>\sup\limits_{[x_k; x_{k+1})}f(x) \leq \sup\limits_{[x_k; x_{k+1}]}f(x)</tex> и <tex>\lambda \{x_n\} = 0</tex>, приходим к неравенствам
