1

Введение и обзор теории вероятностей

[48/100%]
Показать
LaTeX
Задача 1.1

Пусть A1A_{1} и A2A_{2} — произвольные события; покажите, что P(A1∪A2)+P(A1A2)=P(A1)+P(A2)\mathbb {P}\left(A_{1} \cup A_{2}\right)+\mathbb {P}\left(A_{1}A_{2}\right) = \mathbb {P}\left(A_{1}\right)+\mathbb {P}\left(A_{2}\right). Объясните, какие части пространства элементарных событий учитываются дважды в обеих частях этого равенства, а какие — один раз.

?
Задача 1.2

Эта задача выводит вероятность произвольного (не обязательно непересекающегося) объединения событий, выводит границу объединения (union bound) и выводит несколько полезных предельных выражений.

?
(a)

Для двух произвольных событий A1A_{1} и A2A_{2} покажите, что

A1∪A2=A1∪(A2−A1),где A2−A1=A2A1c. A_{1} \cup A_{2} = A_{1} \cup (A_{2}-A_{1}), \quad \text{где } A_{2}-A_{1} = A_{2}A_{1}^{c}.

Покажите, что A1A_{1} и A2−A1A_{2}-A_{1} не пересекаются.

(b)

Для произвольной последовательности событий {An;n≥1}\left\{ A_{n}; n \geq 1\right\} пусть B1=A1B_{1} = A_{1}, а для каждого n≥2n \geq 2 определим Bn=An−⋃m=1n−1AmB_{n} = A_{n}-\bigcup_{m=1}^{n-1}A_{m}. Покажите, что B1,B2,…B_{1}, B_{2}, \ldots — непересекающиеся события, и покажите, что для каждого n≥2n \geq 2 выполняется ⋃m=1nAm=⋃m=1nBm\bigcup_{m=1}^{n}A_{m} = \bigcup_{m=1}^{n}B_{m}.

(c)

Покажите, что

P(⋃n=1∞An)=P(⋃n=1∞Bn)=∑n=1∞P(Bn). \mathbb {P}\left(\bigcup _{n=1}^{\infty }A_{n}\right) = \mathbb {P}\left(\bigcup _{n=1}^{\infty }B_{n}\right) = \sum _{n=1}^{\infty }\mathbb {P}\left(B_{n}\right).
(d)

Покажите, что для каждого nn выполняется P(Bn)≤P(An)\mathbb {P}\left(B_{n}\right) \leq \mathbb {P}\left(A_{n}\right). Используйте это, чтобы показать, что

P(⋃n=1∞An)≤∑n=1∞P(An). \mathbb {P}\left(\bigcup _{n=1}^{\infty }A_{n}\right) \leq \sum _{n=1}^{\infty }\mathbb {P}\left(A_{n}\right).
(e)

Покажите, что P(⋃n=1∞An)=lim⁡m→∞P(⋃n=1mAn)\mathbb {P}\left(\bigcup_{n=1}^{\infty }A_{n}\right) = \lim_{m \rightarrow \infty }\mathbb {P}\left(\bigcup_{n=1}^{m}A_{n}\right). Заметьте, что это утверждение означает, что вероятность предела объединений равна пределу вероятностей. Это может показаться очевидным и без доказательства, но далее вы встретите ситуации, где подобные, на первый взгляд аналогичные, перестановки предела и вероятности недопустимы.

(f)

Покажите, что P(⋂n=1∞An)=lim⁡n→∞P(⋂i=1nAi)\mathbb {P}\left(\bigcap_{n=1}^{\infty }A_{n}\right) = \lim_{n \rightarrow \infty }\mathbb {P}\left(\bigcap_{i=1}^{n}A_{i}\right).

Примечание.
?
(a)

Именно для этого и были придуманы диаграммы Венна.

(b)

Используйте индукцию.

(f)

Вспомните равенства де Моргана.

Задача 1.3

Найдите вероятность того, что покерная рука из пяти карт, выбранная случайным образом из колоды в 52 карты, содержит все четыре туза. То есть, если все 52!52! расположений колоды карт равновероятны, какова вероятность того, что все четыре туза окажутся среди первых пяти карт колоды.

?
Задача 1.4

Рассмотрим пространство элементарных событий, состоящее из восьми равновероятных точек, и пусть A1,A2,A3A_{1}, A_{2}, A_{3} — три события, каждое из которых имеет вероятность 1/21/2, такие что P(A1A2A3)=P(A1)P(A2)P(A3)\mathbb {P}\left(A_{1}A_{2}A_{3}\right) = \mathbb {P}\left(A_{1}\right)\mathbb {P}\left(A_{2}\right)\mathbb {P}\left(A_{3}\right).

?
(a)

Постройте пример, в котором P(A1A2)=P(A1A3)=14\mathbb {P}\left(A_{1}A_{2}\right) = \mathbb {P}\left(A_{1}A_{3}\right) = \frac{1}{4}, но P(A2A3)=18\mathbb {P}\left(A_{2}A_{3}\right) = \frac{1}{8}.

(b)

Покажите, что в вашем примере A2A_{2} и A3A_{3} не являются независимыми. Заметьте, что определение статистической независимости выглядело бы весьма странно, если бы оно допускало независимость A1,A2,A3A_{1}, A_{2}, A_{3} при зависимости A2A_{2} и A3A_{3}. Это иллюстрирует, почему определение независимости требует совместной факторизации для всех подмножеств событий, а не только попарной факторизации для каждой пары событий.

Примечание.
?
(a)

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

Задача 1.5

Эта задача показывает, что для всех случайных величин XX функция FX(x)F_{X}(x) непрерывна справа.

?
(a)

Для произвольной случайной величины XX, произвольного действительного числа xx и каждого целого n≥1n \geq 1 пусть An={ω:X>x+1/n}A_{n} = \left\{ \omega : X > x+1/n\right\}, и покажите, что A1⊆A2⊆⋯A_{1} \subseteq A_{2} \subseteq \cdots. Используя это и следствия из аксиом вероятности, покажите, что P(⋃n≥1An)=lim⁡n→∞P(An)\mathbb {P}\left(\bigcup_{n \geq 1}A_{n}\right) = \lim_{n \rightarrow \infty }\mathbb {P}\left(A_{n}\right).

(b)

Покажите, что P(⋃n≥1An)=P(X>x)\mathbb {P}\left(\bigcup_{n \geq 1}A_{n}\right) = \mathbb {P}\left(X>x\right) и что P(X>x)=lim⁡n→∞P(X>x+1/n)\mathbb {P}\left(X>x\right) = \lim_{n \rightarrow \infty }\mathbb {P}\left(X>x+1/n\right).

(c)

Покажите, что при ϵ>0\epsilon >0 выполняется lim⁡ϵ→0P(X≤x+ϵ)=P(X≤x)\lim_{\epsilon \rightarrow 0}\mathbb {P}\left(X \leq x+\epsilon \right) = \mathbb {P}\left(X \leq x\right).

(d)

Определим F~X(x)=P(X<x)\widetilde{F}_{X}(x) = \mathbb {P}\left(X<x\right). Покажите, что F~X(x)\widetilde{F}_{X}(x) непрерывна слева. Другими словами, непрерывность справа для функции распределения возникает из почти произвольного (но общепринятого) выбора определения функции распределения как P(X≤x)\mathbb {P}\left(X \leq x\right), а не как P(X<x)\mathbb {P}\left(X<x\right).

Задача 1.6

Покажите, что для непрерывной неотрицательной с.в. XX

∫0∞P(X>x) dx=∫0∞xfX(x) dx. \int _{0}^{\infty }\mathbb {P}\left(X>x\right) \, dx = \int _{0}^{\infty }x\mathsf{f}_{X}(x) \, dx.
?
Задача 1.7

Пусть XX и YY — дискретные с.в. с ФРВ pXY(xi,yj)\mathsf{p}_{XY}(x_{i}, y_{j}). Покажите (рисунок поможет), что это связано с совместной ФР соотношением

pXY(xi,yj)=lim⁡δ>0, δ→0[F(xi,yj)−F(xi−δ,yj)−F(xi,yj−δ)+F(xi−δ,yj−δ)]. \mathsf{p}_{XY}(x_{i}, y_{j}) = \lim _{\delta >0, \, \delta \rightarrow 0}\left[F(x_{i}, y_{j})-F(x_{i}-\delta , y_{j})-F(x_{i}, y_{j}-\delta )+F(x_{i}-\delta , y_{j}-\delta )\right].
?
Задача 1.8

Вариант Примера 1.5.1 состоит в том, чтобы пусть MM — с.в., принимающая как положительные, так и отрицательные значения, с ФРВ

pM(m)=12∣m∣(∣m∣+1). \mathsf{p}_{M}(m) = \frac{1}{2\left|m\right|(\left|m\right|+1)}.

Другими словами, MM симметрична относительно 0, а ∣M∣\left|M\right| имеет ту же ФРВ, что и неотрицательная с.в. NN из Примера 1.5.1 (с.в. с ФР FN(n)=n/(n+1)F_{N}(n) = n/(n+1) для каждого целого n≥1n \geq 1, ФРВ pN(n)=1/[n(n+1)]\mathsf{p}_{N}(n) = 1/[n(n+1)] и E[N]=∞\mathbb {E}\left[N\right] = \infty).

?
(a)

Покажите, что ∑m≥0mpM(m)=∞\sum_{m \geq 0}m\mathsf{p}_{M}(m) = \infty и ∑m<0mpM(m)=−∞\sum_{m<0}m\mathsf{p}_{M}(m) = -\infty. (Тем самым покажите, что математическое ожидание MM не только не существует, но и не определено даже как расширенное вещественное число.)

(b)

Предположим, что члены суммы ∑m=−∞∞mpM(m)\sum_{m=-\infty }^{\infty }m\mathsf{p}_{M}(m) суммируются в порядке два положительных члена на один отрицательный (т.е. в порядке 1,2,−1,3,4,−2,5,⋯1, 2, -1, 3, 4, -2, 5, \cdots). Найдите предельное значение частичных сумм этого ряда.

(c)

Повторите (б), где для произвольного заданного целого k>0k>0 порядок суммирования — kk положительных членов на один отрицательный.

Примечание.
?
(b)

Вам может пригодиться знание того, что

lim⁡n→∞[∑i=1n1i−∫1n1x dx]=γ, \lim _{n \rightarrow \infty }\left[\sum _{i=1}^{n}\frac{1}{i}-\int _{1}^{n}\frac{1}{x} \, dx\right] = \gamma ,

где γ\gamma — постоянная Эйлера--Маскерони, γ=0.57721⋯\gamma = 0.57721\cdots.

Задача 1.9

Теорема 1.4.1: Пусть pSn(k)\mathsf{p}_{S_{n}}(k) — ФРВ биномиального распределения для базовой бинарной ФРВ pZ(1)=p>0\mathsf{p}_{Z}(1) = p>0, pZ(0)=1−p>0\mathsf{p}_{Z}(0) = 1-p>0, и пусть p~=k/n\widetilde{p} = k/n. Тогда для каждого целого p~n\widetilde{p}n, 1≤p~n≤n−11 \leq \widetilde{p}n \leq n-1,

pSn(p~n)<12πnp~(1−p~)exp⁡[−nD(p~∥p)], \mathsf{p}_{S_{n}}(\widetilde{p}n)< \sqrt{\frac{1}{2\pi n\widetilde{p}(1-\widetilde{p})}}\exp \left[-nD(\widetilde{p}\| p)\right], pSn(p~n)>(1−112np~(1−p~))12πnp~(1−p~)exp⁡[−nD(p~∥p)], \mathsf{p}_{S_{n}}(\widetilde{p}n)>\left(1-\frac{1}{12n\widetilde{p}(1-\widetilde{p})}\right)\sqrt{\frac{1}{2\pi n\widetilde{p}(1-\widetilde{p})}}\exp \left[-nD(\widetilde{p}\| p)\right],

где D(p~∥p)=p~ln⁡(p~p)+(1−p~)ln⁡(1−p~1−p)≥0D(\widetilde{p}\| p) = \widetilde{p}\ln \left(\frac{\widetilde{p}}{p}\right)+(1-\widetilde{p})\ln \left(\frac{1-\widetilde{p}}{1-p}\right) \geq 0 — бинарная дивергенция Кульбака--Лейблера (относительная энтропия). Кроме того, D(p~∥p)≥0D(\widetilde{p}\| p) \geq 0 со строгим неравенством для всех p~≠p\widetilde{p} \neq p.

Границы для биномиального распределения в этой теореме основаны на границах Стирлинга. Они утверждают, что для всех n≥1n \geq 1 величина n!n! ограничена сверху и снизу так:

2πn(ne)n<n!<2πn(ne)ne1/12n. \sqrt{2\pi n}\left(\frac{n}{e}\right)^{n}<n!<\sqrt{2\pi n}\left(\frac{n}{e}\right)^{n}e^{1/12n}.

Отношение 2πn(n/e)n/n!\sqrt{2\pi n}(n/e)^{n}/n! первых двух членов монотонно возрастает с ростом nn к пределу 1, а отношение 2πn(n/e)nexp⁡(1/12n)/n!\sqrt{2\pi n}(n/e)^{n}\exp (1/12n)/n! монотонно убывает к 1. Верхняя граница точнее, но нижняя граница проще и известна как приближение Стирлинга.

?
(a)

Покажите, исходя из приведённых выше границ Стирлинга и из свойства монотонности, что

(nk)<n2πk(n−k) nnkk(n−k)n−k. \binom {n}{k}<\sqrt{\frac{n}{2\pi k(n-k)}} \, \frac{n^{n}}{k^{k}(n-k)^{n-k}}.
(b)

Используя результат (а), оцените сверху pSn(k)\mathsf{p}_{S_{n}}(k) выражением

pSn(k)<n2πk(n−k) pk(1−p)n−knnkk(n−k)n−k. \mathsf{p}_{S_{n}}(k)<\sqrt{\frac{n}{2\pi k(n-k)}} \, \frac{p^{k}(1-p)^{n-k}n^{n}}{k^{k}(n-k)^{n-k}}.

Покажите, что это эквивалентно верхней границе в Теореме 1.4.1.

(c)

Покажите, что

(nk)>n2πk(n−k) nnkk(n−k)n−k[1−n12k(n−k)]. \binom {n}{k}>\sqrt{\frac{n}{2\pi k(n-k)}} \, \frac{n^{n}}{k^{k}(n-k)^{n-k}}\left[1-\frac{n}{12k(n-k)}\right].
(d)

Выведите нижнюю границу в Теореме 1.4.1.

(e)

Покажите, что D(p~∥p)=p~ln⁡(p~/p)+(1−p~)ln⁡[(1−p~)/(1−p)]D(\widetilde{p}\| p) = \widetilde{p}\ln (\widetilde{p}/p)+(1-\widetilde{p})\ln [(1-\widetilde{p})/(1-p)] равно 0 при p~=p\widetilde{p} = p и неотрицательно всюду.

Задача 1.10

Пусть XX — тернарная случайная величина, принимающая три значения 0, 1, 2 с вероятностями p0,p1,p2p_{0}, p_{1}, p_{2} соответственно. Найдите медиану XX в каждом из случаев ниже.

?
(a)

p0=0.2p_{0} = 0.2, p1=0.4p_{1} = 0.4, p2=0.4p_{2} = 0.4.

(b)

p0=0.2p_{0} = 0.2, p1=0.2p_{1} = 0.2, p2=0.6p_{2} = 0.6.

(c)

p0=0.2p_{0} = 0.2, p1=0.3p_{1} = 0.3, p2=0.5p_{2} = 0.5.

(d)

Теперь предположим, что XX неотрицательна и непрерывна с плотностью fX(x)=1\mathsf{f}_{X}(x) = 1 при 0≤x≤0.50 \leq x \leq 0.5 и fX(x)=0\mathsf{f}_{X}(x) = 0 при 0.5<x≤10.5<x \leq 1. Нам известно, что fX(x)\mathsf{f}_{X}(x) положительна при всех x>1x>1, но в остальном неизвестна. Найдите медиану или интервал медиан.

Медиану иногда (неверно) определяют как такое α\alpha, для которого P(X>α)=P(X<α)\mathbb {P}\left(X>\alpha \right) = \mathbb {P}\left(X<\alpha \right). Покажите, что возможен случай, когда такого α\alpha не существует.

Примечание.
?

Замечание 1: медиана не единственна в случае (в). Найдите интервал значений, являющихся медианами. Замечание 2: некоторые авторы делают медиану единственной, определяя её как середину интервала, удовлетворяющего данному здесь определению.

Задача 1.11
?
(a)

Для произвольной заданной случайной величины YY выразите E[∣Y∣]\mathbb {E}\left[\left|Y\right|\right] через ∫y<0FY(y) dy\int_{y<0}F_{Y}(y) \, dy и ∫y≥0FYc(y) dy\int_{y \geq 0}F_{Y}^{c}(y) \, dy.

(b)

Для некоторой заданной случайной величины XX с E[∣X∣]<∞\mathbb {E}\left[\left|X\right|\right]<\infty пусть Y=X−αY = X-\alpha. Используя (а), покажите, что

E[∣X−α∣]=∫α∞FX(x) dx+∫−∞αFXc(x) dx. \mathbb {E}\left[\left|X-\alpha \right|\right] = \int _{\alpha }^{\infty }F_{X}(x) \, dx+\int _{-\infty }^{\alpha }F_{X}^{c}(x) \, dx.
(c)

Покажите, что E[∣X−α∣]\mathbb {E}\left[\left|X-\alpha \right|\right] минимизируется по α\alpha при выборе α\alpha равным медиане XX. Будьте внимательны и покажите, что когда медиана является интервалом, все точки этого интервала достигают минимума.

Задача 1.12

Пусть XX — случайная величина с функцией распределения FX(x)F_{X}(x). Найдите функцию распределения следующих случайных величин.

?
(a)

Максимума nn н.о.р. случайных величин, каждая с функцией распределения FX(x)F_{X}(x).

(b)

Минимума nn н.о.р. случайных величин, каждая с функцией распределения FX(x)F_{X}(x).

(c)

Разности случайных величин, определённых в (а) и (б); предположите, что XX имеет плотность fX(x)\mathsf{f}_{X}(x).

Задача 1.13

Пусть XX и YY — случайные величины на некотором пространстве элементарных событий Ω\Omega, и пусть Z=X+YZ = X+Y, т.е. для каждого ω∈Ω\omega \in \Omega выполняется Z(ω)=X(ω)+Y(ω)Z(\omega ) = X(\omega )+Y(\omega ). Цель этого упражнения — показать, что ZZ является случайной величиной. Это математическая тонкость, которую многие читатели могут предпочесть просто принять без доказательства.

?
(a)

Покажите, что множество тех ω\omega, для которых Z(ω)=±∞Z(\omega ) = \pm \infty, имеет вероятность 0.

(b)

Чтобы показать, что Z=X+YZ = X+Y является случайной величиной, нужно показать, что для каждого вещественного числа α\alpha множество {ω∈Ω:X(ω)+Y(ω)≤α}\left\{ \omega \in \Omega : X(\omega )+Y(\omega ) \leq \alpha \right\} является событием. Действуем косвенно. Для произвольного положительного целого nn и произвольного целого k>0k>0 положим B(n,k)={ω:X(ω)≤k/n}∩{ω:Y(ω)≤α+(1−k)/n}B(n, k) = \left\{ \omega : X(\omega ) \leq k/n\right\} \cap \left\{ \omega : Y(\omega ) \leq \alpha +(1-k)/n\right\}. Пусть D(n)=⋃kB(n,k)D(n) = \bigcup_{k}B(n, k); покажите, что D(n)D(n) является событием.

(c)

На двумерном чертеже для заданного α\alpha покажите значения X(ω)X(\omega ) и Y(ω)Y(\omega ), для которых ω∈D(n)\omega \in D(n).

(d)

Покажите, что

{ω:X(ω)+Y(ω)≤α}=⋂nD(n). \left\{ \omega : X(\omega )+Y(\omega ) \leq \alpha \right\} = \bigcap _{n}D(n).

Объясните, почему это показывает, что Z=X+YZ = X+Y является случайной величиной.

(e)

Объясните, почему из (г) следует, что если Y=X1+X2+⋯+XnY = X_{1}+X_{2}+\cdots +X_{n} и X1,X2,…,XnX_{1}, X_{2}, \ldots , X_{n} — случайные величины, то YY — тоже случайная величина.

Примечание.
?
(c)

Это множество значений должно быть ограничено ступенчатой функцией.

(e)

Достаточно одной-двух строк объяснения.

Задача 1.14
?
(a)

Пусть X1,X2,…,XnX_{1}, X_{2}, \ldots , X_{n} — случайные величины с математическими ожиданиями X‾1,…,X‾n\overline{X}_{1}, \ldots , \overline{X}_{n}. Покажите, что E[X1+⋯+Xn]=X‾1+⋯+X‾n\mathbb {E}\left[X_{1}+\cdots +X_{n}\right] = \overline{X}_{1}+\cdots +\overline{X}_{n}. Можете предполагать, что случайные величины имеют совместную плотность, но не предполагайте, что они независимы.

(b)

Теперь предположите, что X1,…,XnX_{1}, \ldots , X_{n} статистически независимы, и покажите, что математическое ожидание произведения равно произведению математических ожиданий.

(c)

Снова предполагая, что X1,…,XnX_{1}, \ldots , X_{n} статистически независимы, покажите, что дисперсия суммы равна сумме дисперсий.

Задача 1.15
?
(a)

Пусть h(x)=u(x)h(x) = u(x) и FX(x)=u(x)F_{X}(x) = u(x), где u(x)u(x) — единичный скачок, т.е. u(x)=0u(x) = 0 при −∞<x<0-\infty <x<0 и u(x)=1u(x) = 1 при x≥0x \geq 0. Используя определение интеграла Стилтьеса как предела римановых сумм ∑nh(xn)[F(yn)−F(yn−1)]\sum_{n}h(x_{n})[F(y_{n})-F(y_{n-1})] по разбиениям {yn;n≥1}\left\{ y_{n}; n \geq 1\right\} с yn−1<xn≤yny_{n-1}<x_{n} \leq y_{n}, измельчаемым по мере того, как диаметр разбиения δ→0\delta \rightarrow 0, покажите, что ∫−11h(x) dFX(x)\int_{-1}^{1}h(x) \, dF_{X}(x) не существует.

(b)

Пусть h(x)=u(x−a)h(x) = u(x-a) и FX(x)=u(x−b)F_{X}(x) = u(x-b), где aa и bb принадлежат (−1,+1)(-1, +1). Покажите, что ∫−11h(x) dFX(x)\int_{-1}^{1}h(x) \, dF_{X}(x) существует тогда и только тогда, когда a≠ba \neq b. Покажите, что интеграл равен 1 при a<ba<b и равен 0 при a>ba>b. Обоснуйте, что этот результат остаётся верным и в пределе интегрирования по (−∞,∞)(-\infty , \infty ).

(c)

Пусть XX и YY — независимые дискретные случайные величины, каждая с конечным множеством возможных значений. Покажите, что ∫−∞∞FX(z−y) dFY(y)\int_{-\infty }^{\infty }F_{X}(z-y) \, dF_{Y}(y), определённый как интеграл Стилтьеса, равен функции распределения Z=X+YZ = X+Y в каждой точке zz, отличной от возможных значений выборки ZZ, и не определён в каждом значении выборки ZZ.

Примечание.
?

Эта неудача интегрирования по Стилтьесу не является серьёзной проблемой; FZ(z)F_{Z}(z) — ступенчатая функция, и интеграл не определён в точках её разрыва. Мы автоматически доопределяем FZ(z)F_{Z}(z) в этих ступенчатых значениях так, чтобы FZF_{Z} была функцией распределения (т.е. непрерывной справа). Эта проблема не возникает, если XX или YY непрерывна.

Задача 1.16

Пусть X1,X2,…,Xn,…X_{1}, X_{2}, \ldots , X_{n}, \ldots — последовательность НОР непрерывных случайных величин с общей плотностью fX(x)\mathsf{f}_{X}(x); заметим, что P(X=α)=0\mathbb {P}\left(X=\alpha \right) = 0 для всех α\alpha и что P(Xi=Xj)=0\mathbb {P}\left(X_{i}=X_{j}\right) = 0 для всех i≠ji \neq j. Для n≥2n \geq 2 назовём XnX_{n} рекордом на текущий момент последовательности, если Xn>XiX_{n}>X_{i} для всех i<ni<n.

?
(a)

Найдите вероятность того, что X2X_{2} является рекордом на текущий момент. Используйте симметрию, чтобы получить числовой ответ без вычислений. Одной-двух строк объяснения должно быть достаточно.

(b)

Найдите вероятность того, что XnX_{n} является рекордом на текущий момент, как функцию от n≥1n \geq 1. Снова используйте симметрию.

(c)

Найдите простое выражение для ожидаемого числа рекордов на текущий момент, встречающихся за первые mm испытаний, при любом заданном целом mm. Покажите, что это ожидаемое число бесконечно в пределе m→∞m \rightarrow \infty.

Задача 1.17
?
(a)

Пусть N1N_{1} — индекс первого рекорда на текущий момент в последовательности. Найдите P(N1>n)\mathbb {P}\left(N_{1}>n\right) для каждого n≥2n \geq 2.

(b)

Покажите, что N1N_{1} является случайной величиной.

(c)

Покажите, что E[N1]=∞\mathbb {E}\left[N_{1}\right] = \infty.

(d)

Пусть N2N_{2} — индекс второго рекорда на текущий момент в последовательности. Покажите, что N2N_{2} является случайной величиной. Находить функцию распределения N2N_{2} здесь не требуется.

(e)

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

Задача 1.18
?
(a)

Для любого заданного n≥2n \geq 2 найдите вероятность того, что XnX_{n} и Xn+1X_{n+1} обе являются рекордами на текущий момент.

(b)

Является ли событие, что XnX_{n} — рекорд на текущий момент, статистически независимым от события, что Xn+1X_{n+1} — рекорд на текущий момент?

(c)

Найдите ожидаемое число соседних пар рекордов на текущий момент по последовательности X1,X2,…X_{1}, X_{2}, \ldots.

Задача 1.19
?
(a)

Предположим, что XX — неотрицательная дискретная св, принимающая значения a1,a2,…a_{1}, a_{2}, \ldots, и пусть Y=h(X)Y = h(X) для некоторой неотрицательной функции hh. Пусть bi=h(ai)b_{i} = h(a_{i}), i≥1i \geq 1, — ii-е значение, принимаемое YY. Покажите, что E[Y]=∑ibipY(bi)=∑ih(ai)pX(ai)\mathbb {E}\left[Y\right] = \sum_{i}b_{i}\mathsf{p}_{Y}(b_{i}) = \sum_{i}h(a_{i})\mathsf{p}_{X}(a_{i}). Найдите пример, где E[X]\mathbb {E}\left[X\right] существует, но E[Y]=∞\mathbb {E}\left[Y\right] = \infty.

(b)

Пусть XX — неотрицательная непрерывная св с плотностью fX(x)\mathsf{f}_{X}(x), и пусть h(x)h(x) дифференцируема, неотрицательна и строго возрастает по xx. Пусть A(δ)=∑n≥1h(nδ)[F(nδ)−F(nδ−δ)]A(\delta ) = \sum_{n \geq 1}h(n\delta )[F(n\delta )-F(n\delta -\delta )], т.е. A(δ)A(\delta ) — приближение порядка δ\delta к интегралу Стилтьеса ∫h(x) dF(x)\int h(x) \, dF(x). Покажите, что если A(1)<∞A(1)<\infty, то A(2−k)≤A(2−(k−1))<∞A(2^{-k}) \leq A(2^{-(k-1)})<\infty. Покажите из этого, что ∫h(x) dF(x)\int h(x) \, dF(x) сходится к конечному значению. Замечание: это очень частный случай, но его можно распространить на многие представляющие интерес случаи. Представляется более разумным рассматривать эти вопросы сходимости по мере необходимости, а не в общем виде.

Задача 1.20
?
(a)

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

FY(y)=1−2(y+1)(y+2)для целых y≥0. F_{Y}(y) = 1-\frac{2}{(y+1)(y+2)} \qquad \text{для целых } y \geq 0.

Используя E[Y]=∫0∞FYc(y) dy\mathbb {E}\left[Y\right] = \int_{0}^{\infty }F_{Y}^{c}(y) \, dy (уравнение (1.30)), покажите, что E[Y]=2\mathbb {E}\left[Y\right] = 2.

(b)

Найдите ЗРВ величины YY и используйте её для проверки значения E[Y]\mathbb {E}\left[Y\right].

(c)

Пусть XX — другая положительная целочисленная св. Предположим, что её условная ЗРВ задана формулой

pX∣Y(x∣y)=1yдля 1≤x≤y. \mathsf{p}_{X \mid Y}(x \mid y) = \frac{1}{y} \qquad \text{для } 1 \leq x \leq y.

Найдите E[X∣Y=y]\mathbb {E}\left[X \mid Y=y\right] и покажите, что E[X]=3/2\mathbb {E}\left[X\right] = 3/2. Попробуйте найти pX(x)\mathsf{p}_{X}(x), пока не убедитесь, что использование условного математического ожидания для вычисления E[X]\mathbb {E}\left[X\right] значительно проще, чем использование pX(x)\mathsf{p}_{X}(x).

(d)

Пусть ZZ — другая целочисленная св с условной ЗРВ

pZ∣Y(z∣y)=1y2для 1≤z≤y2. \mathsf{p}_{Z \mid Y}(z \mid y) = \frac{1}{y^{2}} \qquad \text{для } 1 \leq z \leq y^{2}.

Найдите E[Z∣Y=y]\mathbb {E}\left[Z \mid Y=y\right] для каждого целого y≥1y \geq 1 и найдите E[Z]\mathbb {E}\left[Z\right].

Задача 1.21
?
(a)

Покажите, что для некоррелированных св математическое ожидание произведения равно произведению математических ожиданий (по определению, XX и YY некоррелированы, если E[(X−X‾)(Y−Y‾)]=0\mathbb {E}\left[(X-\overline{X})(Y-\overline{Y})\right] = 0).

(b)

Покажите, что если XX и YY некоррелированы, то дисперсия X+YX+Y равна дисперсии XX плюс дисперсия YY.

(c)

Покажите, что если X1,…,XnX_{1}, \ldots , X_{n} некоррелированы, то дисперсия суммы равна сумме дисперсий.

(d)

Покажите, что независимые св некоррелированы.

(e)

Пусть X,YX, Y — одинаково распределённые троичные св с ЗРВ pX(−1)=pX(1)=1/4\mathsf{p}_{X}(-1) = \mathsf{p}_{X}(1) = 1/4; pX(0)=1/2\mathsf{p}_{X}(0) = 1/2. Найдите простое совместное распределение вероятностей такое, что XX и YY некоррелированы, но зависимы.

(f)

Вы видели, что МПФ суммы независимых св равна произведению индивидуальных МПФ. Приведите пример, где это неверно, если переменные некоррелированы, но зависимы.

Задача 1.22

Предположим, что XX имеет пуассоновскую ЗРВ pX(n)=λnexp⁡(−λ)/n!\mathsf{p}_{X}(n) = \lambda^{n}\exp (-\lambda )/n! при n≥0n \geq 0, а YY имеет пуассоновскую ЗРВ pY(m)=μnexp⁡(−μ)/n!\mathsf{p}_{Y}(m) = \mu^{n}\exp (-\mu )/n! при n≥0n \geq 0. Предположим, что XX и YY независимы. Покажите, что Z=X+YZ = X+Y является пуассоновской св, и найдите условное распределение YY при условии Z=nZ=n.

?
Задача 1.23
?
(a)

Предположим, что X,YX, Y и ZZ — бинарные случайные величины, каждая из которых принимает значение 0 с вероятностью 1/21/2 и значение 1 с вероятностью 1/21/2. Найдите простой пример, в котором X,Y,ZX, Y, Z статистически зависимы, но попарно статистически независимы (т.е. X,YX, Y статистически независимы, X,ZX, Z статистически независимы и Y,ZY, Z статистически независимы). Приведите pXYZ(x,y,z)\mathsf{p}_{XYZ}(x, y, z) для вашего примера.

(b)

Достаточно ли попарной статистической независимости для того, чтобы

E[∏i=1nXi]=∏i=1nE[Xi] \mathbb {E}\left[\prod _{i=1}^{n}X_{i}\right] = \prod _{i=1}^{n}\mathbb {E}\left[X_{i}\right]

для набора случайных величин X1,…,XnX_{1}, \ldots , X_{n}?

Задача 1.24

Покажите, что E[X]\mathbb {E}\left[X\right] есть значение α\alpha, минимизирующее E[(X−α)2]\mathbb {E}\left[(X-\alpha )^{2}\right].

?
Задача 1.25

Для каждой из следующих случайных величин найдите концы интервала r−r_{-} и r+r_{+}, на котором существует производящая функция моментов g(r)\mathsf{g}(r). В каждом случае определите, существует ли g(r)\mathsf{g}(r) в точках r−r_{-} и r+r_{+}. Для пунктов (а) и (б) вам также следует найти и построить эскиз графика g(r)\mathsf{g}(r). Для пунктов (в) и (г) g(r)\mathsf{g}(r) не имеет замкнутой формы.

?
(a)

Пусть λ,θ\lambda , \theta — положительные числа, и пусть XX имеет плотность

fX(x)=12λexp⁡(−λx); x≥0;fX(x)=12θexp⁡(θx); x<0. \mathsf{f}_{X}(x) = \frac{1}{2}\lambda \exp (-\lambda x); \, x \geq 0; \qquad \mathsf{f}_{X}(x) = \frac{1}{2}\theta \exp (\theta x); \, x<0.
(b)

Пусть YY — гауссовская случайная величина со средним mm и дисперсией σ2\sigma^{2}.

(c)

Пусть ZZ — неотрицательная случайная величина с плотностью

fZ(z)=k(1+z)−2exp⁡(−λz)z≥0, \mathsf{f}_{Z}(z) = k(1+z)^{-2}\exp (-\lambda z) \qquad z \geq 0,

где λ>0\lambda >0 и k=[∫z≥0(1+z)−2exp⁡(−λz) dz]−1k = \left[\int_{z \geq 0}(1+z)^{-2}\exp (-\lambda z) \, dz\right]^{-1}.

(d)

Для ZZ из пункта (в) найдите предел γ′(r)\gamma '(r) при rr, стремящемся к λ\lambda снизу. Затем замените (1+z)2(1+z)^{2} на ∣1+z∣3\left|1+z\right|^{3} в определении fZ(z)\mathsf{f}_{Z}(z) и kk и покажите, будет ли указанный предел при этом конечным или нет.

Задача 1.26
?
(a)

Предположим, что производящая функция моментов случайной величины XX существует (т.е. конечна) на интервале (r−,r+)(r_{-}, r_{+}), r−<0<r+r_{-}<0<r_{+}, и предположим, что r−<r<r+r_{-}<r<r_{+} везде далее. Для любой конечной константы cc выразите производящую функцию моментов X−cX-c, т.е. g(X−c)(r)\mathsf{g}_{(X-c)}(r), через производящую функцию моментов XX и покажите, что g(X−c)′′(r)≥0\mathsf{g}_{(X-c)}''(r) \geq 0. Объясните, почему g(X−c)′′(r)≥0\mathsf{g}_{(X-c)}''(r) \geq 0.

(b)

Покажите, что g(X−c)′′(r)=[gX′′(r)−2cgX′(r)+c2gX(r)]e−rc\mathsf{g}_{(X-c)}''(r) = [\mathsf{g}_{X}''(r)-2c\mathsf{g}_{X}'(r)+c^{2}\mathsf{g}_{X}(r)]e^{-rc}.

(c)

Используя (а) и (б), покажите, что gX′′(r)gX(r)−[gX′(r)]2≥0\mathsf{g}_{X}''(r)\mathsf{g}_{X}(r)-[\mathsf{g}_{X}'(r)]^{2} \geq 0. Пусть γX(r)=ln⁡gX(r)\gamma_{X}(r) = \ln \mathsf{g}_{X}(r); покажите, что γX′′(r)≥0\gamma_{X}''(r) \geq 0.

(d)

Предположим, что XX недетерминирована, т.е. не существует такого значения α\alpha, что P(X=α)=1\mathbb {P}\left(X=\alpha \right) = 1. Покажите, что знак неравенства «≥\geq» может быть заменён на «>>» всюду в (а), (б) и (в).

Задача 1.27

Компьютерная система обслуживает nn пользователей, каждый со своим уникальным именем и паролем. Из-за программной ошибки nn паролей были случайным образом переставлены внутри системы (т.е. каждая из n!n! возможных перестановок равновероятна). Только те пользователи, которым посчастливилось, что их пароль не изменился при перестановке, могут продолжать пользоваться системой.

?
(a)

Какова вероятность того, что конкретный пользователь, скажем пользователь 1, сможет продолжить пользоваться системой?

(b)

Каково ожидаемое число пользователей, способных продолжить пользоваться системой?

Задача 1.28

Предположим, что случайная величина XX непрерывна и имеет функцию распределения FX(x)F_{X}(x). Рассмотрим другую случайную величину Y=FX(X)Y = F_{X}(X). То есть для каждой элементарной точки ω\omega такой, что X(ω)=xX(\omega ) = x, мы имеем Y(ω)=FX(x)Y(\omega ) = F_{X}(x). Покажите, что YY равномерно распределена на интервале от 0 до 1.

?
Задача 1.29

Пусть ZZ — целочисленная св с ФРВ pZ(n)=1/k\mathsf{p}_{Z}(n) = 1/k при 0≤n≤k−10 \leq n \leq k-1. Найдите среднее, дисперсию и производящую функцию моментов ZZ.

?
Задача 1.30
?
(a)

Пусть YY — неотрицательная св и y>0y>0 — некоторое фиксированное число. Пусть AA — событие Y≥yY \geq y. Покажите, что yIA≤Yy\mathbb {I}_{A} \leq Y (т.е. что это неравенство выполнено для любого ω∈Ω\omega \in \Omega).

(b)

Используя результат (а), докажите неравенство Маркова.

Задача 1.31
?
(a)

Минимизируйте E[Y]\mathbb {E}\left[Y\right] по всем неотрицательным св, для которых P(Y≥b)=β\mathbb {P}\left(Y \geq b\right) = \beta при некоторых заданных b>0b>0 и 0<β<10<\beta <1. Какая св достигает минимума?

(b)

Используя (а), докажите неравенство Маркова, а также укажите распределение, для которого неравенство обращается в равенство.

Задача 1.32

Это неравенство утверждает, что если св XX с нулевым средним имеет дисперсию σ2\sigma^{2}, то она удовлетворяет неравенству

P(X≥b)≤σ2σ2+b2для любого b>0, \mathbb {P}\left(X \geq b\right) \leq \frac{\sigma ^{2}}{\sigma ^{2}+b^{2}} \qquad \text{для любого } b>0,

причём равенство при некотором bb достигается только если XX бинарна и P(X=b)=σ2/(σ2+b2)\mathbb {P}\left(X=b\right) = \sigma^{2}/(\sigma^{2}+b^{2}). Мы докажем это здесь тем же методом, что и в упражнении 1.31. Пусть XX — св с нулевым средним, удовлетворяющая P(X≥b)=β\mathbb {P}\left(X \geq b\right) = \beta при некоторых заданных b>0b>0 и 0<β<10<\beta <1. Дисперсию σ2\sigma^{2} величины XX можно записать как

σ2=∫−∞b−x2fX(x) dx+∫b∞x2fX(x) dx. \sigma ^{2} = \int _{-\infty }^{b^{-}}x^{2}\mathsf{f}_{X}(x) \, dx+\int _{b}^{\infty }x^{2}\mathsf{f}_{X}(x) \, dx.

Сначала мы минимизируем σ2\sigma^{2} по всем св XX с нулевым средним, удовлетворяющим P(X≥b)=β\mathbb {P}\left(X \geq b\right) = \beta.

?
(a)

Покажите, что второй интеграл выше удовлетворяет ∫b∞x2fX(x) dx≥b2β\int_{b}^{\infty }x^{2}\mathsf{f}_{X}(x) \, dx \geq b^{2}\beta.

(b)

Покажите, что первый интеграл выше ограничен условиями

∫−∞b−fX(x) dx=1−βи∫−∞b−xfX(x) dx≤−bβ. \int _{-\infty }^{b^{-}}\mathsf{f}_{X}(x) \, dx = 1-\beta \qquad \text{и} \qquad \int _{-\infty }^{b^{-}}x\mathsf{f}_{X}(x) \, dx \leq -b\beta .
(c)

Минимизируйте первый интеграл при ограничениях из (б).

(d)

Объедините результаты (а) и (в), чтобы показать, что σ2≥b2β/(1−β)\sigma^{2} \geq b^{2}\beta /(1-\beta ). Найдите минимизирующее распределение.

(e)

Используя (г), установите приведённое выше одностороннее неравенство Чебышёва. Также покажите (тривиально), что если YY имеет среднее Y‾\overline{Y} и дисперсию σ2\sigma^{2}, то P(Y−Y‾≥b)≤σ2/(σ2+b2)\mathbb {P}\left(Y-\overline{Y} \geq b\right) \leq \sigma^{2}/(\sigma^{2}+b^{2}).

Задача 1.33

Здесь мы покажем, что если XX — св с нулевым средним и дисперсией σ2\sigma^{2}, то медиана α\alpha удовлетворяет ∣α∣≤σ\left|\alpha \right| \leq \sigma.

Одностороннее неравенство Чебышёва (упражнение 1.32) утверждает, что для св XX с нулевым средним и дисперсией σ2\sigma^{2} выполнено P(X≥b)≤σ2/(σ2+b2)\mathbb {P}\left(X \geq b\right) \leq \sigma^{2}/(\sigma^{2}+b^{2}) при любом b>0b>0, причём равенство при некотором bb достигается только если XX бинарна и P(X=b)=σ2/(σ2+b2)\mathbb {P}\left(X=b\right) = \sigma^{2}/(\sigma^{2}+b^{2}).

?
(a)

Сначала покажите, что ∣α∣≤σ\left|\alpha \right| \leq \sigma для особого случая, когда XX бинарна с равновероятными значениями ±σ\pm \sigma.

(b)

Для всех св XX с нулевым средним и дисперсией σ2\sigma^{2}, отличных от особого случая в (а), покажите, что

P(X≥σ)<0.5. \mathbb {P}\left(X \geq \sigma \right)<0.5.
(c)

Покажите, что P(X≥α)≥0.5\mathbb {P}\left(X \geq \alpha \right) \geq 0.5. Помимо особого случая из (а), покажите, что отсюда следует α<σ\alpha <\sigma.

(d)

Помимо особого случая из (а), покажите, что ∣α∣<σ\left|\alpha \right|<\sigma. Тем самым вы показали, что ∣α∣≤σ\left|\alpha \right| \leq \sigma с равенством только в бинарном случае со значениями ±σ\pm \sigma. Для св YY с ненулевым средним отсюда следует, что ∣α−Y‾∣≤σ\left|\alpha -\overline{Y}\right| \leq \sigma.

Задача 1.34

Мы подчёркивали важность среднего значения св XX в связи с его отношением к выборочному среднему через ЗБЧ. Здесь мы покажем, что существует форма ЗБЧ для медианы и для всей ФР, скажем FX(x)F_{X}(x), случайной величины XX, использующая достаточно много независимых выборочных значений XX.

?
(a)

Для заданного xx пусть Ij(x)\mathbb {I}_{j}(x) — индикаторная функция события {Xj≤x}\left\{ X_{j} \leq x\right\}, где X1,X2,…,Xj,…X_{1}, X_{2}, \ldots , X_{j}, \ldots — независимые одинаково распределённые св с ФР FX(x)F_{X}(x). Сформулируйте ЗБЧ для независимых одинаково распределённых св {I1(x),I2(x),…}\left\{ \mathbb {I}_{1}(x), \mathbb {I}_{2}(x), \ldots \right\}.

(b)

Требует ли ответ в пункте (а) наличия у XX среднего значения или дисперсии?

(c)

Предложите процедуру для оценки медианы XX по выборочным значениям X1,X2,…X_{1}, X_{2}, \ldots. Предположите, что XX — непрерывная св и что её ПРВ положительна в некоторой открытой окрестности медианы. Точность не требуется, но постарайтесь тщательно продумать этот вопрос.

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

Задача 1.35
?
(a)

Покажите, что для любых целых 0<k<n0<k<n

(nk+1)≤(nk)n−kk. \binom {n}{k+1} \leq \binom {n}{k}\frac{n-k}{k}.
(b)

Обобщите (а), показав, что для всех ℓ≤n−k\ell \leq n-k

(nk+ℓ)≤(nk)[n−kk]ℓ. \binom {n}{k+\ell } \leq \binom {n}{k}\left[\frac{n-k}{k}\right]^{\ell }.
(c)

Пусть p~=k/n\widetilde{p} = k/n и q~=1−p~\widetilde{q} = 1-\widetilde{p}. Пусть SnS_{n} — сумма nn независимых одинаково распределённых бинарных св с pX(0)=q\mathsf{p}_{X}(0) = q и pX(1)=p\mathsf{p}_{X}(1) = p. Покажите, что для всех ℓ≤n−k\ell \leq n-k

pSn(k+ℓ)≤pSn(k)(q~pp~q)ℓ. \mathsf{p}_{S_{n}}(k+\ell ) \leq \mathsf{p}_{S_{n}}(k)\left(\frac{\widetilde{q}p}{\widetilde{p}q}\right)^{\ell }.
(d)

Для k/n>pk/n>p покажите, что

P(Sn≥kn)≤p~qp~−ppSn(k). \mathbb {P}\left(S_{n} \geq kn\right) \leq \frac{\widetilde{p}q}{\widetilde{p}-p}\mathsf{p}_{S_{n}}(k).
(e)

Теперь пусть ℓ\ell фиксировано, а k=⌈np~⌉k = \lceil n\widetilde{p}\rceil для фиксированного p~\widetilde{p} такого, что 1>p~>p1>\widetilde{p}>p. Обоснуйте, что при n→∞n \rightarrow \infty

pSn(k+ℓ)∼pSn(k)(q~pp~q)ℓиP(Sn≥kn)∼p~qp~−ppSn(k), \mathsf{p}_{S_{n}}(k+\ell ) \sim \mathsf{p}_{S_{n}}(k)\left(\frac{\widetilde{q}p}{\widetilde{p}q}\right)^{\ell } \qquad \text{и} \qquad \mathbb {P}\left(S_{n} \geq kn\right) \sim \frac{\widetilde{p}q}{\widetilde{p}-p}\mathsf{p}_{S_{n}}(k),

где a(n)∼b(n)a(n) \sim b(n) означает, что lim⁡n→∞a(n)/b(n)=1\lim_{n \rightarrow \infty }a(n)/b(n) = 1.

Задача 1.36

Последовательность {an;n≥1}\left\{ a_{n}; n \geq 1\right\} вещественных чисел имеет предел 0, если для всех ϵ>0\epsilon >0 существует m(ϵ)m(\epsilon ) такое, что ∣an∣≤ϵ\left|a_{n}\right| \leq \epsilon для всех n≥m(ϵ)n \geq m(\epsilon ). Покажите, что последовательности в пунктах (а) и (б) ниже удовлетворяют условию lim⁡n→∞an=0\lim_{n \rightarrow \infty }a_{n} = 0, а последовательность в пункте (в) не имеет предела.

?
(a)

an=1ln⁡(ln⁡(n+1))a_{n} = \dfrac {1}{\ln (\ln (n+1))}

(b)

an=n10exp⁡(−n)a_{n} = n^{10}\exp (-n)

(c)

an=1a_{n} = 1 при n=10ℓn = 10^{\ell } для каждого положительного целого ℓ\ell и an=0a_{n} = 0 в остальных случаях.

(d)

Покажите, что определение можно изменить (без изменения смысла), заменив ϵ\epsilon на 1/k1/k либо на 2−k2^{-k} для каждого положительного целого kk.

Задача 1.37

Представим MGF случайной величины XX в виде

gX(r)=∫−∞0erx dF(x)+∫0∞erx dF(x). \mathsf{g}_{X}(r) = \int _{-\infty }^{0}e^{rx} \, dF(x)+\int _{0}^{\infty }e^{rx} \, dF(x).

В каждой из следующих частей можете считать XX либо дискретной, либо непрерывной — как вам удобнее.

?
(a)

Покажите, что первый интеграл всегда существует (т.е. конечен) при r≥0r \geq 0, а второй интеграл всегда существует при r≤0r \leq 0.

(b)

Покажите, что если второй интеграл существует при некотором r1>0r_{1}>0, то он существует также и при всех rr из диапазона 0≤r≤r10 \leq r \leq r_{1}.

(c)

Покажите, что если первый интеграл существует при некотором r2<0r_{2}<0, то он существует также и при всех rr из диапазона r2≤r≤0r_{2} \leq r \leq 0.

(d)

Покажите, что область значений rr, при которых существует gX(r)\mathsf{g}_{X}(r), представляет собой интервал от некоторого r−≤0r_{-} \leq 0 до некоторого r+≥0r_{+} \geq 0 (интервал может включать или не включать каждую из границ, а величина любой из границ или обеих может равняться 0, ∞\infty или любой точке между ними).

(e)

Найдите пример, в котором r+=1r_{+}=1, а MGF не существует при r=1r=1. Найдите ещё один пример, в котором r+=1r_{+}=1, но MGF существует при r=1r=1.

Задача 1.38

Пусть {Xn;n≥1}\left\{ X_{n}; n \geq 1\right\} — последовательность независимых, но не одинаково распределённых случайных величин. Будем говорить, что для этой последовательности выполняется закон больших чисел в слабой форме (ЗБЧ), если при всех ϵ>0\epsilon >0

lim⁡n→∞P(∣Snn−E[Sn]n∣≥ϵ)=0где Sn=X1+X2+⋯+Xn. \lim _{n \rightarrow \infty }\mathbb {P}\left(\left|\frac{S_{n}}{n}-\frac{\mathbb {E}\left[S_{n}\right]}{n}\right| \geq \epsilon \right) = 0 \qquad \text{где } S_{n} = X_{1}+X_{2}+\cdots +X_{n}.
?
(a)

Покажите, что ЗБЧ выполняется, если существует такая константа AA, что σXn2≤A\sigma_{X_{n}}^{2} \leq A при всех nn.

(b)

Предположим, что σXn2≤An1−α\sigma_{X_{n}}^{2} \leq An^{1-\alpha } для некоторого α\alpha, 0<α<10<\alpha <1, и при всех n≥1n \geq 1. Покажите, что в этом случае ЗБЧ также выполняется.

Задача 1.39

Пусть {Xi;i≥1}\left\{ X_{i}; i \geq 1\right\} — независимые одинаково распределённые бинарные случайные величины. Пусть P(Xi=1)=δ\mathbb {P}\left(X_{i}=1\right) = \delta, P(Xi=0)=1−δ\mathbb {P}\left(X_{i}=0\right) = 1-\delta. Пусть Sn=X1+⋯+XnS_{n} = X_{1}+\cdots +X_{n}. Пусть mm — произвольное, но фиксированное положительное целое число. Подумайте! Затем вычислите следующее и объясните свои ответы:

?
(a)

lim⁡n→∞∑i : nδ−m≤i≤nδ+mP(Sn=i)\lim_{n \rightarrow \infty }\sum_{i \, : \, n\delta -m \leq i \leq n\delta +m}\mathbb {P}\left(S_{n}=i\right).

(b)

lim⁡n→∞∑i : 0≤i≤nδ+mP(Sn=i)\lim_{n \rightarrow \infty }\sum_{i \, : \, 0 \leq i \leq n\delta +m}\mathbb {P}\left(S_{n}=i\right).

(c)

lim⁡n→∞∑i : n(δ−1/m)≤i≤n(δ+1/m)P(Sn=i)\lim_{n \rightarrow \infty }\sum_{i \, : \, n(\delta -1/m) \leq i \leq n(\delta +1/m)}\mathbb {P}\left(S_{n}=i\right).

Задача 1.40

Говорят, что для последовательности {Sn;n≥1}\left\{ S_{n}; n \geq 1\right\} с нулевым средним выполняется ЗБЧ, если

lim⁡n→∞P(∣Snn∣>ϵ)=0для каждого ϵ>0. \lim _{n \rightarrow \infty }\mathbb {P}\left(\left|\frac{S_{n}}{n}\right|>\epsilon \right) = 0 \qquad \text{для каждого } \epsilon >0.

Говорят, что для {Sn;n≥1}\left\{ S_{n}; n \geq 1\right\} выполняется ЦПТ, если при некотором σ>0\sigma >0 и всех z∈Rz \in \mathbb {R}

lim⁡n→∞P(Snσn≤z)=Φ(z), \lim _{n \rightarrow \infty }\mathbb {P}\left(\frac{S_{n}}{\sigma \sqrt{n}} \leq z\right) = \Phi (z),

где Φ(z)\Phi (z) — нормальная функция распределения. Покажите, что если выполняется ЦПТ, то выполняется и ЗБЧ.

?
Примечание.
?

Примечание 1: если вы не любите рассуждения с ϵ,δ\epsilon , \delta, вам не понравится и это. Примечание 2: облегчить задачу, вероятно, поможет переформулировка утверждения ЗБЧ в следующем виде: для каждых ϵ>0,δ>0\epsilon >0, \delta >0 существует такое n(ϵ,δ)n(\epsilon , \delta ), что при каждом n≥n(ϵ,δ)n \geq n(\epsilon , \delta )

P(Snn<−ϵ)≤δиP(Snn>ϵ)≤δ. \mathbb {P}\left(\frac{S_{n}}{n}<-\epsilon \right) \leq \delta \qquad \text{и} \qquad \mathbb {P}\left(\frac{S_{n}}{n}>\epsilon \right) \leq \delta .
Задача 1.41
?
(a)

Покажите, что если X1,X2,…X_{1}, X_{2}, \ldots независимы и одинаково распределены (н.о.р.), то усечённые версии X˘1,X˘2,…\breve{X}_{1}, \breve{X}_{2}, \ldots также н.о.р.

(b)

Покажите, что каждая X˘i\breve{X}_{i} имеет конечное среднее E[X˘]\mathbb {E}\left[\breve{X}\right] и конечную дисперсию σX˘2\sigma_{\breve{X}}^{2}. Покажите, что дисперсия ограничена сверху вторым моментом относительно исходного среднего X‾\overline{X}, т.е. покажите, что σX˘2≤E[∣X˘−E[X]∣2]\sigma_{\breve{X}}^{2} \leq \mathbb {E}\left[\left|\breve{X}-\mathbb {E}\left[X\right]\right|^{2}\right].

(c)

Предположим, что X˘i\breve{X}_{i} — это XiX_{i}, усечённая до X‾±b\overline{X} \pm b. Покажите, что ∣X˘−X‾∣≤b\left|\breve{X}-\overline{X}\right| \leq b и что ∣X˘−X‾∣≤∣X−X‾∣\left|\breve{X}-\overline{X}\right| \leq \left|X-\overline{X}\right|. Используйте это, чтобы показать, что σX˘2≤bE[∣X˘−X‾∣]≤2bE[∣X∣]\sigma_{\breve{X}}^{2} \leq b\mathbb {E}\left[\left|\breve{X}-\overline{X}\right|\right] \leq 2b\mathbb {E}\left[\left|X\right|\right].

(d)

Пусть S˘n=X˘1+⋯+X˘n\breve{S}_{n} = \breve{X}_{1}+\cdots +\breve{X}_{n} и покажите, что для любого ϵ>0\epsilon >0

P(∣S˘nn−E[X˘]∣≥ϵ2)≤8bE[∣X∣]nϵ2. \mathbb {P}\left(\left|\frac{\breve{S}_{n}}{n}-\mathbb {E}\left[\breve{X}\right]\right| \geq \frac{\epsilon }{2}\right) \leq \frac{8b\mathbb {E}\left[\left|X\right|\right]}{n\epsilon ^{2}}.
(e)

Используя тот факт, что XX и X˘\breve{X} имеют одинаковую функцию распределения от X‾−b\overline{X}-b до X‾+b\overline{X}+b, вместе с E[X−X˘]=−∫−∞X‾−bFX(x) dx+∫X‾+b∞Fc(x) dx\mathbb {E}\left[X-\breve{X}\right] = -\int_{-\infty }^{\overline{X}-b}F_{X}(x) \, dx+\int_{\overline{X}+b}^{\infty }F^{c}(x) \, dx, покажите, что для всех достаточно больших bb выполняется ∣E[X−X˘]∣≤ϵ/2\left|\mathbb {E}\left[X-\breve{X}\right]\right| \leq \epsilon /2. Используйте это, чтобы показать, что

P(∣S˘nn−E[X]∣≥ϵ)≤8bE[∣X∣]nϵ2для всех достаточно больших b. \mathbb {P}\left(\left|\frac{\breve{S}_{n}}{n}-\mathbb {E}\left[X\right]\right| \geq \epsilon \right) \leq \frac{8b\mathbb {E}\left[\left|X\right|\right]}{n\epsilon ^{2}} \qquad \text{для всех достаточно больших } b.
(f)

Используйте следующее равенство, чтобы обосновать применение метода усечения, а именно то, что Sn/nS_{n}/n и S˘n/n\breve{S}_{n}/n имеют одинаковое предельное поведение.

P(∣Snn−E[X]∣>ϵ)=P({∣Snn−E[X]∣>ϵ}∩{Sn=S˘n})+P({∣Snn−E[X]∣>ϵ}∩{Sn≠S˘n}). \begin{aligned} \mathbb {P}\left(\left|\frac{S_{n}}{n}-\mathbb {E}\left[X\right]\right|>\epsilon \right) & = \mathbb {P}\left(\left\{ \left|\frac{S_{n}}{n}-\mathbb {E}\left[X\right]\right|>\epsilon \right\} \cap \left\{ S_{n}=\breve{S}_{n}\right\} \right) \\ & \quad +\mathbb {P}\left(\left\{ \left|\frac{S_{n}}{n}-\mathbb {E}\left[X\right]\right|>\epsilon \right\} \cap \left\{ S_{n} \neq \breve{S}_{n}\right\} \right). \end{aligned}
Задача 1.42

Пусть {Xi;i≥1}\left\{ X_{i}; i \geq 1\right\} — н.о.р. случайные величины с нулевым средним и бесконечной дисперсией. Предположим, что E[∣Xi∣1+h]=β\mathbb {E}\left[\left|X_{i}\right|^{1+h}\right] = \beta для некоторого заданного hh, 0<h<10<h<1, и некоторого конечного β\beta. Пусть Sn=X1+⋯+XnS_{n} = X_{1}+\cdots +X_{n}.

?
(a)

Покажите, что P(∣Xi∣≥y)≤βy−1−h\mathbb {P}\left(\left|X_{i}\right| \geq y\right) \leq \beta y^{-1-h}.

(b)

Пусть {X˘i;i≥1}\left\{ \breve{X}_{i}; i \geq 1\right\} — усечённые случайные величины, определённые как

X˘i={b:Xi≥b,Xi:−b≤Xi≤b,−b:Xi≤−b. \breve{X}_{i} = \begin{cases} b & : X_{i} \geq b, \\ X_{i} & : -b \leq X_{i} \leq b, \\ -b & : X_{i} \leq -b. \end{cases}

Покажите, что E[X˘2]≤2βb1−h/(1−h)\mathbb {E}\left[\breve{X}^{2}\right] \leq 2\beta b^{1-h}/(1-h).

(c)

Пусть S˘n=X˘1+⋯+X˘n\breve{S}_{n} = \breve{X}_{1}+\cdots +\breve{X}_{n}. Покажите, что P(Sn≠S˘n)≤nβb−1−h\mathbb {P}\left(S_{n} \neq \breve{S}_{n}\right) \leq n\beta b^{-1-h}.

(d)

Покажите, что

P(∣Snn∣≥ϵ)≤β[2b1−h(1−h)nϵ2+nb1+h]. \mathbb {P}\left(\left|\frac{S_{n}}{n}\right| \geq \epsilon \right) \leq \beta \left[\frac{2b^{1-h}}{(1-h)n\epsilon ^{2}}+\frac{n}{b^{1+h}}\right].
(e)

Оптимизируйте свою оценку по bb. Насколько быстро эта оптимизированная оценка стремится к 0 с ростом nn?

Задача 1.43

Предположим, что {Zn;n≥1}\left\{ Z_{n}; n \geq 1\right\} — последовательность случайных величин, а α\alpha — число, обладающее тем свойством, что lim⁡n→∞E[(Zn−α)2]=0\lim_{n \rightarrow \infty }\mathbb {E}\left[(Z_{n}-\alpha )^{2}\right] = 0.

?
(a)

Пусть ϵ>0\epsilon >0 произвольно, и покажите, что для каждого n≥0n \geq 0

P(∣Zn−α∣≥ϵ)≤E[(Zn−α)2]ϵ2. \mathbb {P}\left(\left|Z_{n}-\alpha \right| \geq \epsilon \right) \leq \frac{\mathbb {E}\left[(Z_{n}-\alpha )^{2}\right]}{\epsilon ^{2}}.
(b)

Для указанного выше ϵ\epsilon пусть δ>0\delta >0 произвольно. Покажите, что существует целое число mm такое, что E[(Zn−α)2]≤ϵ2δ\mathbb {E}\left[(Z_{n}-\alpha )^{2}\right] \leq \epsilon^{2}\delta для всех n≥mn \geq m.

(c)

Покажите, что отсюда следует сходимость по вероятности.

Задача 1.44

Пусть X1,X2…X_{1}, X_{2}\ldots — последовательность н.о.р. случайных величин, каждая со средним 0 и дисперсией σ2\sigma^{2}. Пусть Sn=X1+⋯+XnS_{n} = X_{1}+\cdots +X_{n} для всех nn, и рассмотрим случайную величину Sn/σn−S2n/σ2nS_{n}/\sigma \sqrt{n}-S_{2n}/\sigma \sqrt{2n}. Найдите предельную функцию распределения для этой последовательности случайных величин при n→∞n \rightarrow \infty. Смысл этого упражнения — ясно увидеть, что функция распределения величины Sn/σn−S2n/σ2nS_{n}/\sigma \sqrt{n}-S_{2n}/\sigma \sqrt{2n} сходится при росте nn, но что сама последовательность случайных величин не сходится ни в каком разумном смысле.

?
Задача 1.45

Проверьте, что lim⁡y→∞yP(Y≥y)=0\lim_{y \rightarrow \infty }y\mathbb {P}\left(Y \geq y\right) = 0, если Y≥0Y \geq 0 и Y‾<∞\overline{Y}<\infty.

?
Задача 1.46

Покажите, что ∏m≥n(1−1/m)=0\prod_{m \geq n}(1-1/m) = 0.

?
Задача 1.47

Рассмотрим дискретную случайную величину XX с ПМФ

pX(−1)=(1−10−10)/2,pX(1)=(1−10−10)/2,pX(1012)=10−10. \begin{aligned} \mathsf{p}_{X}(-1) & = (1-10^{-10})/2, \\ \mathsf{p}_{X}(1) & = (1-10^{-10})/2, \\ \mathsf{p}_{X}(10^{12}) & = 10^{-10}. \end{aligned}
?
(a)

Найдите среднее значение и дисперсию XX. Предполагая, что {Xm;m≥1}\left\{ X_{m}; m \geq 1\right\} — это НОРС-последовательность с распределением XX и что Sn=X1+⋯+XnS_{n} = X_{1}+\cdots +X_{n} для каждого nn, найдите среднее значение и дисперсию SnS_{n}. (Пояснений не требуется.)

(b)

Пусть n=106n = 10^{6}; опишите словами событие {Sn≤106}\left\{ S_{n} \leq 10^{6}\right\}. Найдите точное выражение для P(Sn≤106)=FSn(106)\mathbb {P}\left(S_{n} \leq 10^{6}\right) = F_{S_{n}}(10^{6}).

(c)

Найдите способ использовать оценку объединения, чтобы получить простую верхнюю оценку и приближение для 1−FSn(106)1-F_{S_{n}}(10^{6}).

(d)

Изобразите набросок ФРВ для SnS_{n} при n=106n = 10^{6}. Вы можете выбрать горизонтальную ось для своего наброска так, чтобы она шла от −1-1 до +1+1, или от −3×103-3 \times 10^{3} до 3×1033 \times 10^{3}, или от −106-10^{6} до 10610^{6}, или от 0 до 101210^{12} — в зависимости от того, что, по вашему мнению, лучше всего описывает эту ФРВ.

(e)

Теперь пусть n=1010n = 10^{10}. Приведите точное выражение для P(Sn≤1010)\mathbb {P}\left(S_{n} \leq 10^{10}\right) и покажите, что его можно приблизить величиной e−1e^{-1}. Изобразите набросок ФРВ для SnS_{n} при n=1010n = 10^{10}, используя горизонтальную ось, идущую от значения чуть ниже 0 до значения чуть больше 2×10122 \times 10^{12}.

(f)

Можете ли вы сделать качественное утверждение о том, как ФРВ случайной величины XX влияет на требуемый размер nn, прежде чем СЗБЧ и ЦПТ начнут давать сколько-нибудь заметное представление о SnS_{n}.

Задача 1.48

Пусть {Yn;n≥1}\left\{ Y_{n}; n \geq 1\right\} — последовательность случайных величин, и предположим, что lim⁡n→∞E[∣Yn∣]=0\lim_{n \rightarrow \infty }\mathbb {E}\left[\left|Y_{n}\right|\right] = 0. Покажите, что {Yn;n≥1}\left\{ Y_{n}; n \geq 1\right\} сходится к 0 по вероятности.

?