Элементар ходисалар туплами саноксиз булган эхтимоллар фазоси. Алгебра ва алгебра. Улчовли фазолар

Yuklangan vaqt:

11.09.2022

Ko'chirishlar soni:

0

Hajmi:

594.5 KB

Ko'chirib olish

Элементар ҳодисалар тўплами сано қ сиз бўлган эҳтимоллар фазоси . Алгебра ва   алгебра . Ўлчовли фазолар Режа : 1. Алгебра ва   алгебра . 2. Лемма . 3. Борель  алгебра . 1. Алгебра – аддитивлик таърифлари. 2. Эҳтимоллар фазоси (кенгайтирилган маънода)  P A, ,  (  - алгебра, таърифлари) 3. Ўлчовли фазо,   аддитивлик,  4. Эҳтимоллар ўлчов хоссалари. 5. Теорема    P, ,F асосий таърифлари.

1.  - ихтиёрий тўплам (саноқли, саноқсиз) Таъриф 1. Фараз қилайлик, ихтиёрий  -бирор тўплам  қисм тўпламлари системаси. A -алгебра дейилади, агар 1) A   2) A , A, A       B A B A B A, 3) A A    A A бажарилса (2) шартда ёки A  B A , ёки A  B A бажарилишини талаб қилсак етарли, чунки  B A B A B A B A       , Таъриф 2: Фараз қилайлик - A ни қисм тўпламларидан иборат алгебра ] ,0[ :  A  чекли оддитивлик ўлчов дейилади. Ихтиёрий    B A B A A, ,      B A B A       - A да аниқланган, қабул қиладиган қийматлар тўплами ] ,0[   бўлган   A  A A ,   тўплам функция аддитивлик ўлчов дейилади, агарда ихтиёрий 2 та ўзаро кесишмайдиган A A ва AB м тўпламлар учун      B A B A       бўлса 1) Агар   чекли аддитив ўлчов учун      бўлса, у ҳолда   чекли ўлчов дейилади. 2) Агар   1   бўлса, у ҳолда   аддтив эхтимолликли ўлчов ёки аддитив эҳтимоллик дейилади. 2. Энди эҳтимоллар фазосига таъриф берамиз (кенгайтирилган маънода) Таъриф 3. Қуйидаги    P A,, учлик, қаерда 1)   нуқталар тўплами. 2) A -алгебра (  ни қисм тўпламларидан иборат) 3)  P аддитивлик эҳтимоллик ( A да аниқланган) кенгайтирилган маънода эҳтимоллар фазоси дейилади. Таъриф 4.

1)  ни қисм тўпламлари системаси  F алгебра дейилади, агарда  F алгебра бўлиб, қуйидаги шарт баарилса, 2) агар F nA , ,...2,1 n саноқлита тўпламлар учун F F     n n A A , бўлса. (Бу ерда ҳам F  nA e , ёки F  nA бўлса етарли) 3. Таъриф 5.  фазо ва уни қисм тўпламларидан иборат.  F алгебра биргаликда, ўлчов фазо дейилади. Ҳамда ( F,  ) билан белгиланади. Таъриф. [  -ни қисм тўпламларидан иборат A алгебрада аниқланган]   чекли –аддитив ўлчов саноқли аддитив (   аддитив) ўлчов, ёки (шундай ўлчов) дейилади, агарда ихтиёрий nA A A ,...., , 2 1 A , j iA A , , j i     1 n n A A бўлиб,             1 1 n n n n A A   бажарилса, 1)  чекли –аддитив ўлчов  -чекли дейилади, агар  , ни қуйидаги кўринишда ёзиш мумкин бўлса,              1 ,.....2,1 , , n n n n n A,  2)   аддитив ўлчов P ( A -алгебрада аниқланган) учун   1  P бўлса, у ҳолда P эҳтимол чекли ўлчов ёки эҳтимолликли ўлчов эҳтимоллик дейилади. 4. Эҳтимолликли ўлчов хоссалари. 01   0  P 02        B A P B P A P B A P B A       A , 03 A B A, ва B A , у ҳолда    B P A P  04 A  ,...., ,....,2 1 nA A A ва A  nA , у ҳолда       ..... .... , 2 1 2      A P A P A A P ўринли Исбот.

01   0  P                       P P P P P 1 1     0 1 1       P P 02        B A P B P A P B A P B A       A ,Исбот. BA A B A    BA AB B               AB P B P BA P BA P AB P B P                  AB P B P A P BA P A P B A P       03 A B A  , ва    B P A P B A    Исбот. BA A B       P BA A P B P {   аддитивлик }      A P BA P A P    04 A  ,..., ,...., , 2 1 nA A A ва A  n nA бўлсин у ҳолда,       ........ 2121  APAPAAP Исбот. Қуйидагича тўпламлар тузамиз: 2 2 1 1 , A A B A B    3 2 1 3 1 3 2 1 , .... A A A B A A A A B n n n           2n nB ларни шундай тикладикки , улар ўзаро кесишмайдилар , яъни j i B B j i   ,  ва n n A B  ҳамда      1n n n n B A иборат, у ҳолда               P B P A P n n nn { 1 -аддитивлигидан} B B A A

$            1 1 n n n n A P B P 5. Теорема. Фараз қилайлик  P (чекли) аддитив тўплам функция A - алгебрада берилган ва   1  P бўлсин. У ҳолда қуйидаги 4 та шартлар эквивалент. 1)  P -аддитив (  P эҳтимоллик) 2) P юқоридан узлуксиз, яъни ихтиёрий A  ,.... , 2 1 A A шунақаки ,1  n n A A A,    n n A1 , у ҳолда           n n n n A P A P 1 lim (1) 3) P қуйидан узлуксиз, яъни ихтиёрий A  ,...., , 2 1 A A шунақаки ,1  n n A A A    n n A1 , у ҳолда           n n n n A P A P 1 lim (2) 4) P нолда (0 да) узлуксиз, яъни ихтиёрий A  ,...., , 2 1 A A шунақаки       n n n n A A A 1 1, бўлиб, у ҳолда   0 lim   n n A P (3) Исбот. 1)  2) ? )1( , ,...., , 1 2 1        A A A A A A n n n A,     ..... \ \ 2 3 1 2 1 1       A A A A A An n                     дан к aд A A A A A P A P n n )1 ..... \ \ 2 3 1 2 1                 n n n A P A P A P A P A P A P A P A lim 3 2 3 1 2 1 ......            2)  3), яъни    n n n n n n n A P A P A A A A A         lim 1 2 1 )2( , ,.... , A A,  n n A A A A \ \ 1 1       n n A A P A P A P \1 1  (*) 1 1 } \ { nnA A тўпламлар кетма-кетлиги камаймайдиган тўпламлар ва тўпламлар хоссасидан$ $  n n n n A A A A    \ \ 1 1Шунинг учун 2) дан қуйидаги ўринли:      n n n n A A P A A P \ \ 1 1 lim    (**)                        n n n n n n n n n A A P A P A A P A P A A P A P A P \ \ \ 1 1 1 1 1 lim 1 (*) lim        n n n n A P A P A P A P       1 1    n n n n A P A P   lim 3)  4) табиий келиб чиқади, ҳақиқат ҳам        n n n n A A A A A 1 ! 2 1 , ,...., , , A       0 lim       P A P A P n n n n (3) 4)  1) у ҳолда       n n j i A j i A A A A A, , ,...., , 2 1A                       111 ni in i i i i A P A P A P Лекин      kni i k k A B ,....2,1 , кетма-кетли тўплам.     1ni iA камаювчи, яъни    k k k k B B B 1 ёки        1 , , ni i n A у ҳолда      1ni i n A                      1 1 lim 1 lim i n i i n n i i n i A P A P A P                   n ni i n i i A P A P 1 lim 1 4 дан   , A 1 1i i                     i iA P P P яъни  i i i i A P A P             1 1$

Қуйидаги асосий таърий Колмогоров аксиоматикаси дейилади. Асосий таъриф:    P F,, учлик қаерда )a   нуқталар тўплами )b   F алгебра (  нинг тўпламларидан тузилган) )c F P да аниқланган эҳтимоллик. Эҳтимоллар фазоси дейилади. Бу ерда   элементар ҳодисалар фазоси дейилади, F A -тўплам ходиса дейилади,   A A P  ходиса эҳтимоллиги дейилади. Фараз қилайлик   элементар ходисалар фазоси. Қуйидаги тўпламлар системаси. } : { * }, , { *       A A F F алгебра ҳам  алгебра ҳам бўлади . *F тривиаль, энг «камбағал»  алгебра дейилади. * F энг «бой»  алгебра дейилади. Агар ,  A у ҳолда } , , , {    A A AF алгебра (  -алгебра) бўлади ва A тўплам ҳосил қилган   алгебра (   алгебра) дейилади. Лемма. Фараз қилайлик - A ни қисм тўпламлар системаси бўлсин. У ҳолда бу тўпламлар системасини ўз ичига олган минимал алгебра ) A( (минимал   алгебра   A  ) мавжуд. Исбот.    } : { A A F* ни барча қисм тўпламлари -  алгебра  ҳеч бўлмаганда битта A ни ўз ичига олган алгебра ва  алгебра мавжуд.       A A   билан A тўпламлар системасини ўз ичига олган ихтиёрий алгебра (   алгебра) га тегишли тўпламлар системасини белгилаймиз. Бу    A A /  системалар минимал алгебра (   алгебра) бўлишини осон кўриш мумкин. Ўлчов фазоларни қуриш:     R B,R ўлчовли фазо. Фараз қилайлик      ; R ҳақиқий сонлар ўқи ва } : { ], [ b x a R x b a          b a учун   ,a ни деб шарт қўямиз ёки ] , (  a деб тушунамиз,

чунки унинг тўлдирмасини  b, бир хил кўринишда бўлишлигини таъминлаш учун шундай деб олинади. Ўзаро кесишмайдиган чеклита ] , ( b a кўринишидага интерваллар йиғиндисидан тузилган ( R ни қисм тўпламларидан иборат) тўпламлар системасини A орқали белгилаймиз, яъни A  A бўлади, агар    n i ii n b a A 1 ],, ( Бу тўпламлар системасига  тўпламни A алгебра бўлади, лекин  алгебра бўлмайди чунки A       n An 1 1,0 , у ҳолда - - A A      )1,0( n nA алгебра бўлмайди.  R B дуб A тўпламлар системасини ўз ичига олган миинмал   алгебра   A  ни белгилаймиз. Бу   алгебрага Борель   алгебра дейилади, унинг тўпламлари – Борель тўпламлари дейилади. Агар J орқали ] , ( b a кўринишидаги I интерваллар системасини белгиласак ва  J  билан J ни ўз ичига олган минимал  алгебрани белгиласак, у ҳолда    R J B  бўлади, яъни  J  Борель  алгебра билан устма-уст тушади чунки ] , ( b a кўринишидаги интервални ўзаро кесишмайдиган ] , ( i i  интерваллар йиғиндиси кўринишида ифодалаш мумкин.     b ba k i i i     , ], , ( ],( Ҳақиқатдан ҳам A ни элементлари шундай йиғинди кўринишида эди. Бундан устма-уст тушиш келиб чиқади.   b a n b a b a n           , 1 , , 1   b a b n a b a n           , ,1 , 1          a n a a n ,1 } { 1

Юқоридагилардан кўринадики Борель   алгебра  b a, кўринишидаги интервалдан ташқари (2) } {a ,     ) , (], , (, , ), , [], , [, ,     a b b b a b a b a интерваллар ҳам кирар экан, чунки    R ba a ba B B B     , } { ), [     R n b b R n B               1 , , 1  R b b b B      } { ) , ( ] , (          R a a R a B B        , , ,    R B алгебрани  b a, кўринишда эмас балки (2) даги интервалларнинг ихтиёрий бири билан ҳам қурилса бўлади . (  R R B, ) учун   1 1, , , B B R R белгилашлар ишлатилади . 3.    n n R R B, ўлчовли фазо. Фараз қилайлик R R R Rn     ..... ( R ларни n марта декарт кўпайтмаси)   },1 , : ,...., , { 2 1 n k R x x x x x R k n n      k k k n b a I I I I I , , .... 2 1      бу I тўпламни тўғри тўртбурчак деймиз, яъни },1 , : { n k I x R x I k k n     kI лар бу тўғри тўртбурчакнинг томонлари деймиз. J билан I кўринишдаги барча тўғри тўртбурчаклар системасини белгилаймиз. J ни ўз ичига олган минимал  алгебра  J  ( J тўғри тўртбурчаклар ҳосил қилган) Борель  алгебра дейилади ва  nR B билан белгиланади. Унинг тўпламлари Борель тўплам дейилади. Бу Борель  алгебрани бошқача йўл билан ҳам қуриш мумкин. Қуйидагича nB B B B     .... 2 1 тўғри тўртбурчакларни оламиз, kB лар Борель тўпламлар.     k R R R .... чи ўриндаги R даги Борель тўплам тўртбурчакларни системасини ўз ичига олган минимал  алгебра

   R R B B   .... билан белгиланади ва     R B алгебралар тўғри кўпайтмаси дейилади. Бу иккита минимал  алгебралар устма-уст тушади яъни      R R Rn B B B    .... 4.       R R B, ўлчовли фазо. ,...}2,1 , : ....) , ( { 2 1     k R x x x x R k яъни R -тартибланган сонли кетма-кетликлар. Бу ерда    R B алгебра қуйидагича қурилади. kI билан  k k b a , кўринишдаги интервалларни ва kB билан  k чи ўриндаги R хосил қилган Борель тўпламни белгилаймиз. Қуйидаги цлиндрик тўпламларни кўрайлик. (1)      n n n I x I x x x x x I I I J        ,...., , ,... , : .... 1 1 2 1 2 1 (2)      n n n B x B x x x x x B B B J        ,...., , ,... , : .... 1 1 2 1 2 1 (3)      n n n B x x x B J   ,...., : 1 бу ерда    n n R B B борель тўплам. Бу цлиндрик тўпламлар системаси (2), (3) алгебра ташкил қилади. Барча (1), (2), (3) кўринишдаги тўпламлар ўзз ичига олган минимал  алгебрани мос равишда      R R 1B B , ва  R2B билан белгилаймиз. Бу  алгебралар ҳам устма-уст тушади.           R R R 2 1 B B B

O'xshashlar

Эхтимоллликнинг статистик ва геометрик таърифлари. Шартли эхтимоллик. Ходисалар богликсизлиги

Боглик булмаган тажрибалар кетма-кетлиги

Алгебра. Алгебралар гомоморфизми

Алгебра ва анализ масалаларини тақрибий ечиш

Чизикли кобик. Чизикли купхиллик