Vous êtes sur la page 1sur 5

Exercices - Tribus - Fonctions mesurables - Mesures : corrig Tribus

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

car A1 , . . . , An forme une partition de X et donc Ac T . http://www.bibmath.net 1

Exercices - Tribus - Fonctions mesurables - Mesures : corrig

p i Jp

Ai =

Jp

Ai , et donc T est stable par runion dnombrable.

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 au plus dnombrable ce qui prouve que

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

Exercices - Tribus - Fonctions mesurables - Mesures : corrig


{0} si A R\Q ; {0, 1} si A contient la fois des rationnels et des irrationnels. Dans tous les cas, f 1 (A) est un borlien, et donc la fonction est mesurable. 2. Puisque les intervalles ouverts engendrent la tribu borlienne, il sut de prouver que limage rciproque de tout intervalle ouvert est un borlien. Soit I un tel intervalle. On pose g :] , 0] R, x x et h :]0, +[ R, x x + 1. Alors g et h sont continues. Ainsi, g 1 (I ) est un ouvert de ] , 0], a fortiori un borlien de R. De mme, h1 (I ) est un ouvert de ]0, +[, a fortiori un borlien de R. Comme f 1 (I ) = g 1 (I ) h1 (I ), on en dduit que f 1 (I ) est un borlien, et donc f est mesurable. 3. On sait que toute fonction continue est mesurable, et que la limite simple de fonctions mesurables est mesurable. Ici, on peut crire f comme la limite simple de la suite (fn ), o fn est dnie par f (x + 1/n) f (x) fn (x) = . 1/n Chaque fn tant continue, elle est mesurable. Donc f est mesurable.

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

Exercices - Tribus - Fonctions mesurables - Mesures : corrig


1 (I ) = si I = , sinon f 1 (I ) = Le raisonnement est identique pour I3 . On a fa 3 3 3 a 1 (I ) est mesurable. f 1 (] , a]). Dans tous les cas, fa 3 1 (I ) = f 1 (I ). En eet, Pour I2 , on remarque simplement que fa 2 2 1 x fa (I2 )

y I2 , fa (x) = y y I2 , f (x) = y x f 1 (I2 ).

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 ).

Ainsi, est bien une mesure sur (X, T ).

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

Exercices - Tribus - Fonctions mesurables - Mesures : corrig


En eet, posons A = {n} et p = n0 n. Alors p + A = {n0 } et la proprit dinvariance par translation garantit que ({n}) = (A) = (p + A) = ({n0 }). On peut alors crire que

(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

Ceci contredit lhypothse initiale.

http://www.bibmath.net