Дифференцирование и интегрирование
[179/19%]Вычислите все производные Дини функции — характеристической функции рациональных чисел.
Пусть
Вычислите все четыре производные Дини функции в точках и .
Вычислите все производные Дини функции в точках и .
Пусть , если , и . Вычислите все четыре производные Дини функции в точке .
Вычислите все производные Дини функции в точках и .
Постройте возрастающую функцию такую, что ни одна из четырёх производных Дини в точке 0 не равна остальным.
Докажите, что функция дифференцируема в точке (в стандартном смысле) тогда и только тогда, когда все 4 производные Дини равны между собой и конечны, и в этом случае .
Если определена и конечна на , докажите следующее:
.
.
.
Если и определены и конечны на , докажите, что для каждого , . Приведите пример, показывающий, что неравенство может быть строгим.
Пусть непрерывны и предположим, что для каждого , . Докажите, что и отличаются на константу.
Приведите пример, показывающий, что правило цепочки для производных Дини не выполняется.
Пусть — подмножество меры 0. Докажите, что существует непрерывная возрастающая функция , для которой каждая производная Дини бесконечна в каждой точке .
Пусть — непрерывная функция. Докажите, что невозрастает на ( ) тогда и только тогда, когда на ( ).
Пусть — непрерывные функции такие, что и на . Если , докажите, что на .
Если и определены и конечны на , докажите следующее:
Если имеет правую производную в точке , то
Если имеет левую производную в точке , то
Пусть и неотрицательны и непрерывны в точке .
Докажите, что .
Приведите пример, показывающий, что неравенство в (a) может быть строгим.
Приведите пример, показывающий, что неравенство в (a) неверно без предположений непрерывности и неотрицательности.
Завершите доказательство предложения 9.1.4 (если монотонна, то все четыре производные Дини функции измеримы), показав, что если монотонна, то остальные три производные Дини функции измеримы ( , и ).
Предположим, что конечна. Докажите, что непрерывна справа в точке .
Предположим, что непрерывна на . Докажите, что возрастает на тогда и только тогда, когда хотя бы одна из четырёх производных Дини функции неотрицательна на .
Пусть — возрастающая функция на и пусть . Докажите, что ни одна из производных Дини не может быть отрицательной (или равной ) в точке .
(Дини, 1878) Пусть — непрерывная функция. Докажите, что грани каждой из производных Дини совпадают с гранями разностного отношения
при . Используйте это, чтобы заключить, что если одна производная Дини непрерывной функции непрерывна в точке , то и остальные три непрерывны. Покажите, что в этом случае все четыре производные Дини равны между собой, так что дифференцируема в точке .
Приведите пример, показывающий, что заключения упражнения 9.1.21 не обязаны выполняться, если убрать предположение непрерывности .
Пусть непрерывна на , и пусть константа и множество положительной меры удовлетворяют для всех (или для всех ). Докажите, что для каждого существует конечный набор непересекающихся интервалов в таких, что и
Пусть — вещественнозначная функция. Докажите, что множество точек, где , счётно.
Приведите пример, показывающий, что множество из теоремы 9.1.7 может иметь меру Лебега . Сделайте то же самое для множеств и .
Теорема 9.1.7 (теорема Данжуа--Юнга--Сакса): пусть — вещественнозначная функция, определённая на . Тогда почти каждая точка принадлежит одному из четырёх множеств: , на котором имеет конечную производную; , на котором конечна, , а ; , на котором конечна, , а ; , на котором и .
Пусть непрерывна на и предположим, что она имеет локальный максимум в точке . Докажите, что
Пусть непрерывна и предположим, что интегрируема по Риману на . Докажите, что
Если непрерывна на , докажите, что все четыре производные Дини функции измеримы.
Если измерима, докажите, что все четыре производные Дини функции измеримы.
Функция называется гёльдеровски непрерывной порядка , обозначение , если существует константа такая, что для всех . Докажите, что гёльдеровски непрерывные функции образуют множество первой категории в .
Пусть . Докажите, что — покрытие Витали для .
Пусть , и для каждого пусть — строго убывающая последовательность вещественных чисел, сходящаяся к . Докажите, что — покрытие Витали для .
Пусть — объединение (не обязательно счётное и не обязательно дизъюнктное) невырожденных интервалов (открытых, замкнутых, полуоткрытых и полузамкнутых, бесконечных и т.д.). Покажите, что измеримо.
Покажите, что лемма о покрытии Витали распространяется на случай, когда покрывающее семейство состоит из невырожденных интервалов, не обязательно замкнутых.
Покажите, что лемма о покрытии Витали не распространяется на случай, когда покрывающее семейство содержит некоторые интервалы, не обязательно невырожденные.
Докажите, что множество имеет меру 0 тогда и только тогда, когда существует счётное семейство открытых интервалов такое, что каждая точка из принадлежит бесконечному числу этих интервалов и .
Докажите, что каждая функция , определённая в доказательстве следствия 9.2.9, интегрируема по Риману.
В доказательстве следствия 9.2.9 (утверждающего, что для возрастающей на функции производная интегрируема на и ), функция сначала продолжается на по правилу при , а затем полагается при .
Докажите неравенство (9.23).
Докажите теорему 9.2.12.
Теорема 9.2.12: Пусть — монотонная функция на . Тогда имеет не более чем счётное число скачков разрыва на .
Докажите теорему 9.2.13.
Теорема 9.2.13: Пусть — счётное подмножество и пусть — последовательность положительных чисел, для которой ряд сходится. Для данного пусть — подмножество , состоящее из тех целых чисел , для которых , и пусть (с , если ). Тогда: (a) — монотонно возрастающая функция на . (b) имеет скачок разрыва в каждой точке . (c) Скачок в точке равен . (d) непрерывна во всех остальных точках .
Пусть — подмножество и — счётное подмножество . Докажите или опровергните: существует монотонная функция на , непрерывная только в точках .
Пусть — возрастающая функция на . Докажите, что
Докажите неравенство (9.20).
Пусть — множество меры 0. Докажите, что существует непрерывная возрастающая функция такая, что для всех .
Докажите или опровергните: производная непрерывной монотонной функции дифференцируема почти всюду.
Пусть непрерывна на и пусть . Докажите, что не может содержать невырожденного интервала.
Пусть монотонно возрастает и пусть . Докажите, что функция обладает следующими свойствами:
она определена всюду;
она монотонно возрастает;
она непрерывна справа;
она дифференцируема почти всюду;
почти всюду.
Пусть строго возрастает и таково, что в каждой точке выполняется . Докажите, что .
Пусть строго возрастает и таково, что в каждой точке выполняется . Докажите, что .
Докажите, что всякая монотонная функция, определённая на интервале, борелевски измерима.
Пусть непрерывна на . Докажите или опровергните: существует открытый интервал, на котором монотонна.
Пусть дифференцируема на , пусть и предположим, что . Докажите или опровергните: существует открытый интервал , содержащий , такой, что монотонна на .
(Фубини) Пусть — монотонно возрастающие функции при , и предположим, что ряд сходится поточечно на . Докажите, что для почти всех .
Пусть монотонно возрастают при , и предположим, что для почти всех . Докажите, что для почти всех .
Приведите пример функций таких, что возрастает и непрерывна, — многочлен, и
Докажите или опровергните: если возрастает по каждой переменной, то она борелевски измерима.
Пусть обозначает функцию Кантора—Лебега, и положим при и при . Пусть — совокупность всех замкнутых подынтервалов с рациональными концами, пусть
и пусть . Докажите, что непрерывна и строго возрастает на и что почти всюду.
Цель этого упражнения — установить так называемый принцип отбора Хелли: если — равномерно ограниченная последовательность возрастающих функций на , то существует подпоследовательность , которая сходится поточечно в каждой точке к возрастающей функции .
Докажите, что существует подпоследовательность последовательности , которая сходится поточечно в каждой рациональной точке .
Продолжите на иррациональные точки так, чтобы она была возрастающей на .
Докажите, что подпоследовательность , полученная в (a), сходится в каждой точке непрерывности .
Используя подход, аналогичный (a), и теорему 9.2.12, получите подпоследовательность , которая сходится в каждой точке .
Пусть — последовательность подынтервалов с рациональными концами. Для каждого пусть — множество всех непрерывных функций на , монотонных на . Используя эти множества, докажите, что существует непрерывная функция на , не монотонная ни на одном подынтервале .
Пусть — множество первой категории, и — строго монотонная функция. Докажите, что — множество первой категории.
Пусть дифференцируема на с ограниченной производной. Докажите, что имеет ограниченную вариацию на .
Докажите, что функция Дирихле не имеет ограниченной вариации.
Пусть — функция ограниченной вариации на и . Докажите, что имеет ограниченную вариацию на .
Докажите, что всякая функция ограниченной вариации ограничена.
Пусть — функции ограниченной вариации. Докажите, что также имеет ограниченную вариацию.
Пусть — функция ограниченной вариации. Докажите, что также имеет ограниченную вариацию.
Пусть — функции ограниченной вариации, и предположим, что ограничена на . Докажите, что имеет ограниченную вариацию.
Пусть , и предположим, что имеет ограниченную вариацию на каждом замкнутом подынтервале . Докажите или опровергните: имеет ограниченную вариацию на .
Пусть
Определите, имеет ли ограниченную вариацию на .
Пусть
Докажите, что имеет ограниченную вариацию на тогда и только тогда, когда , либо одновременно и .
Пусть — функция ограниченной вариации на , и пусть — непрерывная функция на . Докажите или опровергните: имеет ограниченную вариацию на .
Пусть — функция ограниченной вариации на , и пусть — функция ограниченной вариации на . Докажите или опровергните: имеет ограниченную вариацию на .
Пусть — функция на , не имеющая ограниченной вариации. Докажите, что существует точка такая, что не имеет ограниченной вариации ни на каком подынтервале , содержащем во внутренней точке.
Приведите пример функции, дифференцируемой на , но не имеющей ограниченной вариации на .
Пусть . Докажите, что .
Пусть и . Докажите, что .
Пусть . Докажите, что тогда и только тогда, когда постоянна.
Пусть — функция ограниченной вариации, и пусть . Докажите, что если непрерывна слева (справа) в , то и непрерывна слева (справа) в этой точке.
Для функции длина кривой определяется как
где супремум берётся по всем разбиениям отрезка . Докажите, что конечна тогда и только тогда, когда имеет ограниченную вариацию на .
Пусть дифференцируема на с производной , интегрируемой по Риману на . Докажите, что
Что будет, если интеграл от является сходящимся несобственным интегралом?
Пусть непрерывна на , и предположим, что интегрируема по Риману на . Докажите, что
Что будет, если интеграл от является сходящимся несобственным интегралом?
Пусть дифференцируемы на , и пусть таково, что на . Предположим, что либо интегрируема по Риману на , либо интеграл от является сходящимся несобственным интегралом. Докажите, что имеет ограниченную вариацию на .
В упражнениях 9.3.23--9.3.26 найдите полную вариацию:
.
.
.
.
Пусть — непрерывные функции ограниченной вариации на . Докажите, что множество не может быть квадратом . Что будет, если лишь непрерывны?
Пусть — последовательность вещественнозначных функций на , сходящаяся поточечно на к вещественнозначной функции . Докажите, что
Найдите все функции ограниченной вариации на такие, что
Пусть — функция ограниченной вариации на замкнутом ограниченном отрезке . Докажите, что существует последовательность разбиений отрезка , для которой последовательность возрастает и сходится к .
Пусть — непрерывная функция ограниченной вариации, и пусть — разбиение . Для пусть и обозначают максимум и минимум соответственно функции на , и пусть . Докажите, что
Докажите или опровергните: существует непрерывная функция, не имеющая ограниченной вариации ни на одном интервале.
Пусть на . Найдите две возрастающие функции и , для которых на .
Пусть на . Найдите две возрастающие функции и , для которых на .
Пусть на . Найдите две возрастающие функции и , для которых на .
Пусть — функция ограниченной вариации на замкнутом ограниченном отрезке . Докажите или опровергните: — измеримая функция.
Пусть — функция ограниченной вариации на замкнутом ограниченном отрезке . Докажите, что существуют две ограниченные возрастающие функции и такие, что и .
Пусть — функция ограниченной вариации на замкнутом ограниченном отрезке . Докажите, что для почти всех .
Пусть — функция ограниченной вариации на замкнутом ограниченном отрезке , и предположим, что обладает свойством промежуточного значения, т.е. если и — число между и , то существует такое, что . Докажите, что непрерывна.
Пусть — непрерывная функция на , и предположим, что имеет ограниченную вариацию на . Докажите, что имеет ограниченную вариацию на .
Докажите, что абсолютно непрерывна на , но не липшицева.
Пусть абсолютно непрерывны, и пусть . Докажите, что абсолютно непрерывна на .
Пусть абсолютно непрерывны. Докажите, что абсолютно непрерывна на .
Пусть абсолютно непрерывна, и предположим, что для всех . Докажите, что абсолютно непрерывна на .
Пусть — строго возрастающая абсолютно непрерывная функция на , и пусть — абсолютно непрерывная функция на . Докажите, что абсолютно непрерывна на .
Докажите, что абсолютно непрерывна на тогда и только тогда, когда для каждого существует такое, что для всякого набора непересекающихся замкнутых интервалов в ,
Пусть — убывающая последовательность открытых подмножеств такая, что , и пусть . Докажите, что:
;
липшицева на тогда и только тогда, когда существует такое, что для всех .
Пусть — последовательность абсолютно непрерывных функций на , равномерно сходящаяся на к функции . Докажите или опровергните: абсолютно непрерывна.
Определение 9.4.20. Вещественнозначная функция, определённая на , обладает свойством Лузина (N), если она переводит каждое множество меры нуль в множество меры 0.
Пусть — липшицева функция на с константой , и пусть . Докажите, что . Заключите, что если — липшицева функция на , то она обладает свойством Лузина (N). Верно ли обратное?
Докажите, что всякая липшицева функция переводит измеримые множества в измеримые множества.
Приведите пример функции, не обладающей свойством Лузина (N).
(Банах—Зарецкий) Докажите, что функция на отрезке абсолютно непрерывна тогда и только тогда, когда она непрерывна, имеет ограниченную вариацию и обладает свойством Лузина (N).
Докажите, что абсолютно непрерывная функция переводит измеримое множество в измеримое множество.
Докажите, что если в определении 9.4.1 убрать слово «непересекающихся», то функция обязана быть липшицевой. Точнее, пусть — функция, обладающая тем свойством, что для каждого существует такое, что для всякого набора замкнутых интервалов в ,
Тогда липшицева на .
Пусть — возрастающая непрерывная функция, абсолютно непрерывная на для каждого . Докажите, что абсолютно непрерывна на .
Пусть и
Докажите, что и абсолютно непрерывны на , но даже не имеет ограниченной вариации на .
Предположим, что — функция на , и пусть — функция полной вариации для . Докажите, что абсолютно непрерывна на тогда и только тогда, когда абсолютно непрерывна. Заключите, что всякая абсолютно непрерывная функция является разностью возрастающих абсолютно непрерывных функций.
Докажите, что функция липшицева на тогда и только тогда, когда она абсолютно непрерывна на и существенно ограничена. (Функция называется существенно ограниченной, если она равна почти всюду ограниченной функции.)
Приведите пример функции ограниченной вариации, не являющейся абсолютно непрерывной.
Пусть — функция ограниченной вариации на . Докажите, что тогда и только тогда, когда абсолютно непрерывна на .
Пусть — строго возрастающая абсолютно непрерывная функция. Докажите, что для любого измеримого множества
Пусть интегрируема, и пусть — строго возрастающая абсолютно непрерывная функция, для которой . Докажите, что
Докажите следствие 9.4.14.
Следствие 9.4.14: Пусть — функция, дифференцируемая почти всюду, с интегрируемой производной. Если для всех , то абсолютно непрерывна на .
Докажите следствие 9.4.16.
Следствие 9.4.16: Функция абсолютно непрерывна на тогда и только тогда, когда она является неопределённым интегралом на . (Функция называется неопределённым (лебеговым) интегралом интегрируемой функции на , если для всех .)
Если непрерывна и вещественнозначна, интегрируема на , и , обязана ли быть абсолютно непрерывной? Что будет, если монотонно возрастает?
Пусть — функция, абсолютно непрерывная на каждом конечном интервале, и предположим, что как , так и интегрируемы на . Докажите, что:
;
при .
Пусть , и предположим, что
-
сходится для каждого ;
-
конечен.
Докажите, что .
Цель этого упражнения — установить следующий результат: если дифференцируема при всех и интегрируема на , то выполняется (9.30).
Пусть
Докажите, что является возрастающей функцией для каждого .
Используя результат из (a), докажите, что
Замените и в (a) на
и покажите, что — убывающая последовательность.
Используя (c), получите
Пусть дифференцируема на с производной , интегрируемой на . Докажите, что
Пусть — функция на , для которой интегрируема на . Докажите или опровергните: .
Пусть и — абсолютно непрерывные функции на . Покажите, что
Пусть интегрируема на . Докажите, что для почти всех
Пусть интегрируема на , и предположим, что непрерывна в точке . Докажите, что неопределённый интеграл от дифференцируем в точке .
Пусть — измеримое подмножество , и предположим, что существует такое, что всякий раз, когда . Докажите, что
Пусть абсолютно непрерывна и сингулярна на . Покажите, что постоянна.
Когда Лебег определял сингулярную функцию, это делалось следующим образом: называется сингулярной функцией, ассоциированной с функцией ограниченной вариации , если разность абсолютно непрерывна, и среди всех функций , для которых абсолютно непрерывна, имеет наименьшую полную вариацию, и . Докажите, что разложение совпадает с тем, что даёт теорема 9.4.19.
Пусть — измеримое подмножество такое, что для каждого интервала (см. упражнение 5.3.47), и пусть , . Докажите, что:
абсолютно непрерывна и строго возрастает на , но на множестве положительной меры.
абсолютно непрерывна на , но не монотонна ни на одном подынтервале .
Покажите, что условие, наложенное на множество в упражнении 9.4.37 (a), не является необходимым, т.е. что существует множество, не удовлетворяющее ему, но при этом является абсолютно непрерывной, строго возрастающей функцией на такой, что на множестве положительной меры.
(Витали) Пусть — возрастающая функция на замкнутом ограниченном отрезке . Докажите, что сингулярна тогда и только тогда, когда для любых существует конечный дизъюнктный набор открытых интервалов в , для которых
Приведите пример функции , дифференцируемой на , но производная которой не интегрируема на .
Пусть — возрастающая функция такая, что и . Докажите, что абсолютно непрерывна на каждом замкнутом конечном интервале тогда и только тогда, когда .
Пусть — пространство с мерой, и — знакопеременная мера на . Докажите, что следующие условия эквивалентны:
-
абсолютно непрерывна относительно .
-
Как , так и абсолютно непрерывны относительно .
-
абсолютно непрерывна относительно .
Пусть — пространство с мерой, пусть — меры на , и пусть — неотрицательные вещественные числа. Докажите, что
Покажите, что утверждение остаётся верным, когда не обязательно неотрицательны, если добавить предположение, что ряд сходится.
Пусть — пространство с мерой, пусть — меры на , и пусть — неотрицательные вещественные числа. Докажите, что
Покажите, что утверждение остаётся верным, когда не обязательно неотрицательны, если добавить предположение, что ряд сходится.
Пусть — пространство с мерой, и — знакопеременная мера на . Предположим, что абсолютно непрерывна относительно , и что и взаимно сингулярны. Докажите, что — нулевая мера, т.е. для всех .
Пусть — пространство с мерой, и — две интегрируемые функции на . Для пусть , и определим знакопеременные меры по формуле
Докажите, что если и эквивалентны, то .
Предполагая, что неотрицательны, докажите, что влечёт эквивалентность и .
Приведите пример, показывающий, что (b) неверно без предположения о неотрицательности.
Пусть — абсолютно непрерывная функция на , и предположим, что — мера на борелевских подмножествах интервала такая, что для . Докажите, что для любого , .
Пусть — -конечное пространство с мерой. Докажите, что существует конечная мера на , эквивалентная .
Пусть — измеримое пространство, и — конечные меры на . Докажите, что следующие условия эквивалентны:
-
;
-
;
-
.
Пусть — некоторая нумерация рациональных чисел, пусть — неотрицательные, борелевски измеримые функции такие, что вне интервала и , и пусть для всех . Докажите, что:
конечна почти всюду.
— -конечная мера на .
для каждого непустого открытого множества .
.
Приведите пример, показывающий, что предложение 9.5.3 не выполняется, если — -конечная мера.
Предложение 9.5.3: Пусть — пространство с мерой, и — конечная мера на . Тогда абсолютно непрерывна относительно тогда и только тогда, когда для каждого найдётся такое, что для каждого , влечёт .
Приведите пример двух -алгебр и на множестве и двух мер и таких, что на , но не на .
Пусть — ненулевая конечная борелевская мера на , и для каждого пусть — мера, определённая как . Предположим, что каждая мера эквивалентна . Докажите, что эквивалентна мере Лебега на .
Докажите или опровергните: существует мера на лебеговой -алгебре подмножеств , абсолютно непрерывная относительно меры Лебега, такая, что для любого с непустой внутренностью.
Пусть — конечное пространство с мерой, пусть — набор измеримых множеств, и — набор вещественных чисел. Для определим
Докажите, что — мера на ;
докажите, что абсолютно непрерывна относительно ;
найдите производную Радона—Никодима .
Пусть и — -конечные меры на измеримом пространстве .
Если и — измеримая функция на , докажите, что
Если и , докажите, что
Если , докажите, что
Если и , докажите, что
Пусть — меры на измеримом пространстве , и пусть — меры на измеримом пространстве . Предположим, что все 4 меры -конечны и что .
Докажите, что .
Найдите .
Пусть — измеримое пространство, и — -конечные меры на такие, что , пусть , и пусть . Докажите, что почти всюду и .
Пусть — пространство с мерой, — подалгебра , — ограничение на , и — -интегрируемая функция на . Докажите, что:
существует -интегрируемая функция на такая, что для всех ;
единственна, т.е. если удовлетворяет (a), то почти всюду .
Пусть — мера Лебега на вещественной прямой, и для каждого измеримого по Лебегу подмножества из определим
Покажите, что абсолютно непрерывна относительно , и вычислите производную Радона—Никодима .
Пусть обозначает меру Лебега на , и
для любого измеримого по Лебегу множества . Докажите или опровергните:
;
;
.
Найдите производную Радона—Никодима в случаях, когда она существует.
Пусть — измеримое пространство, и — меры на такие, что -конечна и , пусть , и предположим, что существует константа такая, что для каждого множества конечной меры. Докажите, что для -почти всех .
Пусть — конечная знакопеременная мера на измеримом пространстве . Докажите, что существует измеримая функция на такая, что для почти всех , и
Пусть — измеримое пространство, и пусть — две -конечные меры на такие, что , и существует множество , являющееся -атомом (т.е. для любого измеримого подмножества выполняется либо , либо 0). Определите значения производной Радона—Никодима на .
Пусть — несчётное множество, и пусть состоит из тех множеств , для которых либо , либо счётно. Определим две меры на по формулам , если счётно, и , если счётно.
Найдите измеримую функцию такую, что для любого .
Докажите, что не существует измеримой функции такой, что для любого .
Пусть — пространство с мерой, и пусть — конечные знакопеременные меры на . Докажите, что тогда и только тогда, когда .
Пусть — измеримое пространство, пусть , и пусть — знакопеременная мера на . Докажите, что
Пусть и — две -конечные положительные меры на измеримом пространстве . Докажите, что существуют такие, что , и эквивалентны на , и на .
Докажите теорему Радона—Никодима в случае, когда — знакопеременная мера.
Пусть — пространство с мерой, и — измеримые функции такие, что соответствующие меры и равны на . Докажите или опровергните: почти всюду .
Приведите пример того, что теорема Радона—Никодима не выполняется, когда не -конечна.
Докажите или опровергните: теорема о разложении Лебега остаётся верной, если меры и не предполагаются -конечными.
Покажите, что разложение Лебега функции ограниченной вариации единственно, если сингулярная функция обязана обращаться в нуль при .
Пусть — пространство с мерой, и — неотрицательная функция, интегрируемая на относительно . Найдите разложение Лебега относительно меры , определённой как для .
Пусть — измеримое пространство, и — две -конечные меры на . Докажите, что тогда и только тогда, когда не существует ненулевой -конечной меры на такой, что .
Пусть — фиксированная последовательность вещественных чисел, и пусть — последовательность положительных вещественных чисел. Определим функцию множества по формуле
Покажите, что — -конечная мера на .
Найдите разложение Лебега относительно меры Лебега .
Пусть , и определим функцию множества по формуле
Покажите, что — -конечная знакопеременная мера на ;
найдите разложение Хана относительно ;
найдите разложение Жордана ;
найдите разложение Лебега относительно меры Лебега на .
Пусть и — измеримые пространства, пусть — меры на , пусть — меры на , и предположим, что и -конечны. Определите разложение Лебега относительно через разложения Лебега относительно и относительно .
Докажите или опровергните: теорема о разложении Лебега выполняется, когда — знакопеременная мера.