Sign up ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $B_p^N$ be the unit ball of $\mathbb{R}^N$ under the $\ell_p^N$ norm.

Question: Let $C_N$ be the infimum of all $C$ for which there is a homeomorphism $f_N$ from $B_\infty^N$ onto $B_2^N$ so that the Lipschitz constant of $f_N$ is $C$. Is $C_N$ bounded as $N\to \infty$?

Notice that the $\ell_\infty^N$ norm is $2$-equivalent to the $\ell_p^N$ norm with $p = \log_2 N$, and the Mazur map from $B_p^N$ to $B_2^N$ has Lipschitz constant about $p$, so $C_N$ grows no faster than $\log N$.

(The Mazur map from $\ell_p$ to $\ell_2$ is defined for unit vectors to be $x\mapsto |x|^{p/2}\rm{sign}\ x$ and extended to be positively homogeneous on $\ell_p$.)

share|cite|improve this question
Lovely question! (BTW, what is 2-equivalent?) – Gil Kalai Apr 3 '11 at 12:52
@Pietro: a standard volume comparison argument shows that in any $N$-dimensional normed space, the ball of radius $R\ge 1$ can be covered by $(3R)^N$ unit balls. This seems to give only a constant lower bound on the $C_N$. – Mark Meckes Apr 4 '11 at 14:19
By the way, is the same question for the homeo with uniformly bounded bi-Lipschitz (not just Lipschitz) constant obvious? I do not see any simple argument (nor hard one, too). – Fedor Petrov Apr 5 '11 at 21:23
@Fedor Petrov: Differentiate to get a linear isomorphism to see that the bi-Lipschitz equivalence constant is no smaller than the isomorphism constant, which is $n^{1/2}$. – Bill Johnson Apr 6 '11 at 8:31
ah, sorry, this approach fails, since the unit cube, inscribed in a Euclidean ball, has a volume $C^N$-comparable to that of the unit ball. – Fedor Petrov Apr 11 '11 at 17:02

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.