5
Exercice. Si n < ∞et 0<p<1alors |x|p=Pn
i=1 |xi|pest une jauge sur Kn, où Kest
Rou C. Donc d(x, y) = |x−y|pest une métrique sur Kn.
(Preuve : montrer que (1 + t)p≤1 + tpsi test un réel positif, en déduire d’abord que (a+b)p≤
ap+bpsi a, b sont des réels positifs, et ensuite que |x+y|p≤ |x|p+|y|psi x, y ∈Cn.)
Définition. Une norme sur l’espace vectoriel Xest une fonction k·k:X→R+tq :
(2) kxk= 0 ⇔x= 0,kλxk=|λ|kxk ∀λ∈K,kx+yk≤kxk+kyk.
Un espace vectoriel muni d’une norme est appelé espace vectoriel normé.
Exercice. Soit |x|p=Pn
i=1 |xi|p1/p si 1≤p < ∞et |x|p= supi|xi|si p=∞. Alors
|·|pest une norme sur Kn. L’inégalité |x+y|p≤ |x|p+|y|pest dite de Minkowski
Solution. Nous allons démontrer l’inégalité de Minkowski dans le cas 1< p < ∞et
x, y 6= 0. Montrons d’abord que la fonction u7→ upest convexe sur R+, c’est-à-dire
(αs +βt)p≤αsp+βtpsi s, t ≥0et α, β ≥0, α +β= 1 . On peut supposer s≥t > 0.
Alors on divise par tpet on se ramène à montrer que (αs +β)p≤αsp+βsi s≥1.
Soit fla fonction f(s) = αsp+β−(αs +β)pdéfinie sur [1,∞[. Alors f(1) = 0 et
f0(s) = αpsp−1−αp(αs+β)p−1≥0car s≥αs+β≥1si s≥1et p−1>0. Maintenant
démontrons l’inégalité de Minkowski. Il est clair que nous pouvons supposer xi, yi≥0∀i.
Si on pose a=x/|x|p, b =y/|y|p, α =|x|p(|x|p+|y|p)−1, β =|y|p(|x|p+|y|p)−1
alors l’inégalité s’écrit |αa +βb|p≤1. Comme α, β > 0et α+β= 1 il suit que
(αai+βbi)p≤αap
i+βbp
ipar ce qu’on vient de montrer. En sommant d’après ion obtient
|αa +βb|p≤α|a|p+β|b|pd’où le résultat, car α|a|p+β|b|p=α+β= 1.
Profitons de l’occasion pour démontrer une autre relation importante, l’inégalité de Hölder.
Exercice. Si 1≤p, q ≤ ∞ et 1
p+1
q= 1 alors |Pixiyi|≤|x|p|y|q∀x, y ∈Kn.
(Il suffit de supposer 1<p<∞les autres cas sont faciles. On pose α= 1/p, β = 1/q et on
note qu’il suffit de considérer le cas xi>0et yi>0pour tout i. Alors on peut écrire xi=aα
iet
yi=bβ
iet on est donc ramené à démontrer Paα
ibβ
i≤AαBβavec A=Pai, B =Pbi. On peut
remplacer aipar ai/A et bipar bi/B, donc on peut supposer A=B= 1. Mais il est facile de voir
que aα
ibβ
i≤αai+βbisi ai, bisont des nombres positifs ; ensuite, on somme sur i.)
Exercice. Démontrer l’inégalité de Minkowski en utilisant l’inégalité de Hölder.
(On note zi=|xi+yi|p−1. Alors |x+y|p
p≤P`|xi|zi+|yi|zi´et l’inégalité de Hölder implique
≤ |x|p|z|q+|y|p|z|q. Enfin, comme q=p/(p−1) un calcul immédiat donne |z|q=|x+y|p−1
p.)
Exercice. Soit ξun nombre irrationnel. Pour x= (x1, x2)∈Q×Qon pose |x|ξ=
|x1−ξx2|(valeur absolue dans R). Montrer que |·|ξest une jauge sur le groupe additif
Q×Q. Deux telles jauges ne sont pas équivalentes (voir la Section 18).
Métriques hyperboliques. La métrique du disque de Poincaré D={x∈C| |x|<1}
d(x, y) = log |1−x¯y|+|x−y|
|1−x¯y|−|x−y|
et la métrique du demi-plan de Poincaré H={x∈C| =x > 0}
d(x, y) = log |x−¯y|+|x−y|
|x−¯y|−|x−y|
définissent deux espaces métriques isométriquement isomorphes, des réalisations de la
géométrie non-euclidiene de Lobatchevski.
4. Métriques uniformément équivalentes. Soient d0, d00 deux métriques sur un ensemble
X. On dit que d0est uniformément plus fine que d00 si
∀r > 0∃s > 0tel que d0(x, y)< s ⇒d00(x, y)< r.
La conclusion peut aussi s’écrire Bd0
x(s)⊂Bd00
x(r)pour tout x. On dit que d0et d00 sont
uniformément équivalentes si chacune est plus fine que l’autre.