Gwirebau tebygolrwydd

Mae gwirebau tebygolrwydd yn rhan hanfodol o ddamcaniaeth tebygolrwydd Andrey Kolmogorov, ac fe'i gelwir yn aml yn wirebau Kolmogorov. Bodlonir y gwirebau hyn, fel arfer, pan ddiffinir tebygolrwydd P rhyw ddigwyddiad E, a ddynodir gan .

Gellir crynhoi'r gwirebau hyn fel a ganlyn: Gadewch i (Ω, F, P) fod yn fesuriad o ofod, gyda P(Ω) = 1. Yna, mae (Ω, F, P) yn ofod tebygolrwydd, gyda gofod y sampl (neu'r 'gofod sampl') Ω, gofod y digwyddiad F a mesuriad y tebygolrwydd yn P.Diffiniad ffurfiol o debygolrwydd yn y system Mizar, a rhestr o ddamcaniaethau ffurfiol.

Dull arall o ffurfioli'r tebygolrwydd yw damcaniaeth Fox, a dyma'r dull a ddewisir gan gefnogwyr y meddylfryd Bayes.Calcwlws Kolmogorov o debygolrwydd, Stanford Encyclopedia of Philosophy.

 Y gwirebau

 Gwireb 1 
Mae'r tebygolrwydd o unrhyw ddigwyddiad yn rhif real nad yw'n negatif:

lle mae  yn ofod y digwyddiad. Yn fwy manwl, mae  bob amser yn feidraidd, sy'n ei wneud yn wahanol iawn i'r ddamcaniaeth o fesuriad mwy cyffredinol.

 Gwireb 2 

Dyma'r dybiaeth o 'uned fesur': Y tebygolrwydd o leiaf un digwyddiad i ddigwyddiad, yn y gofod sampl yw 1.



 Gwireb 3 

Dyma'r dybiaeth o ychwanegoldeb-σ-: (sef 'ychwanegoldeb sigma'):

Mae unrhyw gyfres rhifadwy o setiau digyswllt:  yn bodloni 

Cyfeiriadau

Categori:Damcaniaeth tebygolrwydd
Categori:Gwirebau mathemategol