
рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрддред рд╕реВрддреНрд░ рд╕реВрддреНрд░
рдХреБрдЫ рдкреНрд░рдпреЛрдЧ рдХрд┐рдП рдЬрд╛рдПрдВред
w1,...,wN -
рдкреНрд░рд╛рдердорд┐рдХ рдШрдЯрдирд╛рдПрдВ (рдПрдХ рдкреНрд░рдпреЛрдЧ рдХреЗ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдкрд░рд┐рдгрд╛рдо)ред
\ Omega = \ {w_i \} _ {i = 1} ^ N\ Omega = \ {w_i \} _ {i = 1} ^ N -
рдкреНрд░рд╛рдердорд┐рдХ рдШрдЯрдирд╛рдУрдВ рдХрд╛
рд╕реНрдерд╛рди (рдкреНрд░рдпреЛрдЧ рдХреЗ рд╕рднреА рд╕рдВрднрд╛рд╡рд┐рдд рдкреНрд░рд╛рдердорд┐рдХ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХрд╛ рд╕реЗрдЯ)ред
рдкрд░рд┐рднрд╛рд╖рд╛ 1:рд╕рд┐рд╕реНрдЯрдо рд╕реЗрдЯ рдХрд░реЗрдВ
рд╕рд┐рдЧреНрдорд╛ рдпрджрд┐ рдирд┐рдореНрди рдЧреБрдгреЛрдВ рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рддреЛ
рд╕рд┐рдЧреНрдорд╛ рдмреАрдЬрдЧрдгрд┐рдд рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ:
- Omega in рд╕рд┐рдЧреНрдорд╛;
- A рдореЗрдВ рд╕рд┐рдЧреНрдорд╛ Rightarrow рдкрдВрдХреНрддрд┐A рдореЗрдВ рд╕рд┐рдЧреНрдорд╛;
- A1,A2,... рдореЗрдВ Sigma Rightarrow bigcup limit i=1inftyAi in рд╕рд┐рдЧреНрдорд╛ред$
рдкрд░рд┐рднрд╛рд╖рд╛ 1 рдХреЗ рдЧреБрдг 1 рдФрд░ 2 рд╕реЗ рдпрд╣ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ
emptyset рдореЗрдВ рд╕рд┐рдЧреНрдорд╛ ред
рдкрд░рд┐рднрд╛рд╖рд╛ 1 рдХреЗ рдЧреБрдг 2 рдФрд░ 3 рд╕реЗ рдпрд╣ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИ
bigcap limit i=1inftyAi in рд╕рд┐рдЧреНрдорд╛ рд╕реНрдкреЗрд╕($ рдХреНрдпреЛрдВрдХрд┐
A_i \ in \ рд╕рд┐рдЧреНрдорд╛ \ Rightarrow_ {рд╕реЗрдВрдЯ 3} \ overline {A_i} in \ Sigma \ Rightarrow_ {рд╕реЗрдВрдЯ 3} \ bigcup \ limit_ {i = 1} ^ \ infty \ _line_ A_i} \ in \ рд╕рд┐рдЧреНрдорд╛ \ Rightarrow_ {sv.2} \\ \ Rightarrow_ {sv.2} \ overline {\ bigcup \ limit_ {i = 1} ^ \ infty \ overline {A_i}}, \ рд╕рд┐рдЧреНрдорд╛ \ Rightarrow \ bigcap \ limit \ {i = рдореЗрдВ = 1} ^ \ infty A_i \ in (рд╕рд┐рдЧреНрдорд╛)редрдкрд░рд┐рднрд╛рд╖рд╛ 2:- рдП - рдШрдЯрдирд╛ forallA рд╕рд┐рдЧреНрдорд╛рдореЗрдВ$
- P colon рд╕рд┐рдЧреНрдорд╛ to mathbbR - рд╕рдВрднрд╛рд╡реНрдп рдорд╛рдк (рд╕рдВрднрд╛рд╡рдирд╛) рдпрджрд┐:
- P( рд╕рд┐рдЧреНрдорд╛)=1;
- forallA in рд╕рд┐рдЧреНрдорд╛ space spaceP(A) geqslant0;
- \ {A_i \} _ {i = 1} ^ \ infty, \ рдЕрдВрддрд░рд┐рдХреНрд╖ A_i \ in \ рд╕рд┐рдЧреНрдорд╛, \ рдЕрдВрддрд░рд┐рдХреНрд╖ A_i \ cap A_j = \ emptyset рдкрд░ i n=j RightarrowP( bigcup limit i=1inftyAi)= sum limit i=1inftyP(Ai)ред$
рд╕рдВрднрд╛рд╡реНрдпрддрд╛ рдЧреБрдг:- P(A) leqslant1;
- P(A)=1тИТP( overlineA);
- P( emptyset)=0;
- A subseteqB RightarrowP(A) leqslantP(B);
- P(A cupB)=P(A)+P(B)тИТP(A capB);
- \ forall \ {A_i \} _ {i = 1} ^ N \\ \ space \ space P (\ bigcup \ limit_ {i = 1} ^ N A_i) = \ sum \ limit_ {i = 1} "NP" A_i) - \ sum \ limit_ {i <j} P (A_i \ cap A_j) + \ sum \ limit_ {i <j <k} P (A_i \ cap A_j \ cap A_k) -.. + + \\ + ( -1) ^ {n-1} P (A_1 \ cap A_2 \ cap ... \ cap A_n);
- \ forall \ {A_i \} _ {i = 1} ^ \ infty \ colon (A_ {+ 1} \ subseteq A_i, \ space \ bigcap \ limit_ {i = 1} ^ \ infty a_i = \ emptyset) \ _ space \ space \ space \ lim \ limit_ {i \ to to infty} P (A_i) = 0.
рдкрд░рд┐рднрд╛рд╖рд╛ 3:( Omega, Sigma,P) -
рд╕рдВрднрд╛рд╡рдирд╛ рд╕реНрдерд╛рди ред
рдкрд░рд┐рднрд╛рд╖рд╛ 4: forallA,B in рд╕рд┐рдЧреНрдорд╛:P(B)>0 qquadP(A|B)= fracP(AB)P(B) -
рдХрд┐рд╕реА рдШрдЯрдирд╛
рдХреА рд╕рд╢рд░реНрдд рд╕рдВрднрд╛рд╡рдирд╛ рдП рдШрдЯрдирд╛ рдХреЗ рдЕрдзреАрди
рдм ред
рдкрд░рд┐рднрд╛рд╖рд╛ 5:рдХреЗ рд▓рд┐рдП рджреЗрдВ
\ {A_i \} _ {i = 1} ^ N рдЬрд╣рд╛рдБ
foralli in overline1,NAi in рд╕рд┐рдЧреНрдорд╛ рдирд┐рд╖реНрдкрд╛рджрд┐рдд рдХрд┐рдпрд╛ рдЧрдпрд╛ рд╣реИ
foralli,j in overline1,N spaceAi capAj= emysyset рдФрд░
bigcup limitNi=1Ai= Omega ред рддреЛ
\ {A_i \} _ {i = 1} ^ N рдкреНрд░рд╛рдердорд┐рдХ рдШрдЯрдирд╛рдУрдВ
рдХреЗ рд╕реНрдерд╛рди рдХрд╛ рдПрдХ
рд╡рд┐рднрд╛рдЬрди рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИред
рдкреНрд░рдореЗрдп 1 (рдХреБрд▓ рд╕рдВрднрд╛рд╡рдирд╛ рд╕реВрддреНрд░):\ {A_i \} _ {i = 1} ^ N - рдкреНрд░рд╛рдердорд┐рдХ рдШрдЯрдирд╛рдУрдВ рдХреЗ рд╕реНрдерд╛рди рдХрд╛ рд╡рд┐рднрд╛рдЬрди,
foralli in overline1,N spaceP(Ai)>0 ред
рддреЛ
forallB in рд╕рд┐рдЧреНрдорд╛ quadP(B)= sum limiti=1=NP(B|Ai)P(Ai) ред
рдкреНрд░рдореЗрдп 2 (рд╕реВрддреНрд░ рд╕реВрддреНрд░):\ {A_i \} _ {i = 1} ^ N - рдкреНрд░рд╛рдердорд┐рдХ рдШрдЯрдирд╛рдУрдВ рдХреЗ рд╕реНрдерд╛рди рдХрд╛ рд╡рд┐рднрд╛рдЬрди,
foralli in overline1,N spaceP(Ai)>0 ред
рддреЛ
forallB in рд╕рд┐рдЧреНрдорд╛ colonP(B)>0 quadP(Ai|B)= fracP(B|Ai)P(Ai) sum limitNi]1P(B|Ai)P(Ai)= fracP(B|Ai)P(Ai)P(B) ред
рдмреЗрдпрд╕ рд╕реВрддреНрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП, рд╣рдо рдПрдХ рдкреНрд░рд╛рдердорд┐рдХрддрд╛ рдХреА рд╕рдВрднрд╛рд╡рдирд╛рдУрдВ рдХреЛ рдирдЬрд░рдЕрдВрджрд╛рдЬ рдХрд░ рд╕рдХрддреЗ рд╣реИрдВ (
P(Ai) ) рдЕрд╡рд▓реЛрдХрдиреЛрдВ рдХреЗ рдЖрдзрд╛рд░ рдкрд░ (
P(B|Ai) ), рдФрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХрддрд╛ рдХреА рдПрдХ рдкреВрд░реА рдирдИ рд╕рдордЭ рдкреНрд░рд╛рдкреНрдд рдХрд░реЗрдВред
рдПрдХ рдЙрджрд╛рд╣рд░рдг :
рдорд╛рди рд▓реАрдЬрд┐рдП рдХрд┐ рдПрдХ рдкрд░реАрдХреНрд╖рдг рд╣реИ рдЬреЛ рдХрд┐рд╕реА рд╡реНрдпрдХреНрддрд┐ рдХреЛ рд╡реНрдпрдХреНрддрд┐рдЧрдд рд░реВрдк рд╕реЗ рд▓рд╛рдЧреВ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдФрд░ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИ: рдХреНрдпрд╛ рд╡рд╣ "рдПрдХреНрд╕" рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реИ рдпрд╛ рдирд╣реАрдВ? рд╣рдо рдорд╛рдирддреЗ рд╣реИрдВ рдХрд┐ рдпрджрд┐ рдХреЛрдИ рд╡реНрдпрдХреНрддрд┐ рд╡рд┐рд╢реЗрд╖ рдХреЗ рд▓рд┐рдП рд╕рд╣реА рдирд┐рд░реНрдгрдп рджрд┐рдпрд╛ рдЧрдпрд╛ рддреЛ рдкрд░реАрдХреНрд╖рдг рд╕рдлрд▓ рд░рд╣рд╛ред рдпрд╣ рдЬреНрдЮрд╛рдд рд╣реИ рдХрд┐ рдЗрд╕ рдкрд░реАрдХреНрд╖рдг рдореЗрдВ 0.95 рдХреА рд╕рдлрд▓рддрд╛ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рд╣реИ, рдФрд░ 0.05 рдкрд╣рд▓реА рддрд░рд╣ рдХреА рджреЛрдиреЛрдВ рддреНрд░реБрдЯрд┐рдпреЛрдВ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рд╣реИ (рдЭреВрдареА рд╕рдХрд╛рд░рд╛рддреНрдордХ, рдпрд╛рдиреА рдкрд░реАрдХреНрд╖рдг рдПрдХ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдирд┐рд░реНрдгрдп рдкрд╛рд░рд┐рдд рдХрд┐рдпрд╛ рд╣реИ, рдФрд░ рд╡реНрдпрдХреНрддрд┐ рд╕реНрд╡рд╕реНрде рд╣реИ), рдФрд░ рджреВрд╕рд░реА рддрд░рд╣ рдХреА рддреНрд░реБрдЯрд┐рдпрд╛рдВ (рдЭреВрдареА рдирдХрд╛рд░рд╛рддреНрдордХ, i.e. рдкрд░реАрдХреНрд╖рдг рдПрдХ рдирдХрд╛рд░рд╛рддреНрдордХ рдирд┐рд░реНрдгрдп рдкрд╛рд░рд┐рдд рдХрд┐рдпрд╛, рдФрд░ рд╡реНрдпрдХреНрддрд┐ рдмреАрдорд╛рд░ рд╣реИ)ред рд╕реНрдкрд╖реНрдЯрддрд╛ рдХреЗ рд▓рд┐рдП, рдПрдХ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдлреИрд╕рд▓рд╛ = рдкрд░реАрдХреНрд╖рдг "рдХрд╣рд╛" рдХрд┐ рдПрдХ рд╡реНрдпрдХреНрддрд┐ рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реИред рдпрд╣ рднреА рдЬреНрдЮрд╛рдд рд╣реИ рдХрд┐ 1% рдЖрдмрд╛рджреА рдЗрд╕ рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реИред рдХрд┐рд╕реА рд╡реНрдпрдХреНрддрд┐ рдХреЛ рдкрд░реАрдХреНрд╖рдг рдХрд╛ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдирд┐рд░реНрдгрдп рд▓реЗрдиреЗ рджреЗрдВред рд╡рд╣ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдмреАрдорд╛рд░ рд╣реЛрдиреЗ рдХреА рдХрд┐рддрдиреА рд╕рдВрднрд╛рд╡рдирд╛ рд╣реИ?
рдирд┐рд░реВрдкрд┐рдд:
рдЯреА - рдкрд░реАрдХреНрд╖рд╛ рдкрд░рд┐рдгрд╛рдо,
рдб - рд╡рд╛рдпрд░рд╕ рдХреА рдЙрдкрд╕реНрдерд┐рддрд┐ред рдлрд┐рд░, рдХреБрд▓ рд╕рдВрднрд╛рд╡рдирд╛ рдХреЗ рд▓рд┐рдП рд╕реВрддреНрд░ рдХреЗ рдЕрдиреБрд╕рд╛рд░:
P(t=1)=P(t=1|d=1)P(d=1)+P(t=1|d=0)P(d=0)$
рдмрд╛рдпрд╕ рдкреНрд░рдореЗрдп рджреНрд╡рд╛рд░рд╛:
P(d=1|t=1)= fracP(t=1|d=1)P(d=1)P(t=1|d=1)P(d=1)+P(t=1|d=0)P(d=0)== frac0.95 times0.010.95 times0.01+0.05 times0.99=0.16
рдпрд╣ рдкрддрд╛ рдЪрд▓рд╛ рд╣реИ рдХрд┐ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкрд░реАрдХреНрд╖рдг рдХреЗ рдлреИрд╕рд▓реЗ рдХреЗ рддрд╣рдд "рдПрдХреНрд╕" рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реЛрдиреЗ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ 0.16 рд╣реИред рдРрд╕рд╛ рдкрд░рд┐рдгрд╛рдо рдХреНрдпреЛрдВ? рдкреНрд░рд╛рд░рдВрдн рдореЗрдВ, 0.01 рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рд╡рд╛рд▓рд╛ рдПрдХ рд╡реНрдпрдХреНрддрд┐ "рдПрдХреНрд╕" рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реИ рдФрд░ рдпрд╣рд╛рдВ рддрдХ тАЛтАЛрдХрд┐ 0.05 рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рдХреЗ рд╕рд╛рде рдкрд░реАрдХреНрд╖рдг рд╡рд┐рдлрд▓ рд╣реЛ рдЬрд╛рдПрдЧрд╛ред рдпрд╣реА рд╣реИ, рдЗрд╕ рдорд╛рдорд▓реЗ рдореЗрдВ рдЬрдм рдЖрдмрд╛рджреА рдХрд╛ рдХреЗрд╡рд▓ 1% рдЗрд╕ рд╡рд╛рдпрд░рд╕ рд╕реЗ рд╕рдВрдХреНрд░рдорд┐рдд рд╣реЛрддрд╛ рд╣реИ, 0.05 рдХреА рдПрдХ рдкрд░реАрдХреНрд╖рдг рддреНрд░реБрдЯрд┐ рдХреА рд╕рдВрднрд╛рд╡рдирд╛ рдЗрд╕ рдмрд╛рдд рдкрд░ рдорд╣рддреНрд╡рдкреВрд░реНрдг рдкреНрд░рднрд╛рд╡ рдбрд╛рд▓рддреА рд╣реИ рдХрд┐ рдХреЛрдИ рд╡реНрдпрдХреНрддрд┐ рд╡рд╛рд╕реНрддрд╡ рдореЗрдВ рдмреАрдорд╛рд░ рд╣реИ, рдмрд╢рд░реНрддреЗ рдХрд┐ рдкрд░реАрдХреНрд╖рдг рд╕рдХрд╛рд░рд╛рддреНрдордХ рдкрд░рд┐рдгрд╛рдо рджреЗрддрд╛ рд╣реИред
рдкреНрд░рдпреБрдХреНрдд рд╕рд╛рд╣рд┐рддреНрдп рдХреА рд╕реВрдЪреА:
- тАЬрд╕рдВрднрд╛рд╡реНрдпрддрд╛ рд╕рд┐рджреНрдзрд╛рдВрдд рдХреЗ рдореВрд▓ рд╕рд┐рджреНрдзрд╛рдВрддред рдкрд╛рдареНрдпрдкреБрд╕реНрддрдХ тАЭ, рдПрдо.рдИ. рдЬрд╝реБрдХреЛрд╡рд╕реНрдХреА, рдЖрдИ.рд╡реА. рд░реЛрдбрд┐рдпреЛрдиреЛрд╡, рдорд╛рд╕реНрдХреЛ рдЗрдВрд╕реНрдЯреАрдЯреНрдпреВрдЯ рдСрдл рдлрд┐рдЬрд┐рдХреНрд╕ рдПрдВрдб рдЯреЗрдХреНрдиреЛрд▓реЙрдЬреА, рдореЛрд╕реНрдХреЛ, 2015;
- тАЬрдЧрд╣рд░реА рд╕реАрдЦред рддрдВрддреНрд░рд┐рдХрд╛ рдиреЗрдЯрд╡рд░реНрдХ рдХреА рджреБрдирд┐рдпрд╛ рдореЗрдВ рд╡рд┐рд╕рд░реНрдЬрди тАЭ, рдПрд╕ред рдирд┐рдХреБрд▓реЗрдВрдХреЛ, рдПред рдХрд╛рджреБрд░рд┐рди, рдИред рдЕрд░рдЦрдВрдЬреЗрд▓реНрд╕реНрдХрд╛рдпрд╛, рдкреАрдЯрд░, 2018ред