Posté par
Arkhnor ArkhnorBonjour.
1) Montre que pour tout borélien

de mesure non nulle, on a
}\Bigint_Af\,dm \ge C)
, en utilisant la définition de la convergence faible pour un

bien choisi.
Montre ensuite que ça implique

presque partout.
2)
 \, dm = \Bigint_X f_n \, dm - Cm(X))
La deuxième égalité, c'est d'après les hypothèse.
Comme la fonction constante égale à 1 appartient à

, on en déduit, d'après la CV faible, que

tend vers
)
, d'où la CV dans

.