3 Teori för symmetriska system
3 Teori för symmetriska system
3 Teori för symmetriska system
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
58<br />
<strong>Teori</strong> <strong>för</strong> <strong>symmetriska</strong> <strong>system</strong><br />
Om en "urna" innehåller v stycken "0-or" och s stycken "1-or" blir sannolikheten <strong>för</strong> att man<br />
vid n dragningar med återläggning får k stycken "0-or" lika med<br />
((n, k)) p k q n-k ,<br />
där p = v/(v+s) och q = s/(v+s).<br />
I fallet utan återläggning erhålls sannolikheten<br />
((v, k)) ((s, n-k)) / ((v+s, n)).<br />
vi. Betingad sannolikhet. Uttrycket<br />
p (ω 2 | ω 1 ) ≡ ∆ p ω1 (ω 2 ) ≡ ∆ p(ω 1 ∩ ω 2 ) / p(ω 1 ) ≡ ∆ p(ω 1 , ω 2 ) / p(ω 1 )<br />
kallas den betingade sannolikheten <strong>för</strong> ω 2 om ω 1 inträffat.<br />
Om händelserna ω 1 , ..., ω n är parvis o<strong>för</strong>enliga, har positiva sannolikheter och<br />
tillsammmans uppfyller hela Ω, så gäller <strong>för</strong> varje händelse ω att<br />
Satsen om total sannolikhet p(ω) = Σ i p(ω i ) p(ω | ω i )<br />
Bayes sats p(ω k | ω) = p(ω k ) p(ω | ω k ) / ( Σ i p(ω i ) p(ω | ω i ) ).<br />
Bayes sats används ofta i specialfallet<br />
p(x | y) = p(x) * p(y | x) / p(y)<br />
under <strong>för</strong>utsättning att p(y) > 0.<br />
Denna senare variant är enkel att bevisa med hjälp av definitionen av betingad sannolikhet:<br />
p(x | y) p(y) = p(x, y) = p(y, x) = p(y | x) p(x).<br />
vii. Stokastisk variabel. En stokastisk variabel (sv) X kan ses som en beteckning av<br />
en händelse och är formellt en funktion från utfallsrummet till de reella (kontinuerlig sv)<br />
eller naturliga talen (diskret sv), d v s<br />
X: ω → X(ω).<br />
För diskret sv definieras en sannolikhets<strong>för</strong>delning på följande vis;<br />
p X (i) = p(X=i) = Σ {ω ∈Ω; X(ω) = i} p(ω)<br />
och en distribution<br />
F X (i) = p(X ≤ i).<br />
En distribution är monotont icke-avtagande, ligger i intervallet [0, 1], är (höger)kontinuerlig<br />
och har (gräns)värdena F(0) = 0 och F(∞) = 1.<br />
Nedanstående tabell visar några <strong>för</strong>delningar. Om p är liten kan en binomial<strong>för</strong>delning<br />
approximeras med en Poissondito som ofta är enklare att hanterna formelmässigt.