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

The metric space axioms

  1. Oct 22, 2013 #1
    Quick question about the metric space axioms, is the requirement that the distance function be positive-semidefinite an axiom for metric spaces?

    It seems that it can be proved from the other axioms (symmetry, identity of indiscernibles and the triangle inequality).

  2. jcsd
  3. Oct 22, 2013 #2
    Assuming by 'identity of indiscernible' you mean d(x,y) = 0 iif x=y then yes, requiring that d(x,y) be nonnegative is redundant.
  4. Oct 22, 2013 #3
    According to my understanding, the phrase "identity of indiscernibles" refers to the philosophical principle that two objects are the same if they share all properties. As Wiki puts it ...

    The identity of indiscernibles is an ontological principle which states that there cannot be separate objects or entities that have all their properties in common. That is, entities x and y are identical if every predicate possessed by x is also possessed by y and vice versa.


    I've never heard it used mathematically; and in fact it is false about the real numbers. There are only countably many predicates (finite length strings over a finite or even countable alphabet); but there are uncountably many reals. It is the case mathematically that there are more real numbers than predicates. It follows that there are pairs of distinct real numbers that nevertheless agree on all predicates.

    I hope I didn't totally miss your point here, but I've just never heard anyone use identity of indiscernibles in the context of metric spaces.
  5. Oct 23, 2013 #4
    Yeah, "identity of indiscrenables" is not a common phrase in mathematics.
    And describing the metric as "positive semidefinite" is also not common. The terminology is used primarily for matrices or bilinear forms, but not for a metric.

    Aside from this terminology issue, jorriss already gave the right answer.
  6. Nov 20, 2013 #5
    Let X be a set. A function [; d \ : \ X \times X \to \mathbb{R} ;] is a metric for X if, and only if,
    (i) d(x,x)=0, for all x in X
    (ii) d(x,y)=d(y,x), for all x and y in X
    (iii) [; (\forall x,y \in X) [x \neq y \to d(x,y) > 0] ;]
    (iv) [; (\forall x,y,z \in X) [d(x,z) \leq d(x,y) + d(y,z)] ;]

    And (i)-(iv) are independent axioms. You can prove this by constructing some simple models that is true three of them but fails in one.
  7. Nov 20, 2013 #6

    By (iv)
    d(x,y) + d(y,x) >= d(x,x)

    By (ii), is just
    d(x,y) + d(x,y) >= d(x,x)

    2d(x,y) >= d(x,x)

    And so by (i)
    2d(x,y) >= 0

    d(x,y) >= 0

    Which is (iii). You cannot construct a 'metric candidate' where (i), (ii), and (iv) hold but (iii) does not; (iii) is redundant, just like the OP said.
    Last edited: Nov 20, 2013
  8. Nov 20, 2013 #7
    Not exactly, notice that (iii) has a strict inequality. You just showed ##\geq##. So the axioms gufiguer uses are different than what we usually use.
  9. Nov 20, 2013 #8
    But it's the same, all I have to do is declare that x and y are not equal and the inequality does become strict, just like gufiguer's (iii).
  10. Nov 20, 2013 #9
    You need an axiom to ensure that the inequality is strict. For example, if we set ##d(x,y)=0## for all ##x## and ##y##, then this satisfies gufiguer's axioms except (iii) and it is positive.
  11. Nov 20, 2013 #10
    OK, now I see, gufiguer's first axiom is usually given as d(x,y) = 0 iff x=y. They are pretty different than the ones I've seen. I don't think they're correct, actually, d(x,y) = 0 for all x and y shouldn't really qualify as a metric..

    When I think about the metric d(x,y) = 0 for all x and y, my only conclusion is that it generates the indiscrete topology. Consider any open ball in this metric space (X, G); it contains everything, it's just X. A nonempty, proper subset U of X cannot possibly be open because it cannot contain any open ball. So this metric generates the indiscrete topology.

    But, my issue with this is that I know I proved this semester that the indiscrete topology is not metrizable. So how can gufiguer's axioms be correct, and still allow for this type of "metric" to exist?
    Last edited: Nov 20, 2013
  12. Nov 20, 2013 #11
    Well, if you take ##d(x,y) = 0## for all ##x,y##, then you indeed get the indiscrete topology. But this is not a metric. So you haven't actually put a metric on the indiscrete topology. If you don't require [tex]d(x,y) = 0~\Rightarrow x =y[/tex]
    then you have a thing called a pseudometric. The indiscrete topology is pseudometrizable, but not metrizable. There are many topological spaces however, which are not pseudometrizable.
  13. Nov 20, 2013 #12
    If x and y are distinct points then that is not a metric, it is a pseudometric.
  14. Nov 20, 2013 #13
    To add something more. A metric is just the Hausdorff version of a pseudometric. So pseudo-metrizable + Hausdorff (or even ##T_0## or ##T_1##) implies metrizable. If you don't care about Hausdorff, then pseudometrics are perfectly fine for all purposes.

    In general, many concepts in topology have a ##T_0## version and a general version. For example, you have the notion of symmetric spaces, that's the general version. If you add ##T_0## to that, then you get the ##T_1## axiom. Hasudorff is a ##T_0## version, the general version is called preregular, and so on. In the same sense, pseudometrizable is the general version, while the ##T_0## version is metrizable.
  15. Nov 20, 2013 #14
    Ok, so gufiguer's axioms are not for that of a metric, then.
  16. Nov 20, 2013 #15
    Wow, that's very cool!

    I'm always interested to see what happens when we relax our axioms.
  17. Nov 20, 2013 #16
  18. Nov 20, 2013 #17
    No, his axioms are for a metric space but if you remove, say, axiom 3 one arrives at pseudometrics.
  19. Nov 20, 2013 #18
    Right, of course.

    Looking at them again, it seems clear to me that his 4 axioms are equivalent to the 3 independent axioms usually given, where his (i) and (iii) together are equivalent to the statement "d(x,y) = 0 iff x = y" when considering the others too.
  20. Nov 20, 2013 #19
    Yeah, he just opted for more explicit but less compact notation.
  21. Nov 21, 2013 #20
    Just continuing. The only metric on ##\varnothing## is ##\varnothing## and the only metric on a singleton X={x} is d={((x,x),0)}, ie, d(x,y)=0, for all x and y in X. If ##card(X) \geq 2##, then ##\varnothing## and {((x,x),0)} are not metrics for X as before, but in this case there are (non-countable) infinitely many metrics for X. Prove that as an exercise! :smile:
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook