Рис. 30.1. График функции распределения вероятностей.
Рассмотрим основные свойства функции распределения, следующие непосредственно из определения:
. (31.1)
1. Введем обозначение: . Тогда из определения следует . Здесь выражение рассматривается как невозможное событие с нулевой вероятностью.
2. Пусть . Тогда из определения функции следует . Случайное событие является достоверным и его вероятность равна единице.
3. Вероятность случайного события , состоящего в том, что случайная величина принимает значение из интервала при определяется через функцию следующим равенством
. (31.2)
Для доказательства этого равенства рассмотрим соотношение
. (31.3)
События и несовместны, поэтому по формуле сложения вероятностей из (31.3) следует
, (31.4)
что и совпадает с формулой (31.2), поскольку и .
4. Функция является неубывающей. Для доказательства рассмотрим . При этом справедливо равенство (31.2). Его левая часть , поскольку вероятность принимает значения из интервала . Поэтому и правая часть равенства (31.2) неотрицательна: , или . Это равенство получено при условии , поэтому - неубывающая функция.
5. Функция непрерывна справа в каждой точке , т.е.
, (31.5)
где - любая последовательность, стремящаяся к справа, т.е. и .
Для доказательства представим функцию в виде:
. (31.5)
Отсюда
. (31.6)
Теперь на основании аксиомы счетной аддитивности вероятности выражение в фигурных скобках равно , таким образом
, что и доказывает непрерывность справа функции .
Таким образом, каждая функция распределения вероятностей обладает свойствами 1-5. Верно и обратное утверждение: если , , удовлетворяет условиям 1-5 ,то она может рассматриваться как функция распределения некоторой случайной величины.
Случайная величина называется дискретной, если множество ее значений конечно или счетно.
Для полного вероятностного описания дискретной случайной величины , принимающей значения , достаточно задать вероятности
, (32.1)
того, что случайная величина принимает значение . Если заданы и , , тогда функцию распределения вероятностей дискретной случайной величины можно представить в виде: