
Рис. 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)
того, что случайная величина

принимает значение

. Если заданы

и

,

, тогда функцию распределения вероятностей

дискретной случайной величины

можно представить в виде: