Metrikk (matematikk)

En metrikk i matematikk er en funksjon som definerer en avstand eller distanse mellom to elementer i en mengde. En mengde med en definert metrikk kalles et metrisk rom.

I en euklidsk metrikk i rommet er avstanden mellom to punkter definert i samsvar med dagligdags bruk av avstandsbegrepet. I en generell definisjon av metrikk er egenskaper til avstandsbegrepet abstrahert, slik at en kan definere en «distanse» mellom to vilkårlige mengde-elementer, for eksempel mellom to funksjoner.   
For en vilkårlig mengde kan en definere mange alternative metrikker. Vanlig brukte metrikker kan opptre under flere alternative navn.  

 Formell definisjon 
En metrikk for mengden V er en funksjon som  for to elementer i mengden returnerer et ikke-negativ reelt tall: R.D. Milne: Applied functional analysis, ... s.112ff 

Funksjonen må oppfylle følgende krav for alle elementer ,  i :

Definisjonen formaliserer intuitive egenskaper til en distansefunksjon: En avstand kan aldri være negativ. Avstanden mellom to element kan bare være lik null dersom elementene er like. Avstanden fra x til y er like lang som fra y  til x.  Den korteste avstanden mellom to punkt er en rett linje.

En pseudometrikk eller premetrikk er en funksjon som tilfredsstiller alle kravene, bort sett fra nummer to, som erstattes av et svakere vilkår: R.D. Milne: Applied functional analysis, ... s.132ff 

.

En kvasi-metrikk eller skeiv-metrikk trenger ikke oppfylle symmetrivilkåret. En semi-metrikk oppfyller ikke trekantulikheten.

For en vilkårlig mengde er det mulig å konstruere uendelig mange metrikker.  

 Metrikker for tallmengder 

 Absoluttverdi-metrikk 
For vanlige tallmengder, som mengden av komplekse tall, mengden av reelle tall, mengden av rasjonale tall, mengden av heltall, er det vanlig å definere metrikken ved hjelp av absoluttverdi:

.  

 p-adisk metrikk 

For mengden av rasjonale tall kan en bruke en p-adisk, basert på et vilkårlig primtall . Differensen mellom to rasjonale tall  og  er også et rasjonalt tall og kan skrives som en brøk.
Primtallsfaktorisering av denne brøken vil ta formen

. 

Faktoren  er er heltall, og heltallene  og  inneholder ikke primtallsfaktoren .   Den p-adiske metrikken er definert ved

Metrikken kan brukes til å utvide de rasjonale tallene til p-adiske tall.

 Metrikker for endelige n-tupler 

En endelig n-tuppel av tall er på formen , der tallene kan være reelle, som i , eller komplekse, som i .
Dette inkluderer kartesiske koordinater i planet og i rommet. For disse rommene er flere metrikker i vanlig bruk.

I det følgende er , tilsvarende som for .

 Drosjemetrikk, taxicab-metrikk, Manhattan-metrikk 

Metrikken  kalles drosjemetrikk, taxicab-metrikk eller Manhattan-metrikk.
En drosje som kjører på Manhattan vil måtte tilbakelegge avstander styrt av rutenettet av gater.                                                                                                                                                                                        

 Euklidsk metrikk 

Metrikken  er den euklidske metrikken, som er avstandsmålet i euklidsk geometri.  Dette er avstandsmålet kjent fra daglidags bruk.

I to dimensjoner tar dette uttrykket formen

 p-metrikk 

En p-metrikk  er også kalt Minkowskis p-metrikk, etter matematikeren Hermann Minkowski.  Beviset for at denne er en metrikk bygger på Minkowskis ulikhet.
Både drosjemetrikken og den euklidske metrikken er spesialtilfeller av p-metrikken.

 Maksimumsmetrikk, Tjebysjev-metrikk 

Maksimumsmetrikken, også kalt Tjebysjev-metrikken, er gitt ved 



Det siste navnet gitt etter Pafnutij Tsjebysjov.  Skrivemåten for det russiske navnet varierer.

 Andre metrikker for n-tupler 

Hvis  er en vilkårlig metrikk for n-tupler, så kan en definere en ny metrikk ved

 Metrikker for tallfølger 

For uendelige følger av reelle tall  er

en metrikk. For en del andre metrikker må en legge på tilleggsvilkår på følgen for å sikre at metrikken eksisterer:

 Metrikker i funksjonsrom 

For mengden av alle kontinuerlige funksjoner  på intervallet [0,1] er de følgende funksjonene metrikker:

Metrikken  kalles noen ganger uniform metrikk eller supremum-metrikk.

For mengden av alle funksjoner  der både  og  er Lebegue-integrerbare på intervallet [0,1] kan en bruke metrikken

To funksjoner betraktes som ekvivalente dersom integralet er lik null. Funksjonene trenger ikke være punktvis identiske, men kan være ulike på en mengde av [[mål null].

 Metrikker for binære strenger 
En binær streng av lengde N er datastruktur, en sammensetning av 0-er og ett-tall: 00110011101. I mengden av alle slike kan en definere Hamming-avstandeen som en metrikk. 
Denne kan defineres som det minste antall utskiftninger som er nødvendig for å transformere den ene strengen til den andre.

 Diskret metrikk for alle mengder 
For en vilkårlig mengde er den diskrete metrikken definert som følger

Denne metrikken viser at en vilkårlig mengde kan bli gjort til et metrisk rom. Metrikken kan også brukes til å vise at tilsynelatende opplagte egenskaper ikke trenger være oppfylt i alle metriske rom.

 Kontinuitet til metrikken 
Som en følge av trekantulikheten er metrikken en kontinuerlig funksjon:

 Kartesisk produkt 

Gitt en endelig mengde av metriske rom . For det kartesiske produktet  
kan en definere flere alternative produkt-metrikker:

 Metrikk, norm og indreprodukt 
For en mengde der det er definert en norm , er en naturlig metrikk gitt ved

.

Normen er da lik avstanden fra et element til null-elementet:

.

For et indreproduktrom med en norm definert fra indreproduktet  kan en ha samsvarende definisjoner:

.

 Metrikk og topologi 
En metrikk vil definere en topologi i mengden, men ikke alle topologier kan defineres ut fra en metrikk. En topologi som kan avledes fra en metrikk sies å være metriserbar.

 Ekvivalente metrikker 

To metrikker  og  i samme mengde sies å være (sterkt) ekvivalente dersom det eksisterer konstanter  og , slik at for alle elementer i mengden

.

Slik ekvivalens mellom metrikker er et noe svakere vilkår enn isometri, der to metrikker overalt er like.

To metrikker er topolgisk ekvivalente dersom de alle induserer samme topologi.  I  er alle metrikker topologisk ekvivalente.

Sterk ekvivalens medfører topologisk ekvivalens, men generelt ikke motsatt.

 Metrikk i differensialgeometri 

I differensialgeometri er en metrikk definert som en infinitesimal avstand mellom to nærliggende punkt.  I  kan en linjeelement uttrykkes som

Ved å sette  kan en uttrykke et generelt koordinatskifte som .  Etter koordinatskifte kan linjeelementet ved hjelp av Einsteins summekonvensjon da skrives

Koeffisientene  er en andre-ordens, kovariant, symmetrisk tensor. Tensoren er positivt definit, som sikrer at avstanden er positiv og bare lik null for sammenfallende (infinetesimalt nærliggende) punkt.
Tensoren kalles en metrisk tensor, noen ganger løselig kalt en metrikk.  

Definisjonen av en metrisk tensor kan generaliseres til høyere-ordens rom. Det er også mulig å fire på kravet om at tensoren skal være positivt definit. En metrisk tensor som er positivt definit kalles en 
Riemann-metrikk, mens en pseudo-Riemann-metrikk kan være indefinit.  

 Referanser 

 Litteratur 

Kategori:Matematisk analyse
Kategori:Topologi
Kategori:Metrikk (matematikk)