Accueil🇫🇷Chercher

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.

Énoncé

Lemme d'Auerbach — 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 la 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 , 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.

Corollaire — 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.

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
  1. (en) I. M. Kadec et M. G. Snobar, « Certain functionals on the Minkowski compactum », dans Math. Notes, vol. 10, 1971, p. 694–696.
  2. (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.
Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.