01. Мера множества.

Некоторые сведения о множествах

Говорят, что между элементами двух множеств установлено взаимно однозначное соответствие, если каждому элементу первого множества поставлен в соответствие некоторый элемент второго множества так, что при этом каждый элемент второго множества соответствует только одному элементу первого множества.

Два множества называются эквивалентными, если между их элементами можно установить взаимно однозначное соответствие. Если два множества эквивалентны, то говорят, что они имеют одинаковую Мощность.

Множество называется счётным, если оно эквивалентно множеству натуральных чисел, т. е элементы можно занумеровать. Примеры: множество рациональных чисел, целых чисел, простых чисел, алгебраических чисел.

Множество вещественных чисел сегмента несчётно.

Если множество эквивалентно множеству всех вещественных чисел сегмента , то говорят, что оно имеет мощность континуум.

Пусть произвольное числовое множество. Точка называется внутренней точкой множества, если она содержится в вместе с некоторой своей окрестностью.

Множество называется открытым, если все его точки внутренние. Множество называется замкнутым, если оно содержит все свои предельные точки.

Объединение конечного или счётного числа открытых множеств является открытым.

Теорема 1. Любое открытое множество является объединением конечного или счётного числа попарно непересекающихся интервалов

Мера множества. Мера интервала назовём его длину. Пусть - ограниченное открытое множество. По Т.1 его можно представить в виде , - попарно не пересекающиеся интервалы.

Мерой открытого ограниченного множества назовём сумму длин его интервалов.

В силу ограниченности множества этот ряд сходится.

Пусть - произвольное ограниченное множество. Рассмотрим всевозможные ограниченные открытые множества , содержащие . Множество мер этих множеств ограничено снизу (например, числом 0) и, следовательно, имеет

Число называет внешней мерой множества .

Определение. Множество называется измеримым (по Лебегу), если существует открытое множество , содержащее , для которого . При этом внешняя мера множества называется его мерой Лебега.

-аддитивность меры Лебега

Мера счётного множества равна нулю. Однако несчётное множество также может иметь меру ноль.

Пример. Возьмём отрезок , разделим на три равных части и удалим средней интервал, оставшиеся сегменты поделим на три равные части и удалим средние интервалы и т. д. Получившееся (канторово) множество несчётно но имеет меру ноль.

Пример неизмеримого множества в Колмогорове Фомине на стр.303.

Измеримые функции.

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

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

Для измеримости на множестве необходимо и достаточно, для любого числа было бы измеримо одно из множеств , , .

Свойства измеримых функций.

1.  Если функция измерима на множестве , то она измерима на любом измеримом подмножестве.

2.  Если функция измерима на множестве , ,.., ,…, то она измерима на их объединении и пересечении.

3.  Если функция определена на множестве меры нуль, то она измерима на этом множестве.

4.  Если функции , измеримы на множестве , то, , , (при условии ).

5.  Непрерывная на сегменте функция измерима на этом сегменте.

Говорят, что некоторое свойство справедливо Почти всюду на множестве , если множество точек из , на котором оно не справедливо, имеет меру ноль.

Функции , определённые на измеримом множестве, называются эквивалентными на этом множестве, если они равны почти всюду.

6.  Если измерима, а эквивалентна , то измерима.

7.  Теорема Лузина.(С - свойство). Для того чтобы функция была измерима на необходима и достаточно, чтобы существовала непрерывная на функция такая, что .

Следующая >