Vizualizare sursă pentru „Metrică”


[[Fișier:Manhattan_distance.svg|miniatura|200x200px| O ilustrație care compară metrica taximetristului cu metrica euclidiană în plan: Conform metricii taximetristului toate cele trei căi imaginate (roșu, galben și albastru) au aceeași {{Ill-wd|Q670036|3=lungime}} (12).  Conform metricii euclidiene, drumul verde are lungime, și este unicul drum cel mai scurt. ]]
În [[matematică]], o '''metrică''' sau '''funcție''' '''distanță''' este o [[funcție]] care definește o {{Ill-wd|Q126017|3=distanță}} între fiecare pereche de elemente ale unei [[Mulțime|mulțimi]]. O mulțime împreună cu o metrică asociată formează un [[spațiu metric]]. Metrica induce o [[topologie]] pe mulțime, dar nu toate topologiile pot fi generate de o metrică. Un [[spațiu topologic]] a cărui topologie poate fi descrisă de o metrică se numește {{Ill-wd|Q1194053|3=metrizabil}}. 

O sursă importantă de metrici în [[Geometrie diferențială|geometria diferențială]] o constituie {{Ill-wd|Q757269|3=tensorii metrici}}, [[Formă biliniară|forme biliniare]] care pot fi definite pe {{Ill-wd|Q1179296|3=vectorii tangenți}} ai unei {{Ill-wd|Q3552958|3=varietăți diferențiabile}}, pe un scalar. Un tensor metric permite ca distanțele de-a lungul curbelor să fie determinate prin integrare și determină astfel o metrică. Cu toate acestea, nu orice metrică provine de la un tensor metric în acest fel. 

== Definiție ==
O '''metrică''' pe o mulțime {{Mvar|X}} este o [[funcție]] (numită ''funcție distanță'' sau pur și simplu '''distanță''') 

: <math>d : X \times X \rightarrow [0,\infty)</math> 

Unde <math>[0,\infty)</math> este mulțimea [[Număr real|numerelor reale]] nenegative și pentru orice <math display="inline">x,y,z \in X</math>, sunt îndeplinite următoarele condiții: 
#<math>d(x,y)=0</math> [[dacă și numai dacă]] <math>x=y</math>
#<math>d(x,y)=d(y,x)\,,\ \forall x,y\in X</math>
#<math>d(x,z)\leq d(x,y)+d(y,z)\,,\ \forall x,y,z\in X</math>
Condiția 1, împreună cu faptul că ''d'' are valoare nenegative, definește o funcție ''{{Ill-wd|Q2293170|3=pozitiv definită}}''; condiția 2 definește o funcție simetrică; Condiția 3 se numește [[inegalitatea triunghiului]].

O metrică se numește {{Ill-wd|Q1897429|3=ultrametrică}} dacă satisface următoarea versiune mai puternică a ''inegalității triunghiului'' în care punctele nu pot cădea niciodată „între” alte puncte: 

: <math>d(x,z) \le \max(d(x,y), d(y,z))</math> 

pentru orice <math>x,y,z \in X </math> 

O metrică {{Mvar|d}} peste {{Mvar|X}} se numește {{Ill-wd|Q3855712|3=intrinsecă}} dacă oricare două puncte {{Mvar|x}} și {{Mvar|y}} din {{Mvar|X}} pot fi unite printr-o [[curbă]] cu [[Curbă|lungime]] arbitrar apropiată de {{Math|''d''(''x'', ''y'')}} . 

Pentru mulțimile pe care se definește o adunare +  : {{Math|''X'' &times; ''X'' → ''X''}}, {{Mvar|d}} se numește '''[[Simetrie de translație|metrică invariantă la translație]]''' dacă 

: <math>d(x,y) = d(x+a, y+a)</math> 

pentru orice {{Mvar|x}} , {{Mvar|y}} și {{Mvar|a}} din {{Mvar|X}}

== Observații ==
Aceste condiții exprimă noțiuni intuitive despre conceptul de {{Ill-wd|Q126017|3=distanță}}.  De exemplu, distanța dintre două puncte distincte este pozitivă, iar distanța de la ''x'' la ''y'' este aceeași cu distanța de la ''y'' la ''x''. Inegalitatea triunghiului înseamnă că distanța de la ''x'' la ''z'' prin ''y'' este cel puțin la fel de mare ca de la ''x'' la ''z'' direct. [[Euclid]], în [[Geometrie euclidiană|lucrarea]] sa, afirma că cea mai mică distanță între două puncte este o linie; aceasta era inegalitatea triunghiului pentru geometria sa. 

== Exemple ==

* {{Ill-wd|Q175116|3=Metrica discretă}}: dacă ''x'' = ''y'' atunci ''d''(''x'',''y'' ) = 0.  În caz contrar, ''d''(''x'',''y'') = 1. 
* [[Distanță euclidiană|Metrica euclidiană]] este invariantă la translație și [[invarianță rotațională|rotație]]. 
* [[Distanță Manhattan|Metrica taximetristului]] este invariantă la translație. 
* Mai general, orice metrică indusă de o [[Normă (matematică)|normă]] este invariantă la translație. 
* Dacă <math>(p_n)_{n \in \N}</math> este un [[Șir (matematică)|șir]] de [[Normă (matematică)|seminorme]] care definesc un {{Ill-wd|Q1455249|3=spațiu vectorial topologic}} ({{Ill-wd|Q1572357|3=local convex}}) ''E'' , atunci 

: <math>d(x,y) = \sum_{n=1}^\infty{\frac{1}{2^n}\frac{p_n(x-y)}{1+p_n(x-y)}}</math> 
: este o metrică care definește aceeași [[topologie]].  (Se poate înlocui <math display="inline">\frac{1}{2^n}</math>cu orice {{Ill-wd|Q332465|3=șir sumabil}} <math display="inline">(a_n)</math><math>(a_n)</math> de {{Ill-wd|Q1193832|3=numere strict pozitive}}.) 

* {{Ill-wd|Q2742711|3=Metrica grafului}}, o metrică definită în termeni de distanțe într-un anumit graf. 
* [[Distanță Hamming|Distanța Hamming]] în teoria codării. 
* {{Ill-wd|Q632814|3=Metrica riemanniană}}, un tip de funcție metrică adecvată spre aplicarea în orice {{Ill-wd|Q3552958|3=varietate diferențiabilă}}. Pentru orice astfel de [[Varietate (geometrie)|varietate]], se alege în fiecare punct p o forma biliniară simetrică, pozitiv definită L: T <sub>p</sub> × T <sub>p</sub> → ℝ pe {{Ill-wd|Q909601|3=spațiul tangent}} T<sub>p</sub> în p, făcând acest lucru într-o manieră continuă. Această formă determină lungimea oricărui vector tangent {{Math|v}} pe varietate, prin definiția || v || = {{Radic|L('''v''', '''v''')}} . Apoi, pentru orice drum diferențiabil pe varietate, lungimea sa este definită ca integrală a lungimii vectorului tangent la drum în orice punct, unde integrarea se face în raport cu parametrul drumului. În cele din urmă, pentru a obține o valoare definită pe orice pereche {x, y} de puncte din varietate, se ia infimum din toate drumurile de la x la y, din mulțimea de lungimi ale drumurilor. O varietate netedă echipată cu o metrică riemanniană se numește {{Ill-wd|Q632814|3=varietate riemanniană}}. 
* {{Ill-wd|Q3333764|3=Metrica Fubini-Study}} pe un {{Ill-wd|Q2538404|3=spațiu proiectiv complex}}. Acesta este un exemplu de metrică riemanniană. 
* {{Ill-wd|Q9050568|3=Metrici pe șiruri de caractere}}, cum ar fi {{Ill-wd|Q496939|3=distanța Levenshtein}} și alte {{Ill-wd|Q5338467|3=distanțe de editare a șirurilor}}, definesc o metrică peste {{Ill-wd|Q184754|3=șirurile de caractere}}. 
* {{Ill-wd|Q25304679|3=Distanța de editare a grafurilor}} definește o funcție de distanță între [[Graf|grafuri]]. 
* {{Ill-wd|Q768993|3=Metrica Wasserstein}} este o funcție de distanță definită între două [[Distribuții de probabilitate|distribuții de probabilități]]. 
* {{Ill-wd|Q2498782|3=Metrica Finsler}} este o funcție nenegativă continuă F: TM → [0, + ∞) definită pe mănunchiul tangent. 

== Echivalența metricilor ==
Pentru o mulțime dată ''X'', două metrici ''d''<sub>1</sub> și ''d''<sub>2</sub> se numesc '''echivalente topologic''' ('''uniform''' '''echivalente''') dacă aplicația [[identitate (matematică)|identitate]] 
: id: ''(X,'' ''d'' <sub>1)</sub> → ''(X,'' ''d'' <sub>2)</sub> 
este un {{Ill-wd|Q202906|3=homeomorfism}} ({{Ill-wd|Q2789884|3=izomorfism uniform}}). 

De exemplu, dacă {{Math|''d''}} este o metrică, atunci {{Math|min(''d'', 1)}} și <math>\frac{d}{1+d}</math> sunt metrici echivalente cu {{Math|''d''}}.

== Metrici pe spații vectoriale ==
Normele spațiilor vectoriale sunt echivalente cu anumite metrici, și anume cele omogene, invariante la translație. Cu alte cuvinte, orice normă determină o metrică, și unele metrici determină norme. 

Dat fiind un [[spațiu vectorial normat]] <math display="inline">(X, || \cdot ||)</math>se poate defini o metrică pe ''X'' prin 

: <math>d(x,y) := || x - y ||</math>. 

Metrica {{Math|''d''}} se spune că este '''indusă de''' norma <math>|| \cdot ||</math>. 

În schimb, dacă o metrică {{Math|''d''}} pe un [[spațiu vectorial]] ''X'' satisface proprietățile 

* <math>d(x,y) = d(x+a, y+a)</math> (''invarianță la translație'') 
* <math display="inline">d(\alpha x, \alpha y) = \alpha d(x, y)</math> (''omogenitate'') 

atunci putem defini o [[Normă (matematică)|normă]] pe ''X'' prin 

: <math display="block">||x|| := d(x,0)</math>

Analog, o [[Normă (matematică)|seminormă]] induce o pseudometrică (vezi mai jos), iar o pseudometrică omogenă și invariabilă la translație induce o seminormă. 

== Metrici pe multimulțimi ==
Se poate generaliza noțiunea de metrică de la o distanță între două elemente la o distanță între două multimulțimi finite nevide de elemente.  O [[multimulțime]] este o generalizare a noțiunii de [[mulțime]] astfel încât un element să poată apărea de mai multe ori. Se definește <math display="inline">Z = XY</math>dacă {{Math|Z}} este multimulțimea formată din elementele multimulțimilor {{Math|X}} și {{Math|Y}}, adică dacă {{Math|''x''}} apare o dată în {{Math|X}} și o dată în {{Math|Y}}, atunci apare de două ori în {{Math|Z}}.  O funcție distanță {{Math|''d''}} pe mulțimea de multimulțimi finite este o metrică <ref name="Vi11">{{Citat revistă|nume=Vitanyi|prenume=Paul M. B.|an=2011|titlu=Information Distance in Multiples|journal=IEEE Transactions on Information Theory|volum=57|număr=4|pagini=2451|doi=10.1109/TIT.2011.2110130}}</ref> dacă 

# <math display="inline">d(X) = 0</math>dacă toate elementele lui {{Math|X}} sunt egale și <math display="inline">d(X) > 0</math> altfel ({{Ill-wd|Q7233276|3=pozitiv-definitudine}}), adică ({{Ill-wd|Q1193832|3=nenegativitate}} plus {{Ill-wd|Q525506|3=identitatea indiscernibilelor}}) 
# {{Math|''d''(X)}}este invariabilă în toate permutațiile lui {{Math|X}} ([[simetrie]]) 
# <math display="inline">d(XY) \le d(XZ) + d(ZY)</math> ([[inegalitatea triunghiului]]) 

Se observă că metrica familiară dintre două elemente rezultă dacă multimulțimea {{Math|X}} are două elemente în 1 și 2 și mulțimile {{Math|X, Y, Z}} au fiecare câte un element în 3. De exemplu, dacă {{Math|X}} este formată din două apariții ale lui {{Math|''x''}}, atunci <math>d(X) = 0</math> conform punctului 1. 

Un exemplu simplu este mulțimea tuturor multimulțimilor finite nevide {{Math|X}} de numere întregi cu <math display="inline">d(X) = max(x:x \in X) - min(x: x \in X)</math>.  Exemple mai complexe sunt {{Ill-wd|Q17092445|3=distanța de informație}} în multimulțimi; <ref name="Vi11">{{Citat revistă|nume=Vitanyi|prenume=Paul M. B.|an=2011|titlu=Information Distance in Multiples|journal=IEEE Transactions on Information Theory|volum=57|număr=4|pagini=2451|doi=10.1109/TIT.2011.2110130}}</ref> și {{Ill-wd|Q7051852|3=distanța de compresie normalizată}} (NCD) în multimulțimi.<ref>{{Citat revistă|nume=Cohen|nume2=Vitanyi|prenume=Andrew R.|prenume2=Paul M. B.|an=2012|titlu=Normalized Compression Distance of Multisets with Applications|journal=IEEE Transactions on Pattern Analysis and Machine Intelligence|volum=37|număr=8|pagini=1602–1614|doi=10.1109/TPAMI.2014.2375175}}</ref> 

== Metrici generalizate ==
Există numeroase moduri de a relaxa axiomele metricilor, dând naștere la diferite noțiuni de spații metrice generalizate. Aceste generalizări pot fi și combinate. Terminologia utilizată pentru a le descrie nu este însă complet standardizată.  Mai ales, în {{Ill-wd|Q190549|3=analiza funcțională}}, pseudometricile provin adesea din [[Normă (matematică)|seminorme]] pe spații vectoriale, deci este natural să fie numite „semimetrici”. Acest lucru este în conflict cu utilizarea termenului în [[topologie]]. 

=== Metrici extinse ===
Unii autori permitca funcția distanță {{Math|''d''}} să atingă valoarea ∞, adică distanțele să fie numere nenegative [[axa numerelor|axa numerelor reale]] extinsă. O astfel de funcție se numește ''metrică extinsă'' sau „∞-metrică”. Fiecare metrică extinsă poate fi transformată într-o metrică finită astfel încât spațiile metrice să fie echivalente în ceea ce privește noțiunile de [[topologie]] (cum ar fi [[Funcție continuă|continuitatea]] sau [[Limită (matematică)|convergența]]). Acest lucru se poate face cu ajutorul unei funcții {{Ill-wd|Q1934099|3=subaditive}} monoton crescătoare mărginită care este zero în zero, de exemplu <math display="inline">d'(x,y) = \frac{d(x,y)}{1+d(x,y)}</math> sau <math display="inline">d'(x,y) = min(1, d(x,y))</math>. 

Cerința ca valorile metrice să ia valori în {{Math|[0, ∞)}} poate fi chiar relaxată pentru a lua în considerare valorile măsurate în alte {{Ill-wd|Q1513048|3=mulțimi orientate}}.  Reformularea axiomelor în acest caz conduce la construirea unor {{Ill-wd|Q652446|3=spații uniforme}}: spații topologice cu o structură abstractă care să permită compararea topologiilor locale ale diferitelor puncte. 

=== Pseudometrici ===
O '''pseudometrică''' pe ''X'' este o funcție <math display="inline">d : X \times X \rightarrow \R</math> care satisface axiomele unei metrici, cu excepția faptului că în locul celei de a doua (identitatea indiscernibilelor) este obligatoriu numai ca {{Math|1=''d''(''x'',''x'') = 0}} pentru orice {{Math|''x''}}. Cu alte cuvinte, axiomele unei pseudometrici sunt: 

# {{Math|''d''(''x'',''y'') ≥ 0}} 
# '''{{Math|1=''d''(''x'',''x'') = 0}}''' (dar posibil {{Math|1=''d''(''x'',''y'') = 0}} și pentru unele valori distincte {{Math|''x'' ≠ ''y''}}) 
# {{Math|1=''d''(''x'',''y'') = ''d''(''y'',''x'')}} 
# {{Math|''d''(''x'',''z'') ≤ ''d''(''x'',''y'') + ''d''(''y'',''z'').}} 

În unele contexte, pseudometricile sunt denumite ''semimetrici'' din cauza relației lor cu [[Normă (matematică)|seminormele]]. 

=== Cvasimetrici ===
Ocazional, o '''cvasimetrică''' este definită ca o funcție care satisface toate axiomele unei metrici cu o eventuală excepție a simetriei.<ref>E.g. Steen &amp; Seebach (1995).</ref><ref>{{Cite conference|last=Smyth|given=M.|year=1987|conference=3rd Conference on Mathematical Foundations of Programming Language Semantics|pages=236–253|title=Quasi uniformities: reconciling domains with metric spaces|publisher=[[Springer-Verlag]], Lecture Notes in Computer Science 298|editor=M.Main}}</ref> Numele acestei generalizări nu este complet standardizat.<ref>{{Citation | title=Functional Analysis and Control Theory: Linear Systems | last=Rolewicz | first=Stefan | year=1987 | isbn=90-277-2186-6 | publisher=[[Springer Science+Business Media|Springer]] | oclc=13064804 }} Această carte le spune „semimetrici”. Același termen este frecvent folosit și pentru alte două generalizări ale metricilor.</ref> 

# {{Math|''d''(''x'',''y'') ≥ 0}} ('''pozitivitate''') 
# {{Math|1=''d''(''x'',''y'' ) = 0}} &nbsp; dacă și numai dacă {{Math|1=''x'' = ''y''}} ('''pozitiv-definitudine''') 
# {{Math|1=<s>''d''(''x'',''y'') = ''d''(''y'',''x'')</s>}} ('''simetrie''' , abandonată) 
# {{Math|''d''(''x'',''z'') ≤ ''d''(''x'',''y'') + ''d''(''y'',''z'')}} ('''inegalitatea triunghiului''') 

Cvasimetricile sunt obișnuite în viața reală. De exemplu, dată fiind o mulțime {{Math|''X''}} de sate de munte, timpii tipici de mers pe jos între elementele lui ''X'' formează o cvasi-metrică, deoarece călătoria ka vale durează mai mult decât călătoria la deal. Un alt exemplu este reprezentat de o topologie a [[Distanță Manhattan|geometriei taximetristului]], cu străzi cu sens unic, unde un drum de la punctul ''A'' la punctul ''B'' cuprinde o mulțime diferită de străzi decât un drum de la ''B'' la ''A.'' 

O cvasimetrică pe numerele reale se poate defini fixând 

: {{Math|1=''d''(''x'',''y'') = ''x'' - ''y''}} dacă {{Math|''x'' ≥ ''y''}} și 
: {{Math|1=''d''(''x'',''y'') = 1}} altfel. {{Math|1}} poate fi înlocuit cu infinit sau cu {{Math|1 + 10<sup>(y-x)</sup>}}. 

Spațiul topologic care stă la baza acestui spațiu cvasimetric este {{Ill-wd|Q1543600|3=linia Sorgenfrey}}. Acest spațiu descrie procesul de {{Ill-wd|Q1126002|3=pilire}} a unui baston metalic: este ușor de redus dimensiunea, dar este dificil sau imposibil de crescut. 

Dacă ''d'' este o cvasimetrică pe {{Math|''X''}}, o metrică {{Math|''d'''}} pe ''X'' poate fi formată luând 

: <math>d'(x,y) = \frac{d(x,y) + d(y,x)}{2}</math> 

=== Metametrici ===
Într-o ''metametrică'', toate axiomele unei metrici sunt îndeplinite, cu excepția faptului că distanța dintre punctele identice nu este neapărat zero. Cu alte cuvinte, axiomele unei metametrici sunt: 

# {{Math|''d''(''x'',''y'') ≥ 0}} 
# {{Math|1=''d''(''x'',''y'' ) = 0}}  implică {{Math|1=''x'' = ''y''}} (dar nu și invers) 
# {{Math|1=''d''(''x'',''y'') = ''d''(''y'',''x'')}} 
# {{Math|''d''(''x'',''z'') ≤ ''d''(''x'',''y'') + ''d''(''y'',''z'').}} 

Metametricile apar în studiul {{Ill-wd|Q3828581|3=spațiilor metrice hiperbolice Gromov}} și al frontierelor lor. ''Metametrica vizuală'' pe un astfel de spațiu satisface condiția {{Math|1=''d''(''x'', ''x'') = 0}} pentru punctele {{Math|''x''}} de pe frontieră, dar în caz contrar {{Math|''d''(''x'', ''x'')}} este aproximativ distanța de la {{Math|''x''}} la frontieră. Metametricile au fost definite pentru prima dată de Jussi Väisälä.<ref>{{citation
 | 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 = http://www.helsinki.fi/~jvaisala/grobok.pdf
 | volume = 23
 | year = 2005}}</ref>

=== Semimetricile ===
O '''semimetrică''' pe {{Math|''X''}} este o funcție <math display="inline">d:X \times X \rightarrow \R</math> care satisface primele trei axiome, dar nu neapărat și inegalitatea triunghiului: 

# {{Math|''d''(''x'',''y'') ≥ 0}} 
# {{Math|1=''d''(''x'',''y'' ) = 0}} &nbsp; dacă și numai dacă {{Math|1=''x'' = ''y''}} 
# {{Math|1=''d''(''x'',''y'') = ''d''(''y'',''x'')}} 

Unii autori lucrează cu o formă mai relaxată a inegalității triunghiului, cum ar fi: 

: <math>d ( x , z ) \le \rho ( d ( x , y ) + d ( y , z ))</math> &nbsp;&nbsp;&nbsp; (inegalitatea triunghiului ρ-relaxată) 
: <math>d (x, z) \le \rho \, max (d (x, y), d (y, z))</math> &nbsp;&nbsp;&nbsp; (inegalitate ρ-inframetrică). 

Inegalitatea ρ-inframetrică implică inegalitatea triunghiului ρ-relaxată (presupunând prima axiomă), iar inegalitatea trianghiului ρ-relaxată implică inegalitatea 2ρ-inframetrică. Semimetrica care satisface aceste condiții echivalente a fost uneori denumită „cvasimetrică,<ref>{{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
 }}</ref> „aproape-metrică”<ref>{{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 }}</ref> sau '''inframetrică'''.<ref name="inframetrics">{{Citat carte|titlu=2008 IEEE INFOCOM - The 27th Conference on Computer Communications|an=2008|jurnal=IEEE INFOCOM 2008. the 27th Conference on Computer Communications|pagini=1085–1093|nume=Fraigniaud|prenume=P.|nume2=Lebhar|prenume2=E.|nume3=Viennot|prenume3=L.|doi=10.1109/INFOCOM.2008.163|capitol=The Inframetric Model for the Internet|isbn=978-1-4244-2026-1}}<span class="cx-segment" data-segmentid="354">{{Citat carte|titlu=2008 IEEE INFOCOM - The 27th Conference on Computer Communications|an=2008|jurnal=IEEE INFOCOM 2008. the 27th Conference on Computer Communications|pagini=1085–1093|nume=Fraigniaud|prenume=P.|nume2=Lebhar|prenume2=E.|nume3=Viennot|prenume3=L.|doi=10.1109/INFOCOM.2008.163|capitol=The Inframetric Model for the Internet|isbn=978-1-4244-2026-1}}</span><span class="cx-segment" data-segmentid="357">.</span></ref> 

Inegalitățile ρ-inframetrice au fost introduse pentru a modela {{Ill-wd|Q1346398|3=timpii de întârziere dus-întors}} pe [[Internet]].<ref name="inframetrics">{{Citat carte|titlu=2008 IEEE INFOCOM - The 27th Conference on Computer Communications|an=2008|jurnal=IEEE INFOCOM 2008. the 27th Conference on Computer Communications|pagini=1085–1093|nume=Fraigniaud|prenume=P.|nume2=Lebhar|prenume2=E.|nume3=Viennot|prenume3=L.|doi=10.1109/INFOCOM.2008.163|capitol=The Inframetric Model for the Internet|isbn=978-1-4244-2026-1}}<span class="cx-segment" data-segmentid="354">{{Citat carte|titlu=2008 IEEE INFOCOM - The 27th Conference on Computer Communications|an=2008|jurnal=IEEE INFOCOM 2008. the 27th Conference on Computer Communications|pagini=1085–1093|nume=Fraigniaud|prenume=P.|nume2=Lebhar|prenume2=E.|nume3=Viennot|prenume3=L.|doi=10.1109/INFOCOM.2008.163|capitol=The Inframetric Model for the Internet|isbn=978-1-4244-2026-1}}</span><span class="cx-segment" data-segmentid="357">.</span></ref>  Inegalitatea triunghiului implică inegalitatea 2-inframetrică, iar {{Ill-wd|Q1897429|3=inegalitatea ultrametrică}} este exact {{Ill-wd|Q1897429|3=inegalitatea}} 1-inframetrică. 

=== Premetrici ===
Relaxarea ultimelor trei axiome duce la noțiunea de '''premetrică''', adică o funcție care îndeplinește următoarele condiții: 

# <math>d ( x , y ) \ge 0</math> 
# <math>d ( x , x ) = 0</math> 

Acesta nu este un termen standard.  Uneori este folosit pentru a se referi la alte generalizări de metrici, cum ar fi pseudosemimetrica<ref>{{Citation
 | title =  Metric characterization of random variables and random processes
 | year = 2000
 | last1 = Buldygin	 | first1 =  V.V.
 | last2 =  Kozachenko	 | first2 =  I.U.V.
}}.</ref> sau pseudometrica;<ref>{{citation
 | title =  Lectures and exercises on functional analysis
 | year = 2006
 | author = Khelemskiĭ
}}.</ref> în traducerile cărților rusești uneori apare menționată drept „prametrică”.<ref>Arkhangel'skii &amp; Pontryagin (1990). {{citation
 | title =  An introduction to geometrical physics
 | year = 1995
 | last1 = Aldrovandi	 | first1 =  R.
 | last2 =  Pereira	 | first2 =  J.G.
}}.</ref>

Orice premetrică dă naștere la o topologie după cum urmează.  Pentru un {{Math|''r''}} real pozitiv, {{Math|''r''}}-bila cu centrul într-un punct {{Math|''p''}} este definită ca 

: <math>B_r(p) = \{x | d ( x , p ) <r\}.</math> 

O mulțime se numește ''deschisă'' dacă pentru orice punct ''p'' din mulțime există o {{Math|''r''}}-bilă centrată în ''p'' care este conținută în mulțime. Orice spațiu premetric este un spațiu topologic și, de fapt, un {{Ill-wd|Q2740469|3=spațiu secvențial}}. În general, {{Math|''r''}}-bilele nu trebuie să fie mulțimi deschise în raport cu această topologie. În ceea ce privește metricile, distanța dintre două mulțimi ''A'' și ''B'' este definită ca 

: <math>d ( A , B ) = \inf_{x \in A, y \in B} d ( x , y ).</math> 

Aceasta definește o premetrică asupra {{Ill-wd|Q205170|3=mulțimii de puteri}} a unui spațiu premetric.  Dacă începem cu un spațiu (pseudosemi-)metric, obținem o pseudosemimetrică, adică o premetrică simetrică. Orice premetrică dă naștere unui {{Ill-wd|Q7239555|3=operator de pre-închidere}} ''cl'' după cum urmează: 

: <math>cl ( A ) = \{ x\,|\,d ( x , A ) = 0\}.</math>

=== Pseudocvasimetrici ===
Prefixele ''pseudo''-, ''cvasi-'' și ''semi-'' pot fi de asemenea combinate, de exemplu, o '''pseudocvasimetrică''' (uneori numită '''hemimetrică''') relaxează atât axioma '''indiscernibilității''' cât și axioma simetriei și este pur și simplu o premetrică care satisface inegalitatea triunghiului. Pentru spațiile pseudocvasimetrice, ''r-''bilele deschise formează o bază de mulțimi deschise. Un exemplu foarte simplu de spațiu pseudocvasimetric este mulțimea {0,1} cu premetrica dată de {{Math|1=''d''(0,1) = 1}} și {{Math|1=''d''(1,0) = 0}}. Spațiul topologic asociat este {{Ill-wd|Q2119470|3=spațiul Sierpiński}}. 

Mulțimile echipate cu o pseudocvasimetrică extinsă au fost studiate de William Lawvere ca „spații metrice generalizate”.<ref>{{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 }}.</ref><ref>{{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}}</ref> Din punct de vedere [[Teoria categoriilor|categoric]], spațiile pseudometrice extinse și spațiile extinse pseudocvasimetrice, împreună cu aplicațiile lor neexpansive corespunzătoare, au cele mai bune comportamente dintre categoriile spațiului metric. Se pot lua produse și coproduse arbitrare și se pot forma obiecte în cadrul categoriei date. Dacă se renunță la „extins”, se pot lua numai produse și coproduse finite. Dacă se renunță la „pseudo”, nu se mai pot forma obiecte. {{Ill-wd|Q4781718|3=Spațiile de abordare}} reprezintă o generalizare a spațiilor metrice care păstrează aceste proprietăți categorice bune.

=== Cazuri importante de metrici generalizate ===
În [[Geometrie diferențială|geometria diferențială]], se consideră un {{Ill-wd|Q757269|3=tensor metric}}, care poate fi văzut ca o funcție metrică „infinitezimală” pătratică. Aceasta este definită ca o [[Formă biliniară|formă bilineară]] simetrică [[Degenerare (matematică)|nedegenerată]] pe {{Ill-wd|Q909601|3=spațiul tangent}} al unei [[Varietate (geometrie)|varietăți]] cu o cerință adecvată de [[Funcție derivabilă|diferențiabilitate]]. Deși acestea nu sunt funcții metrice așa cum sunt definite în acest articol, ele induc ceea ce se numește o funcție pseudo-semimetrică prin [[Primitivă|integrarea]] rădăcinii pătrate de-a lungul unui drum prin varietate. Dacă se impune cerința de pozitiv-definitudine a unui [[Spațiu prehilbertian|produs scalar]] pe tensorul metric, acest lucru se limitează la cazul unei {{Ill-wd|Q632814|3=varietăți riemanniene}}, iar integrarea pe drum produce o metrică. 

În [[Teoria relativității generale|relativitatea generală]], conceptul conex este de [[Tensorul metric (relativitatea generală)|tensor metric (relativitatea generală)]] care exprimă structura unei {{Ill-wd|Q1510587|3=varietăți pseudoriemanniene}}. Deși termenul  „metrică” este folosit în cosmologie, ideea fundamentală este diferită deoarece există [[Vector nul|vectori nuli]] ne-zero în spațiul tangent al acestor varietăți. Această viziune generalizată a „metricilor” în care distanța zero ''nu'' implică identitate, s-a strecurat și în scrierea matematică.<ref>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''."</ref><ref>Thomas E. Cecil (1992) ''Lie Sphere Geometry'', page 9, [[Springer-Verlag]] {{ISBN|0-387-97747-3}} : "We call this scalar product the ''Lorentz metric''"</ref> 

== Note ==
<references/>

== Bibliografie ==

* {{Citation|title=General Topology I: Basic Concepts and Constructions Dimension Theory|year=1990}} 
* {{Citation|title={{Ill-wd|Q5176952}}|year=1995}} 

== Legături externe ==

* {{planetmath reference|id=6274|title=Quasimetric space}}
* {{planetmath reference|id=5904|title=Semimetric}}

[[Categorie:Topologie]]
[[Categorie:Geometrie metrică]]