Из этого определения вытекает, к примеру, попарная независимость случайных
величин: если положить B
3
= B
4
= . . . = B
n
= R, то будем иметь
P(X
1
∈ B
1
, X
2
∈ B
2
) = P(X
1
∈ B
1
)P(X
2
∈ B
2
).
Случайные величины {X
n
}
∞
n=1
, заданные на одном вероятностном пространстве,
будут называться независимыми, если при любом n случайные величины X
1
, . . . , X
n
независимы в смысле предыдущего определения.
Для произвольной случайной величины X рассмотрим совокупность σ(X) собы-
тий вида X
−1
(B), B ∈ B(R). Легко проверить, что σ(X) является σ-алгеброй. По
определению, она называется σ-алгеброй, порожденной случайной величиной X.
Примеры Пусть Ω = [0, 1], S — совокупность борелевских подмножеств [0, 1].
Тогда если X(ω) = ω, то σ(X) = S. Если же X = 0 при ω ≤ 1/2 и X = 1 при
ω > 1/2, то в этом случае σ(X) = {∅, Ω, [0, 1/2], (1/2, 1]}.
Пусть A
1
, . . . , A
n
— некоторые классы событий. Будем говорить, что они незави-
симы, если для любых B
1
∈ A
1
, . . . , B
n
∈ A
n
выполняется
P(B
1
. . . B
n
) = P(B
1
) . . . P( B
n
).
Таким образом, независимость случайных величин X
1
, X
2
, . . . , X
n
может пони-
маться как независимость σ-алгебр σ(X
1
), . . . , σ(X
n
).
Вернемся к определению (1). Оказывается, в нем можно ограничиться только
множествами вида B
i
= (−∞, y
i
), i = 1 , . . . , n. Приведем доказательство этого фак-
та.
Если (1) справедливо для множеств вида B
i
= (−∞, y
i
), то оно справедливо и для
множеств вида B
i
= [a
i
, b
i
) — это легко показывается. Значит, (1) будет выполняться
также для любых множеств из алгебры A, элементы которой представимы в ви-
де конечного объединения полуинтервалов такого вида. По-другому можно сказать,
что независимыми будут алгебры A
i
, состоящие из событий вида X
−1
i
(B), B ∈ A.
Завершает наши рассуждения следующая теорема.
Теорема. Пусть A
1
и A
2
— две произвольные независимые алгебры событий.
Тогда независимыми будут порожденные ими σ-алгебры σ(A
1
) и σ(A
2
).
Для доказательства теоремы нам потребуется аппроксимировать события из σ-
алгебры событиями из порождающей ее алгебры. Чтобы осуществить это, для всякой
пары событий A и B введем функционал
d (A, B) = P(AB ∪AB) = P(AB) + P(AB) = P (A \ B) + P(B \ A).
Это — почти расстояние (равенство d (A, B) = 0 не означает, что A = B). Введенный
функционал обладает следующими полезными свойствами.
1) d (A, B) = d (B, A) = d (A, B);
2) d (A, C) ≤ d (A, B) + d (B, C);
3) d (AB, CD) ≤ d (A, C) + d (B, D);
4) |P(A) −P(B)| ≤ d (A, B).
Первое из них очевидно. Второе вытекает из соотношений
d (A, C) = P(AC) + P(AC) = P(ACB) + P(ACB) + P(ACB) + P(ACB) ≤
≤ P(CB) + P(AB) + P(AB) + P(CB) = d (A, B) + d (B, C).
Докажем третье. С помощью формулы двойственности получаем
P(ABCD ∪ ABCD) ≤ P(AB(C ∪ D)) + P((A ∪ B)CD) ≤
40