8
$\begingroup$

The L_1 ball in 2D is shaped like a diamond (L_1 is also known as the Manhattan norm). The L_∞ ball is shaped like a square (L_∞ is also known as the supremum norm). They are similar, i.e. have same shape. The L2 ball is shaped like a circle.

Hypothesis: For all p in the interval (1,2), there is q>2 such that the q-ball and the p-ball are similar. One further hypothesis is that this occurs precisely when p,q are Hölder conjugates.

I wasn't sure how to tag this.

$\endgroup$
1
  • 4
    $\begingroup$ Your initial observation is more or less a coincidence. Look at what happens in 3D. $\endgroup$ Commented Oct 19, 2009 at 22:50

3 Answers 3

10
$\begingroup$

$\ell_p^n$ is isometric to $\ell_r^n$ with $1\le p < r\le \infty$ iff $n=1$ or ($n=2$ and $p=1$ and $r=\infty$ and the scalars are real). While known before L. Dor's 1976 paper in the Israel J. Math. 24, 260-268, it can be deduced from Theorem 2.1 in that paper, which classifies when $\ell_s^n$ isometrically embeds into $L_t(0,1)$.

$\endgroup$
2
  • $\begingroup$ AKA Dorembus, if I'm remembering well... $\endgroup$
    – Ady
    Commented Jan 18, 2010 at 19:44
  • $\begingroup$ Yes, indeed. Who are you, Ady? $\endgroup$ Commented Jan 18, 2010 at 19:52
0
$\begingroup$

You can use this applet to generate pictures of the curves you're thinking of. Your conjecture seems unlikely because |x|^p + |y|^p = 1 appears to be a smooth curve for p ≥ 2 and have singularities at (1,0), (-1,0), (0,1), (0,-1) for p < 2.

$\endgroup$
2
  • $\begingroup$ I agree that graphs look different, but your argument why doesn't work. For any e>0, (1-|x|^(1+e))^(1/(1+e)) is differentiable at x=0. $\endgroup$ Commented Oct 20, 2009 at 3:09
  • $\begingroup$ You're right. The curves looked pointy, so I didn't actually compute the derivative. $\endgroup$ Commented Oct 20, 2009 at 12:01
-1
$\begingroup$

You are looking for isometries between the ell^p and ell^q

Here is a paper describing some methods on how to identify isometries (but the paper is not freely downloadable)

http://www.informaworld.com/smpp/content~content=a746864853~db=all~order=page

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .