Числовые характеристики распределений
Математическое ожидание случайной величины
Определение 35.
Математическим ожиданием
случайной величины
с дискретным распределением называется
число
![{\mathsf E\,}\xi=\sum\limits_{k}a_kp_k=\sum\limits_{k}a_k\Prob(\xi=a_k),](/sites/default/files/tex_cache/4fdae01564064b182d1b7301e43f53b6.png)
![\sum|a_i|p_i<\infty](/sites/default/files/tex_cache/2543ec1a7432787553e10277ec22fe2b.png)
Определение 36. Математическим ожиданием
случайной величины
с абсолютно непрерывным распределением с
плотностью
распределения
называется число
![{\mathsf E\,}\xi={\int\limits_{-\infty}^\infty}
x\,f_\xi(x)\,dx,\vphantom{\int^b}](/sites/default/files/tex_cache/0ad5505a0a7a9267a0e51852b76f3d31.png)
![{\int\limits_{\!\!-\infty }^\infty
|x|\,f_\xi(x)\,dx<\infty.}](/sites/default/files/tex_cache/e1f1a292197b9f003b901a57db485a9e.png)
Математическое ожидание (иначе называемое средним значением или
первым моментом) имеет простой физический смысл: если на прямой
разместить единичную массу, поместив в точки массу
(для дискретного распределения) или "размазав" ее с плотностью
(для абсолютно непрерывного распределения),
то точка
будет координатой центра тяжести
прямой.
Пример 48.
Пусть случайная величина равна числу очков, выпадающих при
одном
подбрасывании кубика. Тогда
![{\mathsf E\,}\xi=\sum\limits_{k=1}^6\,
k\cdot\frac{1}{6}=\frac{1}{6}\,(1+2+3+4+5+6)=3{,}5.](/sites/default/files/tex_cache/87ce4fb63b9a71a55c5d6f9b4aba5bcf.png)
![3{,}5](/sites/default/files/tex_cache/88687f31e06c201ac817b0b7608af7e2.png)
Пример 49.
Пусть случайная величина - координата точки, брошенной
наудачу
на отрезок
. Тогда
![{\mathsf E\,}\xi=\int\limits_a^b\,
x\cdot\frac{1}{b-a}\,dx=\frac{x^2}{2(b-a)}{\biggm|}_a^b=\frac{b^2-a^2}{2(b-a)}=\frac{a+b}{2}](/sites/default/files/tex_cache/136afc962d1c64b8fba6b8948506b31a.png)
Свойства математического ожидания
Во всех свойствах предполагается, что рассматриваемые математические ожидания существуют.
(E1)
Для произвольной борелевской функции
![{\mathsf E\,} g(\xi)=\begin{cases}
\displaystyle\sum\limits_k g(a_k)\Prob(\xi=a_k), &
\!\!\parbox[t]{8.5cm}{если распределение $\xi$ дискретно \\и ряд
абсолютно сходится;} \\[3.3mm]
\displaystyle\int\limits_{-\infty}^\infty g(x) f_\xi(x)\,dx, &
\!\!\parbox[t]{8.5cm}{если распределение $\xi$ абсолютно \\ непрерывно
и интеграл \\абсолютно сходится.}
\end{cases}](/sites/default/files/tex_cache/133bc61f82698fb3ac09cfadde0e214c.png)
Доказательство.
Мы докажем это свойство (как и почти все дальнейшие)
только для дискретного распределения.
Пусть принимает значения
с
вероятностями
![\Prob(g(\xi)=c_m)=\smash{\sum\limits_{k:\,g(a_k)=c_m}}\!\Prob(\xi=a_k)\,. \vphantom{\sum_a}](/sites/default/files/tex_cache/34fb9f7a059d960db76de549605f9f2b.png)
![\begin{multiline*}
{\mathsf E\,} g(\xi)=\sum\limits_m c_m \Prob(g(\xi)=c_m)=
\sum\limits_m c_m \!\sum\limits_{k:\,g(a_k)=c_m}\Prob(\xi=a_k)= \\
=\sum\limits_m \sum\limits_{k:\,g(a_k)=c_m} g(a_k)\,\Prob(\xi=a_k)=
\sum\limits_k g(a_k)\,\Prob(\xi=a_k)\,.\qquad
\end{multiline*}](/sites/default/files/tex_cache/9ffb949ce777a5e31a78e77c00eb0d25.png)
Следствие 10.
Математическое ожидание существует тогда и только тогда,
когда
.
Доказательство. Условием существование математического ожидания является
абсолютная сходимость ряда или интеграла
в определениях 35 и
36. Это в точности есть условие при
.
(E2) Математическое ожидание постоянной равно ей самой: .
(E3) Постоянную можно вынести за знак математического ожидания:
![{\mathsf E\,} (c\,\xi)=c\,{\mathsf E\,}\xi.](/sites/default/files/tex_cache/6f58ded3a36f50287e17d4343ccf740b.png)
Доказательство. Следует из свойства (E1) при .
(E4) Математическое ожидание суммы любых случайных величин равно сумме их математических ожиданий, если только эти математические ожидания существуют:
![{\mathsf E\,} (\xi+\eta)={\mathsf E\,}\xi+{\mathsf E\,}\eta.](/sites/default/files/tex_cache/84623a365eb91afed3270672961cd33a.png)
Доказательство.
Пусть случайные величины и
имеют дискретные
распределения со значениями
и
соответственно.
Для борелевской функции
можно доказать
свойство, аналогичное
(E1).
Воспользуемся этим свойством для
:
![\begin{multiple}
{\mathsf E\,}(\xi+\eta)\!&{=}&\!\sum_{k,\,n}(x_k+y_n)\Prob(\xi=x_k,\,\eta=y_n)=\\
\!&{=}&\!\sum_k x_k \sum_n \Prob(\xi=x_k,\,\eta=y_n)
+
\sum_n y_n \sum_k \Prob(\xi=x_k,\,\eta=y_n)=\\
\!&{=}&\!\sum_k x_k\, \Prob(\xi=x_k)+\sum_n y_n\, \Prob(\eta=y_n)=
{\mathsf E\,}\xi+{\mathsf E\,}\eta.
\qquad
\end{multiple}](/sites/default/files/tex_cache/570f95b14ce5e1a0e7f408ab915e4105.png)
(E5)
Если п.н., т.е. если
, то
.
Замечание
Сокращение "п.н." читается как "почти наверное" и
означает "с вероятностью ".
По определению, математическое ожидание - это числовая характеристика
распределения. Распределение
же не изменится от изменения случайной величины на множестве нулевой
вероятности.
Поэтому, например, даже если
не при всех
, а на множестве
единичной вероятности, математическое ожидание
все равно
неотрицательно.
(E6)
Если п.н. и при этом
, то
п.н.
Доказательство.
Это свойство мы докажем, заранее предполагая, что имеет
дискретное распределение
с неотрицательными значениями
. Равенство
означает, что все слагаемые в этой сумме равны нулю, т.е. все вероятности
нулевые, кроме вероятности,
соответствующей значению
.
Из свойств (E5) и (E6) следуют полезные утверждения.
Следствие.
Если п.н., то
.
Следствие.
Если п.н., то
.
(E7)
Если и
независимы и их математические
ожидания существуют, то
.
Доказательство. В дискретном случае
![\begin{multiple}
{\mathsf E\,} (\xi\eta)&=&\sum_{k,\,n}(x_k\,y_n)\,\Prob(\xi=x_k,\,\eta=y_n)=\\
=&\sum_kx_k\,\Prob(\xi=x_k)\,\sum_ny_n\,\Prob(\eta=y_n)=
{\mathsf E\,}\xi\,{\mathsf E\,}\eta.
\end{multiple}](/sites/default/files/tex_cache/b55cd99dd5a07eba5fe39cd23b13e070.png)
Замечание.
Обратное утверждение к свойству (E7)
неверно: из равенства
не следует независимость величин
и
.
Пример 50.
Пусть принимает значения
и
с вероятностями по
каждое,
и
. Это зависимые случайные величины:
![\Prob(\xi=1,\,\eta=0)=\Prob(\xi=1,\,\xi^2=0)=0 \neq
\frac13\,\cdot\,\frac13=
\Prob(\xi=1)\,\Prob(\eta=0).](/sites/default/files/tex_cache/68d9de38f6e2a95aa640457ed3c8f82a.png)
![{\mathsf E\,}\xi=0](/sites/default/files/tex_cache/26a612dac8cca61e0b64021b3c548aab.png)
![{\mathsf E\,}(\xi\eta)={\mathsf E\,}(\xi^3)=0](/sites/default/files/tex_cache/b0a516cff8d2e7be99acd14feb5b7cc3.png)
![{\mathsf E\,} (\xi\eta)={\mathsf E\,}\xi\,{\mathsf E\,}\eta](/sites/default/files/tex_cache/18a8490eab71000ef77c5c763b39a57e.png)
Пример 51.
Пусть , и пусть
и
- заведомо зависимые случайные величины. Например:
![\Prob\Bigl(\xi>\frac1{\sqrt{2}},\,\eta>\frac1{\sqrt{2}}\Bigr)=0 \neq
\Prob\Bigl(\xi>\frac1{\sqrt{2}}\Bigr)\Prob\Bigl(\eta>\frac1{\sqrt{2}}\Bigr) > 0.](/sites/default/files/tex_cache/b92d1e2b52416877446589f8d384b1a6.png)
![\xi](/sites/default/files/tex_cache/195246810f9bfc228bca491859062b14.png)
![\eta](/sites/default/files/tex_cache/ffe9f913124f345732e9f00fa258552e.png)
![\xi\eta](/sites/default/files/tex_cache/64e66387bf2355f0667d4a7905b41de6.png)
![{\mathsf E\,}\xi=\int_0^{2\pi} \frac1{2\pi} \cos x\,dx=0, \quad
{\mathsf E\,}\eta=\int_0^{2\pi}\frac1{2\pi} \sin x\,dx=0,](/sites/default/files/tex_cache/fa5c86914716cc257818054d725d5000.png)
![{\mathsf E\,}\xi\eta=\int_0^{2\pi} \frac1{2\pi} \cos x\,\sin
x\,dx = 0 =
{\mathsf E\,}\xi \,{\mathsf E\,}\eta.](/sites/default/files/tex_cache/669cc01505fda1b05f6f213e19d07e86.png)