td6 Enonce
td6 Enonce
td6 Enonce
Exercice 1. (Contre-exemple) Soit µ la mesure de comptage sur ([0, 1], B([0, 1])).
1. Montrer que la mesure de Lebesgue est absolument continue par rapport à µ.
2. Montrer qu’il n’existe pas de fonction mesurable f : [0, 1] → R+ telle que λ = f · µ. Conclure.
µ(A) ≤ η ⇒ ν(A) ≤ ε.
2 – Convolution
∂|p|
∂p B p p .
∂x11 · · · ∂xdd
Pour toute question, n’hésitez pas à m’envoyer un mail à michel.pain@ens.fr, ou bien à venir me voir au bureau V2.
1/3
Exercice 4. (Convolution de fonctions L1 )
1. Montrer que l’application
2. Montrer que le produit de convolution munit L1 (Rd , B(Rd ), λ) d’une structure de R-algèbre as-
sociative et commutative.
3. Montrer que L1 (Rd , B(Rd ), λ) n’est pas une algèbre unitaire.
Indication. On pourra considérer la fonction indicatrice d’un pavé.
3 – Opérateur de translation
Exercice 5.(Continuité de l’opérateur de translation) Soit h ∈ Rd et f : (Rd , B(Rd )) → (Rd , B(Rd )) une
fonction mesurable. On définit τh f : x ∈ Rd 7→ f (x − h).
1. Vérifier que l’opérateur de translation τh est une isométrie de l’espace Lp (Rd , B(Rd ), λ) pour tout
p ∈ [1, +∞].
2. On suppose p < ∞. Soit f ∈ Lp (Rd , B(Rd ), λ).
(a) Montrer que kτh f − f kp → 0 quand h → 0.
(b) Montrer que kτh f − f kp → 21/p kf kp quand |h| → ∞.
Indication. On pourra traiter tout d’abord le cas où f est continue à support compact.
3. Que deviennent les résultats de la question 2. si p = ∞ ?
4. Soit A ∈ B(Rd ) tel que λ(A) > 0. Montrer que A − A B {x − y : x, y ∈ A} contient un voisinage de 0.
2/3
Exercice 7. (Le retour du diable) Soit f : [0, 1] → [0, 1] l’escalier du diable défini dans l’exercice 7 du
TD 3. On note df la mesure de Stieljes associée à f , qui est une mesure sur [0, 1] (voir l’exercice 2 du
DM 2, on prolonge f par 0 sur ] − ∞, 0[ et par 1 sur ]1, ∞[ pour se ramener à une fonction f : R → R
vérifiant les hypothèses souhaitées).
1. Montrer que df est étrangère par rapport à la mesure de Lebesgue.
2. La mesure df a-t-elle des atomes ?
Exercice 10.
(L’espace des mesures complexes) Soit (E, A) un espace mesurable. On note M l’espace des
mesures complexes sur (E, A). Pour µ ∈ M, on pose
kµk B |µ|(E),
où |µ| est la variation totale de µ. Montrer que (M, k−k) est un espace de Banach.
Fin
3/3