资源描述:
《Probability_theory_-_An_Analytic_View.pdf》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库。
1、ChapterISumsofIndependentRandomVariablesInonewayoranother,mostprobabilisticanalysisentailsthestudyoflargefamiliesofrandomvariables.Thekeytosuchanalysisisanunderstandingoftherelationsamongthefamilymembers;andofallthepossiblewaysinwhichmembersofafamilycanberelated,byfarthesimplestiswh
2、entherelationshipdoesnotexistatall!Forthisreason,wewillbeginbylookingatfamiliesofindependentrandomvariables.x1.1IndependenceInthissectionwewillintroduceKolmogorov'swayofdescribingindependenceandproveafewofitsconsequences.x1.1.1.IndependentSigmaAlgebras.Let(;F;P)beaprobabilityspace(i
3、.e.,isanonemptyset,Fisa-algebraover,andPisamea-sureonthemeasurablespace(;F)havingtotalmass1);and,foreachifromthe(nonempty)indexsetI,letFibeasub-algebraofF.Wesaythatthe-algebrasFi;i2I,aremutuallyP-independentor,lessprecisely,P-independent,if,foreverynitesubsetfi1;:::;ingofdistinc
4、telementsofIandeverychoiceofAim2Fim;1mn, (1.1.1)PAi1Ain=PAi1PAin:Inparticular,iffAi:i2IgisafamilyofsetsfromF,wesaythatAi;i2I;areP-independentiftheassociated-algebrasFi=f;;Ai;Ai{;g;i2I;are.Togainanappreciationfortheintuitiononwhichthisdenitionisbased,itisimportantton
5、oticethatindependenceofthepairA1andA2inthepresentsenseisequivalentto PA1A2=PA1PA2;theclassicaldenitionwhichoneencountersinelementarytreatments.Thus,thenotionofindependencejustintroducedisnomorethanasimplegeneralizationoftheclassicalnotionofindependentpairsofsetsencounteredinn
6、on-measuretheoreticpresentations;andtherefore,theintuitionwhichunderliestheelemen-tarynotionappliesequallywelltothedenitiongivenhere.(SeeExercise1.1.8belowformoreinformationabouttheconnectionbetweenthepresentdenitionandtheclassicalone.)12ISumsofIndependentRandomVariablesAswillbeco
7、meincreasingevidentasweproceed,innitefamiliesofindepen-dentobjectspossesssurprisingandbeautifulproperties.Inparticular,mutuallyindependent-algebrastendtollupspaceinasensewhichismadeprecisebythefollowingbeautifulthoughtexperimentdesignedbyA.N.Kolmogorov.LetIbeanyindexset,takeF;=f;
8、;g,andforeachnonemp