Вы находитесь на странице: 1из 3

7 Системы множеств

Опр. Пусть S – некоторое множество. Системой множеств назывется вся-


кое множество N, элементы которого являются подмножествами множества S.
Опр. Непустая система множеств N называется кольцом (кольцом множеств),
если она обладает тем свойством, что из A ∈ N, B ∈ N следует, что A \ B ∈ N
и A ∪ B ∈ N.
Теорема 7.1. Пусть N – кольцо множеств. Тогда справедливы следуюшие
свойства.
1. Из A ∈ N, B ∈ N следует A ∩ B ∈ N.
n n
2. Из A1 , A2 , . . . , An ∈ N следует ∪ Ak ∈ N, ∩ Ak ∈ N.
k=1 k=1

Доказательство. Справедливость свойства 1 следует из формулы

A ∩ B = (A ∪ B) \ (A \ B) \ (B \ A).

Свойство 2 очевидным образом следует из определения кольца и свойства 1.


Теорема доказана.
Замечание 1. Так как A \ A = ∅, то всякое кольцо множеств содержит
пустое множество. Поэтому система множеств N = {∅} представляет собой
наименьшее возможное кольцо множеств.
Замечание 2. Ясно, что система множеств N, состоящая из всех подмно-
жеств множества S, является максимальным возможным кольцом множеств.
Опр. Множество E называется единицей системы множеств N, если E ∈ N
и для всякого множества A ∈ N верно A ∩ E = A.
Таким образом, единица системы множеств N есть максимальное множество
этой системы, содержащее все другие множества, входящие в N.
Опр. Кольцо множеств, в котором существует единица, называется алгеброй
множеств.
Опр. Алгебра множеств S называется σ-алгеброй (сигма-алгеброй), если вме-
сте с любой последовательностью множеств {An }∞ n=1 она содержит их сумму

∪ An .
n=1
Другими словами, система множеств S называется σ-алгеброй, если она об-
ладает следующими свойствами.
1). Из A, B ∈ S следует A \ B ∈ S.
2). Из A1 , A2 , . . . , An , . . . , ∈ S следует ∪ An ∈ S.
n
3). Существует множество E ∈ S такое, что A ⊂ E для всех A ∈ S.
Теорема 7.2. Пусть S – σ-алгебра. Тогда из A1 , A2 , . . . , An , . . . ∈ S следует

∩ An ∈ S.
n=1

Доказательство. Справедливость предложения следует из следующих ра-


венств: ∞ ∞ ∞
∩ An = E \ (E \ ∩ An ) = E \ ∪ (E \ An ),
n=1 n=1 n=1
которые вытекают из принципа двойственности и свойств 1) - 3).
Теорема доказана.
Опр. Пусть N – некоторая система множеств. σ-алгебра S(N), содержащая
систему N, называется минимальной, если она содержится в любой другой
σ-алгебре S, содержащей систему N.
Теорема 7.3. Для любой непустой системы множеств N существует одна
и только одна минимальная σ-алгебра S(N).
Доказательство. Введем множество E, являющееся объединением всех мно-
жеств, входящих в N, и за S возьмем систему всех подмножеств множества E.
Ясно, что S(N) – это σ-алгебра, содержащая N. Таким образом, по крайней
мере одна σ-алгебра, содержащая N существует.
Пусть теперь S(N) = ∩ S – это пересечение всех σ-алгебр, содержащих
N⊂S
N, а E = ∩ ES – это пересечение их единиц.
N⊂S
Покажем проверкой свойств 1) – 3), что S(N) – это σ-алгебра с единицей E.
1). A, B ∈ S(N) ⇒ A, B ∈ S ∀ S ⇒ A \ B ∈ S ∀ S ⇒ A \ B ∈ S(N).
2). An ∈ S(N) ⇒ An ∈ S ∀ S ⇒ ∪ An ∈ S ∀ S ⇒ ∪ An ∈ S(N).
n n
3). E ∩ A = ( ∩ ES ) ∩ A = ∩ (ES ∩ A) = ∩ A = A.
N⊂S N⊂S N⊂S
Построенная σ-алгебра минимальна, так как ∩ S ⊂ S для всякой σ-
N⊂S
алгебры S, содержащей N.
Пример минимальной σ - алгебры дает борелевская алгебра B – мини-
мальная σ - алгебра, содержащая все интервалы (a, b).