Théorème de Dvoretzky

Dans la théorie mathématique des espaces de Banach, le théorème de Dvoretzky est un résultat de structure important démontré par Aryeh Dvoretzky au début des années 1960[1], résolvant une conjecture de Grothendieck de 1956[2]. Vitali Milman en donna une nouvelle preuve dans les années 1970[3]. Ce fut l'un des points de départ du développement de l'« analyse géométrique asymptotique » (aussi appelée « analyse fonctionnelle asymptotique » ou « théorie locale des espaces de Banach »)[4].

Ne doit pas être confondu avec Théorème de Dvoretzky-Rogers.

Formulation originale

Pour tout entier naturel k et tout réel ε > 0, il existe un entier naturel n(k, ε) tel que tout espace vectoriel normé de dimension n(k, ε) possède un sous-espace de dimension k dont la distance de Banach-Mazur à ℓ2(k) soit majorée par 1 + ε[2].

Pour un sous-espace normé (E, ‖.‖) de dimension k, dire que la distance de E à ℓ2(k) (l'espace euclidien de dimension k) est majorée par 1 + ε revient à dire qu'il existe sur E une norme |.| euclidienne (i.e. racine carrée d'une forme quadratique définie positive) telle que :

Développements ultérieurs

En 1971, Vitali Milman a donné une nouvelle preuve de ce théorème, par une méthode probabiliste, en utilisant la concentration de mesure sur la sphère pour montrer qu'un sous-espace de dimension k choisi aléatoirement est à distance inférieure à 1 + ε de ℓ2(k) avec une probabilité très proche de 1. La preuve donne une estimation fine en fonction de k :

Autrement dit, tout espace normé X de dimension n possède un sous-espace de dimension k ≥ c(ε) log n à distance inférieure à 1 + ε de ℓ2(k).

Plus précisément, soient Sn – 1 la sphère unité pour une certaine norme euclidienne |.| sur X et σ la mesure de probabilité invariante sur Sn – 1, alors :

  • pour |.| fixée, il existe un sous-espace E sur lequel l'encadrement ci-dessus est vérifié et pour lequel
  • il existe sur X une norme euclidienne |.| telle que
    où c1 est une constante universelle.

Le plus grand k possible est noté k✻(X) et appelé la dimension de Dvoretzky de X. Sa dépendance par rapport à ε a été étudiée par Yehoram Gordon[5],[6], qui a démontré que k✻(X) ≥ c2 ε2 log n. Une autre démonstration en a été donnée par Gideon Schechtman[7].

Noga Alon et Vitali Milman ont montré que si l'on demande seulement qu'il existe un sous-espace de dimension k proche soit de ℓ2(k), soit de ℓ∞(k), cette borne en log n peut être améliorée en k ≥ exp(c√log n), pour une certaine constante c[8].

Tadeusz Figiel, Joram Lindenstrauss et Milman ont démontré d'importants résultats liés[9].

Notes et références
(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Dvoretzky's theorem » (voir la liste des auteurs).
  1. (en) A. Dvoretzky, « Some results on convex bodies and Banach spaces », dans Proc. Internat. Sympos. Linear Spaces (Jerusalem, 1960), Jerusalem Academic Press, , p. 123-160
  2. (en) V. Milman, « Dvoretzky Theorem – Thirty Years Later », Geometric and Functional Analysis, vol. 2, no 4,‎ , p. 455-479 (lire en ligne)
  3. (en) V. D. Milman, « A new proof of A. Dvoretzky's theorem on cross-sections of convex bodies (ru) », Funkcional. Anal. i Prilozhen., vol. 5, no 4,‎ , p. 28-37
  4. (en) W. T. Gowers, « The two cultures of mathematics », dans Mathematics: frontiers and perspectives, AMS, (ISBN 978-0-8218-2070-4, lire en ligne), p. 65-78. « The full significance of measure concentration was first realized by Vitali Milman in his revolutionaly proof [Mil1971] of the theorem of Dvoretzky […] Dvoretzky's theorem, especially as proved by Milman, is a milestone in the local (that is, finite-dimensional) theory of Banach spaces. While I feel sorry for a mathematician who cannot see its intrinsic appeal, this appeal on its own does not explain the enormous influence that the proof has had, well beyond Banach space theory, as a result of planting the idea of measure concentration in the minds of many mathematicians. »
  5. (en) Y. Gordon, « Some inequalities for Gaussian processes and applications », Israel J. Math., vol. 50, no 4,‎ , p. 265-289 (DOI 10.1007/BF02759761)
  6. (en) Y. Gordon, « Gaussian processes and almost spherical sections of convex bodies », Ann. Probab., vol. 16, no 1,‎ , p. 180-188 (lire en ligne)
  7. (en) G. Schechtman, « A remark concerning the dependence on ε in Dvoretzky's theorem », dans Geometric Aspects of Functional Analysis (1987-88), Springer, coll. « Lecture Notes in Math. » (no 1376),‎ (ISBN 0-387-51303-5), p. 274-277 [lien DOI]
  8. (en) N. Alon et V. D. Milman, « Embedding of in finite-dimensional Banach spaces », Israel J. Math., vol. 45, no 4,‎ , p. 265-280 (DOI 10.1007/BF02804012)
  9. (en) T. Figiel, J. Lindenstrauss et V. D. Milman, « The dimension of almost spherical sections of convex bodies », Bull. Amer. Math. Soc., vol. 82, no 4,‎ , p. 575-578 (lire en ligne)
  • Portail de l'analyse
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.