4.2.Случайная величина с дискретным распределением
Случайная величина, множество значений которой является дискретным (конечным или счетным), называется дискретной случайной величиной. Соответствующее ей вероятностное распределение на прямой также называется дискретным. Поскольку дискретное вероятностное пространство имеет конечный или счетный набор элементарных событий, дискретная случайная величина может принимать только конечное или счетное множество значений. Пусть дискретная случайная величина ставит в соответствие каждому элементарному событию !i число xi и пусть P (!i) = pi. В терминах вероятностного распределения на прямой это означает, что случайная величина принимает только значения xi и P (X = xi) = pi.
Определение 4.3. Набор значений xi вместе с вероятностями pi называется рядом распределения дискретной случайной величины.
Очевидно, что ряд распределения должен обладать следующими свойствами:
1)pi 0;
X
2)pi = 1.
i
Свойства 1–2 являются характеристическими: всякий набор пар чисел (xi; pi), где pi удовлетворяют свойствам 1–2, может рассматриваться как ряд распределения некоторой дискретной случайной величины.
По ряду распределения дискретной случайной величины нетрудно восстановить ее функцию распределения. Пусть значения xi расположены в порядке возрастания. Тогда F (x1) = P (X < x1) = 0 и, следовательно, F (x) = 0 при любом x < x1. Далее, при x 2 [x1; x2[ имеем
F (x) = P (X = x1) = p1;
при x 2 [x2; x3[ получим
F (x) = P (X = x1) + P (X = x2) = p1 + p2
и т. д. Таким образом, функция распределения дискретной случайной величины представляет собой кусочно-постоянную функцию с разрывами в точках xi, причем в каждой точке xi значение функции увеличивается на pi. В самой точке xi значение F (x) равно значению до разрыва, что согласуется со свойством непрерывности слева функции распределения.
35
4.3.Случайная величина с абсолютно непрерывным распределением
Случайная величина X называется абсолютно непрерывной, если существует такая функция f(x), что для любого борелевского множества A
Z
на прямой P (x 2 A) = f(x)dx. Согласно определению 3.5 , вероятност-
A
ное пространство, на котором задана такая случайная величина, является абсолютно непрерывным с плотностью f(x). Эта плотность удовлетворяет следующим свойствам:
1) f(x) 0 для любого x 2 R1;
+1
Z
2)f(x)dx = 1.
1
Функция f(x) называется плотностью распределения абсолютно непрерывной случайной величины. По ней вычисляется вероятность попадания случайной величины в любой промежуток [a; b]:
P fX 2 [a; b]g = Z |
b |
|
f(x)dx: |
||
a |
|
|
По плотности может быть однозначно восстановлена функция распре- |
||
деления. Действительно, |
|
|
|
x |
|
F (x) = P (X 2 ( 1; x[) = Z |
f(x)dx: |
|
1
С другой стороны, по известной теореме об интеграле с переменным верхним пределом из последней формулы следует, что во всех точках непрерывности f(x) у функции абсолютно непрерывного распределения существует производная F 0(x) = f(x).
4.4. Интеграл Стильтьеса
Для того чтобы в наиболее общем виде определить числовые характеристики случайных величин, будем использовать понятие "интеграла по распределению\, некоторым образом обобщающее понятие определенного интеграла Римана.
Пусть F (x) – некоторая неубывающая кусочно-непрерывная и непрерывная слева функция, заданная на числовой прямой, и пусть g(x) – некоторая непрерывная функция, заданная на промежутке [a; b[. Разобьем про-
36
межуток [a; b[ на n частей точками xi: a |
= x0 |
< x1 |
< ::: < xn = |
||||||||||||
= |
b |
, и пусть = |
max (x |
i |
|
x |
i 1 |
) |
. |
|
|
|
|
|
|
|
1 i |
n |
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Определение 4.4. Интеграл Стильтьеса |
|
|
|
||||||||||
|
|
b |
|
|
|
|
|
|
|
n( ) |
|
|
|
|
|
|
|
Z |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) ( ) = !0 i=1 |
i |
i |
|
i 1 |
|
||||||||
|
|
a |
|
|
|
|
|
|
|
X |
g(y ) (F (x ) |
F (x |
|
)) ; |
|
|
|
g x dF x |
|
|
lim |
|
|||||||||
где точки yi 2 [xi 1; xi[.
Иными словами, интеграл Стильтьеса существует, если существует предел, не зависящий от выбора точек xi и yi.
Заметим, что при F (x) = x интеграл Стильтьеса – это обычный определенный интеграл. Кроме того, в случае непрерывно дифференцируемой F (x) интеграл Стильтьеса также сводится к обычному интегралу:
b |
b |
ZZ
g(x)dF (x) = g(x)F 0(x)dx:
a a
Действительно, согласно теореме о среднем, на промежутках [xi 1; xi[ существуют такие точки yi, что F (xi) F (xi 1) = F 0(yi)(xi xi 1):
Можно выбрать эти же точки yi в качестве аргументов g(x) в формуле определения интеграла Стильтьеса. В результате получим одно из возмож-
ных определений определенного интеграла с подынтегральной функцией g(x)F 0(x).
В частности, если на некотором интервале F (x) равна константе, то интеграл Стильтьеса от любой функции по этому интервалу равен нулю.
Если в интеграле Стильтьеса в качестве подынтегральной функции взять 1, то в правой части формулы определения будет стоять просто суммарное приращение функции F (x) на [a; b[. Таким образом,
b
Z
1 dF (x) = F (b) F (a)
a
для любой F (x).
Можно показать, что интеграл Стильтьеса, как и обычный интеграл, существует для любой непрерывной подынтегральной функции g(x) и обладает теми же свойствами:
1) свойством линейности: для любых чисел c1, c2 и любых непрерывных функций g(x) и h(x) справедливо равенство
|
b |
b |
b |
Za |
(c1g(x) + c2h(x)) dF (x) = c1 Za |
g(x)dF (x) + c2 Za |
h(x)dF (x); |
37
2) свойством аддитивности: для любых a, c, b, таких, что a < c < b, и любой функции g(x), непрерывной и ограниченной на [a; b[ и [c; b[, справедливо равенство
|
b |
c |
b |
Za |
g(x)dF (x) = Za |
g(x)dF (x) + Zc |
g(x)dF (x): |
Используя аддитивность, интеграл Стильтьеса можно определить для любой кусочно-непрерывной и непрерывной слева подынтегральной функции как сумму интегралов по полуоткрытым интервалам, на которых эта функция непрерывна. Наконец, при помощи предельного перехода можно определить интеграл Стильтьеса по всей числовой оси:
+1 |
|
b |
Z |
b |
!+1 Z |
g(x)dF (x) = |
|
lim g(x)dF (x): |
1 |
a |
|
|
! 1 a |
|
4.5.Числовые характеристики случайных величин
Ранее рассматривалось распределение случайной величины, которое может быть задано при помощи ряда распределения, функции распределения или плотности распределения. Однако в некоторых случаях интерес представляет не само распределение (которое к тому же часто не известно), а лишь некоторые числа, определенным образом его характеризующие,
– так называемые числовые характеристики. Среди числовых характеристик распределения наиболее часто используются интегральные характеристики, получающиеся в общем виде как интеграл Стильтьеса по функции распределения от некоторой функции. Простейшей и наиболее часто используемой из них является математическое ожидание.
Определение 4.5. Математическим ожиданием случайной величины X называется число
1 |
|
MfXg = Z |
x dF (x); |
1 |
|
где F (x) – функция распределения случайной величины X.
В случае, когда X – абсолютно непрерывная случайная величина, существует плотность f(x) = F 0(x) и математическое ожидание можно вы-
38
числить через плотность по формуле
1 |
|
MfXg = Z |
xf(x)dx: |
1 |
|
Если X – дискретная случайная величина, функция распределения имеет приращения только в точках xi и эти приращения равны вероятностям pi. Поэтому, подставив в формулу определения интеграла Стильтьеса g(x) = x, получим формулу для вычисления математического ожидания дискретной случайной величины через ряд распределения:
X
MfXg = xipi:
i
Сумма, стоящая в правой части последнего равенства, является суммой конечного числа слагаемых, если случайная величина может принимать только конечное число значений, или суммой ряда, если случайная величина может принимать бесконечное, но счетное число значений. Математическое ожидание существует, если соответствующий числовой ряд сходится абсолютно.
Для того чтобы понять смысл числовой характеристики MfXg, представим себе, что вместо вероятностного распределения задано распределение масс на прямой. Соответственно, плотность f(x) – функция зависимости физической плотности от координаты x, а pi – точечные массы, расположенные в точках xi. Тогда математическое ожидание представляет собой координату центра тяжести распределения масс. Т. е. п математическое ожидание – это "координата центра тяжести\ вероятностного распределения. С другой стороны, рассмотрим случай дискретной случайной величины, которая может принимать N значений с одинаковыми вероятностями. Тогда, поскольку сумма всех вероятностей равна 1, каждая из вероятностей pi = 1=N, и математическое ожидание будет равно среднему арифметическому возможных значений случайной величины xi. Таким образом, математическое ожидание представляет собой в некотором смысле среднее значение случайной величины.
Отметим, что из приведенных формул не следует, что математическое ожидание всегда существует: соответствующий интеграл или ряд может расходиться. Действительно, известны примеры вероятностных распределений, у которых математическое ожидание не существует.
Всякая интегральная числовая характеристика случайной величины X может быть представлена как интеграл Стильтьеса по ее функции распределения от некоторой функции g(x). С другой стороны, эта же характеристика может рассматриваться как математическое ожидание случайной
39