Welcome to Scribd!
Academic Documents
Professional Documents
Culture Documents
Hobbies & Crafts Documents
Personal Growth Documents
M 09 H 4 Be
AI-enhanced title
1, Btablir Pégalit lias bello = | TL oen(ae!) TT eos! en i (©) Vérifer que la limite est non mille et en déhuire tne contradiction, 6. Sot O Le Partie IV Onssintéresse 4 Tabsolue continité de va par rappart Ala mestre de Lebesgue pont €J1/2, 1 Cotte propriété nfétant pas vraie pour tous les a, on se pose la question dans tn sens phus faible, woir pour “presque tout” a €]1/2,1]. Cette partie établit un crittre de vérification. 1. Soit m une mesure de probabilité sur (R, B()). On définit : C= {AE BIB) | Vp > 0,50 ouvert ot F fermé tels que F CACO et mO\F) <1}. © et contient les fermés de BR. (a) Montrer que C est stable par passage au complémentait (b) Montrer que C est une tribu. En désire que pour tout A € B(®) = m(A) =sup{m(F) | F fermé A} = inf{m(O) | O owert, ACO},2. Pour w € Ret > 0, notons By(r) = be— rye +r] la boule de centre « et de rayon r. Pour la suite, on rappelle Ie lemme de recouvrement de Vitali, que Yon pourra utiliser librement : Lemme : Soil (Br,(O))ier une famille quelconque de boules dans de rayons non nuls et bomés, Alors il existe ume sous-famille notée (B,,(t;))je1+ finie ou dénombrable, telle que les (By (t;))jeu soient deur deux disjoints et vérifient ier Byx(0) C Ujey Bar, (ty). Pou f €L\(@), x Retr >Oon pose: Gutta) =f faNBe) RAL) =swP{QeLMla)sr> 0} Bre) (@) Rappeler pourquoi Q,f + f dans L*(B), quand r+ 0). (0) Soit f LCR) et > 0. Montrer que pour tout x © {RF > 1}, il existe ume boule By_(@) avec ry > O telle que Jpg, [fA > MX(Bre(a))» En déduire qu'il existe une constante A > 0 tae que pour tont f € L1(R) et tout > 0: ACRE > nh) = Allflla/m (c) Pour f € L'(R), on pose Af(r) = |limsup,_o, Qy.f(a) —lim inf,.0, Q,.f(@)|- Montrer que sg est continue d support compact, alors Qr.g converge uniformément vers g quand 1044 En déduire que Ag(z) = 0, pour tout ar€ R, (d) Soit f € L4(R). Montrer que pour tout 7 > 0, on a {Af > H}) < 24l|f\la/n, puis que Af =0, App. En déchire be thiortme de dérivation de Lebesgue : lip Qf =f. 3. Soit 1 une mesure de probabilité sur (i, BUR)). On définit : Y(Br(x)) age. med Dx) On fait Phypothtse que D,, est fini, r-presque partout, et on cherche & montrer que 7 est absolument continue par rapport A la mesure de Lebesene. Pour cola, rappelons qui sulfit de prouver que si A € BIR) est tel que A(A) = 0, alors 1A) (@) Soit 1 > 0, Montrer qu'il existe un entier IV > 1 et Ay C A tes quer(Ay) = (A) et Dua) 0. Montrer qu'il existe tn ouvert O tel que ACO avec AO) <6 tel que : War € Ans 3's > O Br (a) CO et v(Borg(x)) $ CNrex od C est une constante munérique absolue (on pourra prouver que C’ (©) En déduire que (Ay) = $.N6, Conclure, § convient). Partie V On utilise le crittre établi dans la partie préotdente. 1, Soit 1 une mesure de probabilité sur (I, B(R)). Montrer que sous Vhypothese Dy (x) < +9 pour presque tout 2, alors D,(r) est une version de la densité de v par rapport 2X.2. Dans la suite, on simplifie D,,, en Da. Soit A’ un intervalle ouvert inclus dans J1/2,1[- Sous Phypothese M(K):= i [ Dala)dia(ydex < +50, montrer que vq admet une densité pour )-presque tout a © KC et que cette densité est dans PQ). 3. Soit © = {=1,41}", nmmi de sa tribu uswelle et de la mesure de Bernoulli P = (1/2,1/2)2™. ‘Un @ément de 9 est une suite w = (wh )n>oe Soit : 10) = Dane 130 (@) Vérifier que vq = Po Tz. (b) Btablir que va(Br(la))) = Je Moretti )ntaw)isr}tP (4%). puis que : MC) stip 5 ff [A ((a © Kella() = Maw] < )aPondP, (6) Soient «= (an) n20 et 0 = (efJnuse dans 2 On pose = Pa(w.u/) =Ta(w)—Ha(w/) = (en — wa”. 30 fer que Yq(w.iu’) = 2akg(a,w,u4), oi: = Www!) = min{n > Own 4 uf} Harwit) = (1+, Rappelons que K C]1/2y1[. On travailledans cette question sous Phypothise de transversalité ‘H(K,6) suivante : il existe 6 > 0 tel que pour tout zr dans JX et toute fonction / de la forme ana”) 1 Oi dy, € {= 1,0,41 Je Hw) = 1+ YO ana, ott dy, € {=1,0, +1}, (2) 1st on ait h(x) <5= W(x) <—6. (a) Soit h dela forme (2). Pour p> 0 tel queO 3 sur oot ensemble, En déchuie que : Alfa € KG We(a)] = p}) < 2p/5. (b) Soit K =)o,Ar[C]1/2,1|, pour toute la suite de la question 4, On fixe w et w’ dans 2, Montrer que sia € Ket r > leawi')] Sr [ylaw.w")| S Ag*r/2- (©) Pourr > 0, établir la majoration = r Ala Kleow we Sr) = ae (@ Montrer finalement que M(C) < +90.5. En déduire que pour établir le fait que pour Aepresque tout a €]1/2,1[ lk mesure vq est absolument contime par rapport A la mesure de Lebeseue aver tune densité dans £2(B), il suffit de montrer une condition de transversalité H(]1/2,2-![,9), pour un é > 0. Fin de Vépreme
3 sur oot ensemble, En déchuie que : Alfa € KG We(a)] = p}) < 2p/5. (b) Soit K =)o,Ar[C]1/2,1|, pour toute la suite de la question 4, On fixe w et w’ dans 2, Montrer que sia € Ket r > leawi')] Sr [ylaw.w")| S Ag*r/2- (©) Pourr > 0, établir la majoration = r Ala Kleow we Sr) = ae (@ Montrer finalement que M(C) < +90.5. En déduire que pour établir le fait que pour Aepresque tout a €]1/2,1[ lk mesure vq est absolument contime par rapport A la mesure de Lebeseue aver tune densité dans £2(B), il suffit de montrer une condition de transversalité H(]1/2,2-![,9), pour un é > 0. Fin de Vépreme