Математическая энциклопедия - абсолютная непрерывность

1) А. н. интеграласвойство неопределенного интеграла (Лебега). Пусть функция f -интегрируема на множестве Е. Интеграл от f на -измеримых подмножествах является абсолютно непрерывной функцией (см. ниже п. 3) множества относительно меры m, т. е. для всякого найдется такое что интеграл для любого множества В общем случае интеграл по конечно аддитивной функции множества m как со скалярными, так и с векторными f или m есть абсолютно непрерывная функция.

А. П. Терехин, В. Ф. Емельянов.

2) А. н. мерыпонятие теории меры. Мера наз. абсолютно непрерывной относительно меры если абсолютно непрерывная функция множества относительно Так, пусть конечная мера, заданная с m на нек-рой фиксированной -алгебре G;тогда абсолютно непрерывна относительно если из следует Обобщенная конечная мера v абсолютно непрерывна относительно обобщенной меры если как только где полная вариация А. П. Терехин.3) А. н. функцииусиление понятия непрерывности. Функция определенная на отрезке наз. абсолютно непрерывной, если для любого существует такое что для любой конечной системы попарно непересекающихся интервалов для которой

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

Всякая абсолютно непрерывная на отрезке функция непрерывна на этом отрезке; обратное неверно, напр. функция f(x)=xsin(1/x) при будучи непрерывной на отрезке [0, 1], не является на нем абсолютно непрерывной. Если в определении абсолютно непрерывной функции, отбросить требование пустоты попарных пересечений интервалов то функций будет удовлетворять более сильному условию Липшица условию с нек-рой постоянной.

Если функции абсолютно непрерывны, то абсолютно непрерывны и их сумма, разность и произведение, а если не обращается в нуль, то и частное Суперпозиция двух абсолютно непрерывных функций может и не быть абсолютно непрерывной. Однако, если функция f(x).абсолютно непрерывна на отрезке а функция удовлетворяет условию Липшица на отрезке [ А, В], то сложная функция абсолютно непрерывна на отрезке Если абсолютно непрерывная на функция монотонно возрастает, а функция F(у).абсолютно непрерывна на отрезке то функция также абсолютно непрерывна на

Абсолютно непрерывная функция отображает множество меры нуль в множество меры нуль, а измеримое множество в измеримое. Всякая непрерывная функция с конечной вариацией, отображающая каждое множество меры нуль в множество меры нуль, является абсолютно непрерывной функцией. Всякая абсолютно непрерывная функция может быть представлена как разность двух абсолютно непрерывных неубывающих функций.

Абсолютно непрерывная на отрезке функция имеет на нем конечную вариацию и почти в каждой его точке конечную производную суммируемую на этом отрезке, причем

Если производная абсолютно непрерывной функции почти всюду равна нулю, то сама функция постоянна. С другой стороны, для любой суммируемой на отрезке функции функция абсолютно непрерывна на этом отрезке. Поэтому класс абсолютно непрерывных на данном отрезке функций совпадает с классом функций, представимых в виде неопределенного интеграла Лебега: интеграла Лебега с переменным верхним пределом от нек-рой суммируемой функции плюс постоянная.

Если абсолютно непрерывна на то ее полная вариация равна:

Понятие А. н. обобщается как на случай функций многих переменных, так и на случай функций множеств (см. ниже п. 4).

4) А. н. функции множествапонятие, употребляемое обычно применительно к счетно аддитивным функциям, определенным на -кольце Sподмножеств множества X. Так, если две определенные на Sсчетно аддитивные функции со значениями из расширенной числовой прямой то абсолютно непрерывна относительно (символически это записывается в виде ), если влечет (здесь |m| полная вариация m: