Skip to main content
6 of 7
added 417 characters in body
alvarezpaiva
  • 13.5k
  • 40
  • 83

An equivalence relation for norms

Let us say that two norms $\|\cdot\|_1$ and $\|\cdot\|_2$ on a real vector space $V$ are strongly equivalent if there exists a constant $\lambda \geq 1$ such that $$ \frac{1}{\lambda} \left( \|x\|_1 + \|y\|_1 - \|x + y\|_1 \right) \leq \|x\|_2 + \|y\|_2 - \|x + y\|_2 \leq \lambda \left( \|x\|_1 + \|y\|_1 - \|x + y\|_1 \right) $$ for all vectors $x$ and $y$ in $V$.

A remark I owe to Suvrit is that if we take $y = -x/2$, this condition implies that $$ \frac{1}{\lambda} \|x\|_1 \leq \|x\|_2 \leq \lambda \|x\|_1 $$ so that the norms are equivalent in the usual sense.

Geometrically, two norms are strongly equivalent if the defect in the triangular inequality for any one of the norms is controlled by the defect of the other. In particular, both normed spaces must have exactly the same geodesics. Thus, for example, the $\ell_\infty$ and the $\ell_2$ norms on the plane are not strongly equivalent.

Question. Is there a simple criterion to determine whether two norms on the plane (or in a finite-dimensional space) are strongly equivalent. What if we assume that the unit spheres of both norms are polygons or that the unit spheres are smooth and positively curved?

Added 07/04/2014. Thanks in good measure to the exchange with Willie Wong, the answer to the OP in the two-dimensional case is the following simple (albeit surprising) result:

Proposition. Two norms $N_1$ and $N_2$ on the plane are strongly equivalent if and only if their distributional Laplacians, considered as measures on the unit circle, are comparable in the sense that there exists a constant $\lambda \geq 1$ such that $\lambda \Delta N_1 - \Delta N_2$ and $\Delta N_2 - \lambda^{-1} \Delta N_1$ are (positive) measures.

This contains basically all the geometric information one may wish (see my answer below).

Added on 08/04/2014. The equivalence relation defined in this question simply says that the two norms are "linked" or in the same Thompson component in the cone of seminorms on the vector space $V$. The question can be then rephrased (and extended) as :

Describe the different Thompson components of the cone of seminorms on $V$. Specially those component containing norms.

This sounds classical!!

alvarezpaiva
  • 13.5k
  • 40
  • 83