Théorème de Dvoretzky

Modèle:Confusion 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, résolvant une conjecture de Grothendieck de 1956. Vitali Milman en donna une nouvelle preuve dans les années 1970. 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 »).

Formulation originale

Pour un sous-espace normé (E, ‖.‖) de dimension k, dire que la distance de E à ℓModèle: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 :

$\mathrm{\forall }x\in E,|x|\le \Vert x\Vert \le (1+\epsilon )|x|.$

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 ℓModèle:2(k) avec une probabilité très proche de 1. La preuve donne une estimation fine en fonction de k :

$n(k,\epsilon )\le \exp \left(\frac{k}{c(\epsilon )}\right).$

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 ℓModèle:2(k).

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

• pour |.| fixée, il existe un sous-espace E sur lequel l'encadrement ci-dessus est vérifié et pour lequel$\dim (E)\ge c(\epsilon ){\left(\frac{\underset{S^{n-1}}{\int }\Vert \xi \Vert \mathrm{d}\sigma (\xi )}{\underset{\xi \in S^{n-1}}{\max }\Vert \xi \Vert }\right)}^{2}n;$
• il existe sur X une norme euclidienne |.| telle que$\frac{\underset{S^{n-1}}{\int }\Vert \xi \Vert \mathrm{d}\sigma (\xi )}{\underset{\xi \in S^{n-1}}{\max }\Vert \xi \Vert }\ge c_1\sqrt{\frac{\log n}{n}},$où cModèle:Ind est une constante universelle.

Le plus grand k possible est noté kModèle:Ind(X) et appelé la dimension de Dvoretzky de X. Sa dépendance par rapport à ε a été étudiée par Yehoram GordonModèle:,, qui a démontré que Modèle:Nobr Une autre démonstration en a été donnée par Gideon Schechtman.

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 ℓModèle:2(k), soit de [[Espace_de_suites_ℓp|ℓModèle:Exp(k)]], cette borne en log n peut être améliorée en Modèle:Nobr pour une certaine constante c.

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