6

Счётно-аддитивная вероятность

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

Покажите, что если PP счётно-аддитивна, то она также конечно-аддитивна; то есть P(A∪B)=P(A)+P(B)\mathbb {P}\left(A \cup B\right)=\mathbb {P}\left(A\right)+\mathbb {P}\left(B\right) для любых A,B∈FA, B \in \mathcal{F} таких, что A∩B=∅A \cap B =\varnothing.

?
Задача 6.2

Пусть F\mathcal{F} — конечное поле. Покажите, что если PP является конечно-аддитивной вероятностной мерой на F\mathcal{F}, то она также счётно-аддитивна.

?
Задача 6.3

Пусть Ω=N\Omega =\mathbb {N} и пусть F\mathcal{F} — семейство всех подмножеств Ω\Omega. Можно ли P({i})=1i,i=1,2,…\mathbb {P}\left(\{ i\} \right)= \frac{1}{i}, i=1,2, \ldots, продолжить до вероятностной меры на F\mathcal{F}?

?
Задача 6.4

Пусть Ω=N\Omega =\mathbb {N}, и пусть F\mathcal{F} — семейство всех подмножеств Ω\Omega. Положим P({i})=αi,i=1,2,…\mathbb {P}\left(\{ i\} \right)= \alpha_{i}, i=1,2, \ldots. Продолжите PP до вероятностной меры, заданной на F\mathcal{F}. Какие условия нужно наложить на числа αi\alpha_{i}? Можно ли выбрать их все одинаковыми?

?
Задача 6.5

Пусть Ω=N\Omega =\mathbb {N} и пусть F\mathcal{F} — семейство всех подмножеств Ω\Omega. Можно ли P({i})=2−i,i=1,2,…\mathbb {P}\left(\{ i\} \right)= 2^{-i}, i=1,2, \ldots, продолжить до вероятностной меры на F\mathcal{F}?

?
Задача 6.6

Пусть Ω=N\Omega =\mathbb {N} и пусть F\mathcal{F} — семейство всех подмножеств Ω\Omega. Можете ли вы найти такое значение cc, что P({i})=ci!,i=1,2,…\mathbb {P}\left(\{ i\} \right)=\frac{c}{i!}, i=1,2, \ldots, можно продолжить до вероятностной меры на F\mathcal{F}?

?
Задача 6.7

Пусть Ω=N\Omega =\mathbb {N} и пусть F\mathcal{F} — семейство всех подмножеств Ω\Omega. Является ли

P(A)=lim inf⁡n→∞#(A∩{1,…,n})n \mathbb {P}\left(A\right)=\liminf _{n \rightarrow \infty } \frac{\# (A \cap \{ 1, \ldots , n\} )}{n}

вероятностной мерой на F\mathcal{F}?

?
Задача 6.8

Покажите, что если A1⊂A2⊂A3⊂⋯A_{1} \subset A_{2} \subset A_{3} \subset \cdots (это называется расширяющейся или возрастающей последовательностью множеств), то

P(⋃k=1∞Ak)=lim⁡k→∞P(Ak) \mathbb {P}\left(\bigcup _{k=1}^{\infty } A_{k}\right)=\lim _{k \rightarrow \infty } \mathbb {P}\left(A_{k}\right)
?
Задача 6.9

Покажите, что если A1⊃A2⊃A3⊃⋯A_{1} \supset A_{2} \supset A_{3} \supset \cdots (это называется сужающейся или убывающей последовательностью множеств), то

P(⋂k=1∞Ak)=lim⁡k→∞P(Ak) \mathbb {P}\left(\bigcap _{k=1}^{\infty } A_{k}\right)=\lim _{k \rightarrow \infty } \mathbb {P}\left(A_{k}\right)
?
Задача 6.10
P(⋃n=1∞An)⩽∑i=1∞P(An) \mathbb {P}\left(\bigcup _{n=1}^{\infty } A_{n}\right) \leqslant \sum _{i=1}^{\infty } \mathbb {P}\left(A_{n}\right)
?
Задача 6.11

Если P(An)=0\mathbb {P}\left(A_{n}\right)=0 при n=1,2,…n=1,2, \ldots, то P(⋃n=1∞An)=0\mathbb {P}\left(\bigcup_{n=1}^{\infty } A_{n}\right)=0.

?
Задача 6.12

Если P(An)=1\mathbb {P}\left(A_{n}\right)=1 при n=1,2,…n=1,2, \ldots, то P(⋂n=1∞An)=1\mathbb {P}\left(\bigcap_{n=1}^{\infty } A_{n}\right)=1.

?
Задача 6.13

Если P(An△A)→0\mathbb {P}\left(A_{n} \triangle A\right) \rightarrow 0 при n→∞n \rightarrow \infty, то P(An)→P(A)\mathbb {P}\left(A_{n}\right) \rightarrow \mathbb {P}\left(A\right) при n→∞n \rightarrow \infty.

?
Задача 6.14

Докажите теорему 6.1. (Она называется первой леммой Бореля–Кантелли.)

?
Задача 6.15

Убедитесь, что

P(lim inf⁡n→∞An)⩽lim inf⁡n→∞P(An)⩽lim sup⁡n→∞P(An)⩽P(lim sup⁡n→∞An) \mathbb {P}\left(\liminf _{n \rightarrow \infty } A_{n}\right) \leqslant \liminf _{n \rightarrow \infty } \mathbb {P}\left(A_{n}\right) \leqslant \limsup _{n \rightarrow \infty } \mathbb {P}\left(A_{n}\right) \leqslant \mathbb {P}\left(\limsup _{n \rightarrow \infty } A_{n}\right)
?
Задача 6.16

Найдите m([12,23)),m((15,13]),m({1}),m({1n:n=1,2,…})m\left(\left[\frac{1}{2}, \frac{2}{3}\right)\right), m\left(\left(\frac{1}{5}, \frac{1}{3}\right]\right), m(\{ 1\} ), m\left(\left\{ \frac{1}{n}: n=1,2, \ldots \right\} \right) и m(N)m(\mathbb {N}).

?
Задача 6.17

Найдите m([14,12]),m({0,12,1})m\left(\left[\frac{1}{4}, \frac{1}{2}\right]\right), m\left(\left\{ 0, \frac{1}{2}, 1\right\} \right) и m(Q∩[0,1])m(\mathbb {Q} \cap [0,1]) (Q\mathbb {Q} обозначает множество всех рациональных чисел).

?
Задача 6.18

Найдите m({x:∣x−n∣<12n for some n∈N})m\left(\left\{ x:\left|x-n\right|<\frac{1}{2^{n}} \text{ for some } n \in \mathbb {N}\right\} \right).

?
Задача 6.19

Найдите m(⋃n=1∞(12n+1,12n])m\left(\bigcup_{n=1}^{\infty }\left(\frac{1}{2^{n+1}}, \frac{1}{2^{n}}\right]\right).

?
Задача 6.20

Найдите m(C)m(C), где CC — канторово множество (определение канторова множества см. в задаче 5.23).

?
Задача 6.21

f(x)=c  1[1,3](x)f(x)=c \; \mathbb {1}_{[1,3]}(x).

?
Задача 6.22

f(x)=c  1[a,b](x)f(x)=c \; \mathbb {1}_{[a, b]}(x).

?
Задача 6.23

f(x)=cxnf(x)=c x^{n} для x∈(0,1)x \in (0,1) и ноль в остальных случаях, где n∈Nn \in \mathbb {N}.

?
Задача 6.24

f(x)=ce−λxf(x)=c e^{-\lambda x} для x>0x>0 и ноль в остальных случаях.

?
Задача 6.25

f(x)=cx(1−x)f(x)=c x(1-x) для x∈[0,1]x \in [0,1] и ноль в остальных случаях.

?
Задача 6.26

f(x)=c(x−[x])f(x)=c(x-[x]) для x∈[0,2]x \in [0,2] и ноль в остальных случаях ([x][x] обозначает наибольшее целое число, не превосходящее xx).

?
Задача 6.27

f(x)=x2  1[0,c](x)f(x)=x^{2} \; \mathbb {1}_{[0, c]}(x).

?
Задача 6.28

Докажите теорему 6.2.

?
Задача 6.29

f(x)=12  1[1,3](x)f(x)=\frac{1}{2} \; \mathbb {1}_{[1,3]}(x), A=[0,2)A=[0,2).

?
Задача 6.30

f(x)=x−[x]f(x)=x-[x] для x∈[0,2]x \in [0,2] и ноль в остальных случаях, A=[12,2]A=\left[\frac{1}{2}, 2\right] ([x][x] обозначает наибольшее целое число, не превосходящее xx).

?
Задача 6.31

f(x)=e−xf(x)=e^{-x} для x⩾0x \geqslant 0 и ноль в остальных случаях, A=NA=\mathbb {N}.

?
Задача 6.32

f(x)=15  1[−2,3](x)f(x)=\frac{1}{5} \; \mathbb {1}_{[-2,3]}(x), A=(0,1)A=(0,1).

?
Задача 6.33

f(x)=12x−12f(x)=\frac{1}{2} x^{-\frac{1}{2}} для x∈(0,1)x \in (0,1) и ноль в остальных случаях, A=(0,12)A=\left(0, \frac{1}{2}\right).

?
Задача 6.34

Покажите, что δω\delta_{\omega } является вероятностной мерой. Каково наибольшее множество меры 0? Каково наименьшее множество меры 1?

?
Задача 6.35

Пусть ω1,ω2∈Ω\omega_{1}, \omega_{2} \in \Omega. Покажите, что P(A)=12δω1(A)+12δω2(A)\mathbb {P}\left(A\right)=\frac{1}{2} \delta_{\omega_{1}}(A)+\frac{1}{2} \delta_{\omega_{2}}(A) является вероятностной мерой. Какие множества имеют меру 0?

?
Задача 6.36

Каковы условия на αk\alpha_{k}, при которых P=∑k=1∞αkδωkP=\sum_{k=1}^{\infty } \alpha_{k} \delta_{\omega_{k}} является вероятностной мерой? Какие множества имеют меру 0?

?
Задача 6.37

Если P1P_{1} и P2P_{2} — вероятностные меры, то P(A)=α1P1(A)+α2P2(A)\mathbb {P}\left(A\right)=\alpha_{1} \mathbb {P}_{1}\left(A\right)+ \alpha_{2} \mathbb {P}_{2}\left(A\right) также является вероятностной мерой при условии, что α1\alpha_{1} и α2\alpha_{2} неотрицательны и α1+α2=1\alpha_{1}+\alpha_{2}=1.

?
Задача 6.38

Если Pk,k=1,2,…P_{k}, k=1,2, \ldots — вероятностные меры, αk⩾0\alpha_{k} \geqslant 0 для всех kk, и ∑k=1∞αk=1\sum_{k=1}^{\infty } \alpha_{k}=1, то P(A)=∑k=1∞αkPk(A)\mathbb {P}\left(A\right)=\sum_{k=1}^{\infty } \alpha_{k} \mathbb {P}_{k}\left(A\right) является вероятностной мерой.

?
Задача 6.39

Определим PP формулой P(A)=13δ0(A)+23P2(A)\mathbb {P}\left(A\right)=\frac{1}{3} \delta_{0}(A)+\frac{2}{3} \mathbb {P}_{2}\left(A\right), где P2P_{2} имеет плотность f(x)=12  1[1,3](x)f(x)= \frac{1}{2} \; \mathbb {1}_{[1,3]}(x). Вычислите P([0,2])\mathbb {P}\left([0,2]\right).

?
Задача 6.40

Определим PP формулой P(A)=18δ1(A)+38δ2(A)+12P3(A)\mathbb {P}\left(A\right)=\frac{1}{8} \delta_{1}(A)+\frac{3}{8} \delta_{2}(A)+\frac{1}{2} \mathbb {P}_{3}\left(A\right), где P3P_{3} задаётся плотностью f(x)=12  1[1,3](x)f(x)=\frac{1}{2} \; \mathbb {1}_{[1,3]}(x). Вычислите P([2,3])\mathbb {P}\left([2,3]\right).

?
Задача 6.41

Определим PP формулой P(A)=14δ0(A)+12δ2(A)+14P3(A)\mathbb {P}\left(A\right)=\frac{1}{4} \delta_{0}(A)+\frac{1}{2} \delta_{2}(A)+\frac{1}{4} \mathbb {P}_{3}\left(A\right), где P3P_{3} имеет плотность f(x)=e−x  1[0,+∞)(x)f(x)=e^{-x} \; \mathbb {1}_{[0,+\infty )}(x). Вычислите P([0,1])\mathbb {P}\left([0,1]\right).

?
Задача 6.42

Покажите, что если XX — несчётное множество положительных действительных чисел, то существует последовательность x1,x2,…∈Xx_{1}, x_{2}, \ldots \in X такая, что ∑i=1∞xi=∞\sum_{i=1}^{\infty } x_{i}=\infty.

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

Утверждение этой задачи означает, что от вероятностной меры можно требовать только счётной аддитивности, поскольку несчётного семейства непересекающихся множеств AA с P(A)>0\mathbb {P}\left(A\right)>0 существовать не может в принципе — иначе P(Ω)\mathbb {P}\left(\Omega \right) должно было бы равняться ∞\infty, а не 1.