ON THEORIES OF RANDOM VARIABLES

Alexander Usvyatsov

Description

ON THEORIES OF RANDOM VARIABLES ITAÏ BEN YAACOV Abstract. Nous étudions des théories d'espaces de variables aléatoires : en un premier temps, nous considérons les variables aléatoires à valeurs dans l'intervalle [0, 1], puis à valeur dans des structures métriques quelconques, généralisant la procédure d'aléatoirisation de structures classiques due à Keisler. Nous démontrons des résultats de préservation et de non-préservation de propriétés modèle-théoriques par cette construction : (i) L'aléatoirisée d'une structure ou théorie stable est stable. (ii) L'aléatoirisée d'une structure ou théorie simple instable n'est pas simple. Nous démontrons également que dans la structure aléatoirisée, tout type est un type de Lascar. We study theories of spaces of random variables: first, we consider random variables with values in the interval [0, 1], then with values in an arbitrary metric structure, generalising Keisler's randomisation of classical structures. We prove preservation and non-preservation results for model theoretic properties under this construction: (i) The randomisation of a stable structure is stable. (ii) The randomisation of a simple unstable structure is not simple. We also prove that in the randomised structure, every type is a Lascar type. Introduction Mathematical structures arising in the theory of probabilities are among the most natural examples for metric structures which admit a model theoretic treatment, albeit not in the strict setting of classical first order logic.

• logic


• continuous logic


• valued random


• since ?


• ?¯ ?


• then ?


• p? ?


• theoretic independence

Informations

• Publié par: profil-urra-2012
• Nombre de lectures: 13

Extrait

[0;1]
[0;1]
ITA?BENin(fordelYtheAAiCO)VphrAbstraprobabilct.bNouscompact?tundionsofdesrandomisationth?oriesandd'espacesalismdewhicvtheariablesistical?atoiresauth:alloenumunvprofemierthtemps,thannouscorrectconsid?ronshlesorvWariablestheal?atoirestary?canvatomlessaleursdepdansmol'inastervwallofeasARIABLESyVprobabilRANDOMy,form,puistheoretic?wvialeurprobabilitdantecsmetricdesandstructuresconm?triquesuquuselconques,d'exceg?n?ralisanhtmanla8thprothatc?duenrethed'al?atoirisationisdeorderstructuresonsclassiquesorduestructure?bKeisler.eNoussimple).d?monknotrontshdesmor?sultatswdeoutpr?serv[Ben06],ationinetthisdesensenon-pr?servshoationanddecpropri?t?swmosod?le-th?oriquesatparscetteyconstruction[BU10]:t(i)structures.L'al?atoiris?ethered'uneisstructureadmittingoutheth?orieqstablemanestsidestable.probabilit(ii)fashion,L'al?atoiris?eallod'unetostructurestructure,oumetricth?orietosimpleKeyinstableariables;n'estmetricpasysimple.juniorNousCuried?monMotronsthe?galemenregardingtRqbuecdansforlaassadequatetrose,uctureassal?atoiris?e,ytoutelemetclassicalypaerestrictsestderablyunetvyptheeterpretsdeoleanLascar.andWeeestudyttheoriesoofofsptheacestheoreticofaranindomsucvyariables:theorerst,indepwreecarrieconsideryrandromthevyariablesformalismwiththeories.vformalismaluesiniitnonethethatinaretervthealindepOFwithTHEORIESone,ecomequiteuousersome,istoONCon,orderthenrelativwithformalvastaluespinnanosedarbitrarUsvyythemetricmostructure,regeneralising(classesKeisler'smpleterandomisationorofobservclassicalthestructuyres.taryWsesimpleprandoofvalgebrasetierpreservsimplifyingationofandconon-preservconationen06].resultsalgebrasforinmoathedelclassicaltheoreticedpropauthorertiestunderathiswconstruction:that(i)isTheArgumenrandomisationeectofsevadsstablerandomstructuretinisistable.res.(ii)ortedThecrandomisationlenof(ANR-06-CEXaysimple-unstablewstructureTheistonoteesimple.helpfulWstructureeanda1286lvso2011.preoonsidervthisemthatwinnotthetirelyrandomisedforstructure,purpevsinceerclyoftitypalgebrasenotisnainLascarrsttlogic,ypfacte.hIntrcoductioniMathematicalwhatstructuresbarisingdoneinprotheedtheoryexample,ofrandomisedprobabiinlitiesanareBoamongalgethera,mostcannaturalrexamplesforforbmetricneitherstructuresendenwhicnorhTadmittheaestmoourdelwledge,theoreticrsttreatmendelt,treatmenalbofeitprobabilnotstructureinwhicthenotionsstricthsettingstabilitofandclassicaldelrsttorderclogicendence.eExamplesconsideredincludeasthedtreatmenbttheofoadaptedinspacesforbclassyprobabilitKeisleralgebras,&theFofaabstractjardoWhile[FK02],latterinwwhicadequate,hthenothatlodidgicwoftoanwyprobabilitkindalgebrasappstableearsthatexplicitlymo(theoreticeendencevoincidesenthethoughisticmanityasmocdelbtheoreticandnotions,onsucbhobsolete.astintrstyplogices,adoelappnewear).ism,Anotherleexample,iwhicitshreisethetmainproptboAlexanderpatsoiandcauthorofforthedelpresenttatmenpapofer,ofiscoKeisler'smetricrandomisationFconstructionexample,[Keie99],einthatwhicclasshprobabilitonealgebrascoelemenn,sitdtheoryearssetspacesaxioms,ofthatrandomtheoryvatomlessariaybadmitsluaneselimination,whoseusvconsiderablyaluesylietheinhnicalsomengivrationsentainedstructures.[BTheViewingrandomisationyconstructionaswstructuresasthisoriginallyrsetrupasinstructures,thewformalismKeisleroftheclassical[BK09]rpresensttheorderaslogic,metricrepresenandtingethetendprobabilithistrandomisationythespaceone.underlyingtsthethisrandomisationinclbdeyeralitsworprobabilitandyases.algebra,vnamelconyuo,logthec;BostructuoleanResearcalgebrasuppofbevANRenhairetslupcetoTHEMODMETnC-007)ullbmeasureMarie(denedreabstractlysearc,netaorkprdNet.obauthabilitywishesalgebrthankareferisforaymeasureremarksalgebratheofoftotalarticlesmassreferences.one,evisionseeofFNoremlinem[Ferre04]).1RT T
TP2
RL
J’K L ’
L
[0; 1]
0 1
1
2
[0; 1]
C’ N’ ’
:C’ ’ N’ :’
S =fP : i2Ig0 i
:S S : S0
S
bytheauthorultra-lterisplainto[Ben09a].DenitionAnothersargumeOnntervt,1.bChothalgebras,?steliminationheprotic?ukandratherpractical,lissimplerthatLettwypofesertiesinetheemetricprorandomisationearetvRossereryandnaturaldierenobinjects,zynamelywregularanBorereplacinglaprobabiliterationyismeasurescon-on2thevspacealgebrasomfInttypeestheseofyptheTheoremoriginalfunctional.theoryati,ypalsohereferredandtoofnopropwa,adaSynyseasnectivKeisleremeofasureesshould[Kei87],references,andwithoutwhicehuseturnandoutresultstohbYeThenparticularlyalone.usefulws.fordeductionstheafterstudyareofaxiomsdepsoendenplatytheories,Moe.g.,areintheory[HPP08].itWwethestillmetricndrandomtheincurrenfortvstatelanguage,ofon.knovwledge,whiandanexistingwtreatmenationt,Sectionofinrandomisation,erw,anaretiRnglateonedsevsysteralcz'sptlyoinyts.isFirstn,thesincefromtheruerandomisation.ofdoaSemandithesthatcwhilernon-standardetheytes)structurecareful(ortheirtheory)asnecessarilyPproformducesea[BK09]metriceone,conthewithquestionfalseofouldrandomisingVmetricsymstructuresasafreerformaliops?ukasiewiczeofspapquiteasnaturallySection.considerInpropfact,uousitRosserih.sinquitegiveasythetosconstructaluedthewhicrandomisationtheofedatmetric[structuretheoretic(orthistheory)frindirectlyof,probabilitbwhicybi?nlettingtionitsdetstuypseonsspacestures,beseariablesthealuesspacesstructures.oferegulartheoryBorelstructures,probabilitquanythemeasuresharacteriseasandmeneteiofonedrandomisations,abhoreplacedvine,Sectionaprofacteralwhicnonhresults.wwaseusedstructures,ino[Ben09a]aretoepinoincaset.outtsthatRtheInpreRosesproecrprovmationwofy-vdeplogic,endencevholdsdfor[Cha58b,theThisrandomisationeryofositionalmetricuousstructuresllyasiswpartiallyell,factevtifyenthenthoughwiththethelisattnoteasiewicz'sr,hadallonotunityaetabveenfformallyallodened.theHo(namelywwevver,WthebphooinustInofositionalviewewiczoftedtheories(prex)astheses.tisyppropeprospaces,,whileinaulae.ppreferersonalnotationfauousvorouriteofofinthe.authorLet(seehforatiexampleb[Ben03a]t),ols,isefarpropfrombbgeneratedeingwithunivnaryersallandyTaccepted,iscgicreatingLettheitsneedTheforeranorganisedordinaryfolloconstructionInof1theeformalrandomisationinofositionalatinmetriclogic,sRose,tructure,andwithurcaThesenaturalusedlanguage,Sectionaxioms,toandeall.forAtheorysecondspacespioi-vnrandomtariables,ishthatytheroletreatmenytbofprobabilirandomisationyinin[BK09]BK09].reliesdelgproprofetheoryatlydeducedono[Kei99],thosemantheyoftimesyreferringwithtohitisforterpretable.proSecofs,3eevnenandthoughdysomerandomifundamenataliaspofectsstruc-ofnamelythepacset-upofavrwhosevdierenliet,metricrequiringWthegivreaxiomsaderthetoofconrandomtinprouallyevtiererifyinthatappropriatethecargumenttsesdosotransfer.WThealsoaimvofatheersionpresen?o?'stforpapinercisthetoisremedywiththesearbitraryshortcomingstegrationbIny4proevidingvasevself-conpreservtainedandtreatmenpreservtonofInrandomisation5inethevmetricthatsetting,randomandtshoeswv(orsetspLascaroinyptsout)sothattthestablepreservtheyationstationaryresults1.ofresul[BK09,ofBen09a]ose,holdosserinChangthethemetric1950ssettingandas[RR58]wvell.theInompletenessaddition,awofeeturnfortheasiepreserviationmanofalueddepositionalendencesubsequeninimprotoedasimpliedicbhotomChangyCha58bCha59].ylogicshovwingclosethatpropifcoedtinislogic.nottacticadep,endennotationtquitethent,itsstemmingrandomisationthevwproidencannotTevwithen,bthanestablesimplAlso,e,con-andeinstructurefacteshasexists?ukalogic.wtically.wWonlyewalsostandardimproinvaleifaascorollarysetoftruththealues,preservsomeationuzoflogiciansstabilitwyextensionsofr[BK09],ofnamely,thatalloininnitesimarandomisedtruthstablealuest.rucetthereforeuresetinypweseoevresults.erthesesetsPropare?ukLascaritLogicyppresenes,usingproolishvingnotation,theparensameAforulaarbeitheriatomictrosition,aryvrandomisedorstructures.wAswhereaandminorarepformoinWt,shallwtoethesimplifyofthetinlanguagelogic,(andexample,theory),Fand[Kei99].ratherformalismthanthenamewithineendenceDenitiondep1.(thebrandomisationwofwhicbonapreservasiewiczCOationepreservseofdistincteacbhwhicwhilew-formviewulaatomicrandomisation,osition.,AAweelynamefromtheBENfunctionthesymbibopolsA?andunarytheerationrandomisations.ofIthearelationlosym.b1.2.olslanguage)theerandomisation?uk2logic.v :S ! [0; 1] v :S ! [0; 1] v0 0 0
: :v(’ ) =v(’) v( ) v(:’) = 1 v(’) v v0
v(’) ’
v(’) = v( ) v ’
’
v(’) = 0 v ’ v’ S v v’
’2 ’
S ’2S ’ ’
’ ’
S S
:
: n’ n
: : : : : : 0’ = ; (n + 1)’ = n’ ’ = ( n’) ’:
:1 :(’ ’ ) ’0 0 0
: :’^ =’ (’ ); ’_ =:(:’^: );
v(’^ ) = minv(’);v( ) v(’_ ) = maxv(’);v( ) v
’ =n
: : : 1 11 2(1 nP ) ’ = 0 1 nP P =f’ gn n n2N2 2n
P P0 0
S fP : i2 Ig ’2Si
IS [0; 1] ’2S
I’^: [0; 1] ! [0; 1] ’^(v) =v(’)
S S
: : :n;m2N ’ 2 i<m 1 n’ ::: n’i 0 m 1
m : : :n;m2N ’2 = 1 n’ ::: n’ n;’ 0 m 1 n;’P
m 1n ’ n;m ’2 v v( )> 0 v(’ )<2n;’ i 2n
1 0 0 1
0 0v( )> v nn ’’ v ( )>n;’ n;’ n ;’ n;’2 2
I I 1[0; 1] v2 [0; 1] v( ) n;m2 Nn;’ 2
m’2 v(’) = 0 ’2
: :
1 ’^: v7! v(’) ’
nf : [0; 1] ! [0; 1]
1 x: x7!
2 2
’^
: :’ (’ ) A ’
: :’ ’
: : : : :( ’) ( ) ( ’)
:(’^ ) ( ^’)
: : :(’ ) (: :’)
:’; ’


’

’ ‘’ ‘ ’S
’ ‘’ =) ’
S ‘’ ’2S
IfcanthatsymisbIfeeitheridenbtiedLetwithdeductionathatcoronmotinifuousefunctiony(ii)Th.thoughofifvaluedeductiont