Опр. Пусть 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).