- Lemme d'Auerbach
-
En mathématique, le lemme d'Auerbach, qui porte le nom de Herman Auerbach, est un lemme d'analyse fonctionnelle qui affirme que certaines propriétés des espaces euclidiens sont valables pour des espaces vectoriels normés généraux de dimension finie.
Sommaire
Énoncé
Soit (V, ||·||) un espace vectoriel normé réel ou complexe de dimension n. Alors il existe une base (e1,…, en) de V telle que
- ||ei|| = 1 et ||ei|| = 1 pour i = 1, …, n
où (e1, …, en) est une base de V* duale de (e1, …, en), i. e. ei(ej) = δij.
Toute base ayant cette propriété est appelée base d'Auerbach normée.
Si V est un espace euclidien ou hermitien, ce résultat est évident car on peut prendre pour (ei) une base orthonormale de V (la base duale est alors constituée des formes linéaires (ei|·)).
Démonstration
Considérons l'application qui à tout n-uplet de vecteurs de V associe le module de son déterminant dans une base fixée. Sur la puissance n-ième de la sphère unité, qui est compacte, cette application continue admet un maximum M, obtenu pour un certain n-uplet (e1,…, en), qui est une base puisque M est non nul. Les formes linéaires ei de la base duale sont de norme au moins 1 puisque ei(ei) = 1. Mais elles sont aussi de norme au plus 1 : montrons-le par exemple pour la forme e1. Pour tout vecteur unitaire v on a :
et comme M est strictement positif, on en déduit bien :
Corollaire
Le lemme a un corollaire qui a des applications à la théorie de l'approximation.
Soit V un sous-espace vectoriel de dimension n d'un espace vectoriel normé (X, ||·||). Alors il existe une projection P de X sur V telle que ||P|| ≤ n.
DémonstrationSoit (e1, ..., en) une base d'Auerbach de V. D'après une version simplifiée du théorème de Hahn Banach, chaque ei de la base duale correspondante peut être prolongée en une forme linéaire f i sur X telle que
- ||f i|| = 1.
Soit maintenant
- P(x) = ∑ f i(x) ei.
Il est aisé de vérifier que P est effectivement une projection sur V et que ||P|| ≤ n (cela résulte de l'inégalité triangulaire).
Ce résultat est loin d'être optimal : Kadec et Snobar[1] ont prouvé qu'il existait même une projection de norme inférieure ou égale à √n, puis König et Tomczak-Jaegermann[2] ont affiné cette majoration.
Notes et références
- (en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Auerbach's lemma » (voir la liste des auteurs)
- (en) Joseph Diestel, Hans Jarchow, Andrew Tonge, Absolutely Summing Operators, p. 146
- (en) I. M. Kadec et M. G. Snobar, « Certain functionals on the Minkowski compactum », dans Math. Notes, vol. 10, 1971, p. 694–696
- (en) H. König et N. Tomczak-Jaegermann, « Norms of minimal projections », dans J. Funct. Anal., vol. 119, 1994, p. 253-280, arXiv:math/9211211
Catégories :- Espace vectoriel normé
- Topologie
- Lemme de mathématiques
Wikimedia Foundation. 2010.
