Dvoretzky's theorem

Dvoretzky's theorem

In mathematics, in the theory of Banach spaces, Dvoretzky's theorem is an important structural theorem proved by Aryeh Dvoretzky in the early 1960s.[1] It answered a question of Alexander Grothendieck. A new proof found by Vitali Milman in the 1970s[2] was one of the starting points for the development of asymptotic geometric analysis (also called asymptotic functional analysis or the local theory of Banach spaces).[3]

Original formulation

For every k \in \mathbf{N} and every \epsilon > 0 there exists N(k, \epsilon) \in \mathbf{N} such that if (X, \| \cdot \|) is a Banach space of dimension \geq N(k, \epsilon), there exist a subspace E \subset X of dimension k and a positive quadratic form Q on E such that the corresponding Euclidean norm

| \cdot | = \sqrt{Q(\cdot)}

on E satisfies:

 |x| \leq \|x\| \leq (1+\epsilon)|x| \quad \text{for every} \quad x \in E.

Further development

In 1971, Vitali Milman gave a new proof of Dvoretzky's theorem, making use of the concentration of measure on the sphere to show that a random k-dimensional subspace satisfies the above inequality with probability very close to 1. The proof gives the sharp dependence on k:

N(k,\epsilon)\leq\exp(C(\epsilon)k).

Equivalently, for every Banach space (X, \| \cdot \|) of dimension N, there exists a subspace E \subset X of dimension k \geq c(\epsilon) \log N and a Euclidean norm | \cdot | on E such that the inequality above holds.

More precisely, let Sn − 1 be the unit sphere with respect to some Euclidean structure Q, and let σ be the invariant probability measure on Sn − 1. Then:

  • There exists such a subspace E with
k = \dim E \geq c(\epsilon) \, \left(\frac{\int_{S^{n-1}} \| \xi \| d\sigma(\xi)}{\max_{\xi \in S^{n-1}} \| \xi \|}\right)^2 \, N.
  • For any X one may choose Q so that the term in the brackets will be at most
 c_1 \sqrt{\frac{\log N}{N}}.

Here c1 is a universal constant. The best possible k is denoted k_\ast(X) and called the Dvoretzky dimension of X.

The dependence on \epsilon was studied by Yehoram Gordon,[4][5] who showed that k_\ast(X) \geq c_2 \epsilon^2 \log N . Another proof of this result was given by Gideon Schechtman.[6]

Noga Alon and Vitali Milman showed that the logarithmic bound on the dimension of the subspace in Dvoretzky's theorem can be significantly improved, if one is willing to accept a subspace that is close either to a Euclidean space or to a Chebyshev space. Specifically, for some constant c, every n-dimensional space has a subspace of dimension k\ge\exp(c\sqrt{\log n}) that is close either to l_2^k or to l_\infty^k.[7]

Important related results were proved by Tadeusz Figiel, Joram Lindenstrauss and Milman.[8]

References

  1. ^ Dvoretzky, A. (1961). "Some results on convex bodies and Banach spaces". Proc. Internat. Sympos. Linear Spaces (Jerusalem, 1960). Jerusalem: Jerusalem Academic Press. pp. 123–160. 
  2. ^ Milman, V. D. (1971). "A new proof of A. Dvoretzky's theorem on cross-sections of convex bodies" (in Russian). Funkcional. Anal. i Prilozhen. 5 (4): 28–37. 
  3. ^ Gowers, W. T. (2000). "The two cultures of mathematics". Mathematics: frontiers and perspectives. Providence, RI: Amer. Math. Soc.. pp. 65–78. ISBN 0821820702. "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. Huge numbers of papers have now been published exploiting this idea or giving new techniques for showing that it holds." 
  4. ^ Gordon, Y. (1985). "Some inequalities for Gaussian processes and applications". Israel J. Math. 50 (4): 265–289. 
  5. ^ Gordon, Y. (1988). "Gaussian processes and almost spherical sections of convex bodies". Ann. Probab. 16 (1): 180–188. 
  6. ^ Schechtman, G. (1989). "A remark concerning the dependence on ε in Dvoretzky's theorem". Geometric aspects of functional analysis (1987–88). Lecture Notes in Math.. 1376. Berlin: Springer. pp. 274–277. ISBN 0387513035. 
  7. ^ Alon, N.; Milman, V. D. (1983), "Embedding of \scriptstyle l^{k}_{\infty} in finite-dimensional Banach spaces", Israel Journal of Mathematics 45 (4): 265–280, doi:10.1007/BF02804012, MR720303 .
  8. ^ Figiel, T.; Lindenstrauss, J.; Milman, V. D. (1976). "The dimension of almost spherical sections of convex bodies". Bull. Amer. Math. Soc. 82 (4): 575–578. 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Look at other dictionaries:

  • Dvoretzky–Kiefer–Wolfowitz inequality — In the theory of probability and statistics, the Dvoretzky–Kiefer–Wolfowitz inequality predicts how close an empirically determined distribution function will be to the distribution function from which the empirical samples are drawn. It is named …   Wikipedia

  • Aryeh Dvoretzky — Aryeh Dvoretzky, 1962 Aryeh (Arie) Dvoretzky (Hebrew: אריה דבורצקי‎, Russian: Арье Дворецкий; May 3, 1916 – May 8, 2008) was a Russian born Israeli mathematician, the winner of the 1973 Israel Prize in Mathematics …   Wikipedia

  • Aryeh Dvoretzky — Pour les articles homonymes, voir Dvoretzky. Aryeh Dvoretzky 1962 Aryeh (Arie) Dvoretzky (hébreu : אריה דבורצקי, ru …   Wikipédia en Français

  • Glivenko-Cantelli theorem — In the theory of probability, the Glivenko Cantelli theorem determines the asymptotic behaviour of the empirical distribution function as the number of iid observations grows. This uniform convergence of more general empirical measures becomes an …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Vitali Milman — Vitali Davidovich Milman ( he. ויטלי מילמן; ru. Виталий Давидович Мильман) (born 1939) is a mathematician specializing in analysis. He is currently a professor at the Tel Aviv University. In the past he was a President of the Israel Mathematical… …   Wikipedia

  • Embedding — In mathematics, an embedding (or imbedding) is one instance of some mathematical structure contained within another instance, such as a group that is a subgroup.When some object X is said to be embedded in another object Y , the embedding is… …   Wikipedia

  • Concentration of measure — In mathematics, concentration of measure (about a median) is a principle that is applied in measure theory, probability and combinatorics, and has consequences for other fields such as Banach space theory. Informally, it states that A random… …   Wikipedia

  • Alexandra Bellow — (1935 ndash;) is a mathematician who has made substantial contributions to the fields of ergodic theory, probability and analysis. BiographyShe was born in Bucharest, Romania, as Alexandra Bagdasar. Her parents were both physicians. Her mother,… …   Wikipedia

  • Liste mathematischer Sätze — Inhaltsverzeichnis A B C D E F G H I J K L M N O P Q R S T U V W X Y Z A Satz von Abel Ruffini: eine allgemeine Polynomgleichung vom …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”