Jump to content

Metric: Difference between revisions

From Wikipedia, the free encyclopedia
Content deleted Content added
Tarquin (talk | contribs)
mNo edit summary
Tarquin (talk | contribs)
adding more detail & a softer introduction to the concepts
Line 1: Line 1:
The '''Metric''' System is a common term for the [[SI|International System of Units]].
The '''Metric''' System is a common term for the [[SI|International System of Units]].


In [[mathematics]], a '''metric''' (also called '''distance metric''') on a set P is a funtion d:P×P->R+ satisfying three axioms:
In [[mathematics]], a '''metric''' (also called '''distance metric''') on a set is an abstraction of the notion of ''distance''.

*d(p,q)=0 <=> p=q (the distance between two points is zero if and only if the two points are the same)
*d(p,q)=d(q,p) for all p,q in P (the distance between p and q is the same and the distance between q and p)
Intuitively, the distance between two point is a real, positive number, with the following properties:
* it is only zero if the two points are in fact the same
*d(p,q)+d(q,r) >= d(p,r) for all p,q,r in P (the sum of the distances between p and q and between q and r is greater than or equal to the distance between p and r)
* it does not depend on the order in which points are given (the distance from London to Paris is the same as the distance from Paris to London)
The metric d gives rise to a [[topology]] on P;
* it satisfies the [[Triangle inequality]]: the distance between two points is never longer than going via a third intermediary point

Formally, let P be a set. A distance metric on P is a function mapping [[ordered pair]]s of elements of P, ( x , y ) to the positive [[Real number]]s:
: ''d'' : '''P''' × '''P''' -> '''R+'''

Furhermore, it must satisfy the following three axioms:

* d(p,q)=0 <=> p=q (the distance between two points is zero if and only if the two points are the same)
* d(p,q)=d(q,p) for all p,q in P (the distance between p and q is the same and the distance between q and p)
* d(p,q)+d(q,r) >= d(p,r) for all p,q,r in P (the sum of the distances between p and q and between q and r is greater than or equal to the distance between p and r)

Defining a metric on a set allows the notion of open sets limits to be defined on it: the metric d gives rise to a [[topology]] on P;
a basis for this topology is the collection of sets { q: d(p,q)<e} for p in P and e>0.
a basis for this topology is the collection of sets { q: d(p,q)<e} for p in P and e>0.

In other words, a subset S of P is open in the metric topology if for every point p in S there is a number e>0 such that S contains the set { q: d(p,q)<e}.
In other words, a subset S of P is open in the metric topology if for every point p in S there is a number e>0 such that S contains the set { q: d(p,q)<e}.

Revision as of 01:02, 3 August 2002

The Metric System is a common term for the International System of Units.

In mathematics, a metric (also called distance metric) on a set is an abstraction of the notion of distance.

Intuitively, the distance between two point is a real, positive number, with the following properties:

  • it is only zero if the two points are in fact the same
  • it does not depend on the order in which points are given (the distance from London to Paris is the same as the distance from Paris to London)
  • it satisfies the Triangle inequality: the distance between two points is never longer than going via a third intermediary point

Formally, let P be a set. A distance metric on P is a function mapping ordered pairs of elements of P, ( x , y ) to the positive Real numbers:

d : P × P -> R+

Furhermore, it must satisfy the following three axioms:

  • d(p,q)=0 <=> p=q (the distance between two points is zero if and only if the two points are the same)
  • d(p,q)=d(q,p) for all p,q in P (the distance between p and q is the same and the distance between q and p)
  • d(p,q)+d(q,r) >= d(p,r) for all p,q,r in P (the sum of the distances between p and q and between q and r is greater than or equal to the distance between p and r)

Defining a metric on a set allows the notion of open sets limits to be defined on it: the metric d gives rise to a topology on P; a basis for this topology is the collection of sets { q: d(p,q)<e} for p in P and e>0.

In other words, a subset S of P is open in the metric topology if for every point p in S there is a number e>0 such that S contains the set { q: d(p,q)<e}.