Что такое сигма-поле?

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

Определение

Определение сигма-поля требует, чтобы у нас было выборочное пространство С вместе с набором подмножеств С. Этот набор подмножеств является сигма-полем, если выполняются следующие условия:

• Если подмножество А находится в сигма-поле, то и его дополнение А С .
• Если А_н являются счетно бесконечно многими подмножествами из сигма-поля, то и пересечение, и объединение всех этих множеств также находятся в сигма-поле.

Подразумеваемое

Из определения следует, что два конкретных набора являются частью каждого сигма-поля. Поскольку оба А а также А C находятся в сигма-поле, так же как и пересечение. Это пересечение является пустым множеством. Следовательно, пустое множество является частью каждого сигма-поля.

Пример пространства С также должны быть частью сигма-поля. Причина этого в том, что объединение А а также А C должен быть в сигма-поле. Этот союз является образцом пространстваС.

Рассуждение

Есть несколько причин, почему эта конкретная коллекция наборов полезна. Сначала мы рассмотрим, почему и множество, и его дополнение должны быть элементами сигма-алгебры. Дополнение в теории множеств эквивалентно отрицанию.Элементы в дополнении к А элементы универсального множества, не являющиеся элементами А. Таким образом, мы гарантируем, что если событие является частью пространства выборки, то это событие, которое не происходит, также считается событием в пространстве выборки.

Мы также хотим, чтобы объединение и пересечение набора множеств находились в сигма-алгебре, потому что объединения полезны для моделирования слова «или». Событие, которое А или же Б происходит, представлен союзом А а также Б. Точно так же мы используем пересечение для обозначения слова «и». Событие, которое А а также Б происходит, представляется пересечением множеств А а также Б.

Физически невозможно пересечь бесконечное количество множеств. Однако мы можем думать об этом как о пределе конечных процессов. Вот почему мы также включаем пересечение и объединение счетного множества подмножеств. Для многих бесконечных выборочных пространств нам нужно было бы формировать бесконечные объединения и пересечения.

Связанные идеи

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