Matemaatikas nimetatakse meetriliseks ruumiks hulka, milles elementide vahel on antud kaugus. Kujutust, mis elementidele kauguse annab, nimetatakse meetrikaks. Kauguse mõiste järgib selle intuitiivset käsitust (lähtub kauguse mõistest füüsikalises ruumis) ning täidab järgmisi tingimusi:

  1. Punktide kaugus on null parajasti siis, kui tegemist on samade punktidega.
  2. Punkt A on punktist B alati samal kaugusel, kui punkt B punktist A.
  3. Punkti A kaugus otse punktini B pole kunagi pikem, kui A kaugus punktini B läbi mingi punkti C.

Neid tingimusi nimetatakse meetrika aksioomideks.

DefinitsioonRedigeeri

Matemaatilise analüüsi üks olulisemaid mõisteid on jada koonduvus. Arvjadade, aga ka näiteks tasandi või ruumi punktidest moodustatud jadade koonduvuse mõiste tugineb asjaolule, et arvsirgel, tasandil või ruumis on olemas punktide vaheline kaugus. Idee defineerida elementidevaheline kaugus suvaliste hulkade jaoks viib meetrilise ruumi mõisteni.

Hulka   nimetatakse meetriliseks ruumiks, kui igale selle elementide paarile   on vastavusse seatud reaalarv  , mida nimetatakse x ja y vaheliseks kauguseks, nii, et on täidetud tingimused:

  1.   (samasuse aksioom ehk identsuse aksioom)
  2.   (sümmeetria aksioom)
  3.   (kolmnurga aksioom ehk kolmnurga võrratus).

Neid tingimusi nimetatakse meetrika aksioomideks ning kujutust ρ nimetatakse meetrikaks.

Aksioomidest järeldub, et kaugus ei saa olla negatiivne:

 

Kauguse mittenegatiivsus lisatakse mõnikord lisatingimusena meetrilise ruumi aksiomaatikasse.

Rõhutamaks, et   on hulgal   defineeritud meetrika, tähistatakse vastavat meetrilist ruumi järjestatud paarina  . Viimane tähistus on korrektsem, kuid üldjuhul nimetatakse meetriliseks ruumiks siiski vaid vastavat hulka   eeldades, et selline tähistus on kontekstist arusaadav.

AlamruumidRedigeeri

Meetrilised ruumid ⊃ Normeeritud ruumidBanachi ruumidHilberti ruumidEukleidilised ruumid

Seos normeeritud ruumidegaRedigeeri

Normeeritud ruumiks nimetatakse vektorruumi V, mille igale elemendile v on vastavusse seatud reaalarv - norm ||v||. Iga normeeritud ruum on ühtlasi meetriline ruum, meetrikaga ρ(v,w) = ||v - w||, kuid vastupidine üldjuhul ei kehti. Saab näidata, et meetriline ruum on normeeritud ruum parajasti siis, kui see ühildub vektorruumi tehetega. See tähendab, et lisaks meetrika aksioomidele on suvaliste vektorite u, v, wV ja skalaari a jaoks täidetud veel tingimused

  1.   (nihkeinvariantsus),
  2.   (homogeensus).

Sellise meetrika kaudu saab defineerida normi, kui

 

Vaata kaRedigeeri