Случайная величина: различия между версиями

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
[непроверенная версия][непроверенная версия]
Содержимое удалено Содержимое добавлено
м короткое тире '-' было заменено на длинное '—'
оформление формул
Метка: редактор вики-текста 2017
Строка 19: Строка 19:
{{seealso|Распределение вероятностей}}
{{seealso|Распределение вероятностей}}
'' Распределением вероятностей'' случайной величины <math>\xi</math> называется функция <math>P_\xi=P_\xi(B)</math> на сигма-алгебре <math>\mathfrak{B}</math> фазового пространства, определенная следующим образом:<ref name = ПрохоровРозанов/>
'' Распределением вероятностей'' случайной величины <math>\xi</math> называется функция <math>P_\xi=P_\xi(B)</math> на сигма-алгебре <math>\mathfrak{B}</math> фазового пространства, определенная следующим образом:<ref name = ПрохоровРозанов/>
:: <math> P_\xi (B) = P \left\{\xi \in B \right\} </math>, где <math>B \in \mathfrak{B}</math> (распределение вероятностей <math>P_\xi</math> представляет собой вероятностную меру в фазовом пространстве <math>(X, \mathfrak{B})</math>).
:: <math> P_\xi (B) = \Pr \left\{\xi \in B \right\} </math>, где <math>B \in \mathfrak{B}</math> (распределение вероятностей <math>P_\xi</math> представляет собой вероятностную меру в фазовом пространстве <math>(X, \mathfrak{B})</math>).


В случае, если фазовое пространство случайной величины представляет собой множество вещественных чисел <math>\mathbb{R}</math>, с [[Борелевская сигма-алгебра|борелевской σ-алгебры]] , то функция распределения <math>F(x)</math> равна вероятности того, что значение случайной величины меньше [[Вещественное число|вещественного числа]] <math>x</math>. Из этого определения следует, что вероятность попадания значения случайной величины в [[Промежуток (математика)|интервал]] [a, b) равна <math>F(b)-F(a)</math>. Преимущество использования функции распределения заключается в том, что с её помощью удаётся достичь единообразного математического описания дискретных, непрерывных и дискретно-непрерывных случайных величин. Тем не менее, существуют разные случайные величины, имеющие одинаковые функции распределения. Например, если случайная величина <math>\xi</math> принимает значения +1 и −1 с одинаковой вероятностью 1/2, то случайные величины <math>\xi</math> и <math>\xi^3</math> описываются одной и той же функцией распределения F(x). <!--композиция практически любой случайной величины с практически любой, кроме вырожденных случаев, подстановкой на вероятностном пространстве дают другую случайную величину, хотя и с тем же вероятностным поведением отдельно взятой случайно величины (но совместное поведение обычно меняется). Если в качестве вероятностного пространства выступает <math>\mathbb{R}</math>, то <math>\xi_1(x)=x</math> и <math>\xi_2(x)=-x</math> являются различными случайными величинами с тождественными функциями распределения. Вероятностное поведение этих случайных величин как отдельных одинаково, чего не сказать о совместном поведении со случайной величиной <math>\xi_3(x)=2x</math>. -->
В случае, если фазовое пространство случайной величины представляет собой множество вещественных чисел <math>\mathbb{R}</math>, с [[Борелевская сигма-алгебра|борелевской σ-алгебры]] , то функция распределения <math>F(x)</math> равна вероятности того, что значение случайной величины меньше [[Вещественное число|вещественного числа]] <math>x</math>. Из этого определения следует, что вероятность попадания значения случайной величины в [[Промежуток (математика)|интервал]] [a, b) равна <math>F(b)-F(a)</math>. Преимущество использования функции распределения заключается в том, что с её помощью удаётся достичь единообразного математического описания дискретных, непрерывных и дискретно-непрерывных случайных величин. Тем не менее, существуют разные случайные величины, имеющие одинаковые функции распределения. Например, если случайная величина <math>\xi</math> принимает значения +1 и −1 с одинаковой вероятностью 1/2, то случайные величины <math>\xi</math> и <math>\xi^3</math> описываются одной и той же функцией распределения F(x). <!--композиция практически любой случайной величины с практически любой, кроме вырожденных случаев, подстановкой на вероятностном пространстве дают другую случайную величину, хотя и с тем же вероятностным поведением отдельно взятой случайно величины (но совместное поведение обычно меняется). Если в качестве вероятностного пространства выступает <math>\mathbb{R}</math>, то <math>\xi_1(x)=x</math> и <math>\xi_2(x)=-x</math> являются различными случайными величинами с тождественными функциями распределения. Вероятностное поведение этих случайных величин как отдельных одинаково, чего не сказать о совместном поведении со случайной величиной <math>\xi_3(x)=2x</math>. -->


Если случайная величина дискретная, то полное и однозначное математическое описание её распределения определяется указанием [[функция вероятности|функции вероятностей]] <math>p_k=P(\xi=x_k) , \; k \in \mathbb{N} </math> всех возможных значений этой случайной величины. Примерами дискретных случайных величин являются величины, имеющие [[Биномиальное распределение|биномиальный]] и [[Пуассоновское распределение|пуассоновский]] законы распределения.
Если случайная величина дискретная, то полное и однозначное математическое описание её распределения определяется указанием [[функция вероятности|функции вероятностей]] <math>p_k=\Pr(\xi=x_k) , \; k \in \mathbb{N} </math> всех возможных значений этой случайной величины. Примерами дискретных случайных величин являются величины, имеющие [[Биномиальное распределение|биномиальный]] и [[Пуассоновское распределение|пуассоновский]] законы распределения.


=== Эквивалентные случайные величины ===
=== Эквивалентные случайные величины ===
Случайные функции <math>\xi= \xi(\omega)</math> и <math>\eta= \eta(\omega)</math> в фазовом пространстве <math>(X,\mathfrak{B})</math> называется ''эквивалентными'', если для любого множества <math>B \in \mathfrak{B}</math> события <math>\xi \in B </math> и <math>\eta \in B </math> совпадают с вероятностью единица:
Случайные функции <math>\xi= \xi(\omega)</math> и <math>\eta= \eta(\omega)</math> в фазовом пространстве <math>(X,\mathfrak{B})</math> называется ''эквивалентными'', если для любого множества <math>B \in \mathfrak{B}</math> события <math>\xi \in B </math> и <math>\eta \in B </math> совпадают с вероятностью единица:
:: <math>P( \left\{\xi \in B \right\} \bigtriangleup \left\{\eta \in B \right\})=0 </math>, где <math>\bigtriangleup</math> операция [[симметрическая разность|симметрической разности]] двух множеств.<br>
:: <math>\Pr( \left\{\xi \in B \right\} \bigtriangleup \left\{\eta \in B \right\})=0 </math>, где <math>\bigtriangleup</math> операция [[симметрическая разность|симметрической разности]] двух множеств.
Для [[Сепарабельное пространство|сепарабельного фазового пространства]] эквивалентность означает, что величины <math>\xi</math> и <math>\eta</math> совпадают с вероятностью единица, т. е. <math>P \left\{\xi \neq\eta\right\}=0 </math>.
Для [[Сепарабельное пространство|сепарабельного фазового пространства]] эквивалентность означает, что величины <math>\xi</math> и <math>\eta</math> совпадают с вероятностью единица, т. е. <math>\Pr \left\{\xi \neq\eta\right\}=0 </math>.


=== Совместное распределение случайных величин. Независимые случайные величины ===
=== Совместное распределение случайных величин. Независимые случайные величины ===
''Совместным распределением вероятностей'' случайных величин <math>\xi_1, \xi_2, ..., \xi_n</math> на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в соответствующих фазовых пространствах <math>(X_k, \mathfrak{B}_k)</math>, называется функция <math>P_{\xi_1},...,_{\xi_n} = P_{\xi _1} , ...,_{\xi_n} (B_1, ..., B_n)</math>, определенная на множествах <math> B_1\in \mathfrak{B_1}, ... , B_n \in \mathfrak{B_n} </math> как
''Совместным распределением вероятностей'' случайных величин <math>\xi_1, \xi_2, \dotsc, \xi_n</math> на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в соответствующих фазовых пространствах <math>(X_k, \mathfrak{B}_k)</math>, называется функция <math>P_{\xi_1\dots\xi_n} = P_{\xi _1 \dotsc\xi_n} (B_1, \dots, B_n)</math>, определенная на множествах <math> B_1\in \mathfrak{B_1}, \dotsc, B_n \in \mathfrak{B_n} </math> как
:: <math>P_{\xi_1} , ..., _{\xi_n} (B_1,...B_n) = P \left\{\xi_1\in B_1,..., \xi_n\in B_n \right\} </math>.<br>
:: <math>P_{\xi_1\dots\xi_n} (B_1,\dotsc,B_n) = \Pr \left\{\xi_1\in B_1,\dotsc, \xi_n\in B_n \right\} </math>.
Распределение вероятностей <math>P_{\xi_1}, ... ,_{\xi_n}</math> как функция на [[полукольцо|полукольце]] множеств вида <math> B_1 \times... \times B_n, B_1\in \mathfrak{B_1} ,... , B_n \in \mathfrak{B_n} </math> в [[Прямое произведение|произведение]] пространств <math>X_1 \times... \times X_n</math> представляет собой функцию распределения. Случайные величины <math>\xi_1, ..., \xi_n</math> называются ''независимыми'', если при любых <math>B_1, ... , B_n</math>
Распределение вероятностей <math>P_{\xi_1\dots\xi_n}</math> как функция на [[полукольцо|полукольце]] множеств вида <math> B_1 \times \dotsb \times B_n, B_1\in \mathfrak{B_1}, \dotsc , B_n \in \mathfrak{B_n} </math> в [[Прямое произведение|произведение]] пространств <math>X_1 \times\dotsb \times X_n</math> представляет собой функцию распределения. Случайные величины <math>\xi_1, \dotsc, \xi_n</math> называются ''независимыми'', если при любых <math>B_1,\dotsc , B_n</math>
:: <math>P_{\xi_1}, ..., _{\xi_n}(B_1,...B_n) = P_{\xi_1}(B_1)... P_{\xi_n}(B_n)</math>.<br>
:: <math>P_{\xi_1 \dots \xi_n}(B_1,\dotsc,B_n) = P_{\xi_1}(B_1)\dotsb P_{\xi_n}(B_n)</math>.
Для всякого семейства распределений <math>P_t </math> в соответствующих фазовых пространствах <math>(X_t, \mathfrak{B_t})</math> ( параметр <math>t</math> принадлежит произвольному множеству <math>T</math>) существует семейство случайных величин <math>\xi_t= \xi_t(\omega)</math> на некотором пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в соответствующих фазовых пространствах <math>(X_t, \mathfrak{B}_t)</math> с распределением <math>P_t</math> независимых между собой (т. е. любые случайные величины <math>{\xi_t}_1, ..., {\xi_t}_n</math>, <math>t_1,...t_n \in T</math>, являются независимыми).<br>
Для всякого семейства распределений <math>P_t </math> в соответствующих фазовых пространствах <math>(X_t, \mathfrak{B_t})</math> ( параметр <math>t</math> принадлежит произвольному множеству <math>T</math>) существует семейство случайных величин <math>\xi_t= \xi_t(\omega)</math> на некотором пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в соответствующих фазовых пространствах <math>(X_t, \mathfrak{B}_t)</math> с распределением <math>P_t</math> независимых между собой (т. е. любые случайные величины <math>{\xi_t}_1, \dotsc, {\xi_t}_n</math>, <math>t_1,\dotsc,t_n \in T</math>, являются независимыми).<br>
=== Типы случайных величин ===
=== Типы случайных величин ===
Случайные величины классифицируются и называются в соответствии с типом их фазового пространства. Например:
Случайные величины классифицируются и называются в соответствии с типом их фазового пространства. Например:
* Случайной величина называется [[Дискретная случайная величина|дискретной]], если она принимает не более чем счетное количество значений. Дискретная случайная величины называется конечной, если она принимает конечное число значений. Случайная величина <math>\xi</math> называется целочисленной, если она принимает в зависимости от случайного исхода одно из значений <math>k = 0, 1, 2, . . .</math> с соответствующими вероятностями <math>P_\xi(k)</math>.
* Случайной величина называется [[Дискретная случайная величина|дискретной]], если она принимает не более чем счетное количество значений. Дискретная случайная величины называется конечной, если она принимает конечное число значений. Случайная величина <math>\xi</math> называется целочисленной, если она принимает в зависимости от случайного исхода одно из значений <math>k = 0, 1, 2, \dotsc</math> с соответствующими вероятностями <math>P_\xi(k)</math>.
* Измеримая функция <math>\xi\colon\Omega \to \mathbb{R}^n</math> называется [[Многомерная случайная величина|многомерной случайной величиной]] или <math>n</math>-мерным случайным вектором (относительно борелевской <math>\sigma</math>-алгебры на <math>\mathbb{R}^n</math>). Эквивалентно этому является следующее определение: вектор <math>\xi = (\xi_1, \xi_2,... \xi_n) </math>, элементы <math>\xi_1, \xi_2,... \xi_n</math> которого являются случайные величины, называется многомерной случайной величиной или случайным вектором.
* Измеримая функция <math>\xi:\Omega \to \mathbb{R}^n</math> называется [[Многомерная случайная величина|многомерной случайной величиной]] или <math>n</math>-мерным случайным вектором (относительно борелевской <math>\sigma</math>-алгебры на <math>\mathbb{R}^n</math>). Эквивалентно этому является следующее определение: вектор <math>\xi = (\xi_1, \xi_2,\dotsc, \xi_n) </math>, элементы <math>\xi_1, \xi_2,\dotsc, \xi_n</math> которого являются случайные величины, называется многомерной случайной величиной или случайным вектором.
* Измеримая функция <math>\xi\colon\Omega \to \mathbb{C}^n</math> называется <math>n</math>-мерным комплексным случайным вектором (также относительно соответствующей [[Борелевская сигма-алгебра|борелевской <math>\sigma</math>-алгебры]]).
* Измеримая функция <math>\xi: \Omega \to \mathbb{C}^n</math> называется <math>n</math>-мерным комплексным случайным вектором (также относительно соответствующей [[Борелевская сигма-алгебра|борелевской <math>\sigma</math>-алгебры]]).
* Измеримая функция, отображающая вероятностное пространство в пространство подмножеств некоторого (конечного) множества, называется (конечным) случайным множеством.
* Измеримая функция, отображающая вероятностное пространство в пространство подмножеств некоторого (конечного) множества, называется (конечным) случайным множеством.
* Ограниченный [[выпуклый многогранник]] в <math>n</math>-мерном [[линейное пространство|линейном пространстве]] <math>E^n</math> построенный в виде [[выпуклая оболочка| выпуклой оболочки]] более, чем из <math>n+1</math> точек, являющихся реализацией случайного вектора в пространстве <math>E^n</math>, называется случайным выпуклым многогранником.
* Ограниченный [[выпуклый многогранник]] в <math>n</math>-мерном [[линейное пространство|линейном пространстве]] <math>E^n</math> построенный в виде [[выпуклая оболочка| выпуклой оболочки]] более, чем из <math>n+1</math> точек, являющихся реализацией случайного вектора в пространстве <math>E^n</math>, называется случайным выпуклым многогранником.
Строка 46: Строка 46:
=== Случайный процесс ===
=== Случайный процесс ===
{{main|Случайный процесс}}
{{main|Случайный процесс}}
Пусть <math>(E, \mathfrak{B})</math> — измеримое пространство, <math>T</math> множество значений параметра <math>t</math>. Функция <math>\xi = \xi(t) </math> параметра <math>t \in T</math>, значениями которой являются случайные величины <math>\xi(t) = \xi(\omega, t) </math> на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в фазовом пространстве <math>(E, \mathfrak{B})</math>, называется ''случайным процессом в фазовом пространстве'' <math>(E, \mathfrak{B})</math>. Всевозможные совместные распределения вероятностей значений <math>\xi(t_1), ..., \xi(t_n), t_1, ..., t_n \in T </math>:
Пусть <math>(E, \mathfrak{B})</math> — измеримое пространство, <math>T</math> множество значений параметра <math>t</math>. Функция <math>\xi = \xi(t) </math> параметра <math>t \in T</math>, значениями которой являются случайные величины <math>\xi(t) = \xi(\omega, t) </math> на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> в фазовом пространстве <math>(E, \mathfrak{B})</math>, называется ''случайным процессом в фазовом пространстве'' <math>(E, \mathfrak{B})</math>. Всевозможные совместные распределения вероятностей значений <math>\xi(t_1), \dotsc, \xi(t_n), t_1, \dotsc, t_n \in T </math>:
:: <math>P_{t_1} , ..., _{t_n} (B_1,...B_n) = P \left\{\xi(t_1)\in B_1,..., \xi(t_n)\in B_n \right\} (B_1,...B_n \in \mathfrak{B})</math><br>
:: <math>P_{t_1\dots t_n} (B_1,\dotsc,B_n) = \Pr \left\{\xi(t_1)\in B_1,\dotsc, \xi(t_n)\in B_n \right\} (B_1,\dotsc,B_n \in \mathfrak{B})</math>
называются ''конечномерными распределениями вероятностей'' случайного процесса <math>\xi = \xi(t) </math>.
называются ''конечномерными распределениями вероятностей'' случайного процесса <math>\xi = \xi(t) </math>.


=== Числовые характеристики случайных величин ===
=== Числовые характеристики случайных величин ===
[[Математическое ожидание|Математическим ожиданием]] или средним значением случайной величины <math>\xi= \xi(\omega)</math> в [[Нормированное пространство|линейном нормированном пространстве]] X на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> называется интеграл
[[Математическое ожидание|Математическим ожиданием]] или средним значением случайной величины <math>\xi= \xi(\omega)</math> в [[Нормированное пространство|линейном нормированном пространстве]] X на пространстве элементарных событий <math>(\Omega, \mathfrak{A}, \mathbb{P})</math> называется интеграл
: <math> \operatorname{E}\xi =\int\limits_{\Omega}\xi(\omega)\, \mathbb{P}(d\omega)=\int\limits_{\Omega}x\mathbb{P_\xi}(d\omega) </math>
: <math> \mathop{\mathbb{E}}\xi =\int\limits_{\Omega}\xi(\omega)\, \mathbb{P}(d\omega)=\int\limits_{\Omega}x\mathbb{P_\xi}(d\omega) </math>
( в предположении, что функция <math>\xi= \xi(\omega)</math> является интегрируемой).
( в предположении, что функция <math>\xi= \xi(\omega)</math> является интегрируемой).


[[Дисперсия случайной величины|Дисперсией]] случайной величины <math>\xi </math> называется величина, равная:
[[Дисперсия случайной величины|Дисперсией]] случайной величины <math>\xi </math> называется величина, равная:
:: <math>\operatorname{D}\xi = \operatorname{E}(\xi - \operatorname{E}\xi)^2 = \operatorname{E}\xi^2 - (\operatorname{E}\xi)^2</math>.
:: <math>\operatorname{D}\xi = \mathop{\mathbb{E}}(\xi - \mathop{\mathbb{E}}\xi)^2 = \mathop{\mathbb{E}}\xi^2 - (\mathop{\mathbb{E}}\xi)^2</math>.
В [[статистика|статистике]] для дисперсии часто употребляется обозначение <math>\sigma_\xi^2</math> или <math>\sigma^2</math>.
В [[статистика|статистике]] для дисперсии часто употребляется обозначение <math>\sigma_\xi^2</math> или <math>\sigma^2</math>.
Величина <math>\sigma</math>, равная
Величина <math>\sigma</math>, равная
Строка 64: Строка 64:
''Ковариацией'' случайных величин <math>\xi </math> и <math>\eta</math> называется следующая величина:
''Ковариацией'' случайных величин <math>\xi </math> и <math>\eta</math> называется следующая величина:
::<math>\mathrm{cov}(\xi,\eta)</math> = <math>\operatorname{E}(\xi- \operatorname{E}{\xi})({\eta}- \operatorname{E}{\eta})</math>
::<math>\mathrm{cov}(\xi,\eta)</math> = <math>\operatorname{E}(\xi- \operatorname{E}{\xi})({\eta}- \operatorname{E}{\eta})</math>
(предполагается, что математическое ожидание определено).<br>
(предполагается, что математическое ожидание определено).

Если <math>\mathrm{cov}(\xi,\eta)</math> = 0, то случайные величины <math>\xi </math> и <math>\eta</math> называются ''не коррелированными''. <br>
Если <math>\mathrm{cov}(\xi,\eta)</math> = 0, то случайные величины <math>\xi </math> и <math>\eta</math> называются ''не коррелированными''.

Если <math>0<\operatorname{D}\xi <\infty</math>, <math> 0<\operatorname{D}\eta<\infty</math>, то величина
Если <math>0<\operatorname{D}\xi <\infty</math>, <math> 0<\operatorname{D}\eta<\infty</math>, то величина
:: <math>\rho(\xi, \eta) = {\mathrm{cov}(\xi, \eta)\over {\sqrt{\operatorname{D}{\xi}\operatorname{D}\eta}}}</math>
:: <math>\rho(\xi, \eta) = {\mathrm{cov}(\xi, \eta)\over {\sqrt{\operatorname{D}{\xi}\operatorname{D}\eta}}}</math>
называется ''коэффициентом корреляции'' случайных величин.
называется ''коэффициентом корреляции'' случайных величин.


''Моментом порядка k'' случайной величины <math>\xi </math> называется математическое ожидание <math>\operatorname{E}{\xi}^k </math>, ''абсолютным моментом порядка k'' называется величина <math>\operatorname{E}|{\xi}|^k </math>; ''центральным моментом порядка k'' - величина <math>\mu_k = \operatorname{E}({\xi} -\operatorname{E} {\xi}) ^k </math>.
''Моментом порядка k'' случайной величины <math>\xi </math> называется математическое ожидание <math>\mathop{\mathbb{E}}{\xi}^k </math>, ''абсолютным моментом порядка k'' называется величина <math>\mathop{\mathbb{E}}|{\xi}|^k </math>; ''центральным моментом порядка k'' величина <math>\mu_k = \mathop{\mathbb{E}}({\xi} -\mathop{\mathbb{E}} {\xi}) ^k </math>.


=== Функциональные характеристики случайных величин ===
=== Функциональные характеристики случайных величин ===
==== Производящая функция ====
==== Производящая функция ====
Пусть <math>\xi</math> целочисленная случайная величина, принимающая в зависимости от случайного исхода одно из значений <math> k = 0, 1, 2, . . . </math> с соответствующими вероятностями <math>P_\xi(k) </math>. Функция <math>\phi_\xi(z)</math> переменной <math>z</math>, <math>|z| \leqslant 1 </math>, определяемая формулой
Пусть <math>\xi</math> целочисленная случайная величина, принимающая в зависимости от случайного исхода одно из значений <math> k = 0, 1, 2, \dotsc </math> с соответствующими вероятностями <math>P_\xi(k) </math>. Функция <math>\phi_\xi(z)</math> переменной <math>z</math>, <math>|z| \leqslant 1 </math>, определяемая формулой
:: <math>\phi_\xi(z) = \sum_{k=0}^{\infty} P_\xi(k)z^k </math>,
:: <math>\phi_\xi(z) = \sum_{k=0}^{\infty} P_\xi(k)z^k </math>,
называется производящей функцией распределения случайной величины <math>\xi</math>. Она является аналитической функцией от <math>z</math>, <math>|z| \leqslant 1 </math>, и приведённая формула даёт ее разложение в степенной ряд. Распределение вероятностей <math>P_\xi(k) </math> однозначно определяется своей производящей функцией:
называется производящей функцией распределения случайной величины <math>\xi</math>. Она является аналитической функцией от <math>z</math>, <math>|z| \leqslant 1 </math>, и приведённая формула даёт ее разложение в степенной ряд. Распределение вероятностей <math>P_\xi(k) </math> однозначно определяется своей производящей функцией:
::<math>P_\xi(k) = \frac{1}{k!} \phi_{\xi}^{(k)}(0) \quad(k = 1, 2 ,3, . . .),</math>
::<math>P_\xi(k) = \frac{1}{k!} \phi_{\xi}^{(k)}(0) \quad(k = 1, 2 ,3, \dotsc),</math>
где <math> \phi_{\xi}^{(k)}(0) </math> — значение производной <math> \frac{d^k \phi_{\xi}(z)}{dz^k} </math> в точке z = 0.<br>
где <math> \phi_{\xi}^{(k)}(0) </math> — значение производной <math> \frac{d^k \phi_{\xi}(z)}{dz^k} </math> в точке z = 0.<br>[[Производящая функция последовательности|Производящая функция]] <math>\phi_\xi(z)</math> при фиксированном <math>z</math> совпадает с математическим ожиданием случайной величины <math>\eta = z^{\xi}</math>:
:: <math>\phi_\xi(z) = \mathop{\mathbb E}z^\xi </math>.
[[Производящая функция]] <math>\phi_\xi(z)</math> при фиксированном <math>z</math> совпадает с математическим ожиданием случайной величины <math>\eta = z^{\xi}</math>:
Если случайная величина <math>\xi</math> имеет математическое ожидание <math> \mathop{\mathbb{E}}\xi </math> и дисперсию <math> \operatorname{D}\xi </math>, то
:: <math>\phi_\xi(z) = \operatorname{E}z^\xi </math>.
:: <math>\mathop{\mathbb{E}}\xi = {\phi_{\xi}}'(1)</math>,
Если случайная величина <math>\xi</math> имеет математическое ожидание <math> \operatorname{E}\xi </math> и дисперсию <math> \operatorname{D}\xi </math>, то
:: <math>\operatorname{E}\xi = {\phi_{\xi}}'(1)</math>,
:: <math> \operatorname{D}\xi = {\phi_{\xi}}''(1) + {\phi_{\xi}}'(1) - {[{\phi_{\xi}}'(1)]}^2</math>.
:: <math> \operatorname{D}\xi = {\phi_{\xi}}''(1) + {\phi_{\xi}}'(1) - {[{\phi_{\xi}}'(1)]}^2</math>.
Для производящей функции случайной величины, равной сумме <math>\xi =\xi_1 +. . .+ \xi_n </math> независимых случайных величин <math>\xi_1, . . ., \xi_n </math> — с производящими функциями <math>\phi_{{\xi}_1}(z), . . ., \phi_{{\xi}_n}(z)</math> справедлива следующее:
Для производящей функции случайной величины, равной сумме <math>\xi =\xi_1 +\dotsb+ \xi_n </math> независимых случайных величин <math>\xi_1, \dotsc, \xi_n </math> — с производящими функциями <math>\phi_{{\xi}_1}(z),\dotsc, \phi_{{\xi}_n}(z)</math> справедлива следующее:
:: <math> \phi_{\xi}(z) = \phi_{{\xi}_1}(z). . . \phi_{{\xi}_n}(z)</math>.
:: <math> \phi_{\xi}(z) = \phi_{{\xi}_1}(z) \dotsb \phi_{{\xi}_n}(z)</math>.


==== Характеристическая функция ====
==== Характеристическая функция ====
Пусть <math>\xi = (\xi_1 , ... , \xi_n ) </math> векторная случайная величина в <math> n</math>-мерном действительном пространстве <math>(R^n, \mathfrak{B})</math>, где <math>\mathfrak{B}</math> борелевская <math>\sigma</math>-алгебра. Функция <math>F_{\xi}(x) = P\left\{{\xi_1} \leqslant x_1, ...,{\xi_n} \leqslant x_n \right\} </math> переменной <math> x = (x_1, ..., x_n), x\in R^n</math>, называется ''функцией распределения'' случайной величины <math>\xi </math> ( или ''функцией совместного распределения'' величин <math>\xi_1, ..., \xi_n </math>). Функция
Пусть <math>\xi = (\xi_1 , \dotsc , \xi_n ) </math> векторная случайная величина в <math> n</math>-мерном действительном пространстве <math>(R^n, \mathfrak{B})</math>, где <math>\mathfrak{B}</math> [[Борелевская сигма-алгебра|борелевская <math>\sigma</math>-алгебра]]. Функция <math>F_{\xi}(x) = P\left\{{\xi_1} \leqslant x_1, \dotsc ,{\xi_n} \leqslant x_n \right\} </math> переменной <math> x = (x_1, \dotsc , x_n), x\in R^n</math>, называется ''функцией распределения'' случайной величины <math>\xi </math> ( или ''функцией совместного распределения'' величин <math>\xi_1, \dotsc , \xi_n </math>). Функция
:: <math>\phi_{\xi}(u) = \operatorname{E}e^{i(u,\xi)} = \int\limits_{R^n}{e^{i(u,x)}} P_\xi(dx) </math>, где <math>(u, \xi) = \sum^{n}_{k=1} u_k{\xi}_k, (u, x) = \sum^{n}_{k=1} u_k x_k </math>,
:: <math>\phi_{\xi}(u) = \mathop{\mathbb{E}}e^{i(u,\xi)} = \int\limits_{R^n}{e^{i(u,x)}} P_\xi(dx) </math>, где <math>(u, \xi) = \sum^{n}_{k=1} u_k{\xi}_k, (u, x) = \sum^{n}_{k=1} u_k x_k </math>,
переменной <math> u = (u_1, ... ,u_n) </math> на <math>n</math> - мерном действительном пространстве называется ''характеристической функцией'' случайной величины <math>\xi </math> (или величин <math>\xi_1 , ... , \xi_n </math>). Она непрерывна и положительно определена в том смысле, что
переменной <math> u = (u_1, \dotsc ,u_n) </math> на <math>n</math> мерном действительном пространстве называется ''характеристической функцией'' случайной величины <math>\xi </math> (или величин <math>\xi_1 , \dotsc , \xi_n </math>). Она непрерывна и положительно определена в том смысле, что
:: <math> \sum_{k ,j}{\lambda}_k \overline{{\lambda}_j} {\phi}_{\xi}(u_k-u_j) \geqslant 0</math> <br>
:: <math> \sum_{k ,j}{\lambda}_k \overline{{\lambda}_j} {\phi}_{\xi}(u_k-u_j) \geqslant 0</math> <br>
для любых <math>u_1, u_2, ... \in R^n </math> и любых чисел <math> \lambda_1, \lambda_2..., </math> при этом <math>\phi(0) = 0 </math>. Всякая функция <math> \phi = \phi (u) </math>, обладающая указанными свойствами, является характеристической функцией некоторой случайной величины <math>\xi </math>.<br>
для любых <math>u_1, u_2, \dotsc \in R^n </math> и любых чисел <math> \lambda_1, \lambda_2, \dotsc </math> при этом <math>\phi(0) = 0 </math>. Всякая функция <math> \phi = \phi (u) </math>, обладающая указанными свойствами, является характеристической функцией некоторой случайной величины <math>\xi </math>.

И функция распределения <math> F_{\xi} = F_{\xi} (x)</math> и характеристическая функция <math> {\phi}_{\xi} = {\phi}_{\xi} (u)</math> однозначно определяют распределение вероятностей <math> P_{\xi} = P_{\xi} (B)</math>, <math>B \in \mathfrak{B}</math>, случайной величины <math>\xi </math>.
И функция распределения <math> F_{\xi} = F_{\xi} (x)</math> и характеристическая функция <math> {\phi}_{\xi} = {\phi}_{\xi} (u)</math> однозначно определяют распределение вероятностей <math> P_{\xi} = P_{\xi} (B)</math>, <math>B \in \mathfrak{B}</math>, случайной величины <math>\xi </math>.


==== Семиинварианты ====
==== Семиинварианты ====
Если <math>\operatorname{E}|{\xi}|^k<\infty</math>, то в некоторой окрестности точки <math>t = 0 </math> функция <math>\ln\phi_{\xi}(t)</math> (ветвь логарифма, равная нулю в нуле) непрерывно дифференцируется до порядка <math>k</math>. Значение
Если <math>\mathop{\mathbb{E}}|{\xi}|^k<\infty</math>, то в некоторой окрестности точки <math>t = 0 </math> функция <math>\ln\phi_{\xi}(t)</math> (ветвь логарифма, равная нулю в нуле) непрерывно дифференцируется до порядка <math>k</math>. Значение
:: <math> {\varkappa}_k = (-i)^k{{d^k} \over{{dt}^k}}{\ln}{\phi}_{\xi}(t)\Bigr|_{t=0} </math>
:: <math> {\varkappa}_k = (-i)^k{{d^k} \over{{dt}^k}}\cdot\ln{\phi}_{\xi}(t)\Biggr|_{t=0} </math>
называется ''семиинвариантом порядка k''.
называется ''семиинвариантом порядка k''.


Строка 103: Строка 105:
{{main|Условная вероятность|Условное математическое ожидание}}
{{main|Условная вероятность|Условное математическое ожидание}}
{{seealso|Условное распределение}}
{{seealso|Условное распределение}}
Пусть <math>(\Omega,\mathfrak{A},P)</math> — пространство элементарных событий и <math>\mathfrak{B} </math> - некоторая <math>\sigma</math> - алгебра, содержащаяся в <math> \mathfrak{A} </math>. Условная вероятность события <math>A\in\mathfrak{A}</math> относительно <math>\sigma</math> - алгебры <math>\mathfrak{B}</math>, обозначаемая <math>P(A|\mathfrak{B})</math>, определяется как неотрицательная функция от элементарных исходов <math>\omega</math>, <math>0 \leqslant{P}(A|\mathfrak{B}) \leqslant 1</math>, измеримая относительно <math>\mathfrak{B} </math>, для которой
Пусть <math>(\Omega,\mathfrak{A},P)</math> — пространство элементарных событий и <math>\mathfrak{B} </math> некоторая <math>\sigma</math>-алгебра, содержащаяся в <math> \mathfrak{A} </math>. Условная вероятность события <math>A\in\mathfrak{A}</math> относительно <math>\sigma</math>-алгебры <math>\mathfrak{B}</math>, обозначаемая <math>P(A\mid \mathfrak{B})</math>, определяется как неотрицательная функция от элементарных исходов <math>\omega</math>, <math>0 \leqslant{P}(A\mid \mathfrak{B}) \leqslant 1</math>, измеримая относительно <math>\mathfrak{B} </math>, для которой
::<math> \int\limits_{B}P(A|\mathfrak{B})P(d\omega) = P(AB) </math>
::<math> \int\limits_{B}P(A\mid \mathfrak{B})P(d\omega) = P(AB) </math>
для любых <math>B\in\mathfrak{B}</math>. Функция <math>P(A|\mathfrak{B})</math> на множестве элементарных событий <math>\Omega</math> определена однозначно для почти всех элементарных исходов <math>\omega</math> и представляет собой плотность распределения <math>P(AB)</math>, <math>B\in\mathfrak{B}</math>, относительно распределения <math>P(B)</math> на <math>\sigma</math> - алгебре <math>\mathfrak{B} \subseteq\mathfrak{A}</math>. <br>
для любых <math>B\in\mathfrak{B}</math>. Функция <math>P(A\mid\mathfrak{B})</math> на множестве элементарных событий <math>\Omega</math> определена однозначно для почти всех элементарных исходов <math>\omega</math> и представляет собой плотность распределения <math>P(AB)</math>, <math>B\in\mathfrak{B}</math>, относительно распределения <math>P(B)</math> на <math>\sigma</math>-алгебре <math>\mathfrak{B} \subseteq\mathfrak{A}</math>. <br>Условная вероятность <math>P_{\mathfrak{B}} = P(A\mid\mathfrak{B})</math>, рассматриваемая как функция <math>A\in\mathfrak{A}</math> со значениями в нормированном пространстве <math>L^1(\Omega)</math> всех интегрированных (действительных и комплексных) функций <math>\xi = \xi(\omega)</math> на <math>\Omega:\|\xi\| = \mathop{\mathbb{E}}|{\xi}|</math>, представляет собой обобщенную меру на <math>\sigma</math>-алгебре <math> \mathfrak{A} </math> пространства <math>\Omega</math>, вариация которой есть
:: <math>\operatorname{Var} P(A\mid\mathfrak{B}) = P(A) (A\in \mathfrak{A} )</math>.
Условная вероятность <math>P_{\mathfrak{B}} = P(A|\mathfrak{B})</math>, рассматриваемая как функция <math>A\in\mathfrak{A}</math> со значениями в нормированном пространстве <math>L^1(\Omega)</math> всех интегрированных (действительных и комплексных) функций <math>\xi = \xi(\omega)</math> на <math>\Omega:\|\xi\| = \operatorname{E}|{\xi}|</math>, представляет собой обобщенную меру на <math>\sigma</math> - алгебре <math> \mathfrak{A} </math> пространства <math>\Omega</math>, вариация которой есть
Всякая случайная (действительная или комплексная ) величина <math>\xi = \xi(\omega)</math>, имеющая математическое ожидание (т.е. являющаяся интегрируемой функцией на пространстве <math>(\Omega,\mathfrak{A}, P)</math> с мерой <math>P</math>), интегрируема по отношению к обобщенной мере <math>P_{\mathfrak{B}} = P(A\mid\mathfrak{B})</math>. Соответствующий интеграл
:: <math>Var P(A|\mathfrak{B}) = P(A) (A\in \mathfrak{A} )</math>.
:: <math>\mathop{\mathbb E}(\xi \mid \mathfrak{B})=\int\limits_{\Omega}\xi(\omega)\, P(d\omega\mid \mathfrak{B})</math>
Всякая случайная (действительная или комплексная ) величина <math>\xi = \xi(\omega)</math>, имеющая математическое ожидание (т.е. являющаяся интегрируемой функцией на пространстве <math>(\Omega,\mathfrak{A}, P)</math> с мерой <math>P</math>), интегрируема по отношению к обобщенной мере <math>P_{\mathfrak{B}} = P(A|\mathfrak{B})</math>. Соответствующий интеграл
:: <math>{E}(\xi |\mathfrak{B})=\int\limits_{\Omega}\xi(\omega)\, P(d\omega|\mathfrak{B})</math>
называется ''условным математическим ожиданием'' случайной величины <math>\xi</math>.
называется ''условным математическим ожиданием'' случайной величины <math>\xi</math>.
=== Теорема Байеса ===
=== Теорема Байеса ===
{{main|Теорема Байеса}}
{{main|Теорема Байеса}}
В терминах событий для случайной величины <math>\xi</math> и событий <math>A</math> и <math>B</math>, при условии, что <math>P(\xi \in A) \neq 0</math> справедлива формула Байеса <ref name = Ширяев>{{книга
В терминах событий для случайной величины <math>\xi</math> и событий <math>A</math> и <math>B</math>, при условии, что <math>\Pr(\xi \in A) \neq 0</math> справедлива формула Байеса <ref name = Ширяев>{{книга
|автор = [[Ширяев, Альберт Николаевич|Ширяев А. Н.]]
|автор = [[Ширяев, Альберт Николаевич|Ширяев А. Н.]]
|заглавие = Вероятность
|заглавие = Вероятность
Строка 130: Строка 131:
|тираж =
|тираж =
}}</ref>:
}}</ref>:
:: <math>P(\xi \in A \mid \xi \in B) = \frac{P(\xi \in B \mid \xi \in A)\, P(\xi \in A)}{P(\xi \in B)}\cdot</math>
:: <math>\Pr(\xi \in A \mid \xi \in B) = \frac{\Pr(\xi \in B \mid \xi \in A)\cdot \Pr(\xi \in A)}{\Pr(\xi \in B)}\cdot</math>
Для полного набора попарно несовместных событий <math>A_i</math> и любого события <math>B</math> с учётом [[формула полной вероятности| формулы полной вероятности]] <ref name = Ширяев/>:
Для полного набора попарно несовместных событий <math>A_i</math> и любого события <math>B</math> с учётом [[формула полной вероятности| формулы полной вероятности]] <ref name = Ширяев/>:
:: <math>P(\xi \in B)=\sum^n_{i=1} P(\xi \in B| \xi \in A_i)P(\xi \in A_i)</math>
:: <math>\Pr(\xi \in B)=\sum^n_{i=1} \Pr(\xi \in B\mid \xi \in A_i)\cdot \Pr(\xi \in A_i)</math>
справедлива теорема Байеса:
справедлива теорема Байеса:
::<math>P(\xi \in A_j| \xi \in B)=\frac {P(\xi \in A_j)P(\xi \in B| \xi \in A_j)}{\sum^n_{i=1} P(\xi \in A_i)P(\xi \in B| \xi \in A_i)}</math>.
::<math>\Pr(\xi \in A_j\mid \xi \in B)=\frac {\Pr(\xi \in A_j)\cdot \Pr(\xi \in B\mid \xi \in A_j)}{\sum^n_{i=1} \Pr(\xi \in A_i)\cdot \Pr(\xi \in B\mid \xi \in A_i)}</math>.
В разных источниках, используется различная терминология для различных представлений теоремы Байеса.
В разных источниках, используется различная терминология для различных представлений теоремы Байеса.
=== Функции от случайных величин ===
=== Функции от случайных величин ===
Если <math>f(x)</math> — [[борелевская функция]], а <math>\xi</math> - случайная величина, то ее функциональное преобразование <math>\eta=f(\xi)</math> также является случайной величиной. Например, если <math>\xi</math> — [[Нормальное распределение|стандартная нормальная случайная величина]], то случайная величина <math>\chi^2 = \xi^2</math> имеет [[распределение хи-квадрат]] с одной степенью свободы. Многие распределения, в том числе [[распределение Фишера]], [[распределение Стьюдента]] являются распределениями функциональных преобразований нормальных случайных величин.
Если <math>f(x)</math> — [[борелевская функция]], а <math>\xi</math> случайная величина, то ее функциональное преобразование <math>\eta=f(\xi)</math> также является случайной величиной. Например, если <math>\xi</math> — [[Нормальное распределение|стандартная нормальная случайная величина]], то случайная величина <math>\chi^2 = \xi^2</math> имеет [[распределение хи-квадрат]] с одной степенью свободы. Многие распределения, в том числе [[распределение Фишера]], [[распределение Стьюдента]] являются распределениями функциональных преобразований нормальных случайных величин.


Если <math>\xi</math> и <math>\eta</math> с совместным распределением <math>F_{\xi\eta}(x, y) </math>, а <math>\phi = \phi(x, y)</math> - некоторая борелевская функция, то для <math> \zeta = \phi(\xi, \eta) </math> справедливо <ref name = Ширяев/>:
Если <math>\xi</math> и <math>\eta</math> с совместным распределением <math>F_{\xi\eta}(x, y) </math>, а <math>\phi = \phi(x, y)</math> некоторая борелевская функция, то для <math> \zeta = \phi(\xi, \eta) </math> справедливо <ref name = Ширяев/>:
:: <math>F_{\zeta}(z) = \int\limits_{\{x, y: \phi(x, y) \leqslant z\}} \, dF_{\xi\eta}(x, y) </math>.
:: <math>F_{\zeta}(z) = \int\limits_{\{x, y: \phi(x, y) \leqslant z\}} \, dF_{\xi\eta}(x, y) </math>.
Если <math> \phi(x, y) = x+y</math>, <math>\xi</math> и <math>\eta</math> независимы, то <math>F_{\xi\eta}(x, y) = F_{\xi}(y) F_{\eta}(y) </math>. Применяя [[теорема Фубини|теорему Фубини]] получаем:
Если <math> \phi(x, y) = x+y</math>, <math>\xi</math> и <math>\eta</math> независимы, то <math>F_{\xi\eta}(x, y) = F_{\xi}(y) F_{\eta}(y) </math>. Применяя [[теорема Фубини|теорему Фубини]] получаем:
Строка 147: Строка 148:
Если <math>F</math> и <math>G</math> функции распределения, то функцию
Если <math>F</math> и <math>G</math> функции распределения, то функцию
:: <math>H(z) = \int\limits_{-\infty}^{\infty} \, F(z-x) dG(x) </math>
:: <math>H(z) = \int\limits_{-\infty}^{\infty} \, F(z-x) dG(x) </math>
называют [[Свёртка (математический анализ) |свёрткой]] <math>F</math> и <math>G</math> и обозначают <math>F*G</math>.<br>
называют [[Свёртка (математический анализ) |свёрткой]] <math>F</math> и <math>G</math> и обозначают <math>F*G</math>.<br>Характеристическая функция <math>\zeta = \xi +\eta</math> суммы независимых случайных величин <math>\xi</math> и <math>\eta</math> является фурье-преобразование свертки <math>F*G</math> функций распределения <math>F</math> и <math>G</math> и равна произведения характеристических функций <math>\xi</math> и <math>\eta</math>:
Характеристическая функция <math>\zeta = \xi +\eta</math> суммы независимых случайных величин <math>\xi</math> и <math>\eta</math> является фурье-преобразование свертки <math>F*G</math> функций распределения <math>F</math> и <math>G</math> и равна произведения характеристических функций <math>\xi</math> и <math>\eta</math>:
:: <math>\phi_{\zeta}(u) = \phi_{\xi}(u)\phi_{\eta}(u) </math>.
:: <math>\phi_{\zeta}(u) = \phi_{\xi}(u)\phi_{\eta}(u) </math>.
=== Центральные предельные теоремы ===
=== Центральные предельные теоремы ===
Строка 184: Строка 184:
Если монета идеальная, то выигрыш <math>\xi</math> будет иметь вероятность, заданную как:
Если монета идеальная, то выигрыш <math>\xi</math> будет иметь вероятность, заданную как:
: <math>
: <math>
P(\xi=y) =
\Pr(\xi=y) =
\begin{cases}
\begin{cases}
\tfrac 12,& \text{если }y=10,\\[6pt]
\tfrac 12,& \text{если }y=10,\\[6pt]
Строка 192: Строка 192:
</math>
</math>


: где <math>P(\xi=y)</math> — вероятность получения <math>y</math> рублей выигрыша при одном подбрасывании монеты.
: где <math>\Pr(\xi=y)</math> — вероятность получения <math>y</math> рублей выигрыша при одном подбрасывании монеты.
[[Файл:Dice Distribution (bar).svg|справа|мини|Если пространство исходов равно множеству всех возможных комбинаций очков на двух костях, и случайная величина равна сумме этих очков, тогда ''S'' — дискретная случайная величина, чьё распределение описывается [[Функция вероятности|функцией вероятности]], значение которой изображено как высота соответствующей колонки.]]
[[Файл:Dice Distribution (bar).svg|справа|мини|Если пространство исходов равно множеству всех возможных комбинаций очков на двух костях, и случайная величина равна сумме этих очков, тогда ''S'' — дискретная случайная величина, чьё распределение описывается [[Функция вероятности|функцией вероятности]], значение которой изображено как высота соответствующей колонки.]]


Строка 200: Строка 200:
: <math>\xi((n_1, n_2)) = n_1 + n_2</math>
: <math>\xi((n_1, n_2)) = n_1 + n_2</math>
и (если кости идеальные) [[функция вероятности]] для <math>\xi</math> задаётся через:
и (если кости идеальные) [[функция вероятности]] для <math>\xi</math> задаётся через:
: <math>P(S) = \frac{\min(S-1, 13-S)}{36}, \text{ for } S \in \{2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\}</math>,
: <math>\Pr(S) = \frac{\min(S-1, 13-S)}{36}, \text{ for } S \in \{2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12\}</math>,
: где <math>S</math> — сумма очков на выпавших костях.
: где <math>S</math> — сумма очков на выпавших костях.


Строка 219: Строка 219:


=== Непрерывная случайная величина ===
=== Непрерывная случайная величина ===
Другой класс случайных величин - такие, для которых существует неотрицательная функция <math>p(x)</math>, удовлетворяющая при любых <math>x</math> равенству <math>P(\omega|\xi(\omega)\leq x) = \textstyle \int\limits_{-\infty}^{x} \displaystyle p(z)dz</math>. Случайные величины, удовлетворяющие этому свойству называются '''непрерывными''', а функция <math>p(x)</math> называется плотностью распределения вероятностей.
Другой класс случайных величин такие, для которых существует неотрицательная функция <math>p(x)</math>, удовлетворяющая при любых <math>x</math> равенству <math>P(\omega\mid \xi(\omega)\leq x) = \textstyle \int\limits_{-\infty}^{x} \displaystyle p(z)dz</math>. Случайные величины, удовлетворяющие этому свойству называются '''непрерывными''', а функция <math>p(x)</math> называется плотностью распределения вероятностей.


Число возможных значений непрерывной случайной величины бесконечно. Пример непрерывной случайной величины: измерение скорости перемещения любого вида транспорта или температуры в течение конкретного интервала времени.<ref name = ТГУ/>
Число возможных значений непрерывной случайной величины бесконечно. Пример непрерывной случайной величины: измерение скорости перемещения любого вида транспорта или температуры в течение конкретного интервала времени.<ref name = ТГУ/>

Версия от 11:30, 15 ноября 2020

Случайная величина (случайная переменная, случайное значение) — это математическое понятие, служащее для представления случайных явлений, когда для них может быть определена их вероятность, то есть мера возможности наступления.

Случайная величина является одним из основных понятий теории вероятностей.[1] Для обозначения случайной величины в математике принято использовать греческую букву «кси» .

Случайная величина определяется следующим образом.[2] Пусть  — вероятностное пространство, измеримое пространство. Тогда случайной величиной на пространстве элементарных событий со значениями в фазовом пространстве называется измеримая функция .

Примером объектов, для представления состояния которых требуется применение случайных величин являются микроскопические объекты, описываемые квантовой механикой. Случайными величинами описываются события передачи наследственных признаков от родительских организмов к их потомкам (см. Законы Менделя). К случайным относятся события радиоактивного распада ядер атомов.[1]

Существует ряд задач математического анализа и теории чисел для которых участвующие в их формулировках функции целесообразно рассматривать как случайные величины, определённые на подходящих вероятностных пространствах[3].

История

Роль случайной величины, как одного из основных понятий теории вероятностей, впервые была чётко осознана П. Л. Чебышевым, который обосновал общепринятую на сегодня точку зрения на это понятие (1867)[4]. Понимание случайной величины как частного случая общего понятия функции, пришло значительно позднее, в первой трети 20 века. Впервые полное формализованное представление основ теории вероятностей на базе теории меры было разработано А. Н. Колмогоровым (1933)[5], после которого стало ясным, что случайная величина представляет собой измеримую функцию, определённую на вероятностном пространстве. В учебной литературе эта точка зрения впервые последовательно проведена У. Феллером (см. предисловие к[6], где изложение строится на основе понятия пространства элементарных событий и подчёркивается, что лишь в этом случае представление случайной величины становится содержательным).

Основные сведения

Функция распределения

Распределением вероятностей случайной величины называется функция на сигма-алгебре фазового пространства, определенная следующим образом:[2]

, где (распределение вероятностей представляет собой вероятностную меру в фазовом пространстве ).

В случае, если фазовое пространство случайной величины представляет собой множество вещественных чисел , с борелевской σ-алгебры , то функция распределения равна вероятности того, что значение случайной величины меньше вещественного числа . Из этого определения следует, что вероятность попадания значения случайной величины в интервал [a, b) равна . Преимущество использования функции распределения заключается в том, что с её помощью удаётся достичь единообразного математического описания дискретных, непрерывных и дискретно-непрерывных случайных величин. Тем не менее, существуют разные случайные величины, имеющие одинаковые функции распределения. Например, если случайная величина принимает значения +1 и −1 с одинаковой вероятностью 1/2, то случайные величины и описываются одной и той же функцией распределения F(x).

Если случайная величина дискретная, то полное и однозначное математическое описание её распределения определяется указанием функции вероятностей всех возможных значений этой случайной величины. Примерами дискретных случайных величин являются величины, имеющие биномиальный и пуассоновский законы распределения.

Эквивалентные случайные величины

Случайные функции и в фазовом пространстве называется эквивалентными, если для любого множества события и совпадают с вероятностью единица:

, где операция симметрической разности двух множеств.

Для сепарабельного фазового пространства эквивалентность означает, что величины и совпадают с вероятностью единица, т. е. .

Совместное распределение случайных величин. Независимые случайные величины

Совместным распределением вероятностей случайных величин на пространстве элементарных событий  в соответствующих фазовых пространствах , называется функция , определенная на множествах как

.

Распределение вероятностей как функция на полукольце множеств вида в произведение пространств представляет собой функцию распределения. Случайные величины называются независимыми, если при любых

.

Для всякого семейства распределений в соответствующих фазовых пространствах ( параметр принадлежит произвольному множеству ) существует семейство случайных величин на некотором пространстве элементарных событий  в соответствующих фазовых пространствах с распределением независимых между собой (т. е. любые случайные величины , , являются независимыми).

Типы случайных величин

Случайные величины классифицируются и называются в соответствии с типом их фазового пространства. Например:

  • Случайной величина называется дискретной, если она принимает не более чем счетное количество значений. Дискретная случайная величины называется конечной, если она принимает конечное число значений. Случайная величина называется целочисленной, если она принимает в зависимости от случайного исхода одно из значений с соответствующими вероятностями .
  • Измеримая функция называется многомерной случайной величиной или -мерным случайным вектором (относительно борелевской -алгебры на ). Эквивалентно этому является следующее определение: вектор , элементы которого являются случайные величины, называется многомерной случайной величиной или случайным вектором.
  • Измеримая функция называется -мерным комплексным случайным вектором (также относительно соответствующей борелевской -алгебры).
  • Измеримая функция, отображающая вероятностное пространство в пространство подмножеств некоторого (конечного) множества, называется (конечным) случайным множеством.
  • Ограниченный выпуклый многогранник в -мерном линейном пространстве построенный в виде выпуклой оболочки более, чем из точек, являющихся реализацией случайного вектора в пространстве , называется случайным выпуклым многогранником.

Случайный процесс

Пусть — измеримое пространство, множество значений параметра . Функция параметра , значениями которой являются случайные величины на пространстве элементарных событий  в фазовом пространстве , называется случайным процессом в фазовом пространстве . Всевозможные совместные распределения вероятностей значений :

называются конечномерными распределениями вероятностей случайного процесса .

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

Математическим ожиданием или средним значением случайной величины в линейном нормированном пространстве X на пространстве элементарных событий называется интеграл

( в предположении, что функция является интегрируемой).

Дисперсией случайной величины называется величина, равная:

.

В статистике для дисперсии часто употребляется обозначение или . Величина , равная

называется среднеквадратическим отклонением, стандартным отклонением или стандартным разбросом.

Ковариацией случайных величин и называется следующая величина:

=

(предполагается, что математическое ожидание определено).

Если = 0, то случайные величины и называются не коррелированными.

Если , , то величина

называется коэффициентом корреляции случайных величин.

Моментом порядка k случайной величины называется математическое ожидание , абсолютным моментом порядка k называется величина ; центральным моментом порядка k — величина .

Функциональные характеристики случайных величин

Производящая функция

Пусть целочисленная случайная величина, принимающая в зависимости от случайного исхода одно из значений с соответствующими вероятностями . Функция переменной , , определяемая формулой

,

называется производящей функцией распределения случайной величины . Она является аналитической функцией от , , и приведённая формула даёт ее разложение в степенной ряд. Распределение вероятностей однозначно определяется своей производящей функцией:

где — значение производной в точке z = 0.
Производящая функция при фиксированном совпадает с математическим ожиданием случайной величины :

.

Если случайная величина имеет математическое ожидание и дисперсию , то

,
.

Для производящей функции случайной величины, равной сумме независимых случайных величин — с производящими функциями справедлива следующее:

.

Характеристическая функция

Пусть векторная случайная величина в -мерном действительном пространстве , где борелевская -алгебра. Функция переменной , называется функцией распределения случайной величины ( или функцией совместного распределения величин ). Функция

, где ,

переменной на — мерном действительном пространстве называется характеристической функцией случайной величины (или величин ). Она непрерывна и положительно определена в том смысле, что


для любых и любых чисел при этом . Всякая функция , обладающая указанными свойствами, является характеристической функцией некоторой случайной величины .

И функция распределения и характеристическая функция однозначно определяют распределение вероятностей , , случайной величины .

Семиинварианты

Если , то в некоторой окрестности точки функция (ветвь логарифма, равная нулю в нуле) непрерывно дифференцируется до порядка . Значение

называется семиинвариантом порядка k.

Условные вероятности и условные математические ожидания

Пусть  — пространство элементарных событий и — некоторая -алгебра, содержащаяся в . Условная вероятность события относительно -алгебры , обозначаемая , определяется как неотрицательная функция от элементарных исходов , , измеримая относительно , для которой

для любых . Функция на множестве элементарных событий определена однозначно для почти всех элементарных исходов и представляет собой плотность распределения , , относительно распределения на -алгебре .
Условная вероятность , рассматриваемая как функция со значениями в нормированном пространстве всех интегрированных (действительных и комплексных) функций на , представляет собой обобщенную меру на -алгебре пространства , вариация которой есть

.

Всякая случайная (действительная или комплексная ) величина , имеющая математическое ожидание (т.е. являющаяся интегрируемой функцией на пространстве с мерой ), интегрируема по отношению к обобщенной мере . Соответствующий интеграл

называется условным математическим ожиданием случайной величины .

Теорема Байеса

В терминах событий для случайной величины и событий и , при условии, что справедлива формула Байеса [7]:

Для полного набора попарно несовместных событий и любого события с учётом формулы полной вероятности [7]:

справедлива теорема Байеса:

.

В разных источниках, используется различная терминология для различных представлений теоремы Байеса.

Функции от случайных величин

Если борелевская функция, а — случайная величина, то ее функциональное преобразование также является случайной величиной. Например, если  — стандартная нормальная случайная величина, то случайная величина имеет распределение хи-квадрат с одной степенью свободы. Многие распределения, в том числе распределение Фишера, распределение Стьюдента являются распределениями функциональных преобразований нормальных случайных величин.

Если и с совместным распределением , а — некоторая борелевская функция, то для справедливо [7]:

.

Если , и независимы, то . Применяя теорему Фубини получаем:

и аналогично

.

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

называют свёрткой и и обозначают .
Характеристическая функция суммы независимых случайных величин и является фурье-преобразование свертки функций распределения и и равна произведения характеристических функций и :

.

Центральные предельные теоремы

Центра́льные преде́льные теоре́мы (ЦПТ)— класс теорем, утверждающих, что сумма большого количества независимых случайных величин с конечными дисперсиями, вклад в сумму каждой из которых невелик, имеет распределение, близкое к нормальному. Первоисточником исследований в области условий, при выполнений которых распределение суммы случайных величин с увеличением их количества сходится к нормальному стала локальная теорема Муавра — Лапласа. [8]

Способы задания

Задать случайную величину, описав этим все её вероятностные свойства как отдельной случайной величины, можно с помощью функции распределения, плотности вероятности и характеристической функции, определяя вероятности возможных её значений.

Примеры

Дискретная случайная величина

Примерами дискретной случайной величины могут служить показания спидометра или измерения температуры в конкретные моменты времени.[9]

Подбрасывание монеты

Все возможные исходы подбрасывания монеты могут быть описаны пространством элементарных событий орёл, решка или кратко . Пусть случайная величина равна выигрышу в результате подбрасывания монеты. Пусть выигрыш будет 10 рублей каждый раз, когда монета выпадает орлом, и −33 рубля при выпадении решки. Математически эту функцию выигрыша можно представить так:

Если монета идеальная, то выигрыш будет иметь вероятность, заданную как:

где  — вероятность получения рублей выигрыша при одном подбрасывании монеты.
Если пространство исходов равно множеству всех возможных комбинаций очков на двух костях, и случайная величина равна сумме этих очков, тогда S — дискретная случайная величина, чьё распределение описывается функцией вероятности, значение которой изображено как высота соответствующей колонки.


Бросание игральных костей

Случайная величина также может быть использована для описания процесса бросания игральных костей, а также для расчёта вероятности конкретного исхода таких бросков. В одном из классических примеров данного эксперимента используются две игральные кости и , каждая из которых может принимать значения из множества {1, 2, 3, 4, 5, 6} (количество очков на сторонах костей). Общее количество очков выпавших на костях и будет значением нашей случайной величины , которая задаётся функцией:

и (если кости идеальные) функция вероятности для задаётся через:

,
где  — сумма очков на выпавших костях.

Колода карт

Пусть экспериментатор тянет наугад одну из карт в колоде игральных карт. Тогда будет представлять одну из вытянутых карт; здесь не число, а карта — физический объект, название которого обозначается через символ . Тогда функция , принимая в качестве аргумента «название» объекта, вернёт число, с которым мы будем в дальнейшем ассоциировать карту . Пусть в нашем случае экспериментатор вытянул Короля Треф, то есть , тогда после подставления этого исхода в функцию , мы получим уже число, например, 13. Это число не является вероятностью вытягивания короля из колоды или любой другой карты. Это число является результатом перевода объекта из физического мира в объект математического мира, ведь с числом 13 уже можно проводить математические операции, в то время как с объектом эти операции проводить было нельзя.

Биноминальные случайные величины

Биноминальный закон распределения описывает случайные величины, значения которых определяют количество «успехов» и «неудач» при повторении опыта раз. В каждом опыте «успех» может наступить с вероятностью , «неудача» — с вероятностью . Закон распределения в этом случае определяется формулой Бернулли:

.

Пуассоновские случайные величины

Если при стремлении к бесконечности произведение остаётся равной константе , то биномиальный закон распределения сходится к закону Пуассона, который описывается следующей формулой:

,

где

Непрерывная случайная величина

Другой класс случайных величин — такие, для которых существует неотрицательная функция , удовлетворяющая при любых равенству . Случайные величины, удовлетворяющие этому свойству называются непрерывными, а функция называется плотностью распределения вероятностей.

Число возможных значений непрерывной случайной величины бесконечно. Пример непрерывной случайной величины: измерение скорости перемещения любого вида транспорта или температуры в течение конкретного интервала времени.[9]

Рост случайного прохожего

Пусть в одном из экспериментов нужно случайным образом выбрать одного человека (обозначим его как ) из группы испытуемых, пусть тогда случайная величина выражает рост выбранного нами человека. В этом случае, с математической точки зрения, случайная величина интерпретируется как функция , которая трансформирует каждого испытуемого в число — его рост . Для того чтобы рассчитать вероятность того, что рост человека попадёт в промежуток между 180 см и 190 см, или вероятность того, что его рост будет выше 150 см, нужно знать распределение вероятности , которое в совокупности с и позволяет рассчитывать вероятности тех или иных исходов случайных экспериментов.

См. также

Примечания

  1. 1 2 Прохоров Ю. В. Случайная величина //Математическая энциклопедия/Под ред. Виноградова И. М.- М.: Советская энциклопедия, 1985.-Т.5.- Стр. 9.- 623 с.
  2. 1 2 3 Прохоров Ю. В., Розанов Ю. А. Теория вероятностей (Основные понятия. Предельные теоремы. Случайные процессы) — М.: Главная редакция физико-математической литературы изд-ва «Наука», 1973. - 496 стр.
  3. Кац М., Статистическая независимость в теории вероятностей, анализе и теории чисел, пер. с англ., М., 1963.
  4. Чебышев П. Л., О средних величинах, в кн.: Полн. Собр. Соч., т. 2, М.- Л., 1947
  5. Колмогоров А. Н., Основные понятия теории вероятностей, 2 изд., М., 1974
  6. Феллер В., Введение в теорию вероятностей и её приложения, пер. с англ., 2 изд., т. 1, М., 1967
  7. 1 2 3 Ширяев А. Н. Вероятность. — М:.: Наука. Гл. ред. физ.-мат. лит., 1989. — 640 с. — ISBN 5-02-013995-6.
  8. Гнеденко Б. В. Курс теории вероятности. — 8-е изд. доп. и испр. — М.: Едиториал УРСС, 2005. — 448 с. — ISBN 5-354-01091-8.
  9. 1 2 Образовательный портал ТГУ. edu.tltsu.ru. Дата обращения: 26 июня 2020.

Литература

  • Математический энциклопедический словарь / Гл. ред. Прохоров Ю. В.. — 2-е изд. — М.: «Советская энциклопедия», 1998. — 847 с.
  • Тихонов В.И., Харисов В.Н. Статистический анализ и синтез радиотехнических устройств и систем. — Учебное пособие для ВУЗов. — М.: Радио и связь, 1991. — 608 с. — ISBN 5-256-00789-0.
  • Чернова Н. И. Теория вероятностей. — Учебное пособие. — Новосибирск: Новосибирский гос. ун-т, 2007. — 160 с.

Ссылки