Многомерные распределения
Совместное распределение
Пусть случайные величины заданы на одном
вероятностном пространстве
.
![F_{\xi_1,\,\ldots,\,\xi_n}(x_1,\,\dots,\,x_n)=
\Prob(\xi_1<x_1,\,\dots,\,\xi_n<x_n)](/sites/default/files/tex_cache/f59801b25d3dc47decd65480d15b31c0.png)
![(\xi_1,\,\dots,\,\xi_n)](/sites/default/files/tex_cache/f7c785125cd263f32c56900d0b103a98.png)
![\xi_1,\,\dots,\,\xi_n](/sites/default/files/tex_cache/96be144525d230d271d4dc65ea5ba08e.png)
Перечислим свойства функции совместного распределения.
Для простоты обозначений ограничимся
вектором из двух величин.
(F0) Для любых верно неравенство:
.
(F1) не убывает по каждой
координате
вектора
.
(F2) Для любого существует
.
Существует двойной предел
.
(F3) Функция по каждой
координате
вектора
непрерывна слева.
(F4) Чтобы по функции совместного распределения восстановить функции
распределения и
в отдельности, следует
устремить мешающую
переменную к
:
![]() |
( 14) |
Доказательство всех этих свойств совершенно аналогично одномерному случаю.
Но теперь свойств (F0)-(F3) не хватает для описания
класса функций совместного распределения. Иначе говоря,
выполнение этих свойств для некоторой функции
не гарантирует, что эта функция является функцией распределения
некоторого случайного вектора.
Упражнение. Доказать, что функция
![F(x_1,\, x_2)=
\begin{cases}
0, & \text{ если }\, x_1\le 0\, \text{ или }\, x_2\le 0\, \text{ или }\,
x_1+x_2\le 1, \cr
1, & \text{ если одновременно }\, x_1>0,\, x_2>0,\, x_1+x_2>1
\end{cases}](/sites/default/files/tex_cache/47df49bea5b17aa9f9491c7f2e65481d.png)
![(\xi_1,\,\xi_2)](/sites/default/files/tex_cache/02e12823ead506c1808883280e2ab0ed.png)
![[a_1,\,b_1)\times[a_2,\,b_2)](/sites/default/files/tex_cache/9e3d25a5e5665a29c85a35f2e2f3f3ad.png)
![\Prob(a_1\le \xi_1<b_1,\,\, a_2\le \xi_2<b_2)<0](/sites/default/files/tex_cache/134ebd692c182748e2bea0773d57887d.png)
Легко убедиться, что
вероятность вектору попасть
в прямоугольник
по функции
распределения этого вектора вычисляется так:
.
Дополнительно к свойствам (F0)-(F3) от функции требуют
неотрицательности этого выражения
(при любых
,
).
Типы многомерных распределений
Ограничимся рассмотрением двух типичных случаев: когда
совместное
распределение координат случайного вектора
либо дискретно, либо абсолютно непрерывно. Заметим, что сингулярные совместные
распределения тоже не являются редкостью, в отличие от одномерного случая:
стоит бросить точку наудачу на отрезок на плоскости, и мы получим
сингулярное совместное распределение ( доказать ).
Определение 29.
Случайные величины ,
имеют
дискретное совместное распределение,
если существует конечный или счетный
набор пар чисел
такой, что
![\sum\limits_{i=1}^{\infty}\sum\limits_{j=1}^\infty
\Prob(\xi_1=a_i,\;\xi_2=b_j)=1.](/sites/default/files/tex_cache/7961ec69d5113d52a2b0a839d671306f.png)
![i](/sites/default/files/tex_cache/865c0c0b4ab0e063e5caa3387c1a8741.png)
![j](/sites/default/files/tex_cache/363b122c528f54df4a0446b6bab05515.png)
![\Prob(\xi_1=a_i,\;\xi_2=b_j)](/sites/default/files/tex_cache/f16a3a139fe928e572ed6f0e8ddd1452.png)
![\xi_1](/sites/default/files/tex_cache/fb2b2db527a1788121de98bdc583ff9e.png)
![\xi_2](/sites/default/files/tex_cache/75db7ee31afe9b018e33740c186a6be8.png)
Таблицы распределения каждой из случайных величин ,
в отдельности (таблицы частных,
или маргинальных распределений)
восстанавливаются по таблице совместного
распределения с помощью формул
![\Prob(\xi_1=a_i)=\sum\limits_{j=1}^\infty
\Prob(\xi_1=a_i,\,\xi_2=b_j),\quad
\Prob(\xi_2=b_j)=\sum\limits_{i=1}^\infty \Prob(\xi_1=a_i,\,\xi_2=b_j).](/sites/default/files/tex_cache/2435bfeb700bee48588b9b58ca0ce501.png)
![\{\xi_2=b_1\}](/sites/default/files/tex_cache/fe280cd0d282767cfc09a9db9d0a877d.png)
![\{\xi_2=b_2\}](/sites/default/files/tex_cache/32b9d5930df227cef946be0cd6a27d64.png)
![\dots](/sites/default/files/tex_cache/3bde5c71067f2d0732e27d1598d0e3f1.png)
![\{\xi_1=a_i\}](/sites/default/files/tex_cache/985cf95afbb6c4ace19cd430b79dd23d.png)
![\{\xi_1=a_i\}=\bigcup_{j=1}^\infty
\{\xi_1=a_i,\,\xi_2=b_j\}.](/sites/default/files/tex_cache/f5964c35d38ea6109181e1ee28a1cab2.png)
Определение 30.
Случайные величины ,
имеют абсолютно непрерывное совместное распределение,
если существует неотрицательная функция
такая, что для любого множества
имеет место
равенство
![\Prob((\xi_1,\,\xi_2)\in B)=
\mathop{\int\int}\limits_{\!\!B} f_{\xi_1,\,\xi_2}(x,\,y)\,dx\,dy.](/sites/default/files/tex_cache/938c09ce1df718c4609cc2d31fb5cfde.png)
![f_{\xi_1,\,\xi_2}(x,\,y)](/sites/default/files/tex_cache/0af3d175fde2bfc60c99d0a77a5a77d9.png)
![\xi_1,\,\xi_2](/sites/default/files/tex_cache/a8fdce868f59a4692a550532436663ef.png)
Достаточно, если двойной интеграл по множеству читатель
будет понимать
как объем области под графиком функции
над множеством
в плоскости переменных
,
как показано на
рис.
8.1.
Плотность совместного распределения обладает такими же свойствами, как и плотность распределения одной случайной величины:
(f1) неотрицательность: для любых
(f2) нормированность:
![\displaystyle\mathop{\int\int}\limits_{\!\mathbb R^2}
f_{\xi_1,\,\xi_2}(x,\,y)\,dx\,dy=1.](/sites/default/files/tex_cache/b952f130f83b5e707126ee74f169eb97.png)
Справедливо и обратное: любая функция, обладающая этими свойствами, является плотностью некоторого совместного распределения. Доказательство этого факта ничем не отличается от одномерного случая.
Если случайные величины ,
имеют абсолютно непрерывное совместное распределение,
то для любых
имеет место равенство
![F_{\xi_1,\,\xi_2}(x_1,\,x_2)=\Prob(\xi_1<x_1,\,\xi_2<x_2)=
\int\limits_{-\infty}^{x_1}\left(\int\limits_{-\infty}^{x_2}
f_{\xi_1,\,\xi_2}(x,\,y)\;dy\right)dx.](/sites/default/files/tex_cache/92b85ba18fe3b74355c58af04ab08fd1.png)
Если совместное распределение абсолютно непрерывно, то
по функции совместного распределения его плотность находится как
смешанная частная производная: для почти всех
.
Из существования плотностей и
не
следует абсолютная непрерывность
совместного распределения этих случайных величин. Например, вектор
принимает значения только на диагонали в
и уже поэтому не
имеет плотности
распределения (его распределение сингулярно).
Обратное же свойство, как показывает следующая теорема, всегда верно: если
совместное распределение абсолютно непрерывно,
то и частные распределения тоже таковы.
Теорема 24.
Если случайные величины и
имеют
абсолютно непрерывное
совместное распределение с плотностью
,
то
и
в отдельности также имеют абсолютно
непрерывное распределение с плотностями:
![f_{\xi_1}(x)=\int\limits_{-\infty}^\infty f(x,\,y)\,dy;
\quad
f_{\xi_2}(y)=\int\limits_{-\infty}^\infty f(x,\,y)\,dx.](/sites/default/files/tex_cache/4f8ec1d725f626c53f296eb0878bb3e2.png)
Для плотности случайных величин
по
плотности их совместного распределения
находятся интегрированием функции
по всем "лишним"
координатам.
Доказательство. Например, в силу равенств (14),
![F_{\xi_1}(x_1) =\!
\lim\limits_{x_2\to+\infty}F_{\xi_1,\,\xi_2}(x_1,\,x_2)=
\!\!\int\limits_{-\infty}^{x_1}\!\!\!\left(\,\int\limits_{-\infty}^{\infty}
\!f(x,\,y)\,dy\!\right)\!dx=\!\!\int\limits_{-\infty}^{x_1}\!\!f_{\xi_1}(x)\,dx.](/sites/default/files/tex_cache/2c020412d6c29c1dc402627856c559fa.png)