Докторантура → Понимание математического анализа → Теория меры ↓
Сигма алгебра
Введение в сигма алгебру
Сигма алгебры являются фундаментальной концепцией в теории меры, которая является неотъемлемой частью действительного анализа и теории вероятностей. Они обеспечивают строгий подход к обработке коллекций «измеримых» множеств. Вместо работы со всеми возможными подгруппами данного множества, сигма алгебры сосредотачиваются на подгруппах, которые хорошо себя ведут с точки зрения меры, такой как длина, площадь, вероятность и т.д.
Основы и определения
Сигма алгебра (или σ-алгебра) на множестве X
является коллекцией Σ
подмножеств X
, которые удовлетворяют следующим свойствам:
- Ненулевость:
X
само по себе принадлежитΣ
. - Замкнутость относительно дополнения: Если множество
A
принадлежитΣ
, тогда его дополнениеAc = X A
также принадлежитΣ
. Это означает, что если в нашей коллекции есть подмножество, то у нас также должно быть всё за пределами этого подмножества. - Замкнутость относительно счётных объединений: Если у нас есть счётная коллекция
{A1, A2, A3, ...}
множеств, которые все принадлежат кΣ
, то объединение всех этих множествA = A1 ∪ A2 ∪ A3 ∪ ...
также принадлежитΣ
.
Эти свойства обеспечивают, что сигма алгебры хорошо себя ведут и подходят для измерения «размера» последовательным образом. Давайте исследуем некоторые примеры, чтобы проиллюстрировать эту идею.
Визуальный пример сигма алгебры
Рассмотрим симплициальное множество X = {1, 2, 3}
. Сигма алгебра на X
будет коллекцией подмножеств множества X
. Например, такая сигма алгебра могла бы быть:
{ {}, {1, 2, 3}, {1, 2}, {3} }
Этот набор множеств удовлетворяет всем условиям, необходимым для сигма алгебры:
- Непустота:
{1, 2, 3}
принадлежит коллекции. - Замкнутость дополнения: Для каждого подмножества коллекции существует замкнутое дополнение множества.
- Замкнутость относительно счётных объединений: любое объединение множеств из коллекции также является подмножеством коллекции или же множества
X
.
Математический пример
Пример более сложной сигма алгебры касается вещественной прямой ℝ
. Борелевская сигма алгебра на ℝ
создаётся с использованием открытых интервалов:
B(ℝ) = σ({ (a, b) : a, b ∈ ℝ })
В этом случае борелевская сигма алгебра состоит из всех подмножеств ℝ
, которые могут быть построены с использованием открытых интервалов, закрытых интервалов и множества операций по дополнению и объединению. Борелевские множества полезны во многих областях анализа, таких как определение функций, измеримых по Лебегу.
Свойства сигма алгебры
Давайте рассмотрим дополнительные свойства и характеристики сигма алгебры:
Замкнутость по пересечению
Несмотря на то, что сигма алгебры известны своей замкнутостью с точки зрения счётных объединений, они также замкнуты с точки зрения пересечений. Это связано с тем, что пересечение счётного количества множеств может быть выражено с использованием дополнений и объединений. Например, если A1, A2, ...
принадлежат Σ
, то:
A1 ∩ A2 ∩ ... = (A1C ∪ A2C ∪ ... )C
Минимальная и максимальная сигма алгебра
Каждое множество X
имеет, по крайней мере, две сигма алгебры. Тривиальная сигма алгебра содержит только пустое множество и само множество: { {}, X }
. Это наименьшая возможная сигма алгебра над любым множеством.
Наибольшая сигма алгебра — это множество всех подмножеств множества X
, обозначенное P(X)
, которое содержит каждое подмножество множества X
. Хотя это редко интересно для целей измерения, это служит верхней границей.
Порожденная сигма алгебра
Мы часто «порождаем» сигма алгебру из заданной коллекции подмножеств. Сигма алгебра σ(G)
, порожденная G
, является наименьшей сигма алгеброй, содержащей все множества в G
. Она содержит подмножества, которые могут быть образованы с помощью взятия дополнений и счётных объединений множеств в G
.
Работа с сигма алгеброй
Рассмотрите приложения и их интерпретации в реальных контекстах, таких как вероятность.
Сигма алгебра в вероятности
В теории вероятностей сигма алгебра представляет собой коллекцию всех событий, которые можно измерить. Например, если вы бросаете кубик, пространство элементарных событий — {1, 2, 3, 4, 5, 6}
. Сигма алгебра может определять, какие комбинации исходов (событий) вы предпочитаете, например, «получение четного числа» или «выпадение числа больше 3».
Более формально, в пространстве вероятностей (Ω, Σ, P)
:
Ω
— пространство элементарных событий.Σ
— сигма алгебра подмножествΩ
(событий).P
— вероятность мера, которая назначает вероятности событиям вΣ
.
Применения в теории меры
В теории меры сигма алгебра предоставляет способ обработки «измеримых» множеств, которые необходимы для определения интегралов и мер. Например, мера Лебега использует сигма алгебру для определения, какие подмножества вещественных чисел измеримы, позволяя точно вычислять площади и объёмы.
Построение сигма алгебры: пример
Рассмотрим простой пример с X = {a, b, c}
:
- Начните с базовой коллекции:
{{}, {a, b, c}}
. - Добавьте одноэлементные множества и их дополнения для обеспечения замкнутости по дополнению:
{{}, {a, b, c}, {a}, {b, c}}
- Добавьте попарные объединения, необходимые для достижения замкнутости по счётным объединениям:
{{}, {a, b, c}, {a}, {b}, {c}, {a, b}, {a, c}, {b, c}}
Это теперь сигма алгебра, удовлетворяющая всем требуемым свойствам.
Почему сигма алгебра важна
Прелесть сигма алгебр заключается в их структуре, которая обеспечивает последовательную основу для анализа различных математических и реальных феноменов. Они важны в следующем:
- Определение измеримых функций и множеств.
- Формулировка пространств вероятностей и ожиданий.
- Для построения теорий интеграции, таких как интеграция Лебега.
- Позволяя сложные доказательства и применения в таких областях, как функциональный анализ.
Заключение
Сигма алгебры воплощают принципы выбора и комбинации в теории множеств, служащие основой для более сложных аналитических построений. Их четкие правила и свойства позволяют математикам обобщать за пределами простых операций с множествами, позволяя углубленным исследованиям вероятности, анализа и не только.