Înmatematică, prinspațiu metric se înțelege oricemulțimeX pe care este definită ofuncție
ce satisface proprietățile:
dacă și numai dacă
(d estepozitiv definită)
(d este simetrică)
(inegalitatea triunghiului)
Orice funcțied cu proprietățile de mai sus se numeștefuncție distanță saumetrică.
- mulțimile numerelornaturale,întregi,raționale,reale,complexe, împreună cu funcția distanță definită ca

- oricespațiu vectorial normat, cu distanța indusă de normă:

unde
.
Prinbila deschisă de centru
și de rază
, notată
, se înțelege mulțimea punctelor a căror distanță până lax este strict mai mică decâtr:
.Bila închisă de centrux și razăr, notată
sau, uneori,
, este
.
De notat că, în raport cu topologia indusă de metrică (vezi secțiunea următoare), oricebilă deschisă este omulțime deschisă și oricebilă închisă este omulțime închisă. În orice spațiu metric are loc
, unde
desemneazăînchiderea topologică a mulțimiiM. Înspațiile normate finit-dimensionale, de exemplu în
,
,
și
, are loc egalitatea
.
Orice metrică induce otopologie pe mulțimea de puncte. Astfel, orice spațiu metric este și spațiu topologic. Topologia indusă de metrică este definită astfel (oricare din cele două variante sunt echivalente):
Pe o aceeași mulțime se pot defini mai multe funcții distanță, rezultând structuri de spațiu metric distincte pe aceeași mulțime de bază. Două funcții distanță,
și
definite pe aceeași mulțime
se numesc:
- echivalente topologic dacă induc aceeași topologie pe
, adică dacă orice vecinătate în raport cu
este vecinătate și în raport cu
- echivalente Lipschitz dacă există două constante reale pozitive
astfel încât
Două metrici Lipschitz-echivalente sunt întotdeauna echivalente topologic; reciproca nu este însă adevărată totdeauna.
Un spațiu metric se numeștecomplet dacă oriceșir Cauchy esteconvergent.
De exemplu, mulțimea numerelor raționale nu este spațiu metric complet deoarece șirul
este fundamental fără a fi convergent (același șir, în mulțimea numerelor reale este convergent și are ca limită numărule. În schimb, mulțimea numerelor reale este spațiu metric complet.
1. Fie
ungrupcomutativ și
ofuncție ce satisface proprietățile:



Atunciaplicația
este o metrică peG.
2. Următoarele aplicații sunt distanțe pe


