называется скачком
в точке x. Аналогично определяются скачки на концах.
Функция
может иметь бесконечное множество точек разрыва. Покажем, что в этом случае это множество точек разрыва
обязательно счетно. Полное возрастание функции
на промежутке
выражается положительным числом
Таким образом, число точек разрыва, в которых скачок больше единицы, не больше, чем целая часть числа
т. е. таких точек разрыва конечное число. Точно так же число точек разрыва, в которых скачок больше у, не больше, чем целая часть числа
и т. д. Нетрудно теперь показать, что точки разрыва
можно пронумеровать. Сначала нумеруем в каком-нибудь порядке конечное число точек разрыва, в которых скачок больше единицы. Дальше продолжаем нумерацию для тех точек, в которых скачок больше у, и т. д.
При интегрировании непрерывной функции мы можем не пользоваться при разбиении промежутка интегрирования точками прерывности
лежащими внутри промежутка
и значения
в этих точках, таким образом, не играют роли при образовании интеграла. Иначе обстоит дело в концах промежутка, которые обязательно входят в состав точек деления. Можно, например, считать, что в точках разрыва
непрерывна справа, т. е.
Пусть к
есть измененная таким образом функция
в точках непрерывности
и на правом конце и
в точках разрыва. Может повлиять на величину интеграла лишь изменение
на левом конце промежутка, и мы будем иметь очевидную формулу.
Произведем теперь разбиение
в случае ее прерывности на два слагаемых, из которых одно
есть непрерывная неубывающая функция, а второе
дает сумму скачков
на промежутке
Это последнее слагаемое называется обычно функцией скачков для
Приведем точное построение этой функции.
Пусть в промежутке
имеется конечное или счетное множество точек
Определим возрастающие функции
и следующими формулами:
где а
— неотрицательные постоянные такие, что ряды
сходятся. Если некоторая постоянная
равна нулю, то соответствующая функция
равна тождественно нулю, и то же для
если
Мы удерживаем эти функции в дальнейших формулах для симметрии записи этих формул. Если
то будем считать, что соответствующее
равно нулю, и если
то мы будем считать, что соответствующее равно нулю. Из сходимостей рядов (31) непосредственно следует, что ряды
члены которых суть неотрицательные возрастающие функции, равномерно сходятся для всех
и, в частности, на
. Если к отлично от
то все члены этих рядов непрерывны в точке
а следовательно, в силу равномерной сходимости, функции
непрерывны во всех точках
отличных от
. В точке
слагаемое
имеет скачок слева, равный
слагаемое
имеет скачок справа, равный а остальные слагаемые непрерывны. В силу равномерной сходимости и сумма остальных слагаемых непрерывна при
. Таким образом, в точке
функция
имеет скачок слева, равный
и непрерывна справа, а функция
имеет скачок справа, равный и непрерывна слева. Все проведенное построение, очевидно, сохранит свою силу и в том случае, когда множество точек
конечно.
Положим теперь, что
есть некоторая возрастающая функция и
ее точки разрыва непрерывности, а и — ее скачки слева и справа в этих точках, т. е.
Разность
дает общее возрастание функции
в промежутке
и сумма ее полных скачков
первых
точках
ее разрыва непрерывности будет не больше, чем упомянутая разность при любом
. Таким образом, бесконечный ряд, составленный из полных скачков
функции
обязательно сходится. Тем более сходятся ряды, составленные из скачков слева и из скачков справа Построим функции
и положим
Величина
равна, очевидно, сумме скачков
во всех точках прерывности, которые лежат левее
и скачка слева в самой точке
если он существует, а разность
равна сумме скачков в точках прерывности, лежащих между
скачка справа в точке a и скачка слева в точке р. Разность
дает общее возрастание функции
при изменении
от а до
, а разность
дает возрастание которое получается лишь за счет скачков в ее точках прерывности. Мы имеем, таким образом, следующее очевидное неравенство:
Положим
Если
точка непрерывности
то она является и точкой непрерывности
, а тем самым и точкой непрерывности
Положим теперь, что
равно одному
. В этой точке функция
имеет слева и справа те же скачки, что и
а потому
непрерывна и при
Таким образом, мы можем утверждать, что
непрерывна и возрастает. Мы имеем, таким образом, искомое разложение
Это разложение можно провести для любого промежутка, замкнутого или нет, конечного или бесконечного. Для любой непрерывной функции можем написать
Покажем, что первый из написанных интегралов может быть представлен в виде суммы
где
— точки разрыва g(x) и
— полные скачки
в этих точках. Будем считать, что число точек разрыва бесконечно. Полагая
можем написать
где
Имеем неравенство
и, в силу сходимости ряда, составленного из
можем при любом заданном положительном в фиксировать такое N, что для любого х
Далее, в силу непрерывности
имеем [2]
и, следовательно,
Функция
ограничена, т. е.
и для слагаемых последней суммы имеем оценку
откуда видно, что ряд, составленный из чисел
абсолютно сходится.
Для интеграла по неубывающей функции
имеем, в силу (36), оценку
откуда, в силу произвольности в, следует, что разность
стремится к нулю при возрастании
т. е.
откуда, в силу (37), и следует формула