En raison de limitations techniques, la typographie souhaitable du titre, « Exercice : Normes Espaces vectoriels normés/Exercices/Normes », n'a pu être restituée correctement ci-dessus.
Dans tous les exercices ou .
Exercice 1-1 : normes sur
Montrer que les normes sur sont de la forme où et désigne la valeur absolue () ou le module ().
Solution
Tout d'abord, il est clair que les fonctions proposées définissent bien des normes (propriétés classiques de la valeur absolue et du module).
Soit une norme sur .
Par définition, .
On a donc le résultat en posant .
Exercice 1-2 : normes usuelles sur
Rappelons les normes usuelles sur données dans le cours en tant qu'exemple :
pour : ;
.
Représenter graphiquement les boules unité de muni respectivement des normes .
Montrer que ces normes sont équivalentes, et déterminer les constantes optimales dans les inégalités.
Montrer plus généralement que les normes sur sont équivalentes, et déterminer les constantes optimales.
Solution
Les cercles unité (en gras) associés aux trois normes.
La figure montre que , avec égalités si , et que , avec égalité si . Il est très facile (cf. question suivante) de redémontrer algébriquement ces trois inégalités (et les cas d'égalité). Pour la comparaison entre et , on a même trouvé les constantes optimales : . On les trouve de même pour les deux autres paires (en dilatant l'une des deux boules jusqu'à contenir l'autre) : et .
Soit .
Montrons tout d'abord que les normes et sont équivalentes. On a : et comme il existe tel que , on a . Ces inégalités sont optimales. On le vérifie en prenant pour la première et pour la deuxième.
Montrons maintenant que les normes et sont équivalentes. Soit . Alors, et donc d'après ce qui précède, et ces inégalités sont optimales à l'aide des mêmes exemples.
Il en résulte que et sont équivalentes mais il reste à déterminer pour elles les constantes optimales. On a, par l'inégalité de Cauchy-Schwarz : , soit . On a : donc . Les mêmes exemples montrent que les inégalités sont optimales.
Plus généralement, , la seconde inégalité se déduisant de l'inégalité de Hölder.
Exercice 1-3 : quelques normes sur les polynômes
Montrer que les applications suivantes sont des normes sur l'espace des polynômes réels :
;
;
.
Soient , nombres réels distincts. Montrer que pour tout , l'application suivante est une norme sur le sous-espace des polynômes de degré au plus :
, où est la norme sur .
Montrer que pour tout , il existe une constante (qu'on ne demande pas d'expliciter) telle que :
.
Est-ce encore vrai sur ? (On pourra considérer la suite des polynômes .)
Solution
est même une norme sur l'espace des fonctions intégrables de dans , dont s'identifie à un sous-espace.
est une semi-norme (c'est-à-dire qu'elle est positivement homogène et sous-additive) car les deux applications dont elle est la somme sont semi-normes. En effet, plus généralement, la composée d'une semi-norme et d'une application linéaire est une semi-norme. De plus, si alors et donc .
est même une norme sur l'espace des fonctions bornées de dans . En effet, c'est une semi-norme (comme sup d'une famille d'applications qui, par le principe général énoncé au point précédent, sont des semi-normes) et elle ne s'annule qu'en 0.
C'est une semi-norme (toujours par le même principe général) et elle ne s'annule qu'en 0, car si a racines distinctes alors .
L'objectif de cet exercice est d'étudier le lien entre norme et produit scalaire. On considère donc un espace vectoriel réel muni d'un produit scalaire (on se restreint ici au cas réel pour simplifier).
Démontrer l'inégalité de Cauchy-Schwarz : (regarder le produit scalaire pour et choisir une valeur de particulière).
Vérifier que l'application : définit une norme sur . Cet exemple constitue l'un des exemples classiques de norme à connaître.
Montrer que cette norme vérifie l'égalité, dite du parallélogramme : et que .
Montrer que la norme sur n'est pas issue d'un produit scalaire.
Nous cherchons maintenant à caractériser les normes provenant d'un produit scalaire, et nous allons voir que ce sont exactement les normes vérifiant l'égalité du parallélogramme. On considère donc à présent un e.v.n. réel tel que vérifie . On pose . Clairement, est symétrique et . Pour montrer que est un produit scalaire dont la norme associée est , il reste donc à vérifier que est linéaire à gauche, ce qui impliquera la bilinéarité. Soit .
Montrer que .
En déduire que .
Montrer que .
Conclure.
Solution
Les questions 1 et 2 sont des rappels de cours sur les espaces euclidiens qu'il est important de savoir démontrer.
Calculons simplement en utilisant les propriétés du produit scalaire. Soit :
Considérons les vecteurs et . On a alors :
et .
La norme infinie ne peut donc provenir d'un produit scalaire.
D'après l'identité du parallélogramme, . Cette égalité, jointe à son homologue lorsqu'on remplace par , donne :
.
On en déduit (en intervertissant et ) : puis (en prenant la moyenne) : .
Une récurrence immédiate utilisant la question précédente montre que , ce qui — puisque — permet d'affirmer que . Finalement, soit avec deux nombres entiers. On a alors car
.
L'application est continue sur (par définition de et continuité de ) et coïncide sur avec . Par densité de dans , ces deux applications sont donc égales, ce qui termine de montrer que est linéaire à gauche.
Exercice 1-5 : normes usuelles sur
Dans cette exercice, on va s'intéresser aux normes usuelles sur pour , l'espace vectoriel des fonctions continues de dans , et les comparer entre elles. En particulier, nous allons voir que ces normes ne sont pas équivalentes.
On considère ainsi les trois normes , et définies par :
.
Vérifier que ces trois applications sont bien des normes.
Soit . Montrer les deux inégalités suivantes, et montrer qu'elles sont optimales :
;
.
Montrer que ces trois normes ne sont pas équivalentes entre elles.
Solution
Il s'agit essentiellement de vérifications élémentaires, le seul point délicat étant l'inégalité triangulaire pour la norme 2. Nous allons donc uniquement traiter ce cas.
Soit et .
Alors .
On a : . Ici, la continuité de est essentielle pour conclure.
Pour l'inégalité triangulaire, la clef est dans l'inégalité de Cauchy-Schwarz pour les intégrales, ce qui donne :
ce qui prouve l'inégalité triangulaire en prenant la racine carrée.
La première des inégalités se déduit de l'inégalité de Cauchy-Schwarz :
La seconde se montre en constatant que par définition de la borne supérieure. On a alors :
On montre qu'elles sont optimales en prenant la fonction constante égale à 1 sur .
Comme mentionné dans le cours, pour montrer que les normes ne sont pas deux à deux équivalentes, on va construire une suite de fonctions tels que pour commencer.
On pose, pour tout : .
On trouve alors : .
Ceci montre bien que les trois rapports : tendent vers , et donc que les trois normes ne sont pas équivalentes.
Exercice 1-6 : Structure sur l'ensemble des normes
Soit deux normes sur un -espace vectoriel et .
Montrer que et sont des normes sur .
Cet exercice prouve que l'ensemble des normes sur un espace vectoriel donné est un cône convexe.
Solution
C'est immédiat pour . Montrons-le pour .
Nous avons déjà remarqué (Exercice 1-3) que la somme de deux semi-normes est une semi-norme.
Enfin, si alors (par exemple) donc .
Exercice 1-7
Pour , on définit .
Montrer que est une norme sur .
En utilisant l'inégalité de Cauchy-Schwarz, montrer que pour tout , .
Dessiner la boule unité pour la norme .
Solution
Les applications (pour ) sont clairement des semi-normes et leur sup est fini (cf. question suivante), donc est une semi-norme. C'est une norme car de plus, si alors , en particulier et , donc et , donc .