Мера Лебега Flashcards
Определение кольца, алгебры, сигма-кольца и сигма-алгебры
Непустое семейство подмножеств K из P(X) называется кольцом, если оно замкнуто относительно операций пересечения и симметрической разности.
Алгебра — такое кольцо, что X Э K.
Сигма-кольцом называют кольцо, замкнутое относительно счётного объединения.
Сигма-алгебра — это кольцо, которое одновременно является кольцом и сигма-кольцом.
Примеры сигма-алгебры
Для любого множества Х существует тривиальная сигма-алгебра {∅, X}
Для любого множества Х существует сигма-алгебра, содержащая все его подмножества
Борелевская сигма-алгебра: минимальная сигма-алгебра, которая содержит все открытые подмножества заданного топологического пространства (обычно этим пространством является R).
Мера
Мерой на полукольце(кольце) S(K) называется отображение m: S(K) — R, если для него выполнены аксиомы: неотрицательность и аддитивность
Множество Кантора
…
Сигма-аддитивная мера (определение)
Мера m, заданная на полукольце S, называется сигма-аддитивной, если для любого счётного разбиения множества А из S выполнено равенство: m(A) = sum( m(Ai), i = 1, inf )
Внешняя мера
Множество меры нуль
Множество А называется множеством меры нуль, если для любого E > 0 существует покрытие множества А элементарными множествами Ak, такое что сумма m(Ak) < E.
Продолжение меры по Лебегу
Это сужение внешней меры на систему измеримых множеств.
Примеры измеримых множеств
1) Полуинтервалы, отрезки, интервалы
2) Открытые множества (являются конечными или счётными объединениями открытых интервалов)
3) Замкнутые множества
4) Борелевские множества — множества, полученные из открытых и замкнутых множеств с помощью счётного числа операций объединения и пересечения
5) Счётные множества, например множество рациональных чисел, имеют меру нуль