Compact de Banach-Mazur

Dans le domaine mathématique de l'analyse fonctionnelle, la distance de Banach-Mazur – nommée d'après Stefan Banach et Stanisław Mazur – est une distance δ définie sur l'ensemble Q(n) des espaces vectoriels normés de dimension finie n (pris à isomorphisme isométrique près). L'espace métrique associé (Q(n), δ), compact, est appelé le compact de Banach-Mazur ou le compact de Minkowski – d'après Hermann Minkowski.

Si X et Y sont deux espaces normés de dimension n non nulle,

$\delta (X,Y):=\log \left(\inf\{\|T^{-1}\|\cdot \|T\|~|~T:X\to Y{\text{ isomorphisme}}\}\right)$,

où ║ ║ désigne la norme d'opérateur.

Détails sur la définition

Peu importe le logarithme choisi. On peut par exemple prendre le logarithme népérien.

L'ensemble dont on prend ci-dessus la borne inférieure est non vide car deux espaces vectoriels normés de même dimension finie sont toujours isomorphes en tant qu'espaces vectoriels topologiques (voir Norme équivalente).

Une application linéaire entre deux tels espaces X et Y est automatiquement continue, donc un isomorphisme d'espaces vectoriels T de X dans Y est toujours bicontinu et le conditionnement satisfait ║T║⁻¹ ║T║ ≥ ║T ⁻¹ T║ = ║id_X║ = 1, si bien que δ(X, Y) ≥ 0.

La distance dépend du choix du corps de base, ℝ ou ℂ. En général, on choisit implicitement ℝ.

Beaucoup d'auteurs préfèrent travailler avec la « distance » de Banach-Mazur multiplicative

$d(X,Y):=\mathrm {e} ^{\delta (X,Y)}=\inf\{\|T^{-1}\|\cdot \|T\|~|~T:X\to Y{\text{ isomorphisme}}\},$

qui vérifie d(X, Z) ≤ d(X, Y) d(Y, Z) et d(X, X) = 1.

Propriétés

Le réel δ(X, Y) ne dépend que des classes d'isomorphisme isométrique de X et Y.

Sur Q(n), l'application induite par δ est une distance. Le fait que les espaces soient de dimension finie est crucial pour que δ(X, Y) = 0 ⇒ X et Y isométriques.

L'espace métrique (Q(n), δ) est compact et connexe par arcs.

On a des estimations de la « distance » multiplicative d(X, Y) lorsque l'un des deux espaces est un ℓ^p(n), c'est-à-dire ℝⁿ muni de la norme p pour un certain p ∈ [1, ∞] (on le note ainsi parce que c'est l'espace L^p de la mesure de comptage sur un ensemble à n éléments) :

• On démontre facilement que d(ℓ¹(n), Y) ≤ n pour tout Y ∈ Q(n), grâce au lemme d'Auerbach. En effet, soit (e₁, … , e_n) une base d'Auerbach normée de Y, c'est-à-dire que les e_k sont unitaires et les e^k de la base duale (e¹, … , eⁿ) aussi. En définissant T : ℓ¹(n) → Y par T((t_k)_k) = ∑ t_ke_k, on a ║T║ = 1 et, puisque T ⁻¹(y) = (e^k(y))_k, ║T ⁻¹║ ≤ n.
• Plus généralement, d(X, Y) ≤ n pour tous X, Y ∈ Q(n), d'après un théorème (en) démontré en 1948 par Fritz John, sur l'ellipsoïde maximal contenu dans un corps convexe (en), qui fournit la majoration :$d(X,\ell ^{2}(n))\leq {\sqrt {n}}.$
• Si p, q ≤ 2 ou p, q ≥ 2,$d(\ell ^{p}(n),\ell ^{q}(n))=n^{\left|{\frac {1}{p}}-{\frac {1}{q}}\right|}$.
• Pour p < 2 < q, on connaît un encadrement :${\frac {n^{\alpha }}{\sqrt {2}}}\leq$$d(\ell ^{p}(n),\ell ^{q}(n))\leq {\frac {n^{\alpha }}{{\sqrt {2}}-1}}{\text{ avec }}\alpha =\max \left({\frac {1}{p}}-{\frac {1}{2}},{\frac {1}{2}}-{\frac {1}{q}}\right).$

E. Gluskin a démontré par une méthode probabiliste que le « diamètre » (multiplicatif) de Q(n) – majoré par n d'après ce qui précède – est minoré par cn, pour une certaine constante universelle c > 0. Gluskin introduit pour cela une famille de polytopes symétriques aléatoires P(ω) de ℝⁿ et les espaces normés dont P(ω) est la boule unité (l'espace vectoriel est ℝⁿ et la norme est la jauge de P(ω)), puis montre que l'estimation annoncée est vraie avec une grande probabilité pour deux espaces normés indépendants dans cette famille.

L'espace topologique Q(n) est un extenseur absolu, c'est-à-dire que toute application continue, à valeurs dans Q(n), définie sur un fermé d'un espace métrisable, s'étend continûment à l'espace entier. Comme Q(n) est métrisable, cela revient à dire que c'est rétract absolu, comme le cube de Hilbert. Mais Q(2) n'est pas homéomorphe au cube de Hilbert.

Notes et références

(en)/(de) Cet article est partiellement ou en totalité issu des articles intitulés en anglais « Banach–Mazur compactum » (voir la liste des auteurs) et en allemand « Banach-Mazur-Abstand » (voir la liste des auteurs).

Bibliographie

• (en) A. A. Giannopoulos, « Banach-Mazur compactum », dans Michiel Hazewinkel, Encyclopædia of Mathematics, Springer, 2002 (ISBN 978-1556080104, lire en ligne)
• (en) Albrecht Pietsch (de), History of Banach Spaces and Linear Operators, Boston, Mass./London, Birkhäuser, 2007, 855 p. (ISBN 978-0-8176-4596-0, lire en ligne)
• (en) Nicole Tomczak-Jaegermann, Banach-Mazur Distances and Finite-Dimensional Operator Ideals, Longman Scientific & Technical et John Wiley & Sons, coll. « Pitman Monographs and Surveys in Pure and Applied Mathematics » (n^o 38), 1989, 395 p. (ISBN 978-0-582-01374-2)

Voir aussi

Articles connexes

• Dimension équilatérale (en)
• Représentabilité finie (espace de Banach)
• Théorème de Dvoretzky
• Théorème du quotient de sous-espace (en)

Liens externes

« ENSAE MP 2003 (sujet et corrigé) », sur mathom.fr + Pascal Lefèvre, « sujet » et « corrigé »