Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I have studied that every normed space $(V, \lVert\cdot \lVert)$ is a metric space with respect to distance function

$d(u,v) = \lVert u - v \rVert$, $u,v \in V$.

My question is whether every metric on a linear space can be induced by norm? I know answer is no but I need proper justification.

Edit: Is there any method to check whether a given metric space is induced by norm ?

Thanks for help

share|cite|improve this question
$\LaTeX$ tip: \parallel is a relation symbol, so it includes space on both sides. You want \lVert and \rVert for left and right delimiters, so that there is space on the "outside", but not on the "inside". – Arturo Magidin Jul 4 '12 at 2:33
@ArturoMagidin Thank you very much sir. – srijan Jul 4 '12 at 2:35
Related: – Rudy the Reindeer Jul 4 '12 at 5:07
@MattN. Thank you very much. That was helpful to me. – srijan Jul 4 '12 at 5:14
up vote 37 down vote accepted

Let $V$ be a vector space over the field $\mathbb{F}$. A norm $$\| \cdot \|: V \longrightarrow \mathbb{F}$$ on $V$ satisfies the homogeneity condition $$\|ax\| = |a| \cdot \|x\|$$ for all $a \in \mathbb{F}$ and $x \in V$. So the metric $$d: V \times V \longrightarrow \mathbb{F},$$ $$d(x,y) = \|x - y\|$$ defined by the norm is such that $$d(ax,ay) = \|ax - ay\| = |a| \cdot \|x - y\| = |a| d(x,y)$$ for all $a \in \mathbb{F}$ and $x,y \in V$. This property is not satisfied by general metrics. For example, let $\delta$ be the discrete metric $$\delta(x,y) = \begin{cases} 1, & x \neq y, \\ 0, & x = y. \end{cases}$$ Then $\delta$ clearly does not satisfy the homogeneity property of the a metric induced by a norm.

To answer your edit, call a metric $$d: V \times V \longrightarrow \mathbb{F}$$ homogeneous if $$d(ax, ay) = |a| d(x,y)$$ for all $a \in \mathbb{F}$ and $x,y \in V$, and translation invariant if $$d(x + z, y + z) = d(x,y)$$ for all $x, y, z \in V$. Then a homogeneous, translation invariant metric $d$ can be used to define a norm $\| \cdot \|$ by $$\|x\| = d(x,0)$$ for all $x \in V$.

share|cite|improve this answer
Thank you very much. I understand now. – srijan Jul 4 '12 at 2:42
That is not enough as one needs to check that the so defined norm really induces the original metric and not another one: $d(\cdot,\cdot)\to\|\cdot\|\to d(\cdot,\cdot)$ – Alexander Frei Sep 29 '14 at 14:36
This is an old post and it doesn't really matter much, but I have to be pedantic. So you say that if a metric comes from a norm on $\Bbb{R}$, then $d(ax,ay)=|a|d(x,y)$ but what if you just consider $\Bbb{R}$ as a vector space over $\{0,1\}$. Then the discrete metric IS homogeneous and translation invariant on this vector space. – Zachary Selk Jun 16 '15 at 0:16

Here is another interesting example: Let $|x-y|$ denote the usual Euclidean distance between two real numbers $x$ and $y$. Let $d(x,y)=\min\{|x-y|,1\}$, the standard derived bounded metric. Now suppose we look at $\Bbb{R}$ as a vector space over itself and ask whether $d$ comes from any norm on $\Bbb{R}$. Then if there is such a norm say $||.||$, we must have the homogeneity condition: for any $\alpha \in \Bbb{R}$ and any $v \in \Bbb{R}$,

$$||\alpha v || = |\alpha| ||v||.$$

But now we have a problem: The metric $d$ is obviously bounded by $1$, but we can take $\alpha$ arbitrarily large so that $||.||$ is unbounded. It follows that $d$ does not come from any norm.

share|cite|improve this answer
It was nice explanation to me. I had forgot to thank you. :) – srijan May 25 '13 at 9:21

As Henry states above, metrics induced by a norm must be homogeneous. You can see that they must also be translation invariant: $d(x+a,y+a)= d(x,y).$ So any metric not satisfying either of those can not come from a norm.

On the other hand, it turns out that these two conditions on the metric are sufficient to define a norm that induces that metric: $d(x,0)=\| x \|.$

share|cite|improve this answer
Thank you sir. I am fully satisfied with two answers given by you and Henry.:) – srijan Jul 4 '12 at 2:44
Did you mean instead that any metric not satisfying either of those can not come from a norm? And not the other way around? And also, these two conditions on the metric are sufficient to define a norm..? – T. Eskin Jul 4 '12 at 6:27
@ThomasE. Sorry, you are right, I muddled up the words. Thanks. – Ragib Zaman Jul 4 '12 at 8:43

Every homogeneous metric induces a norm via: $$\|x\|:=d(x,0)$$ and every norm induces a homogeneous and translation-invariant metric: $$d(x,y):=\|x-y\|$$

The clue herein lies in wether the induced norm really represents the metric as: $$d(\cdot,\cdot)\to\|\cdot\|\to d(\cdot,\cdot)$$ which is the case only for the translation-invariant metrics: $$d'(x,y)=d(x-y,0)=d(x,y)$$ whereas the induced metric always represents the norm as: $$\|\cdot\|\to d(\cdot,\cdot)\to\|\cdot\|$$ as a simple check shows: $$\|x\|'=\|x-0\|=\|x\|$$

share|cite|improve this answer
@ Thanks for the answer. – srijan Feb 15 at 4:15

Personal Note:

Good question, I remember wondering the same thing myself back when I new to real analysis. Here's a counter example:

Counter Example

\begin{equation} d(x,y):=I_{\{(x,x)\}}(x,y):=\begin{cases} 1 &:\, \,x=y\\ 0 &:\, \,x\neq y. \end{cases} \end{equation} This is indeed a metric (check as an exercise).

Where $I_A$ is the indicator function of the set $A$; where here the set $(x,x)\in V\times V$.

If $r\in \mathbb{R}-\{0\}$, then $d(rx,ry)\in \{0,1\}$ hence $rd(x,y)\in \{0,r\}$ which is not in the range of $d:V\times V \rightarrow \mathbb{R}$.

So, the metric $d$ fails the property that any metric induced by a norm must have, ie: \begin{equation} \mbox{it fails to have the property that: } \|rx-ry\| =r\|x-y\|. \end{equation}

Interpretation & Some Intuition:

The problem is that the topology is too fine, so all this topology can do is distinguish between things being the same or different.
As opposed to a norm topology which distinguised between object being, or not being on the same line (for some appropriate notion of line) (as well as them being different).

Hope this helps :)

share|cite|improve this answer
Thank you for the explanation. :) – srijan Feb 15 at 4:15

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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