7

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

[42/67%]
Показать
LaTeX
Задача 7.1

На вероятностном пространстве (Ω,A,P\Omega , \mathscr {A}, \mathbb {P}), где Ω=[0,1]\Omega = [0,1], A\mathscr {A} — σ\sigma-алгебра борелевских подмножеств, P\mathbb {P} — мера Лебега, задана случайная величина ξ\xi. Пусть B\mathscr {B} — σ\sigma-алгебра, порожденная множествами [0,1/3),{1/3}[0,1 / 3),\left\{ 1 / 3\right\} и (1/3,1/2)(1 / 3,1 / 2). Найти E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B} \right], если

?
(а)

ξ=ω\xi = \omega;

(б)

ξ=sin⁡πω\xi = \sin \pi \omega;

(в)

ξ=ω2\xi = \omega^{2};

(г)

ξ=1−ω\xi = 1-\omega;

(д)

ξ={1,ω∈[0,1/3],2,ω∈(1/3,1].\xi = \begin{cases} 1, & \omega \in [0,1 / 3], \\ 2, & \omega \in (1 / 3,1] . \end{cases}

Задача 7.2

В условиях предыдущей задачи найти функцию распределения случайной величины E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B} \right].

?
(а)
(б)
(в)
(г)
(д)
Задача 7.3

На вероятностном пространстве (Ω,A,P\Omega , \mathscr {A}, \mathbb {P}), где Ω=[0,1]\Omega = [0,1], A\mathscr {A} — σ\sigma-алгебра борелевских подмножеств, P\mathbb {P} — мера Лебега, задана случайная величина ξ=ω\xi = \omega. Найти E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B} \right], если:

?
(а)

B\mathscr {B} — σ\sigma-алгебра всех борелевских подмножеств отрезка [0,1][0,1], симметричных относительно точки 1/21 / 2;

(б)

B\mathscr {B} — σ\sigma-алгебра, порожденная миожествами [0,1/3],[1/3,2/3][0,1 / 3],[1 / 3,2 / 3];

(в)

B\mathscr {B} — σ\sigma-алгебра, порожденная случайной величиной η=min⁡{2ω,1}\eta = \min \left\{ 2 \omega , 1\right\}.

Задача 7.4

Пусть ξ\xi и η\eta — независимые случайные величины. Найти Var⁡[E[ξη∣ξ]]\operatorname {Var}\left[\mathbb {E}\left[ \xi \eta \mid \xi \right]\right], если:

?
(а)

ξ\xi равномерно распределена на отрезке [0,1][0,1], а η\eta имеет нормальное распределение с параметрами aa и σ2\sigma^{2};

(б)

ξ\xi и η\eta имеют показательное распределение с параметрами λ\lambda и μ\mu соответственно.

Задача 7.5

Пусть случайная величина ξ\xi принимает не более nn значений. Верно ли, что E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B} \right] также принимает не более nn значений?

?
Задача 7.6

Доказать, что если все события σ\sigma-алгебры B\mathscr {B} имеют вероятность 0 или 1 , то с вероятностью 1

E[ξ∣B]=E[ξ]. \mathbb {E}\left[ \xi \mid \mathscr {B} \right] = \mathbb {E}\left[\xi \right] .
?
Задача 7.7

Пусть ξ\xi — случайная величина и φ(x)\varphi (x) — борелевская функция, такая, что E[φ(ξ)]\mathbb {E}\left[\varphi (\xi )\right] существует. Доказать, что

E[φ(ξ)∣ξ]=φ(ξ). \mathbb {E}\left[ \varphi (\xi ) \mid \xi \right] = \varphi (\xi ) .
?
Задача 7.8

Доказать, что если σ\sigma-алгебры B1\mathscr {B}_{1} и B2\mathscr {B}_{2} независимы, то для любых ξ\xi и η\eta случайные величины E[ξ∣B1]\mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \right] и E[η∣B2]\mathbb {E}\left[ \eta \mid \mathscr {B}_{2} \right] независимы.

?
Задача 7.9

Пусть B1\mathscr {B}_{1} и B2\mathscr {B}_{2} — независимые σ\sigma-алгебры. Доказать, что для любой случайной величины ξ\xi, имеющей математическое ожидание, с вероятностью 1

E[ξ∣B1∩B2]=E[ξ]. \mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \cap \mathscr {B}_{2} \right] = \mathbb {E}\left[\xi \right] .
?
Задача 7.10

Пусть на вероятностном пространстве (Ω,A,P\Omega , \mathscr {A}, \mathbb {P}), где Ω\Omega — отрезок [0,1],A[0,1], \mathscr {A} — σ\sigma-алгебра борелевских подмножеств Ω,P\Omega , \mathbb {P} — мера Лебега, задана случайная величина η=ω\eta = \omega. Доказать, что для любой случайной величины ξ\xi с вероятностью 1E[ξ∣η]=ξ1 \quad \mathbb {E}\left[ \xi \mid \eta \right] = \xi.

?
Задача 7.11

Обязана ли случайная величина E[ξ∣η]\mathbb {E}\left[ \xi \mid \eta \right] быть измеримой относительно σ\sigma-алгебры, порожденной случайной величиной ξ\xi ?

?
Задача 7.12

Пусть ξ\xi и η\eta — случайные величины с конечным математическим ожиданием. Доказать, что если существует случайная величина ζ\zeta такая, что E[ξ∣ζ]=η\mathbb {E}\left[ \xi \mid \zeta \right] = \eta, то E[ξ]=E[η]\mathbb {E}\left[\xi \right] = \mathbb {E}\left[\eta \right]. Верно ли обратное, т. е. следует ли из равенства E[ξ]=E[η]\mathbb {E}\left[\xi \right] = \mathbb {E}\left[\eta \right], существование ζ\zeta такой, что E[ξ∣ζ]=η\mathbb {E}\left[ \xi \mid \zeta \right] = \eta ?

?
Задача 7.13

Пусть ξ\xi и η\eta — независимые одинаково распределенные случайные величины с конечным математическим ожиданием. Доказать, что случайные величины E[ξ∣ξ+η]\mathbb {E}\left[ \xi \mid \xi +\eta \right] и E[η∣ξ+η]\mathbb {E}\left[ \eta \mid \xi +\eta \right] одинаково распределены. В каком случае они будут независимы?

?
Задача 7.14

Доказать, что в условиях предыдущей задачи

E[ξ∣ξ+η]=E[η∣ξ+η] п. н.  \mathbb {E}\left[ \xi \mid \xi +\eta \right] = \mathbb {E}\left[ \eta \mid \xi +\eta \right] \quad \text{ п. н. }
?
Задача 7.15

Пусть ξ\xi и η\eta — независимые одинаково распределенные случайные величины с конечным математическим ожиданием. Доказать, что

E[ξ∣ξ+η]=E[η∣ξ+η]=ξ+η2 п. н.  \mathbb {E}\left[ \xi \mid \xi +\eta \right] = \mathbb {E}\left[ \eta \mid \xi +\eta \right] = \frac{\xi +\eta }{2} \text{ п. н. }
?
Задача 7.16

Пусть B1,B2,…\mathscr {B}_{1}, \mathscr {B}_{2}, \ldots — невозрастающая последовательность σ\sigma-алгебр, ξ\xi — случайная величина. Найти

E[E[…E[ξ∣B1]][B2]…∣Bn]. \mathbb {E}\left[ \mathbb {E}\left[\ldots \mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \right]\right][\mathscr {B}_{2}] \ldots \mid \mathscr {B}_{n} \right] .
?
Задача 7.17

Пусть B1,B2,…\mathscr {B}_{1}, \mathscr {B}_{2}, \ldots — неубывающая последовательность σ\sigma-алгебр, ξ\xi — случайная величина. Найти

E[E[…E[ξ∣B1]][B2]…∣Bn]. \mathbb {E}\left[ \mathbb {E}\left[\ldots \mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \right]\right][\mathscr {B}_{2}] \ldots \mid \mathscr {B}_{n} \right] .
?
Задача 7.18

Пусть ξ\xi и η\eta — случайные величины с конечными математическими ожиданиями. Доказать, что если с вероятностью 1 E[ξ∣η]=η\mathbb {E}\left[ \xi \mid \eta \right] = \eta и E[η∣ξ]=ξ\mathbb {E}\left[ \eta \mid \xi \right] = \xi, то ξ=η\xi = \eta п. I.

?
Задача 7.19

Пусть ξ\xi — случайная величина с математическим ожиданием a,B1a, \mathscr {B}_{1} и B2\mathscr {B}_{2} — независимые σ\sigma-алгебры, ξ1=E[ξ∣B1],ξ2=E[ξ1∣B2]\xi_{1} = \mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \right], \quad \xi_{2} = \mathbb {E}\left[ \xi_{1} \mid \mathscr {B}_{2} \right]. Найти распределение ξ2\xi_{2}.

?
Задача 7.20

Пусть ξ1,…,ξn\xi_{1}, \ldots , \xi_{n} — независимые одинаково распределенные случайные величины с конечным математическим ожиданием, ηn=ξ1+…+ξn\eta_{n} = \xi_{1}+\ldots +\xi_{n}. Доказать, что

E[ξ1∣ηn,ηn+1,…]=ηn∣n \mathbb {E}\left[ \xi _{1} \mid \eta _{n}, \eta _{n+1}, \ldots \right] = \eta _{n} \mid n

с вероятностью единица.

?
Задача 7.21

(неравенство Иенсена) Пусть φ(x)\varphi (x) — выпуклая функция, ξ\xi — случайная величина, такая, что E[∣φ(ξ)∣]<∞\mathbb {E}\left[\left|\varphi (\xi )\right|\right] < \infty. Доказать, что

E[φ(ξ)∣B]⩾φ(E[ξ∣B]). \mathbb {E}\left[ \varphi (\xi ) \mid \mathscr {B} \right] \geqslant \varphi (\mathbb {E}\left[ \xi \mid \mathscr {B} \right]) .
?
Задача 7.22

Доказать, что Var⁡[E[ξ∣B]]⩽Var⁡[ξ]\operatorname {Var}\left[\mathbb {E}\left[ \xi \mid \mathscr {B} \right]\right] \leqslant \operatorname {Var}\left[\xi \right].

?
Задача 7.23

Пусть 0<α⩽1,0<β⩽1,α+β⩽1,ξ0 < \alpha \leqslant 1,0 < \beta \leqslant 1, \alpha +\beta \leqslant 1, \xi и η\eta — случайные величины с конечными математическими ожиданиями. Доказать, что

E[∣ξ∣α∣η∣β∣B]⩽[E[∣ξ∣∣B]]α[E[∣η∣∣B]]β. \mathbb {E}\left[ \left|\xi \right|^{\alpha }\left|\eta \right|^{\beta } \mid \mathscr {B} \right] \leqslant [\mathbb {E}\left[ \left|\xi \right| \mid \mathscr {B} \right]]^{\alpha }[\mathbb {E}\left[ \left|\eta \right| \mid \mathscr {B} \right]]^{\beta } .
?
Задача 7.24

Пусть ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots — последовательность независимых случайных величин, η\eta — случайная величина с конечной дисперсией, a=E[η]a = \mathbb {E}\left[\eta \right]. Доказать, что

1n(E[η∣ξ1]+…+E[η∣ξn])→Pa \frac{1}{n}\left(\mathbb {E}\left[ \eta \mid \xi _{1} \right]+\ldots +\mathbb {E}\left[ \eta \mid \xi _{n} \right]\right) \xrightarrow {\mathbb {P}} a

при n→∞n \rightarrow \infty.

?
Задача 7.25

Справедливо ли следующее утверждение: если ξn→ξ\xi_{n} \rightarrow \xi п. п., то для любой случайной величины η\eta

E[η∣ξn]→PE[η∣ξ]? \mathbb {E}\left[ \eta \mid \xi _{n} \right] \xrightarrow {\mathbb {P}} \mathbb {E}\left[ \eta \mid \xi \right] ?
?
Задача 7.26

Пусть ξ1,ξ2,…\xi_{1}, \xi_{2}, \ldots — последовательность случайных величин, B\mathscr {B} — σ\sigma-алгебра. Доказать, что если для некоторого p⩾1p \geqslant 1 E[∣ξn−ξ∣p]→0\mathbb {E}\left[\left|\xi_{n}-\xi \right|^{p}\right] \rightarrow 0 при n→∞n \rightarrow \infty, то

E[∣E[ξn∣B]−E[ξ∣B]∣p]→0. \mathbb {E}\left[\left|\mathbb {E}\left[ \xi _{n} \mid \mathscr {B} \right]-\mathbb {E}\left[ \xi \mid \mathscr {B} \right]\right|^{p}\right] \rightarrow 0.
?
Задача 7.27

Пусть B1,B2,…\mathscr {B}_{1}, \mathscr {B}_{2}, \ldots — последовательность, σ\sigma-алгебр, ξ\xi и η\eta случайные величины с конечными математическими ожиданиями. Доказать, что если E[ξ∣Bn]→η\mathbb {E}\left[ \xi \mid \mathscr {B}_{n} \right] \rightarrow \eta п. п. при n→∞n \rightarrow \infty, то E[ξ∣B]=E[η∣B]\mathbb {E}\left[ \xi \mid \mathscr {B} \right] = \mathbb {E}\left[ \eta \mid \mathscr {B} \right] п. п., где B=⋂n=1∞Bn\mathscr {B} = \bigcap_{n = 1}^{\infty } \mathscr {B}_{n}.

?
Задача 7.28

Пусть ξ\xi и η\eta — случайные величины с конечными математическими ожиданиями. Доказать, что если существует последовательность случайных величин ζ1,ζ2,…\zeta_{1}, \zeta_{2}, \ldots такая, что E[ξ∣ζn]→η\mathbb {E}\left[ \xi \mid \zeta_{n} \right] \rightarrow \eta п. п. при n→∞n \rightarrow \infty, то E[ξ]=E[η]\mathbb {E}\left[\xi \right] = \mathbb {E}\left[\eta \right].

?
Задача 7.29

Пусть B1⊂B2⊂…\mathscr {B}_{1} \subset \mathscr {B}_{2} \subset \ldots — неубывающая последовательность σ\sigma-алгебр, ξ\xi — случайная величина с конечным математическим ожиданием. Доказать, что для любого ε>0\varepsilon > 0

P(sup⁡1⩽k⩽n∣E[ξ∣Bk]∣>ε)⩽E[∣ξ∣]ε. \mathbb {P}\left(\sup _{1 \leqslant k \leqslant n}\left|\mathbb {E}\left[ \xi \mid \mathscr {B}_{k} \right]\right| > \varepsilon \right) \leqslant \frac{\mathbb {E}\left[\left|\xi \right|\right]}{\varepsilon } .
?
Задача 7.30

Пусть B1⊂B2⊂…\mathscr {B}_{1} \subset \mathscr {B}_{2} \subset \ldots — неубывающая последовательность σ\sigma-алгебр,

B=σ(⋃n=1∞Bn), \mathscr {B} = \sigma \left(\bigcup _{n = 1}^{\infty } \mathscr {B}_{n}\right),

ξ\xi — случайная величина с конечным математическим ожиданием. Доказать, что E[ξ∣Bn]→E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B}_{n} \right] \rightarrow \mathbb {E}\left[ \xi \mid \mathscr {B} \right] п. н.

?
Задача 7.31

Пусть B1⊃B2⊃…\mathscr {B}_{1} \supset \mathscr {B}_{2} \supset \ldots — невозрастающая последовательность бб-алгебр,

B=⋂n=1∞Bn, \mathscr {B} = \bigcap _{n = 1}^{\infty } \mathscr {B}_{n},

ξ\xi — случайная величина с конечным математическим ожиданием. Доказать, что E[ξ∣Bn]→E[ξ∣B]\mathbb {E}\left[ \xi \mid \mathscr {B}_{n} \right] \rightarrow \mathbb {E}\left[ \xi \mid \mathscr {B} \right] п. н.

?
Задача 7.32

Пусть B1,B2,…\mathscr {B}_{1}, \mathscr {B}_{2}, \ldots — последовательность σ\sigma-алгебр, ξ\xi — случайная величина с конечным математическим ожиданием. Доказать, что последовательность E[ξ∣B1],E[ξ∣B2],…\mathbb {E}\left[ \xi \mid \mathscr {B}_{1} \right], \mathbb {E}\left[ \xi \mid \mathscr {B}_{2} \right], \ldots равномерно интегрируема.

?
Задача 7.33

Доказать, что случайная велнчнна ξ\xi и σ\sigma-алгебра B\mathscr {B} независимы тогда и только тогда, когда для любой борелевской функции φ(x)\varphi (x), такой, что E[∣φ(ξ)∣]<∞\mathbb {E}\left[\left|\varphi (\xi )\right|\right] < \infty, выполнено равенство

E[φ(ξ)∣B]=E[φ(ξ)]. \mathbb {E}\left[ \varphi (\xi ) \mid \mathscr {B} \right] = \mathbb {E}\left[\varphi (\xi )\right] .
?
Задача 7.34

Пусть (Ω,A,P\Omega , \mathscr {A}, \mathbb {P}) — вероятностное пространство, B\mathscr {B} — σ\sigma-алгебра, B⊂A\mathscr {B} \subset \mathscr {A}. Доказать, что для любого события AA

P(A)=∫ΩP(A∣B)P(dω) \mathbb {P}\left(A\right) = \int _{\Omega } \mathbb {P}\left( A \mid \mathscr {B} \right) \mathbb {P}(d \omega )
?
Задача 7.35

Доказать, что любые две случайные величины, определеппые на вероятностном пространстве (Ω,A,P\Omega , \mathscr {A}, P), условно независимы относительно σ\sigma-алгебры A\mathscr {A}.

?
Задача 7.36

Доказать, что случайные величины ξ\xi и η\eta независимы тогда и только тогда, когда они условно независимы относительно тривиальной σ\sigma-алгебры B={∅,Ω}\mathscr {B} = \left\{ \varnothing , \Omega \right\}.

?
Задача 7.37

Доказать, что σ\sigma-алгебры B1\mathscr {B}_{1} и B2\mathscr {B}_{2} условно независимы относительно σ\sigma-алгебры B\mathscr {B} тогда и только тогда, когда для пюбого B2∈B2B_{2} \in \mathscr {B}_{2}

P(B2∣BB1)=P(B2∣B). \mathbb {P}\left( B_{2} \mid \mathscr {B} \mathscr {B}_{1} \right) = \mathbb {P}\left( B_{2} \mid \mathscr {B} \right) .
?
Задача 7.38

Пусть случайные величины ξ\xi и η\eta независимы. Могут ли они быть условно зависимыми относительно какой-нибудь σ\sigma-алгебры B\mathscr {B} ?

?
Задача 7.39

Пусть P(A∣B),A∈A,\mathbb {P}\left( A \mid \mathscr {B} \right), A \in \mathscr {A}, — регулярное семейство условных вероятностей, ξ\xi — случайная величина с конечным математическим ожиданием. Доказать, что

E[ξ∣B]=∫Ωξ(ω)P(dω∣B) п. н.  \mathbb {E}\left[ \xi \mid \mathscr {B} \right] = \int _{\Omega } \xi (\omega ) \mathbb {P}(d \omega \mid \mathscr {B}) \text{ п. н. }
?
Задача 7.40

Пусть B\mathscr {B} — σ\sigma-алгебра борелевских подмножеств Ω=(0,1)\Omega = (0,1), P — мера Лебега на B,C⊂Ω\mathscr {B}, C \subset \Omega — множество, имеющее внешнюю меру Лебега 1 и внутреннюю меру Лебега 0. Рассмотрим вероятностное пространство (Ω,A,Pc\Omega , \mathscr {A}, \mathbf{P}_{c}), где A\mathscr {A} — б-алгебра множеств вида A=B1C+B2Cˉ,B1,B2∈B,PC(A)=12P(B1)+12P(B2)A = B_{1} C+B_{2} \bar{C}, B_{1}, B_{2} \in \mathscr {B}, \quad \mathbb {P}_{C}\left(A\right) = \frac{1}{2} \mathbb {P}\left(B_{1}\right)+\frac{1}{2} \mathbb {P}\left(B_{2}\right). Доказать, что семейство условных вероятностей Pc(A∣B)\mathbb {P}_{c}\left( A \mid \mathscr {B} \right) не является регулярным.

?
Задача 7.41

Рассмотрим вероятностное пространство (Ω,A,P\Omega , \mathscr {A}, \mathbb {P}), где Ω=[0,1],A\Omega = [0,1], \mathscr {A} — σ\sigma-алгебра борелевских подмножеств, P\mathbb {P} — мера Лебега. Доказать, что семейство условных вероятностей P(A∣B)\mathbb {P}\left( A \mid \mathscr {B} \right) является регулярным, если:

?
(а)

B={∅,Ω}\mathscr {B} = \left\{ \varnothing , \Omega \right\};

(б)

B=A\mathscr {B} = \mathscr {A};

(в)

B\mathscr {B} — σ\sigma-алгебра, порожденная множеством [0,1/2)[0,1 / 2).

Задача 7.42

Пусть на вероятностном пространстве (Ω,A,P\Omega , \mathscr {A}, P), где Ω=[0,1],A\Omega = [0,1], \mathscr {A} — σ\sigma-алгебра борелевских множеств, P\mathbb {P} — мера Лебега, задана случайная величина ξ(ω)=ω\xi (\omega ) = \omega. Найти условное распределение ξ\xi относительно σ\sigma-алгебры B\mathscr {B}, порожденной случайной величиной η\eta, если

?
(а)

η={1,ω∈[0,1/3),0,ω∈[1/3,1];\eta = \begin{cases} 1, & \omega \in [0,1 / 3), \\ 0, & \omega \in [1 / 3,1] ; \end{cases}

(б)

η=sin⁡πω\eta = \sin \pi \omega;

(в)

η={1−3ω,ω∈[0,1/3), 3ω−12,ω∈[1/3,1]. \eta = \begin{cases} 1-3 \omega , & \omega \in [0,1 / 3) \text{, } \\ \frac{3 \omega -1}{2}, & \omega \in [1 / 3,1] \text{. } \end{cases}