12

Вероятностные меры

[17/0%]
Показать
LaTeX
Задача 12.1

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и AFA \in \mathcal{F}. Докажите, что события AA и Ω\A\Omega \backslash A независимы тогда и только тогда, когда P(A)=0\mathbb {P}\left(A\right) = 0 или P(A)=1\mathbb {P}\left(A\right) = 1.

?
Задача 12.2

Пусть P\mathbb {P} — мера Лебега на [0,1][0,1]. Приведите пример двух непересекающихся борелевских подмножеств AA и BB множества [0,1][0,1], таких что P(A)=P(B)=12,[0,12]\mathbb {P}\left(A\right) = \mathbb {P}\left(B\right) = \frac{1}{2},\left[0, \frac{1}{2}\right] и AA независимы, а [0,12]\left[0, \frac{1}{2}\right] и BB независимы.

?
Задача 12.3

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и A,BFA, B \in \mathcal{F}. Докажите, что следующие условия эквивалентны:

?
(a)

AA и BB — независимые события.

(b)

AA и Ω\B\Omega \backslash B — независимые события.

(c)

Ω\A\Omega \backslash A и BB — независимые события.

(d)

Ω\A\Omega \backslash A и Ω\B\Omega \backslash B — независимые события.

Задача 12.4

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и {Ak}kΓ\left\{ A_{k}\right\}_{k \in \Gamma } — семейство событий. Докажите, что семейство {Ak}kΓ\left\{ A_{k}\right\}_{k \in \Gamma } независимо тогда и только тогда, когда семейство {Ω\Ak}kΓ\left\{ \Omega \backslash A_{k}\right\}_{k \in \Gamma } независимо.

?
Задача 12.5

Приведите пример вероятностного пространства (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) и событий A,B1,B2A, B_{1}, B_{2}, таких что AA и B1B_{1} независимы, AA и B2B_{2} независимы, но AA и B1B2B_{1} \cup B_{2} не являются независимыми.

?
Задача 12.6

Приведите пример вероятностного пространства (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) и событий A1,A2,A3A_{1}, A_{2}, A_{3}, таких что A1A_{1} и A2A_{2} независимы, A1A_{1} и A3A_{3} независимы, и A2A_{2} и A3A_{3} независимы, но семейство A1,A2,A3A_{1}, A_{2}, A_{3} не является независимым.

?
Задача 12.7

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство, AFA \in \mathcal{F} и B1B2B_{1} \subseteq B_{2} \subseteq \cdots — возрастающая последовательность событий, такая что AA и BnB_{n} независимы для каждого nNn \in \mathbb {N}. Покажите, что AA и n=1Bn\bigcup_{n = 1}^{\infty } B_{n} независимы.

?
Задача 12.8

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и {At}tR\left\{ A_{t}\right\}_{t \in \mathbb {R}} — независимое семейство событий, такое что P(At)<1\mathbb {P}\left(A_{t}\right) < 1 для каждого tRt \in \mathbb {R}. Докажите, что существует последовательность t1,t2,t_{1}, t_{2}, \ldots в R\mathbb {R}, такая что P(n=1Atn)=0\mathbb {P}\left(\bigcap_{n = 1}^{\infty } A_{t_{n}}\right) = 0.

?
Задача 12.9

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и B1,,BnFB_{1}, \ldots , B_{n} \in \mathcal{F} такие, что P(B1Bn)>0\mathbb {P}\left(B_{1} \cap \cdots \cap B_{n}\right) > 0. Докажите, что P(AB1Bn)=P(B1)PB1(B2)PB1Bn1(Bn)PB1Bn(A)\mathbb {P}\left(A \cap B_{1} \cap \cdots \cap B_{n}\right) = \mathbb {P}\left(B_{1}\right) \cdot \mathbb {P}_{B_{1}}\left(B_{2}\right) \cdots \mathbb {P}_{B_{1} \cap \cdots \cap B_{n-1}}\left(B_{n}\right) \cdot \mathbb {P}_{B_{1} \cap \cdots \cap B_{n}}\left(A\right) для каждого события AFA \in \mathcal{F}.

?
Задача 12.10

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и AFA \in \mathcal{F} — событие, такое что 0<P(A)<10 < \mathbb {P}\left(A\right) < 1. Докажите, что

P(B)=PA(B)P(A)+PΩ\A(B)P(Ω\A) \mathbb {P}\left(B\right) = \mathbb {P}_{A}\left(B\right) \cdot \mathbb {P}\left(A\right)+\mathbb {P}_{\Omega \backslash A}\left(B\right) \cdot \mathbb {P}\left(\Omega \backslash A\right)

для каждого события BFB \in \mathcal{F}.

?
Задача 12.11

Приведите пример вероятностного пространства (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) и X,YL2(P)X, Y \in \mathcal{L}^{2}(P), таких что Var[X+Y]=Var[X]+Var[Y]\operatorname {Var}\left[X+Y\right] = \operatorname {Var}\left[X\right]+\operatorname {Var}\left[Y\right], но XX и YY не являются независимыми случайными величинами.

?
Задача 12.12

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) и (Ω,F,P)\left(\Omega^{\prime }, \mathcal{F}^{\prime }, \mathbb {P}^{\prime }\right) — вероятностные пространства, XX — случайная величина на Ω\Omega, YY — случайная величина на Ω\Omega^{\prime }, и X~=Y~\widetilde{X} = \widetilde{Y}. Докажите, что PX=PY\mathbb {P}_{X} = \mathbb {P}_{Y}^{\prime }.

?
Задача 12.13

Пусть H:R(0,1)H: \mathbb {R} \rightarrow (0,1) — непрерывная взаимно однозначная функция, удовлетворяющая условиям (a)–(d) из 12.29. Покажите, что функция X:(0,1)RX:(0,1) \rightarrow \mathbb {R}, построенная в доказательстве 12.29, является обратной функцией к HH.

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

Теорема 12.29 (характеризация функций распределения): пусть H:R[0,1]H: \mathbb {R} \rightarrow [0,1] — функция. Тогда существуют вероятностное пространство (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) и случайная величина XX на (Ω,F)(\Omega , \mathcal{F}) такие, что H=X~H = \widetilde{X}, тогда и только тогда, когда выполняются все следующие условия:

  1. s<tH(s)H(t)s < t \Rightarrow H(s) \leq H(t) (то есть HH — возрастающая функция);

  2. limtH(t)=0\lim_{t \rightarrow -\infty } H(t) = 0;

  3. limtH(t)=1\lim_{t \rightarrow \infty } H(t) = 1;

  4. limtsH(t)=H(s)\lim_{t \downarrow s} H(t) = H(s) для каждого sRs \in \mathbb {R} (то есть HH непрерывна справа). В доказательстве направления "если" функция XX строится так: Ω=(0,1)\Omega = (0,1), F\mathcal{F} — борелевские подмножества (0,1)(0,1), P\mathbb {P} — мера Лебега на F\mathcal{F}, и X(ω)=sup{tR:H(t)<ω}X(\omega ) = \sup \left\{ t \in \mathbb {R} : H(t) < \omega \right\} для ω(0,1)\omega \in (0,1).

Задача 12.14

Пусть (Ω,F,P)(\Omega , \mathcal{F}, \mathbb {P}) — вероятностное пространство и XX — случайная величина. Докажите, что следующие условия эквивалентны:

?
(a)

X~\widetilde{X} — непрерывная функция на R\mathbb {R}.

(b)

X~\widetilde{X} — равномерно непрерывная функция на R\mathbb {R}.

(c)

P(X=t)=0\mathbb {P}\left(X = t\right) = 0 для каждого tRt \in \mathbb {R}.

(d)

(X~X)(s)=s(\widetilde{X} \circ X)^{\sim }(s) = s для всех s[0,1]s \in [0,1].

Задача 12.15

Пусть α>0\alpha > 0 и h(x)={0 если x<0,α2xeαx если x0.h(x) = \begin{cases} 0 & \text{ если } x < 0, \\ \alpha^{2} x e^{-\alpha x} & \text{ если } x \geq 0.\end{cases} Пусть P=hdλ\mathbb {P} = h d \lambda и пусть XX — случайная величина, определённая формулой X(x)=xX(x) = x для xRx \in \mathbb {R}.

?
(a)

Проверьте, что hdλ=1\int_{-\infty }^{\infty } h d \lambda = 1.

(b)

Найдите формулу для функции распределения X~\widetilde{X}.

(c)

Найдите формулу (через α\alpha) для E[X]\mathbb {E}\left[X\right].

(d)

Найдите формулу (через α\alpha) для σ(X)\sigma (X).

Задача 12.16

Пусть B\mathcal{B}σ\sigma-алгебра борелевских подмножеств [0,1)[0,1) и P\mathbb {P} — мера Лебега на ([0,1),B)([0,1), \mathcal{B}). Пусть {ek}kN\left\{ e_{k}\right\}_{k \in \mathbb {N}} — семейство функций, определённых в четвёртом пункте примера 8.51 (заметим, что k=0k = 0 исключено). Покажите, что семейство {ek}kN\left\{ e_{k}\right\}_{k \in \mathbb {N}} является н.о.р.

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

Пример 8.51 (четвёртый пункт): для неотрицательного целого kk определим ek:[0,1)Fe_{k}: [0,1) \rightarrow \mathbf{F} (функцию Радемахера) формулой ek(x)=1e_{k}(x) = 1, если x[n12k,n2k]x \in \left[\frac{n-1}{2^{k}}, \frac{n}{2^{k}}\right] для некоторого нечётного nn, и ek(x)=1e_{k}(x) = -1, если xx лежит в таком промежутке для некоторого чётного nn.

Задача 12.17

Пусть B\mathcal{B}σ\sigma-алгебра борелевских подмножеств (π,π](-\pi , \pi ] и P\mathbb {P} — мера Лебега на ((π,π],B)((-\pi , \pi ], \mathcal{B}), делённая на 2π2 \pi. Пусть {ek}kZ\{0}\left\{ e_{k}\right\}_{k \in \mathbb {Z} \backslash \left\{ 0\right\} } — семейство тригонометрических функций, определённых в третьем пункте примера 8.51 (заметим, что k=0k = 0 исключено).

?
(a)

Покажите, что {ek}kZ\{0}\left\{ e_{k}\right\}_{k \in \mathbb {Z} \backslash \left\{ 0\right\} } не является независимым семейством случайных величин.

(b)

Покажите, что {ek}kZ\{0}\left\{ e_{k}\right\}_{k \in \mathbb {Z} \backslash \left\{ 0\right\} } является одинаково распределённым семейством.

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

Пример 8.51 (третий пункт): для kZk \in \mathbb {Z} определим ek:(π,π]Re_{k}: (-\pi , \pi ] \rightarrow \mathbb {R} формулой

ek(t)={1πsin(kt)если k>0,12πесли k=0,1πcos(kt)если k<0. e_{k}(t) = \begin{cases} \frac{1}{\sqrt{\pi }} \sin (kt) & \text{если } k > 0, \\ \frac{1}{\sqrt{2\pi }} & \text{если } k = 0, \\ \frac{1}{\sqrt{\pi }} \cos (kt) & \text{если } k < 0.\end{cases}