5
$\begingroup$

I have started studying normed spaces. I wonder what's the need of defining notion of distance using norm function. For example , we know that $\mathbb{R}$ is a metric space with respect to usual metric defined by $d(x,y) = \mid x-y \mid$.

Now, I am studying $\mathbb{R}$ is a metric space with respect to metric induced by norm defined by $d(x,y) = \parallel x - y\parallel$.

Edit 1: I mean can't we simply study metric spaces using distance function which doesn't involve norms? Why we have introduced concept of norms?

I have no problem in understanding things related with norms. But this question is troubling me which might sound trivial.

Thanks for helping me.

  • 0
    @matt Thank you very much2012-06-01

2 Answers 2

5

Norms only make sense on vector spaces, whereas metrics can be defined on arbitrary sets.

Supposing we are in a vector space, the principles that distinguish a norm from a metric are 1) translation invariance, and 2) homogeniety. Metrics induced by a norm are always translation invariant and homogeneous, and given a translation invariant homogeneous metric you can build a norm via, $||x||:=d(x,0).$

Thus the core question is: what is the intuition behind translation invariance and homogeniety, and why are they interesting?

1) Translation invariance means that normed spaces look the same everywhere, in some sense. Any property that depends on pairwise distances between points will be the same if you translate all the points over. $d(x+h,y+h)=||x-y|| \text{, independent of h.}$

2) Homogeniety means that it is meaningful to put "units of measurement" on your space. If you measure two vectors in meters then take the norm distance between them, you get the same result as if you measured them in inches, then took the norm distance between them, then converted that distance from inches to meters. $d(ax,ay) = |a|d(x,y).$

  • 0
    Glad to help - this is something that used to bother me as well. Norms are used in so many places, it becomes second nature so lot of mathematicians don't bother to really think about what they mean.2012-06-03
1

As copper.hat wrote, more structure means stronger results. As an example take the theorem

Any two norms on $\mathbb{R}^n$ are equivalent.

In particular, any norm on $\mathbb{R}^n$ generates the same topology as the "usual" Euclidean norm (i.e., you get the same notions of convergence, open sets and so on as for the Euclidean metric.) Moreover, equivalence of norms also implies same notions of completeness.

On the other hand, as you learned in this question about the arctan metric, this is not true for different metrics on $\mathbb{R}^n$. The arctan metric on $\mathbb{R}$ generates the "usual" topology coming from the Euclidean metric, but $\mathbb{R}$ with that metric is not complete.

  • 1
    @srijan: How right you are! Edited ...2012-06-01