La lecture à portée de main
Découvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDécouvre YouScribe en t'inscrivant gratuitement
Je m'inscrisDescription
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