1.Пусть задано вероятностное пространство
![$(\Omega, P, \mathcal{A}), B \in \mathcal{A} , P(B) > 0.$ $(\Omega, P, \mathcal{A}), B \in \mathcal{A} , P(B) > 0.$](https://dxdy-01.korotkov.co.uk/f/c/c/d/ccde7a217897fe6c1c5174f1ae69550d82.png)
Обозначим
![$P_B(A_1)=P(B|A_1)$ $P_B(A_1)=P(B|A_1)$](https://dxdy-01.korotkov.co.uk/f/4/5/1/4515410fa67c41f8a5499e97a06f8cb682.png)
для
![$A_1 \in \mathcal{A}$ $A_1 \in \mathcal{A}$](https://dxdy-01.korotkov.co.uk/f/0/0/2/0027e78419b16449079b10eeb3a46d8b82.png)
. Доказать, что функция
![$P_B \in \mathcal{A} \to R$ $P_B \in \mathcal{A} \to R$](https://dxdy-01.korotkov.co.uk/f/4/1/6/416b05569e91db411f50bd57a6aa815882.png)
является вероятность.
Не отрицательность понятна. А как доказать непрерывность в нуле, нормированность, аддитивность?
Возможно, что аддитивность доказывается так
Надо доказать:
![$P_B(A_1\bigcup A_2)=P_B(A_1)+P_B(A_2)$ $P_B(A_1\bigcup A_2)=P_B(A_1)+P_B(A_2)$](https://dxdy-04.korotkov.co.uk/f/b/4/f/b4ff2bed2447ce44d0af51bedc41ee3882.png)
,
![$P(A_1\bigcup A_2|B)=P(A_1|B)+P(A_2|B)$ $P(A_1\bigcup A_2|B)=P(A_1|B)+P(A_2|B)$](https://dxdy-03.korotkov.co.uk/f/2/4/5/24546a27060aaf68d0c8c153e796cc9082.png)
,
![$\dfrac{P(A_1\bigcup A_2 \cap B)}{P(B)}=\dfrac{P((A_1\cap B)\bigcup (A_2 \cap B))}{P(B)}= \dfrac{P(A_1\cap B)+P(A_2\cap B)}{P(B)}$ $\dfrac{P(A_1\bigcup A_2 \cap B)}{P(B)}=\dfrac{P((A_1\cap B)\bigcup (A_2 \cap B))}{P(B)}= \dfrac{P(A_1\cap B)+P(A_2\cap B)}{P(B)}$](https://dxdy-02.korotkov.co.uk/f/9/a/8/9a8b19b3f517d5fb70e52d60a707694282.png)
2. Обозначим
![$\mathcal{A}_B=\mathcal{A}\cap B=\{A_1\cap B : A_1 \in \mathcal{A}\}$ $\mathcal{A}_B=\mathcal{A}\cap B=\{A_1\cap B : A_1 \in \mathcal{A}\}$](https://dxdy-01.korotkov.co.uk/f/c/8/e/c8edd6919d98d992cd1a39f89022bb3182.png)
. Доказать, что
![$(B,\mathcal{A}_B,P_B)$ $(B,\mathcal{A}_B,P_B)$](https://dxdy-01.korotkov.co.uk/f/4/d/7/4d7afde4849e6a34774db40c01e70be282.png)
–
вероятностное пространство, где
![$P_B$ $P_B$](https://dxdy-03.korotkov.co.uk/f/2/8/7/287365a63155cde9f5fcedd34b96eb1982.png)
из предыдущей задачи.
Не отрицательность вроде как выполняется.
А как доказать аддитивность, нормированность и непрерывность в нуле?
Начал с нормированности
![$P_B(A_1)=P(B|A_1)$ $P_B(A_1)=P(B|A_1)$](https://dxdy-01.korotkov.co.uk/f/4/5/1/4515410fa67c41f8a5499e97a06f8cb682.png)
![$P_B(\Omega)=P(B|\Omega)=1$ $P_B(\Omega)=P(B|\Omega)=1$](https://dxdy-02.korotkov.co.uk/f/d/0/9/d09ebbe16af966916df0e2e8e3496aec82.png)
Но ведь тогда непонятно зачем дана новая сигма-алгебра.
3. Пусть события
![$A_1$ $A_1$](https://dxdy-01.korotkov.co.uk/f/c/7/4/c74f257c1a844c30acb274ac45ecd39782.png)
и
![$B$ $B$](https://dxdy-03.korotkov.co.uk/f/6/1/e/61e84f854bc6258d4108d08d4c4a085282.png)
независимы. Верно ли, что
![$P(A_1\cap B|C) = P(A_1|C) P(B_1|C)$ $P(A_1\cap B|C) = P(A_1|C) P(B_1|C)$](https://dxdy-02.korotkov.co.uk/f/5/5/4/5545c250efdd15382c8e6ceb3656975a82.png)
, где С произвольное событие, имеющее ненулевую вероятность?
Независимы это значит :
![$P(A_1\cap B)=P(A_1) P(B)$ $P(A_1\cap B)=P(A_1) P(B)$](https://dxdy-02.korotkov.co.uk/f/5/2/2/5226061b7f10223da3206c1588906d8282.png)
![$P(A_1\cap B|C)=\dfrac{P(A_1\cap B\cap C)}{P(C)}=\dfrac{P(C|A_1\capB) P(B|A_1) P(A_1)}{P(C)} =$ $P(A_1\cap B|C)=\dfrac{P(A_1\cap B\cap C)}{P(C)}=\dfrac{P(C|A_1\capB) P(B|A_1) P(A_1)}{P(C)} =$](https://dxdy-01.korotkov.co.uk/f/4/7/7/477745566fe6b4fdbc2dace04a2b2c1582.png)
![$= \dfrac{P(C|A_1\capB) \dfrac{P(B\cap A_1)}{P(A_1)} P(A_1)}{P(C)}$ $= \dfrac{P(C|A_1\capB) \dfrac{P(B\cap A_1)}{P(A_1)} P(A_1)}{P(C)}$](https://dxdy-02.korotkov.co.uk/f/9/7/d/97df1429caed8c961f133f3e57d33cd482.png)
Дальше не знаю, что делать.
Помогите с этими задачками пожалуйста