10
$\begingroup$

Let $X$ and $Y$ be two normed vector spaces and $n(\cdot, \cdot)$ be any norm on $\mathbb{R}^2$. Is it always possible to define a norm on the product vector space $X \times Y$ as $||(x, y)||_{X \times Y} = n(||x||_X, ||y||_Y)$?

Background information: the book "Advanced Calculus" by Sternberg and Loomis says the answer is negative - you have to impose an additional requirement on $n(\cdot, \cdot)$ for that to hold. However, no example is given in the text nor the exercises. Can you give me an example of such a pathological norm $n$ that fails to induce a honest normed vector space on $X \times Y$.

$\endgroup$
2
  • 1
    $\begingroup$ Out of curiosity: what is the additional requirement? Is it also necessary? $\endgroup$
    – tomasz
    Nov 9, 2014 at 1:29
  • $\begingroup$ Exactly what @fair said, it needs to be "increasing" as he defined it. $\endgroup$
    – Zuza
    Nov 9, 2014 at 13:44

3 Answers 3

20
$\begingroup$

Let $X=Y=\mathbb R$ with the absolute value norm and define $n(a,b)=\sqrt{2a^2+2b^2-3ab}$. This is a norm on $\mathbb R^2$ because it is the quadratic form of the positive definite matrix $A=\left( \begin{smallmatrix} 2 & -3/2 \\ -3/2 & 2 \end{smallmatrix}\right)$.

Then $N(v) = n(|v_1|,|v_2|)$ is not a norm because the triangle inequality fails for $u=(1,1)$, $v=(1,-1)$: we have that $N(u)=N(v)=1$, but $N(u+v)=2\sqrt{2}$.

$\endgroup$
16
$\begingroup$

This is only an illustration to Christian Remling's beautiful answer; here are the concentric "balls" around the origin for this "norm":

enter image description here

$\endgroup$
2
  • 2
    $\begingroup$ Very nice picture, with a flavor of certain animated cartoons of the '70, like e.g. The Beatles Yellow Submarine. $\endgroup$ Nov 8, 2014 at 19:35
  • $\begingroup$ @PietroMajer All credit goes to the new colorscheme of Mathematica 10 :D $\endgroup$ Nov 8, 2014 at 20:01
7
$\begingroup$

This is a comment rather than an answer but I am not entitled. The missing requirement on the two dimensional norm for the statement to be valid is that it be increasing in the natural sense that if $|x|\leq|x_1|, |y|\leq|y_1|$, then $n(x,y)\leq n(x_1,y_1)$. Norms without this property can easily be obtained by rotating a non-circular ellipse in standard position (as in the above answer).

$\endgroup$
1
  • 1
    $\begingroup$ I believe some statements equivalent to this property (assuming that $||(x,y)||=n(x,y)$ is a norm on $\mathbb R^2$) are a) that $||(x,y)||_{\rm abs} = n(|x|,|y|)$ is a norm on $\mathbb R^2$, b) that $n(x,y) \ge n(x,0), n(0,y)$ for all $x,y\ge0$, or c) that the balls $B_{\rm abs}(r)=\{(x,y)\in\mathbb R^2:n(|x|,|y|)\le r\}$ are convex. $\endgroup$ Nov 11, 2014 at 14:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.