• Aucun résultat trouvé

Densité des fonctions continues nulle part dérivables

N/A
N/A
Protected

Academic year: 2022

Partager "Densité des fonctions continues nulle part dérivables"

Copied!
2
0
0

Texte intégral

(1)

DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

Densité des fonctions continues nulle part dérivables

Leçons : 201, 202, 205, 208, 228,213

[ZQ], Section VIII.I.4.e Théorème

L’ensemble A des fonctions continues sur [0, 1] qui ne sont dérivables en aucun point de [0, 1] est dense dans C0([0, 1]),k.k.1

Démonstration :

CommeE=C0([0, 1])est un espace de Banach, on va utiliser le lemme de Baire pour montrerA=E.

Plus précisément, on va exhiber une suite(Fn)n∈Ntelle que : nN,Fnest fermé ;

nN,Fnest d’intérieur vide ; Ac[

n∈N

Fn.

Alors on aura montré queAcest d’intérieur vide dansE.

On poseFn ={fE| ∃xI,yI,|f(y)−f(x)|6n|yx|}, oùIdésigne l’intervalle[0, 1]. Étape 1 : Montrons d’abord queAc[

n∈N

Fn.

Soit fAc, alors f est dérivable en au moins un pointx0I.

Ainsi la quantité f(x0)− f(y)

x0y est bornée quandyx0. Et f étant continue surI,NN,yI,

f(x0)− f(y) x0y

6Net donc fFN. Ainsi,Ac[

n∈N

Fn.

Étape 2 : SoitnN, on va maintenant montrer queFnest fermé.

Soit(fk)k∈N, une suite dansFnqui converge vers fE.

Comme les fksont dansFn, on a :

kN,xkI,yI,|fk(xk)− fk(y)|6n|xky| (1) Et commeIest compact, il existe une extraction

xϕ(k)

k∈Nqui converge versxI.

SoitkN, fϕ(k)

xϕ(k)

f(x)6fϕ(k) xϕ(k)

fxϕ(k)

| {z }

6kfϕ(k)fkk−→

0

+fxϕ(k)f(x)

| {z }

k−→0 (fest continue)

Donc, lim

k→fϕ(k) xϕ(k)

= f(x).

Dès lors, par passage à la limite dans(1), on obtient :yI,|f(x)− f(y)|6 n|xy|, donc fFn, puisFnest fermé.

Étape 3 : Pour toutnN, on va finalement montrer queFnest d’intérieur vide.

CommeEest métrique, on va montrer qu’il n’existe pas de boule ouverteB(f,ε)⊂FnavecfFnet ε>0, ie :

fFn,ε>0,B(f,ε)∩Fnc6=∅

1. Quand on fait ce développement, il faut absolument être capable de donner un exemple d’une telle fonction ; allez, c’est le cadeau de la maison :xR,f(x) =

+ n=0

{2nx}

2n , où{x}désigne la distance dexà son entier le plus proche. Par ailleurs, une fois qu’on a montré que cette fonction est continue et nulle part dérivable, le théorème de Weierstrass implique le résultat du développement. Une application de ce théorème est de montrer que toute fonction continue s’écrit comme somme de deux fonctions continues nulle part dérivables.

Florian LEMONNIER 1

Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1

(2)

DÉVELOPPEMENTS POUR L’AGRÉGATION EXTERNE

Soit doncfFn, etε>0.

Par le théorème de Weierstrass :PR[X],kPfk6 2ε. Soit NN (à qui on imposera une condition

par la suite) ; on définitg0, fonction périodique de période 1

N telle que :

g0(x) =

εN

2 x six

0, 1

2N

ε 2εN

2 x six 1

2N, 1 N

g0est continue etkg0k= ε 4.

0 1

2N 1 N

3 2N

2 N ε

4

x g0

On poseg=P+g0; on a :kfgk=kfPg0k6kfPk+kg0k6 2ε + ε 4 <ε.

Doncg∈ B(f,ε).

On a, pour tousx,yI:|g(x)−g(y)|>|g0(x)−g0(y)| − |P(x)−P(y)|. De plus, pourxI, il existek∈[[0, 2N1]], tel quex

k 2N,k+1

2N

. Puis, soityx

k 2N,k+1

2N

, alors on a :|g0(x)−g0(yx)|= εN

2 |xyx|.

Et par le théorème des accroissements finis, on a :|P(x)−P(yx)|6kP0k|xyx|. Par conséquent :xI,yxI,|g(x)−g(yx)|>

εN

2 − kP0k

|xyx|. On se rend alors compte qu’il suffit d’imposer εN

2 − kP0k >n, ieN > 2(n+kP0k)

ε dès le début pour avoir :

xI,yxI,|g(x)−g(yx)|>n|xyx| Ainsi,gFnc, et finalementB(f,ε)∩Fnc6=∅.

Références

[ZQ] H. QUEFFÉLECet C. ZUILY–Analyse pour l’agrégation, 4eéd., Dunod, 2013.

Florian LEMONNIER 2

Diffusion à titre gratuit uniquement. ENS Rennes – Université Rennes 1

Références

Documents relatifs

Montrer que les propriétés suivantes sont

Mais, pour la rendre possible, la LCR a tenu un double langage : d’un côté, elle assurait que cette candidature était provisoire et soumise au dégagement d’une candidature

Mais alors que Blanche-Prudence récupérait son petit ballot de lin, puis rejoignait la cuisine à la hâte, Berthe-Conteuse qui avait eu vent des allées-venues de la jeune paysanne

L’ensemble des fonctions continues nulle part dérivables contient une intersection dé- nombrable d’ensembles U ε,n , ce qui permettra de conclure par le théorème de

X En 1872, Weierstrass fut le premier à publier non seulement une, mais toute une famille de fonctions continues et nulle part dérivables. Après cette découverte, des mathématiciens

f est continue en tout point, car c'est une série de fonc- tions continues convergeant normalement (en eet, elle est majorée en valeur absolue par une

Puis on perturbe cette premi`ere fonction en lui ajoutant une autre sinuso¨ıde, de p´eriode 5 fois plus petite, et d’amplitude 2 fois moins grande ; cette deuxi`eme fonction, not´ee f

La preuve de la non-d´erivabilit´e de cette nouvelle fonction repose alors sur des consid´erations plus g´eom´etriques : la remarque cl´e est qu’on a choisi la s´erie pour que