ΠΡΠ±ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅ — ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ ?.
Π‘ΡΠΌΠΌΠΎΠΉ ΡΠΎΠ±ΡΡΠΈΠΉ A ΠΈ B — Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠΎΠ±ΡΡΠΈΠ΅, ΡΠΎΡΡΠΎΡΡΠ΅Π΅ Π² Π½Π°ΡΡΡΠΏΠ»Π΅Π½ΠΈΠΈ, Ρ
ΠΎΡΡ Π±Ρ ΠΎΠ΄Π½ΠΎΠ³ΠΎ ΠΈΠ· ΡΠΎΠ±ΡΡΠΈΠΉ A ΠΈΠ»ΠΈ B ΠΈΠ»ΠΈ A ΠΈ B Π²ΠΌΠ΅ΡΡΠ΅.
ΠΠΏΡ. A+B = {w | w e A ΠΈΠ»ΠΈ w e B}.
A v B — Π΄ΠΈΠ·ΡΡΠ½ΠΊΡΠΈΡ, A ΠΈΠ»ΠΈ B.
ΠΠΏΡ. A*B — Π½Π°Π·ΡΠ²Π°Π΅ΡΡΡ ΡΠΎΠ±ΡΡΠΈΠ΅, ΡΠΎΡΡΠΎΡΡΠ΅Π΅ Π² Π½Π°ΡΡΡΠΏΠ»Π΅Π½ΠΈΠΈ ΡΠΎΠ±ΡΡΠΈΡ A ΠΈ B ΠΎΠ΄Π½ΠΎΠ²ΡΠ΅ΠΌΠ΅Π½Π½ΠΎ.
A*B = {w | w e A ΠΈ w e B}.
A ^ B — ΠΊΠΎΠ½ΡΡΠΊΡΠΈΡ, A ΠΈ B.
ΠΡΠ»ΠΈ A ΠΈ B Π½Π΅ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½Ρ, ΡΠΎ A*B — Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅.
ΠΠΏΡ. A-B — Π½Π°Π·ΡΠ²Π°ΡΡΡΡ ΡΠΎΠ±ΡΡΠΈΠ΅, ΡΠΎΡΡΠΎΡΡΠ΅Π΅ Π² Π½Π°ΡΡΡΠΏΠ»Π΅Π½ΠΈΠ΅ ΡΠΎΠ±ΡΡΠΈΡ A ΠΈ Π½Π΅ Π½Π°ΡΡΡΠΏΠ»Π΅Π½ΠΈΠΈ B.
A-B = {w | w e A, no w e B}.
A-B = A B.
- 1) A+A=A; A*A=A
- 2) A+B=B+A; A*B=B*A
- 3) (A+B)+C=A+(B+C); (A*B)*C = A*(B*C)
- 4) A*(B+C)=A*B+A*C
- 5) !!A=A
- 6) !? = Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅
- 7) !Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅=?
- 8) A*? = A
- 9) A*Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅=Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ ΡΠΎΠ±ΡΡΠΈΠ΅
- 10) A+?=?
- 11) A+Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅=A
- 12) !(!A+!B) = A*B
- 13) !(!A*!B) = A + B
ΠΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½Π°Ρ ΡΠ°ΡΡΠΎΡΠ° ΡΠΎΠ±ΡΡΠΈΠΉ ΠΈ Π΅Π΅ ΡΠ²ΠΎΠΉΡΡΠ²Π°
ΠΠΏΡΡ ΠΏΡΠΎΠ²Π΅Π΄Π΅Π½ n ΡΠ°Π· ΠΈ n (A) ΡΠ°Π· Π½Π°Π±Π»ΡΠ΄Π°Π»ΠΎΡΡ ΡΠΎΠ±ΡΡΠΈΠ΅,.
W (A) = n (A)/n — ΠΎΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½Π°Ρ ΡΠ°ΡΡΠΎΡΠ° ΡΠΎΠ±ΡΡΠΈΠΉ.
- 1) ΠΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½Π°Ρ ΡΠ°ΡΡΠΎΡΠ° Π»ΡΠ±ΠΎΠ³ΠΎ ΡΠΎΠ±ΡΡΠΈΡ 0 <= W (A) <= 1
- 2) ΠΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½Π°Ρ ΡΠ°ΡΡΠΎΡΠ° Π΄ΠΎΡΡΠΎΠ²Π΅ΡΠ½ΠΎΠ³ΠΎ ΡΠΎΠ±ΡΡΠΈΡ W (?) = 1
- 3) A1, A2,…, An,… — Π»ΡΠ±Π°Ρ ΡΡΠ΅ΡΠ½Π°Ρ ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ Π½Π΅ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½ΡΡ
ΡΠΎΠ±ΡΡΠΈΠΉ, ΡΠΎΠ³Π΄Π° ΠΎΡΠ½ΠΎΡΠΈΡΠ΅Π»ΡΠ½Π°Ρ ΡΠ°ΡΡΠΎΡΠ°
W (?(Ai)) = ?W (Ai).
W (A+B) = n (A+B)/n = (n (a) + n (b))/n = W (A) + W (B).
ΠΠ΅ΡΠΎΡΡΠ½ΠΎΡΡΠ½ΠΎΠ΅ ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²ΠΎ
ΠΠΏΡ. F — ΠΊΠ»Π°ΡΡ ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ?, Π½Π°Π·ΠΎΠ²Π΅ΠΌ Π°Π»Π³Π΅Π±ΡΠΎΠΉ.
ΠΡΠ»ΠΈ:
- 1) ΠΠ΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠ΅ e F,? e F
- 2) A e F => !A e F
- 3) { A e F; B e F } => { A+B e F; A*B e F }
ΠΠΏΡ. ΠΠ½ΠΎΠΆΠ΅ΡΡΠ²ΠΎ Π°Π»Π³Π΅Π±ΡΡ F — Ρ Π°Π»Π³Π΅Π±ΡΠΎΠΉ.
An e F, n=1,2,. = > ?Ai e F, ΠAi e F.
ΠΠΏΡ. (?, F, P) —? ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²ΠΎ ΡΠ»Π΅ΠΌΠ΅Π½ΡΠ°ΡΠ½ΡΡ
ΡΠΎΠ±ΡΡΠΈΠΉ, F — Ρ Π°Π»Π³Π΅Π±ΡΡ ΠΏΠΎΠ΄ΠΌΠ½ΠΎΠΆΠ΅ΡΡΠ² ?, P — ΡΠΈΡΠ»ΠΎΠ²Π°Ρ ΡΡΠ½ΠΊΡΠΈΡ, ΠΎΠΏΡΠ΅Π΄Π΅Π»Π΅Π½Π½Π°Ρ Π½Π° ΡΠΎΠ±ΡΡΠΈΡΡ
ΠΈ Π½Π°Π·ΡΠ²Π°Π΅ΠΌΠ°Ρ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΡΡ. ΠΡΠ° ΡΡΠΎΠΉΠΊΠ° Π½Π°Π·ΡΠ²Π°Π΅ΠΌ Π²Π΅ΡΠΎΡΡΠ½ΠΎΡΡΠ½ΡΠΌ ΠΏΡΠΎΡΡΡΠ°Π½ΡΡΠ²ΠΎΠΌ, Π΅ΡΠ»ΠΈ Π²ΡΠΏΠΎΠ»Π½Π΅Π½Ρ ΡΠ»Π΅Π΄. ΠΠΊΡΠΈΠΎΠΌΡ:
- 1) P (A) >= 0 Π΄Π»Ρ Π»ΡΠ±ΡΡ
A e F
- 2) P (?) = 1
- 3) A*B = Π½Π΅ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½ΡΠ΅ ΡΠΎΠ±ΡΡΠΈΡ
P (A+B) = P (A) + P (B) — ΡΠ²ΠΎΠΉΡΡΠ²ΠΎ Π°Π΄Π΄ΠΈΡΠΈΠ²Π½ΠΎΡΡΠΈ.
4) An -> Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΌΡ ΡΠΎΠ±ΡΡΠΈΡ, A1 Π²ΠΊΠ»ΡΡΠ°Π΅Ρ A2 Π²ΠΊΠ»ΡΡΠ°Π΅Ρ A3 Π²ΠΊΠ»ΡΡΠ°Π΅Ρ …
ΠAi = Π½Π΅Π²ΠΎΠ·ΠΌΠΎΠΆΠ½ΠΎΠΌΡ ΡΠΎΠ±ΡΡΠΈΡ. => lim (n->inf):P (An)=0.
- 3 ΠΈ 4 => 5
- 5) An — ΠΏΠΎΡΠ»Π΅Π΄ΠΎΠ²Π°ΡΠ΅Π»ΡΠ½ΠΎΡΡΡ ΡΠΎΠ±ΡΡΠΈΠΉ, ΠΏΠΎΠΏΠ°ΡΠ½ΠΎ Π½Π΅ΡΠΎΠ²ΠΌΠ΅ΡΡΠ½ΠΎΠ΅, ΡΠΎ P (?Ai) = ?P (Ai)