Dopunio sam tekst:
Neke matematicke nedoumice ovih dana
1.
Dat je prostor verovatnoca (Omega, F, P) - sve po Kolmogorovu.
Definicija kaze: A iz F je skoro siguran dogadjaj ako P(A) = 1 i
A pravi podskup od Omega (A <> Omega)
Definicija kaze: B iz F je skoro nemoguc dogadjaj ako P(B) = 0 i
B nije prazan skup.
Skoro nemoguc dogadjaj je, dakle, dogadjaj koji ima verovatnocu
realizacije 0, ali se ipak moze desiti (Danijela Rajter-Ciric,
Verovatnoca, Novi Sad, 2008)
Uzmimo da je Omega = {w1, w2} i neka je P({w1}) = 1, P({w2}) = 0.
Skup omega je korektan jer:
P(Omega) = P({w1}) + P({w2}) = 1 + 0 = 1
cime je zadovoljena prva tacka prve aksiome verovatnoce.
To znaci da je {w1} skoro siguran dogadjaj (verovatnoca realizacije 1,
{w1} pravi podskup od {w1, w2})
{w2} je skoro nemoguc dogadjaj (verovatnoca realizacije 0,
nije prazan skup)
Postavimo semu: Ponavljamo eksperiment do prve realizacije
dogadjaja skoro sigurnog dogadjaja {w1}.
Neka je X slucajna promenljiva koja predstavlja broj
ponavljanja eksperimenta do prve realizacije dogadajaja {w1}.
Tada je skup svih mogucih vrednosti X, Rx = {1, 2, 3, ...., k, ...}
k iz N, a odgovarajuce verovatnoce su:
P({X = k}) = P({w2})^(k-1) * P({w1}).
sto znaci:
P({X = 1}) = 0^0 * 1 = 1 (koristimo konvenciju da je 0^0 = 1)
P({X = 2}) = 0^1 * 1 = 0
...
P({X = k}) = 0^k * 1,
sto je 1 ako je k = 1 i 0 ako je k <> 1.
Sumiranjem P({X = k}) po k iz N, ako koristimo konvenciju
da je 0 * beskonacno = 0 (dr Danijela Rajter Ciric koristi istu konvenciju
na strani 9 udzbenika iz verovatnoce, u dokazu da je P(praznog skupa) = 0)
i ako koristimo konvenciju da je 0^0 dobijamo da je ta suma 1,
sto nam govori da je X korektna slucajna promenljiva diskretnog tipa
u slucaju da koristimo dve konvencije.
Drugim recima: mozemo uzeti semu uz koriscenje dve konvencije kao prilog
konzistentnosti teorije verovatnoce, a mozemo je i odbaciti kao besmislenu
ili bolje receno klimavo-neodredjenu jer koristimo konvenciju da je 0^0 = 1.
Licno i personalno, meni "ponavljanje eksperimenta do realizacije skoro
sigurnog dogadaja" ne zvuci blesavo. Blesavo mi zvuci "ponavljanje eksperimenta
do realizacije skoro nemoguceg dogadjaja".
Postavimo alternativnu semu: Ponavljamo eksperiment do prve realizacije
dogadjaja {w2}. {w2} ima verovatnocu realizacije 0, ali se ipak moze
desiti. Ponavljamo dok se to ne desi, po cenu da ponavljamo do kraja
univerzuma i da se ne desi.
Neka je X slucajna promenljiva koja predstavlja broj ponavljanja
eksperimenta do prve realizacije dogadajaja {w2}.
Skup svih mogucih vrednosti X, Rx = {1, 2, 3, ..., k, ...}
k iz N, a odgovarajuce verovatnoce su:
P({X = k}) = P({w1}) ^ (k - 1) * P({w2})
sto znaci:
P({X = 1}) = 1^0 * 0 = 0
P({X = 2}) = 1^1 * 0 = 0
P({X = 3}) = 1^2 * 0 = 0
...
P({X = k}) = 1^(k-1) * 0 = 0
i to vazi za svaki k iz N
U tom slucaju suma P({X = k}) po svim k iz N je 0 (opet koristimo
konvenciju da je 0 * beskonacno = 0), STO ZNACI DA X NIJE KOREKTNA SLUCAJNA
PROMENLJIVA DISKRETNOG TIPA.
Drugim recima
1. mozemo odbaciti alternativnu semu kao besmisleno blesavu (ponavljamo
eksperiment do realizacije skoro nemoguceg dogadjaja - kada je dogadjaj
realizacije mrtve petlje skoro siguran).
2. mozemo uzeti alternativnu semu kao jedan od mehanizama provere
aksiomatski zasnovane teorije verovatnoce i reci da teorija ne zadovoljava
tu semu, ili da se kroz alternativnu semu ocitava nekonzistentnost
teorije ili tako poperovski nesto smutiti - u svakom slucaju nesto smrdi.
2. [nije nedoumica, nego perverzija]
Neka je (Omega, F, P) prostor verovatnoca.
Za A i B iz F vazi
Ako A pravi podskup od B (A <> B) tada P(A) <= P(B).
Dokaz jednostavan.
Neka je A razlicito od praznog skupa i B jednako Omega.
U slucaju da je P(A) = P(B) i vazi sve gore navedeno
dolazimo do zakljucka da je P(B\A) = 0, ali i da je
B\A razlicito od praznog skupa, tj da je B\A skoro nemoguc
dogadjaj.
Imali smo eksperiment ali nam nije receno koji je
bio ishod tog eksperimenta (receno nam je da je eksperimenta
bilo). Ono sto nam teorija sugerise je da se dogadjaj B realizovao,
jer je B = Omega siguran dogadjaj i to je sve sto mozemo sa
sigurnoscu tvrditi o tom eksperimentu.
No, mozemo i spekulisati: postaviti pitanje da li se siguran dogadjaj
realizovao, jer je ishod eksperimenta bio jedan od elementarnih
ishoda koji su konstituenti dogadajaja A (koji je skoro siguran)
ili jedan od elementarnih ishoda koji su konstituenti dogadajaja
B\A (koji je skoro nemoguc).
Obe hipoteze su validne:
prva: siguran dogadjaj se realizovao jer se realizovao skoro
siguran dogadjaj.
druga: siguran dogadjaj se realizovao jer se realizovao skoro
nemoguc dogadjaj.
Sa tim sto druga hipoteza zvuci bas bas do jaja.
3. [ovo je nedoumica]
Definisimo operaciju +(MOD n), gde je n iz N na sledeci nacin
a +(MOD n) b = (a + b) MOD n, a i b iz N.
Definisimo i funkciju f(x) na sledeci nacin
Code:
f(x, g, n) = {
t = 0;
for (i = 1; i <= g; i++)
t = (t + x) % n; // t = t +(MOD n) x
return t;
}
x, g, n su svi iz N
treba uociti da f(x, beskonacno, n) nije isto sto
i (standardna_suma_po_k_iz_N(x)) MOD n;
Neka je X = f(x, beskonacno, n), x i n iz N
Nedoumica: da li se X moze interpretirati kao slucajna
promenljiva diskretnog tipa, pri cemu je skup svih mogucih
vrednosti X, Rx = {0, 1, 2, ..., n - 1}
a
P({X = k}, 0 <= k <= n - 1) = 1/n i ne zavisi od x.
[Ovu poruku je menjao kafikis dana 01.03.2010. u 05:35 GMT+1]