
2 A. ESPACES DE BANACH
c) Une propriété portant sur les points d’un espace topologique est vraie presque
partout au sens de Baire si elle est vraie en dehors d’un ensemble maigre (donc au
moins sur un Gδ-dense).
Exemples. L’ensemble Qest maigre dans R. L’ensemble R\Qest un Gδ-dense dans R.
Le corollaire A.1.5 ci-dessous indique qu’une fonction dérivable est de classe C1, Baire
presque partout.
Attention. Ne pas confondre presque partout au sens de Baire et presque partout au
sens des mesures ! (voir Exercices).
Proposition A.1.4. Soit Xun espace de Baire et Yun espace métrique. Soit (fn)n∈Nune
suite d’applications continues de Xdans Y, convergeant simplement vers une application f.
Alors fest continue presque partout au sens de Baire.
Démonstration. On définit les fermés, pour tous les entiers naturels n, p, q,
Fn,p,q := nx∈X / dfp(x), fq(x)≤2−noet Fn,p := \
q≥p
Fn,p,q .
Pour tout x∈X,fp(x)converge vers f(x)quand ptend vers l’infini, donc la suite (fp(x))p∈N
est de Cauchy pour tout x∈Xet donc
X=[
p∈N
Fn,p ,
pour tout n∈N. Soit Uun ouvert non vide de X, alors Uest de Baire. En écrivant
U=[
p∈N
Fn,p ∩U
réunion dénombrable de fermés de U, il existe par le corollaire A.1.2 un entier p0tel que
l’intérieur de Fn,p0∩Udans Usoit non vide. Notons-le An,U . Comme Uest ouvert, l’en-
semble An,U est inclus dans Fn,p0. Donc l’union sur tout les ouverts Udes An,U , notée An,
est un ouvert dense. Notons A:= Tn∈NAn, qui est un Gδ-dense, et montrons que fest
continue en tout point de A. Soit a∈A. Alors pour tout n∈N, il existe p∈Ntel que a
appartient à l’intérieur de Fn,p. Soit donc n∈Net p∈Nassocié. Par continuité de fpil
existe un voisinage de adans lequel tout a0vérifie
dfp(a), fp(a0)≤2−n.
Par ailleurs tous les points xde Fn,p vérifient
dfp(x), f (x)= lim
q→∞ dfp(x), fq(x)≤2−n.
Le résultat suit alors par l’inégalité triangulaire : on a pour tout a0dans Fn,p suffisamment
proche de a
df(a0), f (a)≤df(a0), fp(a0)+dfp(a0), fp(a)+dfp(a), f (a)≤3·2−n
et la proposition est démontrée.
Corollaire A.1.5. Soit Iun intervalle ouvert de R,Fun espace de Banach et f:I→F
une application dérivable. Alors f0est continue Baire presque partout.
Démonstration. Il suffit d’appliquer la proposition précédente à
fn(x) := 2nf(x+ 2−n)−f(x),
ce qui démontre le résultat.