DM de MPSI2
Devoir non surveill´e
Probl`eme – Demi-normes
Soit fune application de Rdans R+. On consid`ere les propri´et´es suivantes :
1. (s´eparation) xR, f(x)=0x= 0.
2. (homoen´eit´e) (x, y)R2, f(xy) = f(x)f(y).
3. CR,(x, y)R2, f(x+y)6Cmax(f(x), f(y)).
4. (in´egalit´e triangulaire) (x, y)R2, f(x+y)6f(x) + f(y).
On dit que fest une demi-norme si elle v´erifie les propri´et´es i.,ii. et iii.. On dit que fest une norme si elle
v´erifie les propri´et´es i., ii. et iv..
I.1 On suppose que fest une demi-norme.
aCalculer f(1) et f(1).
bMontrer que pour tout r´eel x, on a f(x) = f(x), et que, pour tout r´eel non nul x, on a f(1/x)=1/f(x).
On d´efinit
D={f(1 + z),(zR)(f(z)61)}.
cMontrer que Dadmet une borne sup´erieure (dans R), que nous noterons Cf, et que Cf>1.
dMontrer que pour tous r´eels xet y:
f(x+y)6Cfmax(f(x), f(y)).
I.2
aV´erifier que la fonction valeur absolue g:x7→ |x|(de Rdans R+) est une norme et une demi-norme,
et calculer Cg.
bV´erifier que la fonction carr´e h:x7→ x2(de Rdans R+) est une demi-norme, et calculer Ch.
I.3 V´erifier que toute norme fest une demi-norme, et que Cf62.
On se propose de montrer la r´eciproque : soit fune demi-norme telle que Cf62. Nous voulons montrer
que fest une norme.
I.4 Montrer que pour tout rN, tout (x0, . . . , x2r1)R2r:
f 2r1
X
k=0
xk!6Cr
fmax(f(x0), . . . , f(x2r1)).
I.5 Soit aN.
aMontrer qu’il existe rNtel que 2r16a62r1.
bEn d´eduire : f(a)62a.
I.6 Soit rN. On pose n= 2r1. Soit (x, y)R2.
aMontrer : f((x+y)n)6Cr
fmax
06k6nfn
kf(x)kf(y)nk.
Remarque : on rappelle la formule du binˆome de Newton. Pour tous r´eels xet y, tout entier naturel n,
(x+y)n=Pn
k=0 n
kxkynk(o`u 00= 1 par convention si besoin est).
bMontrer f((x+y)n)62r+1(f(x) + f(y))n, puis :
f(x+y)62r+1
2r
1(f(x) + f(y)).
cMontrer que la suite 2r+1
2r
1converge vers 1, et conclure.
1 / 1 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !