Свойство
1.
Р(0)
=
О,
ДА)
=
1.
Свойство
2. Р(А
иЯ)
=
Р(А)
+
Р(В)
для
любых
несовместных
событий
А,
В.
Напомним,
что
события
А,
В
называются
несовместными,
если
они
не
происходят вместе
при
проведении опыта. Например,
выше-
указанные
события
G,
Я
(см.
пример
1, п.
1)
несовместны.
В
разделе
15.1,
п. 2
(см.
определение
1)
указывалось,
что
веро
:
ятность
есть мера возможности наступления события
при
проведе-
нии
опыта. Мерами являются масса тела, площадь земельного
участ-
ка,
объем тела
и
т.п.
Главное
свойство всякой меры состоит
в
том,
что
мера
суммы двух объектов
без
общих элементов равна
сумме
мер.
Это
свойство
мер
называется аддитивностью.
Для
вероятности
как
меры
свойство
2
также главное.
По
индукции можно доказать,
что
вероятность'суммы
любого
конечного
семейства попарно несовместных событий
равна
сумме
их
вероятностей.
Это
свойство называется
конечной
аддитивности,
Проверим,
что
классическая формула нахождения
вероятности
(см.
п. 3,
раздел.
15.1)
удовлетворяет определению вероятности.
Дей-
ствительно,
невозможное
событие
0 не
содержит
ни
одного
случая,
поэтому
т(0)
=
0,
следовательно,
Р(0)
- 0.
Достоверное
же
собы-
тие
#
содержит
все
случаи, поэтому
m(U)
=
w,
следовательно,
-W
=
1-
Далее,
если события
А,
В
несовместны,
то
т(А
и Л)
=
т(А)
+
w($>
следовательно,
Р(А и Б)
~
Р(А)
+
Р(В).
Для
развития теории свойство
2
заменяют более
сильным
свой-
ством
3
(счетной аддитивности).
Свойство
3.
РЦ
и
...
иЛ
и
^
-О
«-/"Ц)
+ ... +
ЛА>
+
•••
№*
любых
попарно несовместных событий
A,
t
...,
А
....
,
\'
'
п*
Классическая
формула имеет
и это
свойство, поскольку
вероят-
ностное
пространство, конструируемое
при
использовании
этой
формулы,
конечно;
тем
самым
не
существует
бесконечных
семейств
попарно несовместных различных событий.
Если
от
вероятности требовать счетной аддитивности,
то и от
пространства
событий также надо требовать замкнутости
по
опера-
циям
образования сумм
и
пересечений счетных семейств.
Такие
про-
странства
или
алгебры событий называются
а-алгебрами
событии.
Свойство счетной аддитивности эквивалентно
следующему
свойству
вероятности,
которое понадобится
в
дальнейшем.
Свойство
4.
Если
{А
п
,
п е
N]
—
расширяющаяся
последова-
тельность событий,
т.е.
4,
S
4,-и
и
А
в
и
Н
:
п
6
^,
тогда
КА
*
=
"т
Р(А).
Л~>оо
"
224