Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Not every metric comes from a norm

  1. Nov 14, 2009 #1
    Hello!

    It is said that not every metric comes from a norm.

    Consider for example a metric defined on all sequences of real numbers with the metric:

    [tex]d(x,y):=\displaystyle\sum_{i=1}^{\infty}\frac{1}{2^i}\frac{|x_i-y_i|}{1+|x_i-y_i|}[/tex]

    I can't grasp how can that be.

    There is a proof, so could you please give me hints so that I can try and do the proof on my own.

    At the moment I can only see that the whole thing is bounded by 1. What does it actually mean when we say "it does not come from a norm"?
     
  2. jcsd
  3. Nov 14, 2009 #2

    Office_Shredder

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

  4. Nov 14, 2009 #3
  5. Nov 14, 2009 #4
    Re: Metric

    On the site linked by Office_Shredder:
    Thus for a metric not to come from a norm means that there exists no norm that induces that metric. Thus you must show that d is a metric, but that if p(v) is any norm, then [itex]p(x-y) \not= d(x,y)[/itex] for some pair x,y.
     
  6. Nov 16, 2009 #5
    Re: Metric

    this was easier than I thought. In fact take x=(1,1,...), then 2||x|| is not equal to ||2x||!

    First I tried to see whether the triangle inequality is not satisfied, but it did not to work, because both the norm and the metric seem somehow to be "conform" in this respect.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Not every metric comes from a norm
  1. Metric/metric tensor? (Replies: 1)

  2. Norm vs. a Metric (Replies: 8)

Loading...