Большая Советская Энциклопедия (ИН)
Шрифт:
в каждом отрезке [xi—1 , xi ] (i = 1, 2,... , n ) берут произвольную точку xi (xi—1 lb xi lb xi ) и образуют сумму
Сумма Sn зависит от выбора точек xi и xi .
По определению,
Определённый И., как указано выше, выражается через любую первообразную F (x ). Обратно, первообразная F (x ) может быть записана в виде
где а — произвольная постоянная. В соответствии с этим неопределенный И. записывается в виде
О возникновении понятия И., а также о свойствах неопределенных и определённых И. см. Интегральное исчисление .
Обобщение понятия интеграла
Интеграл Римана . О. Коши применял своё определение И. только к непрерывным функциям. Назвать, по определению, интегралом
предел сумм Sn при max (xi —xi—1 ) ® 0 во всех тех случаях, когда этот предел однозначно определён, предложил Б. Риман (1853). Он же исследовал условия применимости такого определения. Более совершенную форму этим условиям придал А. Лебег (1902), пользуясь введённым им понятием меры множества (см. Меры теория ). Для интегрируемости в смысле Римана функции f (x ) на [a, b ] является необходимой и достаточной совокупность двух условий: f (x ) ограничена на [а, b ], множество помещающихся на [a , b ] точек разрыва функции f (x ) имеет меру, равную нулю. Таким образом, непрерывность в каждой точке отрезка [а , b ] совсем не обязательна для интегрируемости по Риману.
Неопределённый И. и первообразную можно теперь определять формулами (5) и (4). Следует только заметить, что при этом первообразная F (x ) не обязана иметь подинтегральную функцию f (x ) своей производной в каждой точке. Но в каждой точке непрерывности f (x ), т. е., в силу результата Лебега, всюду, кроме, может быть, множества меры, равной нулю, будет
Г. Дарбу (1879) дал определение интеграла Римана, которое делает особенно наглядными условиями существования такого И. Вместо сумм (3) Дарбу вводит суммы (называемые суммами Дарбу)
где Mk — верхняя грань функции f (x ) на отрезке [xk—1 ,xk ], а mk —
нижняя грань f (x ) на том же отрезке. ЕслиИнтеграл Лебега. Введённое Лебегом понятие меры множества позволило дать значительно более широкое определение И. Чтобы определить И. (6), Лебег делит точками
... < y– 2 < y– 1 < y < y– 1 < ... < yi <...
область возможных значений переменного у = f (x ) и обозначает Mi множество тех точек х из отрезка [a, b ], для которых
yi—1 lb f (x ) < yi .
Сумма S определяется равенством
S = Si hi m(Mi ),
где hi берётся из отрезка yi—1 lb hi < yi , а m(Mi ) обозначает меру множества Mi . Функция f (x ) называется интегрируемой в смысле Лебега на отрезке [a , b ], если ряды, определяющие суммы S , абсолютно сходятся при max(yi — yi—1 ) ® 0. Предел этих сумм и называется интегралом Лебега (6). Можно определить первообразную в смысле Лебега как функцию F (x ), удовлетворяющую равенству (4), где И. в правой части понимается по Лебегу. Как и в случае интеграла Римана, равенство (7) будет при этом выполняться во всех точках, кроме, может быть, множества, имеющего меру, равную нулю.
Для интегрируемости по Лебегу ограниченной функции f (x ) необходимо и достаточно, чтобы она принадлежала к числу измеримых функций в смысле Лебега. Все функции, встречающиеся в математическом анализе, измеримы в этом смысле. Более того, до настоящего времени (1972) не построено ни одного индивидуального примера неизмеримой функции. Таким образом, для случая ограниченных функций Лебег решил задачу определения интеграла (6) с общностью, исчерпывающей потребности математического анализа. Среди функций, интегрируемых по Лебегу, имеется сколько угодно функций, всюду разрывных и, следовательно, неинтегрируемых по Риману. Наоборот, каждая интегрируемая по Риману функция интегрируема и по Лебегу.
Определение Лебега обобщается на случай интегрирования по полупрямой и по полной прямой, т. е. на случай И. вида
После этого обобщения теория Лебега охватывает все случаи абсолютно сходящихся несобственных интегралов .
Общность, достигнутая в определении Лебега, весьма существенна во многих вопросах математического анализа; например, только с введением интеграла Лебега могла быть установлена теорема Фишера — Риса в теории тригонометрических рядов, в силу которой любой ряд