GetWiki
Metric (mathematics)
ARTICLE SUBJECTS
being →
database →
ethics →
fiction →
history →
internet →
language →
linux →
logic →
method →
news →
policy →
purpose →
religion →
science →
software →
truth →
unix →
wiki →
ARTICLE TYPES
essay →
feed →
help →
system →
wiki →
ARTICLE ORIGINS
critical →
forked →
imported →
original →
Metric (mathematics)
please note:
- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
{{distinguish|Measure (mathematics)}}File:Manhattan distance.svg|thumb|200px|An illustration comparing the taxicab metric to the Euclidean metric on the plane: According to the taxicab metric the red, yellow, and blue paths have the same length (12). According to the Euclidean metric, the green path has length 6 sqrt{2} approx 8.49, and is the unique shortest path.]]In mathematics, a metric or distance function is a function that defines a distance between each pair of elements of a set. A set with a metric is called a metric space.BOOK, Eduard, ÄŒech, Eduard ÄŒech, Point Sets, New York, Academic Press, 1969, 42, A metric induces a topology on a set, but not all topologies can be generated by a metric. A topological space whose topology can be described by a metric is called metrizable.An important source of metrics in differential geometry are metric tensors, bilinear forms that may be defined from the tangent vectors of a differentiable manifold onto a scalar. A metric tensor allows distances along curves to be determined through integration, and thus determines a metric. However, not every metric comes from a metric tensor in this way.- the content below is remote from Wikipedia
- it has been imported raw for GetWiki
Definition
A metric on a set {{mvar|X}} is a function (called the distance function or simply distance)
d : X times X to [0,infty),
where [0,infty) is the set of non-negative real numbers and for all x,y,z in X, the following conditions are satisfied:
{|
Conditions 1 and 2 together define a positive-definite function. The first condition is implied by the others.A metric is called an ultrametric if it satisfies the following stronger version of the triangle inequality where points can never fall 'between' other points:
1. | d(x,y) ge 0 | non-negativity or separation axiom |
| identity of indiscernibles |
Symmetric function>symmetry |
| subadditivity or triangle inequality |
d(x, z) leq max(d(x, y), d(y, z))
for all x,y,z in XA metric {{mvar|d}} on {{mvar|X}} is called intrinsic if any two points {{mvar|x}} and {{mvar|y}} in {{mvar|X}} can be joined by a curve with length arbitrarily close to {{math|d(x, y)}}.For sets on which an addition + : {{math|X × X â†’ X}} is defined,{{mvar|d}} is called a translation invariant metric if
d(x, y) = d(x + a, y + a)
for all {{mvar|x}}, {{mvar|y}}, and {{mvar|a}} in {{mvar|X}}.Notes
These conditions express intuitive notions about the concept of distance. For example, that the distance between distinct points is positive and the distance from x to y is the same as the distance from y to x. The triangle inequality means that the distance from x to z via y is at least as great as from x to z directly. Euclid in his work stated that the shortest distance between two points is a line; that was the triangle inequality for his geometry.Examples
- The discrete metric: if x = y then d(x,y) = 0. Otherwise, d(x,y) = 1.
- The Euclidean metric is translation and rotation invariant.
- The taxicab metric is translation invariant.
- More generally, any metric induced by a norm is translation invariant.
- If (p_n)_{nin N} is a sequence of seminorms defining a (locally convex) topological vector space E, then
d(x,y)=sum_{n=1}^infty frac{1}{2^n} frac{p_n(x-y)}{1+p_n(x-y)}
is a metric defining the same topology. (One can replace frac{1}{2^n} by any summable sequence (a_n) of strictly positive numbers.)
- Graph metric, a metric defined in terms of distances in a certain graph.
- The Hamming distance in coding theory.
- Riemannian metric, a type of metric function that is appropriate to impose on any differentiable manifold. For any such manifold, one chooses at each point p a symmetric, positive definite, bilinear form L: Tp Ã— Tp â†’ â„ on the tangent space Tp at p, doing so in a smooth manner. This form determines the length of any tangent vector v on the manifold, via the definition ||v|| = sqrt{L(mathbf{v}, mathbf{v})}. Then for any differentiable path on the manifold, its length is defined as the integral of the length of the tangent vector to the path at any point, where the integration is done with respect to the path parameter. Finally, to get a metric defined on any pair {x, y} of points of the manifold, one takes the infimum, over all paths from x to y, of the set of path lengths. A smooth manifold equipped with a Riemannian metric is called a Riemannian manifold.
- The Fubiniâ€“Study metric on complex projective space. This is an example of a Riemannian metric.
- String metrics, such as Levenshtein distance and other string edit distances, define a metric over strings.
- Graph edit distance defines a distance function between graphs.
- The Wasserstein metric is a distance function defined between two probability distributions.
- The Finsler metric is a continuous nonnegative function F:TMâ†’[0,+âˆž) defined on the tangent bundle.
Equivalence of metrics
For a given set X, two metrics d1 and d2 are called topologically equivalent (uniformly equivalent) if the identity mapping
id: (X,d1) â†’ (X,d2)
is a homeomorphism (uniform isomorphism).For example, if d is a metric, then min (d, 1) and {d over 1+d} are metrics equivalent to d.See also notions of metric space equivalence.Metrics on vector spaces
Norms on vector spaces are equivalent to certain metrics, namely homogeneous, translation-invariant ones. In other words, every norm determines a metric, and some metrics determine a norm.Given a normed vector space (X, |cdot|) we can define a metric on X by
d(x,y) := | x-y|.
The metric d is said to be induced by the norm |cdot|.Conversely if a metric d on a vector space X satisfies the properties - d(x,y) = d(x+a,y+a) (translation invariance)
- d(alpha x, alpha y) = |alpha| d(x,y) (homogeneity)
|x| := d(x,0)
Similarly, a seminorm induces a pseudometric (see below), and a homogeneous, translation invariant pseudometric induces a seminorm.Metrics on multisets
We can generalize the notion of a metric from a distance between two elements to a distance between two nonempty finite multisets of elements. A multiset is a generalization of the notion of a set such that an element can occur more than once. Define Z=XY ifZ is the multiset consisting of the elements of the multisets X and Y, that is, if x occurs once in X and once in Y then it occurs twice in Z. A distance functiond on the set of nonempty finite multisets is a metricJOURNAL, 10.1109/TIT.2011.2110130, Information Distance in Multiples, IEEE Transactions on Information Theory, 57, 4, 2451, 2011, Vitanyi, Paul M. B., 0905.3347, if- d(X)=0 if all elements of X are equal and d(X) > 0 otherwise (positive definiteness), that is, (non-negativity plus identity of indiscernibles)
- d(X) is invariant under all permutations of X (symmetry)
- d(XY) leq d(XZ)+d(ZY) (triangle inequality)
Generalized metrics
There are numerous ways of relaxing the axioms of metrics, giving rise to various notions of generalized metric spaces. These generalizations can also be combined. The terminology used to describe them is not completely standardized. Most notably, in functional analysis pseudometrics often come from seminorms on vector spaces, and so it is natural to call them "semimetrics". This conflicts with the use of the term in topology.Extended metrics
Some authors allow the distance function d to attain the value âˆž, i.e. distances are non-negative numbers on the extended real number line. Such a function is called an extended metric or "âˆž-metric". Every extended metric can be transformed to a finite metric such that the metric spaces are equivalent as far as notions of topology (such as continuity or convergence) are concerned. This can be done using a subadditive monotonically increasing bounded function which is zero at zero, e.g. d′(x, y) = d(x, y) / (1 + d(x, y)) or d′′(x, y) = min(1, d(x, y)).The requirement that the metric take values in [0,âˆž) can even be relaxed to consider metrics with values in other directed sets. The reformulation of the axioms in this case leads to the construction of uniform spaces: topological spaces with an abstract structure enabling one to compare the local topologies of different points.Pseudometrics
A pseudometric on X is a function d : X Ã— X â†’ R which satisfies the axioms for a metric, except that instead of the second (identity of indiscernibles) only d(x,x)=0 for all x is required. In other words, the axioms for a pseudometric are:- d(x, y) â‰¥ 0
- d(x, x) = 0 (but possibly d(x, y) = 0 for some distinct values x â‰ y.)
- d(x, y) = d(y, x)
- d(x, z) â‰¤ d(x, y) + d(y, z).
Quasimetrics
Occasionally, a quasimetric is defined as a function that satisfies all axioms for a metric with the possible exception of symmetry:E.g. Steen & Seebach (1995).CONFERENCE, Quasi uniformities: reconciling domains with metric spaces, Smyth, M., 1987, 236â€“253, 3rd Conference on Mathematical Foundations of Programming Language Semantics, M.Main, A.Melton, M.Mislove, D.Schmidt, Springer-Verlag, Lecture Notes in Computer Science 298,weblink . The name of this generalisation is not entirely standardized.{{Citation | title=Functional Analysis and Control Theory: Linear Systems | last=Rolewicz | first=Stefan | year=1987 | isbn=90-277-2186-6 | publisher=Springer | oclc=13064804 }} This book calls them "semimetrics". That same term is also frequently used for two other generalizations of metrics.- d(x, y) â‰¥ 0 (positivity)
- d(x, y) = 0 if and only if x = y (positive definiteness)
- d(x, y) = d(y, x) (symmetry, dropped)
- d(x, z) â‰¤ d(x, y) + d(y, z) (triangle inequality)
d(x, y) = x âˆ’ y if x â‰¥ y, and
d(x, y) = 1 otherwise. The 1 may be replaced by infinity or by 1+10^{(y-x)}.
The topological space underlying this quasimetric space is the Sorgenfrey line. This space describes the process of filing down a metal stick: it is easy to reduce its size, but it is difficult or impossible to grow it.If d is a quasimetric on X, a metric d' on X can be formed by taking
d'(x, y) = {{frac|2}}(d(x, y) + d(y, x)).
Metametrics
In a metametric, all the axioms of a metric are satisfied except that the distance between identical points is not necessarily zero. In other words, the axioms for a metametric are:- d(x, y) â‰¥ 0
- d(x, y) = 0 implies x = y (but not vice versa.)
- d(x, y) = d(y, x)
- d(x, z) â‰¤ d(x, y) + d(y, z).
| last = VÃ¤isÃ¤lÃ¤ | first = Jussi
| doi = 10.1016/j.exmath.2005.01.010
| issue = 3
| journal = Expositiones Mathematicae
| mr = 2164775
| pages = 187â€“231
| title = Gromov hyperbolic spaces
| url =weblink
| volume = 23
| year = 2005}}
| doi = 10.1016/j.exmath.2005.01.010
| issue = 3
| journal = Expositiones Mathematicae
| mr = 2164775
| pages = 187â€“231
| title = Gromov hyperbolic spaces
| url =weblink
| volume = 23
| year = 2005}}
Semimetrics
A semimetric on X is a function d : X Ã— X â†’ R that satisfies the first three axioms, but not necessarily the triangle inequality:- d(x, y) â‰¥ 0
- d(x, y) = 0 if and only if x = y
- d(x, y) = d(y, x)
d(x, z) â‰¤ Ï (d(x, y) + d(y, z)) (Ï-relaxed triangle inequality)
d(x, z) â‰¤ Ï max(d(x, y), d(y, z)) (Ï-inframetric inequality).
The Ï-inframetric inequality implies the Ï-relaxed triangle inequality (assuming the first axiom), and the Ï-relaxed triangle inequality implies the 2Ï-inframetric inequality. Semimetrics satisfying these equivalent conditions have sometimes been referred to as "quasimetrics",{{Citation
| title = The Geodesic Problem in Quasimetric Spaces
| year = 2009
| author = Xia, Q.
| journal = Journal of Geometric Analysis
| pages = 452â€“479
| volume = 19
| doi = 10.1007/s12220-008-9065-4
| issue = 2 | arxiv = 0807.3377
}} "nearmetrics"{{Citation | author1=Qinglan Xia | title=The geodesic problem in nearmetric spaces | year=2008 | pages=452â€“479 | volume=19 | issue=2 | journal=Journal of Geometric Analysis | arxiv=0807.3377 | postscript=.| bibcode=2008arXiv0807.3377X }} or inframetrics.* BOOK
, 2008 IEEE INFOCOM - The 27th Conference on Computer Communications
, 10.1.1.113.6748
, 2008
, IEEE INFOCOM 2008. the 27th Conference on Computer Communications
, 1085â€“1093
, Fraigniaud , P.
, Lebhar , E.
, Viennot , L.
, 10.1109/INFOCOM.2008.163
, The Inframetric Model for the Internet
, 978-1-4244-2026-1, .
The Ï-inframetric inequalities were introduced to model round-trip delay times in the internet. The triangle inequality implies the 2-inframetric inequality, and the ultrametric inequality is exactly the 1-inframetric inequality.| year = 2009
| author = Xia, Q.
| journal = Journal of Geometric Analysis
| pages = 452â€“479
| volume = 19
| doi = 10.1007/s12220-008-9065-4
| issue = 2 | arxiv = 0807.3377
}} "nearmetrics"{{Citation | author1=Qinglan Xia | title=The geodesic problem in nearmetric spaces | year=2008 | pages=452â€“479 | volume=19 | issue=2 | journal=Journal of Geometric Analysis | arxiv=0807.3377 | postscript=.| bibcode=2008arXiv0807.3377X }} or inframetrics.* BOOK
, 2008 IEEE INFOCOM - The 27th Conference on Computer Communications
, 10.1.1.113.6748
, 2008
, IEEE INFOCOM 2008. the 27th Conference on Computer Communications
, 1085â€“1093
, Fraigniaud , P.
, Lebhar , E.
, Viennot , L.
, 10.1109/INFOCOM.2008.163
, The Inframetric Model for the Internet
, 978-1-4244-2026-1, .
Premetrics
Relaxing the last three axioms leads to the notion of a premetric, i.e. a function satisfying the following conditions:- d(x, y) â‰¥ 0
- d(x, x) = 0
| title = Metric characterization of random variables and random processes
| year = 2000
| last1 = Buldygin | first1 = V.V.
| last2 = Kozachenko | first2 = I.U.V.
| url =weblink
}}. or pseudometrics;{hide}citation
| year = 2000
| last1 = Buldygin | first1 = V.V.
| last2 = Kozachenko | first2 = I.U.V.
| url =weblink
| title = Lectures and exercises on functional analysis
| year = 2006
| author = KhelemskiÄ
{edih}. in translations of Russian books it sometimes appears as "prametric".Arkhangel'skii & Pontryagin (1990). {{citation
| year = 2006
| author = KhelemskiÄ
| title = An introduction to geometrical physics
| year = 1995
| last1 = Aldrovandi | first1 = R.
| last2 = Pereira | first2 = J.G.
}}.Any premetric gives rise to a topology as follows. For a positive real r, the r-ball centered at a point p is defined as
| year = 1995
| last1 = Aldrovandi | first1 = R.
| last2 = Pereira | first2 = J.G.
Br(p) = { x | d(x, p) < r }.
A set is called open if for any point p in the set there is an r-ball centered at p which is contained in the set. Every premetric space is a topological space, and in fact a sequential space.In general, the r-balls themselves need not be open sets with respect to this topology. As for metrics, the distance between two sets A and B, is defined as
d(A, B) = infxâˆŠA, yâˆŠB d(x, y).
This defines a premetric on the power set of a premetric space. If we start with a (pseudosemi-)metric space, we get a pseudosemimetric, i.e. a symmetric premetric.Any premetric gives rise to a preclosure operator cl as follows:
cl(A) = { x | d(x, A) = 0 }.
Pseudoquasimetrics
The prefixes pseudo-, quasi- and semi- can also be combined, e.g., a pseudoquasimetric (sometimes called hemimetric) relaxes both the indiscernibility axiom and the symmetry axiom and is simply a premetric satisfying the triangle inequality. For pseudoquasimetric spaces the open r-balls form a basis of open sets. A very basic example of a pseudoquasimetric space is the set {0,1} with the premetric given by d(0,1) = 1 and d(1,0) = 0. The associated topological space is the SierpiÅ„ski space.Sets equipped with an extended pseudoquasimetric were studied by William Lawvere as "generalized metric spaces".{{citation | last=Lawvere | first=F.W. | title=Metric spaces, generalised logic, and closed categories | series=Reprints in Theory and Applications of Categories | volume=1 | year=2002 | origyear=1973 | pages=1â€“37 |url=http://emis.ams.org/journals/TAC/reprints/articles/1/tr1.pdf}}.{{citation | last=Vickers | first=Steven | title=Localic completion of generalized metric spaces I | journal=Theory and Applications of Categories | volume=14 | year=2005 | pages=328â€“356 | url=http://www.tac.mta.ca/tac/volumes/14/15/14-15abs.html }}
From a categorical point of view, the extended pseudometric spaces and the extended pseudoquasimetric spaces, along with their corresponding nonexpansive maps, are the best behaved of the metric space categories. One can take arbitrary products and coproducts and form quotient objects within the given category. If one drops "extended", one can only take finite products and coproducts. If one drops "pseudo", one cannot take quotients. Approach spaces are a generalization of metric spaces that maintains these good categorical properties.
Important cases of generalized metrics
In differential geometry, one considers a metric tensor, which can be thought of as an "infinitesimal" quadratic metric function. This is defined as a nondegenerate symmetric bilinear form on the tangent space of a manifold with an appropriate differentiability requirement. While these are not metric functions as defined in this article, they induce what is called a pseudo-semimetric function by integration of its square root along a path through the manifold. If one imposes the positive-definiteness requirement of an inner product on the metric tensor, this restricts to the case of a Riemannian manifold, and the path integration yields a metric.In general relativity the related concept is a metric tensor (general relativity) which expresses the structure of a pseudo-Riemannian manifold. Though the term "metric" is used in cosmology, the fundamental idea is different because there are non-zero null vectors in the tangent space of these manifolds. This generalized view of "metrics", in which zero distance does not imply identity, has crept into some mathematical writing too:S. Parrott (1987) Relativistic Electrodynamics and Differential Geometry, page 4, Springer-Verlag {{isbn|0-387-96435-5}} : "This bilinear form is variously called the Lorentz metric, or Minkowski metric or metric tensor."Thomas E. Cecil (1992) Lie Sphere Geometry, page 9, Springer-Verlag {{isbn|0-387-97747-3}} : "We call this scalar product the Lorentz metric"See also
Notes
References
- {{Citation | title=General Topology I: Basic Concepts and Constructions Dimension Theory | last1=Arkhangel'skii | first1=A. V. | last2=Pontryagin |first2=L. S. | year=1990 | isbn=3-540-18178-4 | publisher=Springer | series=Encyclopaedia of Mathematical Sciences}}
- {{citation | last1=Steen | first1=Lynn Arthur | authorlink1=Lynn Arthur Steen | last2=Seebach | first2=J. Arthur Jr. | authorlink2=J. Arthur Seebach Jr. | title=Counterexamples in Topology | origyear=1978 | publisher=Dover | isbn=978-0-486-68735-3 |mr=507446 | year=1995 | oclc=32311847 }}
External links
- {{planetmath reference|id=6274|title=Quasimetric space}}
- {{planetmath reference|id=5904|title=Semimetric}}
- content above as imported from Wikipedia
- "Metric (mathematics)" does not exist on GetWiki (yet)
- time: 11:27pm EDT - Wed, Aug 21 2019
- "Metric (mathematics)" does not exist on GetWiki (yet)
- time: 11:27pm EDT - Wed, Aug 21 2019
[ this remote article is provided by Wikipedia ]
LATEST EDITS [ see all ]
GETWIKI 09 JUL 2019
Eastern Philosophy
History of Philosophy
History of Philosophy
GETWIKI 09 MAY 2016
GetMeta:About
GetWiki
GetWiki
GETWIKI 18 OCT 2015
M.R.M. Parrott
Biographies
Biographies
GETWIKI 20 AUG 2014
GetMeta:News
GetWiki
GetWiki
GETWIKI 19 AUG 2014
© 2019 M.R.M. PARROTT | ALL RIGHTS RESERVED