19
$\begingroup$

Given a vector space $V$ (for convenience, defined over $\mathbb{r}$), we call $d:V\rightarrow\mathbb{R}$ a norm for $V$ if $\forall \mathbf{u}, \mathbf{v} \in V$ and $\forall r \in \mathbb{R}$ we have:

  1. $d(r \mathbf{v}) = |r|d(\mathbf{v})$,
  2. $d(\mathbf{v})\ge 0$, with equality iff $\mathbf{v} = 0$, and
  3. $d(\mathbf{u})+d(\mathbf{v}) \ge d(\mathbf{u}+\mathbf{v})$ (triangle inequality)

I've read in a few places that an important property of a norm is that it is convex; that is, given $\mathbf{u},\mathbf{v} \in V$, and $p \in (0,1)$, we have $d(p \mathbf{u} + (1-p) \mathbf{v}) \le p d(\mathbf{u}) + (1-p) d(\mathbf{v})$. This clearly follows from the triangle inequality.

My question is: Does the reverse also hold? i.e. does a function satisfying (1) and (2) above which is convex necessarily satisfy the triangle inequality? If not, what is an instructive counterexample?

Thanks! (btw: please feel free to suggest better tags / improvements to the question; I'm new to this!)

$\endgroup$
5
  • 11
    $\begingroup$ Set $p = \frac{1}{2}$ and use property 1. $\endgroup$ Commented May 29, 2011 at 16:58
  • $\begingroup$ @Qiaochu Yuan: Thanks! Feeling a bit silly now! I even tried that at some point, and convinced myself it didn't work. :) $\endgroup$
    – duncanm
    Commented May 29, 2011 at 17:09
  • 1
    $\begingroup$ It's cool to know that a convex-(1)-(2) function is equivalent to being a norm... I didn't know the triangle inequality was equivalent to convexity under (1) and (2). Good to know. Thumbs up! $\endgroup$ Commented May 29, 2011 at 17:14
  • $\begingroup$ @Patrick: Cheers! $\endgroup$
    – duncanm
    Commented May 29, 2011 at 19:23
  • 1
    $\begingroup$ @Patrick: The homogeneity condition $d(r\mathbf{v}) = |r| d(\mathbf{v})$ is of course crucial here. Translation invariance and the triangle inequality are not enough to infer homogeneity. Some time ago I wrote an answer trying to elucidate the relations between scalar products, norms and metrics, maybe you find that interesting. $\endgroup$
    – t.b.
    Commented May 29, 2011 at 21:06

1 Answer 1

11
$\begingroup$

Resolved in comments.

Setting $p=\frac12$ in the definition of convexity, we have $$ d\Big( \frac{\mathbf u + \mathbf v}{2} \Big) \leqslant \frac12 d(\mathbf u) + \frac12 d(\mathbf v). $$ By the scaling or homogeneity, the left hand side is simply $\frac12 d(\mathbf u + \mathbf v)$; plugging in this and simplifying, we get the triangle inequality.

$\endgroup$

You must log in to answer this question.

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