Сигма-алгебры и меры

Сигма-алгебра определяет, какие множества могут быть измерены, а мера присваивает каждому из них согласованный размер; вместе они образуют измеримое пространство, на котором строится вся теория интегрирования.

Definition

Сигма-алгебра — это совокупность подмножеств, замкнутая относительно дополнений и счетных объединений, а мера — это счетно-аддитивная, неотрицательная функция множества на сигма-алгебре; эта пара образует пространство с мерой, обобщающее понятия длины, площади, объема и вероятности.

Scope

Эта тема охватывает сигма-алгебры и борелевскую сигма-алгебру, порожденную открытыми множествами, измеримые функции, аксиомы меры со счетной аддитивностью, внешние меры и конструкцию Каратеодори, построение меры Лебега, полноту и множества меры нуль, а также непрерывность мер вдоль монотонных последовательностей.

Core questions

• Какие совокупности множеств могут поддерживать согласованное понятие размера?
• Как строится мера Лебега на евклидовом пространстве из внешней меры?
• Что дает счетная аддитивность, чего не может дать конечная аддитивность?
• Почему меру нельзя определить на абсолютно каждом подмножестве?

Key theories

Теорема Каратеодори о продолжении меры

Внешняя мера ограничивается истинной счетно-аддитивной мерой на сигма-алгебре своих измеримых множеств — конструкция, которая порождает меру Лебега и меры на абстрактных пространствах из более простых функций множества.

Существование неизмеримых множеств

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

Clinical relevance

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

History

Борель ввел сигма-алгебру множеств, построенных из интервалов, около 1898 года, а Лебег определил меру на прямой в 1902 году. Метод внешней меры Каратеодори обобщил эту конструкцию на абстрактные пространства, а пример Витали 1905 года продемонстрировал неизмеримое множество.

Key figures

• Constantin Caratheodory
• Emile Borel
• Henri Lebesgue

Seminal works

• folland1999
• axler2020

Frequently asked questions

Почему бы просто не измерять каждое подмножество прямой?

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

Какова роль счетной аддитивности?

Счетная аддитивность, согласно которой мера счетного дизъюнктного объединения равна сумме мер, позволяет мерам хорошо взаимодействовать с пределами и делает возможными теоремы сходимости интегрирования.