4

Let d be a norm on a vector space V and let $\psi:V \to [0,\infty)$ be a function defined as $\psi(v)=\frac{d(v)}{1+d(v)}$. Is $\psi$ a norm on $V$?

It seems that $\psi$ does not satisfy the homogeneity property of a norm. I tried a proof by contradiction, but I think my contradiction may be incorrect. Any feedback on the correctness of the proof and alternative ways to approach the problem is appreciated.

Suppose that for all $\alpha\in\mathbb{R}$ and for all $v\in V$, $\;\psi(\alpha v)= |\alpha|\psi(v)$.
Since $\psi(\alpha v)= \frac{d(\alpha\;v)}{1+d(\alpha\;v)} = \frac{|\alpha|d(v)}{1+|\alpha|d(v)}$, we have $$\frac{|\alpha|d(v)}{1+|\alpha|d(v)}= |\alpha|\psi(v)$$$$\frac{d(v)}{1+|\alpha|d(v)}= \psi(v)$$Which is only true when $|\alpha| = 1$ (contradiction).

user92638
  • 487
  • 5
  • 10
  • 1
    Right. Also $\psi(v)\lt1$ for all $v$, which means it can't be a norm, assuming $\dim V\gt0$. – bof Oct 20 '14 at 00:56

3 Answers3

4

Your answer looks correct. In general, if you have something bounded it is not a norm. I'll explain what I mean:

Notice that $\frac{d}{1 + d} \le 1$. Pick any non zero $x$ and consider $\alpha x$, $\alpha \in \mathbb{R}^+.$ Assume by contradiction that it is a norm, then $$\alpha \frac{d}{1+d}(x) = \frac{d}{1+d}(\alpha x) \le 1.$$ Send $\alpha \to \infty$ to get a contradiction.

  • Thanks for the extra insight. You said that in general something bounded is not a norm. When is a bounded function a norm? (trivial and non-trivial examples welcome) – user92638 Oct 20 '14 at 02:30
  • I guess that "in general" was misleading: I meant that if you "supposed-to-be" normed is bounded then it is not a norm. The reason is that you can apply the same reasoning I applied for this particular case :) I hope this clarifies and sorry for the confusion!!! :) –  Oct 20 '14 at 02:33
1

I agree with your answer: it is not a norm.

However, it is a distance, I believe.

marty cohen
  • 107,799
1

Indeed it is not a norm, but it is worth noting that such a function does define a metric. Homogeneity of the first degree fails here, which is required for a norm, but not a metric.