Beruflich Dokumente
Kultur Dokumente
Exercice 1 - Tribu engendre - L3 Il est facile de voir que, pour tout entier n N, {n} = Sn Sn+1 Sn+2 . Puisque toute partie de N est runion dnombrable de singletons, et quune tribu est stable par passage la runion dnombrable, on en dduit nalement que T = P (N).
Exercice 2 - Tribu borlienne de R2 - L3 1. Lapplication : Q4 R (q1 , q2 , r1 , r2 ) ]q1 , q2 []r1 , r2 [ est une surjection de Q4 sur R. Puisque Q4 est dnombrable comme produit ni densembles dnombrables, R lest aussi. 2. Une inclusion est claire : on a en eet R U.
RR, RU
Rciproquement, soit (x, y ) U . Puisque U est ouvert, on peut trouver > 0 tel que ]x , x + []y , y + [ U. Par densit de Q dans R, on peut trouver des rationnels q1 , q2 , r1 , r2 tels que x < q1 < x < q2 < x + et y < r1 < x < r2 < y + . On a donc (x, y ) R =]q1 , q2 []r1 , r2 [ et R R, R U . Ceci prouve limplication rcriproque. 3. Soit T la tribu engendre par les rectangles ouverts et B la tribu borlienne de R2 , cest-dire la tribu engendre par tous les ouverts. Puisque tout rectangle ouvert est en particulier un ouvert, on a T B . Rciproquement, daprs les deux premires questions, tout ouvert scrit comme runion dnombrable de rectangles ouverts, donc tout ouvert est lment de T . La tribu engendre par les ouverts est donc contenue dans la tribu engendre par T . Comme T est une tribu, la tribu engendre par T est T elle-mme. Ainsi, on a prouv linclusion rciproque B T .
Exercice 3 - Tribu engendre par une partition - L3 On commence par remarquer que T est une tribu. En eet, X = i{1,...,n} Ai ; Si A = iJ Ai est un lment de T , alors Ac =
i J c
Ai
p i Jp
Ai =
Jp
De plus, T contient tous les Ai , et donc elle contient la tribu engendre par A1 , . . . , An . Maintenant, toute tribu contenant A1 , . . . , An doit ncessairement contenir nimporte quelle runion nie des Ai . T est donc bien la tribu engendre par A1 , . . . , An .
Exercice 4 - Tribu des parties nies de R - L3 1. Il sagit de vrier les 3 axiomes dune tribu : C; C est clairement stable par passage au complmentaire. Soit (An ) une suite dlments de C . Deux cas peuvent se produire. Ou bien tous les An sont au plus dnombrables. Dans ce cas, n An est dnombrable. Ou bien un au moins de An , disons Ap , nest pas dnombrable. Dans ce cas, Ac p est au plus dnombrable. Mais alors,
c
An
n
=
n
c Ac n Ap , n An
et donc (
n An )
est lment de C .
2. Il est clair que T C , puisque C est une tribu qui contient toutes les parties nies, et que T est la plus petite tribu contenant toutes ces parties nies. Rciproquement, on va prouver que T contient tout ensemble A tel que A est au plus dnombrable ou Ac est au plus dnombrable. En eet, si A est au plus dnombrable, alors A scrit comme runion au plus dnombrable de singletons, A = xA {x}. Chaque singleton {x} tant lment de T , et T tant stable par runion dnombrable, on en dduit que A T . Si Ac est au plus dnombrable, alors le mme raisonnement prouve que Ac est lment de T , puis on en dduit que A est lment de T puisque T est stable par passage au complmentaire. 3. La tribu borlienne contenant toutes les parties nies, on sait que T B . Cette inclusion est stricte. En eet, lintervalle ]0, 1[ est lment de B , mais pas de T puisque ni lui, ni son complmentaire ne sont dnombrables. 4. Puisque la tribu est engendre par les parties nies de A, il sut de prouver que f 1 (A) est lment de T pour toute partie nie A. Or, f tant injective, tout lment possde au plus un antcdent. Ainsi, f 1 (A) est ni, de cardinal infrieur ou gal au cardinal de A. En particulier, f 1 (A) T . 5. Soit f = 1]0,1[ . Alors f est mesurable de (R, B ) dans (R, B ) (cest une fonction tage). En revanche, elle nest pas mesurable de (R, T ) dans (R, T ). En eet, f 1 ({1}) =]0, 1[, qui nest pas lment de T (alors que {1} lest).
Fonctions mesurables
Exercice 5 - Mesurables ! - L3 1. Soit A un borlien de R et f lindicatrice de Q. Alors, f 1 (A) est gal : si A = ; {1} si A Q ; http://www.bibmath.net 2
Exercice 6 - Fonctions monotones - L3 Dans la suite, on supposera f croissante, le cas f dcroissante tant symtrique. 1. Soient x < y deux lments de f 1 (] , c[) et considrons z ]x, y [. Puisque f est croissante, on a f (z ) f (y ) < c, et donc z f 1 (] , c[). 2. Rappelons que les ensembles f 1 (] , c[), c R, engendrent la tribu des borliens. Pour prouver que f est mesurable, il sut donc de prouver que pour chaque c R, f 1 (] , c[) est un borlien. Mais cest un convexe de R, donc un intervalle, donc un borlien !
Exercice 7 - Fonction et son module - L3 Lide est la suivante. On va considrer un espace mesurable (E, T ) tel quil existe une partie A de E qui nest pas mesurable. On dnit ensuite une fonction f de module constant et telle que f 1 ({1}) = A. Ainsi, |f | est mesurable puisque constante, tandis que f nest pas mesurable, car limage rciproque du borlien {1} nest pas mesurable. Pour le choix de (E, T ) et A, il sut de savoir quun tel exemple existe. Si on veut expliciter un exemple, on peut prendre E = {0, 1} et T = {, E } qui est une tribu (la plus petite tribu sur E ). On pose ensuite A = {0}. Il est ensuite facile de dnir f . On peut poser f (x) = 1 si x A et f (x) = 1 si x / A. Elle vrie les conditions voulues.
Exercice 8 - Troncature - L3 1 (I ) est mesurable. Pour cela, on Soit I un intervalle de R. Il sut de dmontrer que fa dcompose I en I = I1 I2 I3 avec
I1 = I ] , a],
I2 = I ] a, a[,
I3 = I [a, +[.
1 (I ) = f 1 (I ) f 1 (I ) f 1 (I ), il sut de prouver que chaque f 1 (I ) est Puisque fa 1 2 3 j a a a a mesurable. Mais : 1 (I ) = si I = . Sinon, la seule valeur rellement prise par f dans I est a, et elle fa 1 1 a 1 1 (I ) = f 1 ([a, +[), qui est est prise par tous les x tels que f (x) a. Autrement dit, fa 1 mesurable car f lest.
http://www.bibmath.net
Le point crucial est ici que, si x est un rel tel que f (x) I2 ou fa (x) I2 , alors 1 (I ) = f 1 (I ) est donc mesurable. f (x) = fa (x). Maintenant, fa 2 2
Mesures
Exercice 9 - Combinaison convexe de mesures - L3 Il sut de vrier que satisfait la dnition dune mesure. Dune part, on a
n n
() =
k=1
ak k () =
k=1
ak 0 = 0.
Dautre part, soit (Ti )i1 une suite dlments de T deux deux disjoints. On a
+ n +
i=1
Ti
=
k=1 n
ak k
i=1 +
Ti k (Ti )
= =
ak
i=1 k=1 + n
ak k (Ti )
i=1 k=1 +
=
i=1
(Ti ).
Exercice 10 - Mesure invariante par translation sur Z - L3 Raisonnons par labsurde et supposons lexistence dune telle mesure . On va commencer par prouver quil existe n Z tel que ({n}) = 0. En eet, si ({n}) = 0 pour tout n Z, alors
(Z) =
{n} =
nZ
({n}) = 0,
nZ
ce qui nest pas le cas puisque (Z) est strictement positif. Soit donc n0 Z tel que ({n0 }) > 0. On va ensuite prouver que, pour tout n N, on a ({n}) = ({n0 }).
http://www.bibmath.net
(Z) =
{n} =
nZ
({n}) =
nZ
({n0 }) = +.
nZ
Ceci contredit que la mesure est nie. Il est donc impossible quune telle mesure existe.
Exercice 11 - Absolue Continuit dune mesure par rapport une autre - L3/M1
On raisonne par labsurde, et on suppose lexiste de > 0 telle que la proprit soit fausse. Pour = 2n , on trouve un ensemble An tel que (An ) < 2n et (An ) . Posons alors, pour n 1, Bn = kn Ak . On a clairement (Bn )
kn
(Ak ) 2n+1 .
Dautre part, on a (Bn ) (An ) . La suite (Bn ) est une suite dcroissante de parties mesurables. Les mesures et tant nies, en posant C = n Bn , on obtient (C ) = lim (Bn ) = 0 et (C ) = lim (Bn ) .
n n
http://www.bibmath.net