4
$\begingroup$

Let me try again. Suppose $\|\cdot\|$ is a norm in $\mathbb{R}^n$ and let $$f(x_1,...,x_n)=\|(x_1,...,x_n)\|$$

where $x_i\geq 0, \forall i$. I want to prove or disprove that $f$ is an nondecreasing function in each of its variables.

Thanks

Note: Suppose we vary $x_i$ and fix the other variables. Then I want the function $g(x_i)=f((x_1,...,x_i,...,x_n))$ to be nondecreasing.

  • 2
    Again? Where is your previous try?2012-10-23
  • 1
    And what does "nondecreasing function in each of its variables" mean?2012-10-23
  • 0
    @ChrisEagle. im gonna edit and explain better2012-10-23
  • 1
    @ThomasAndrews, your example is wrong.2012-10-23
  • 0
    @Tomas Are you saying that $f(-1,0,0,...0)$ is not positive, or that $f(1,0,..,0)$ is not positive, or that $f(0,0,...,0)$ is not zero?2012-10-23
  • 0
    @Tomás, I don't see how Thomas Andrews' comment is wrong. This is certainly true for the $L^1$ norm. Or any $L^p$ norm, actually.2012-10-23
  • 0
    @ThomasAndrews: He's failing to say that he requires every $x_i$ to be nonnegative in the question.2012-10-23
  • 0
    @ThomasAndrews, im saying that $(-1,0,...,0)$ is not in the domain of definition of $f$.2012-10-23
  • 0
    @anegligibleperson, look the domain of definition of $f$2012-10-23
  • 0
    @Tomás Ok, I must have somehow missed it, or it wasn't there before my page refreshed.2012-10-23
  • 0
    Whoops, sorry @Tomás Reading comprehension error on my part.2012-10-23
  • 0
    No problem, its happens.2012-10-23
  • 0
    @Tomás Maybe you could try to change the title to something more descriptive. Something like "Is norm non-decreasing in each variable?" tells more about the question than "How to Prove that this Function in Nondecreasing?". From [How can I ask a good question?](http://meta.math.stackexchange.com/a/589/): *Make your title as descriptive as possible. In many cases one can actually phrase the title as the question, at least in such a way so as to be comprehensible to an expert reader.*2012-10-27
  • 0
    Thank you @MartinSleziak, i will do.2012-10-27

3 Answers 3

7

We know that $\|x\|_1=|x_1|+|x_2|$ is norm on $\mathbb R^2$. (It is called $\ell_1$-norm or taxicab norm.) It is easy to see that rotation does not change properties of norm.

So for any angle $\varphi$ the function $$\|x\|=|x_1\cos\varphi-x_2\sin\varphi|+|x_1\sin\varphi+x_2\cos\varphi|$$ is a norm on $\mathbb R^2$.

For $\varphi=\frac\pi 6$ we have $$\|x\|=\frac{|\sqrt3x_1-x_2|+|x_1+\sqrt3x_2|}2.$$

If we fix $x_2=1$, then this function is not monotone in $x_1$, as we can check by plotting |sqrt(3)t-1|+|t+sqrt(3)| in WA.

  • 1
    Interesting @MartinSleziak. So is this question wrong: ?2012-10-23
  • 0
    Well, either that or there is a mistake in my answer.2012-10-23
  • 0
    @MartinSleizak, i ploted the function and it is not nondecreasing. Maybe it is not a norm, but i think it is.2012-10-23
  • 0
    I think you answer is good, you can give this counter example there.2012-10-23
0

I'm guessing you mean that if we hold all variables fixed, except one, then it is nondecreasing. In that case, calculus can come to the rescue. Take the derivative of $g$: $$ \frac{dg}{dx_i}=\frac{d}{dx_i}\sqrt{x_1^2+x_2^2+\cdots x_i^2+\cdots x_n^2} $$ Since all the $x_j$ that are not equal to $x_i$ are constant, this is $$ \frac{x_i}{\sqrt{x_1^2+x_2^2+\cdots x_i^2+\cdots x_n^2}} $$ If $x_i\geq 0$, then the derivative is nonnegative and $g$ is nondecreasing.

Of course, here I am assuming that you are using the standard norm on $\mathbb{R}^n$.

  • 0
    The question did not say "Euclidean norm".2012-10-23
  • 0
    @KarolisJuodelė Notice the last line of my answer. As pointed out by Martin Sleziak, it doesn't work in general. I was thinking the OP meant the standard norm and gave a proof for that case.2012-10-23
  • 0
    I didn't notice that line. Although I am still afraid that this answer could have been misleading to someone (were it the only answer). Though, in case you were wondering, that downvote isn't mine...2012-10-23
0

I found this post when I had the same question. It seems to me that the answer is no.

Let's look at the $\ell_2$-norm: $\|\boldsymbol{x}\|_2 = \sqrt{x_1^2 + \cdots + x_n^2}$ and recall the definition of a non-decreasing function:

A function, $f(x)$, is non-decreasing on an interval $I$ if $f(b) \geq f(a)$ for all $b > a$ where $a,b \in I$.

Without loss of generality, let $x_2,\ldots,x_n$ be fixed, $x_2+\cdots+x_n=C$ and write $g(x) = \sqrt{x^2 + C}$, where $g:\mathbb{R}\rightarrow\mathbb{R}$. We note that $g(-2)>g(-1)$, but $-2 \ngtr -1$. Hence, the $\ell_2$-norm is not a non-decreasing function in each of its variables.