Metrik (matematik)

En illustration, der sammenligner Manhattan-geometri med euklidsk geometri på en flade: I henhold til Manhattan-geometrien, har de tre farvede veje (rød, gul og blå) den samme længde ($12$). I henhold til euklidsk geometri, har den grønne vej længden $6\sqrt{2}\approx 8,49$, og er derved den korteste vej.

En metrik er i matematikken en generaliseret måde at definere afstande på. Metrikken defineres som en funktion der tager to elementer fra en mængde $S$ og giver "afstanden" mellem dem som et reelt tal. Et par $(S,d)$ bestående af en mængde $S$ og en metrik $d$ på $S$ kaldes et metrisk rum.

Formel definition

En metrik er en funktion $d:S\times S\to {ℝ}_0^{+}$, der opfylder kravene

1. $d(a,b)\ge 0;d(a,b)=0\iff a=b$
2. $d(a,b)=d(b,a)$ (symmetri)
3. $d(a,c)\le d(a,b)+d(b,c)$ (trekantsuligheden)

hvor $a$, $b$ og $c$ er elementer i $S$. Det første krav siger, at afstanden mellem forskellige elementer er positiv, mens afstanden mellem et element og sig selv er nul. Den anden siger, at afstanden mellem to elementer er entydig. Den sidste siger, at hvis man går fra $a$ til $c$ via $b$, så har man ikke gået kortere end hvis man gik direkte fra $a$ til $c$.

Eksempler

Lad $S$ være mængden af punkter i det reelle plan og lad $d$ være den sædvanlige afstand. Så er afstanden fra punktet $a=(a_x,a_y)$ til punktet $b=(b_x,b_y)$ givet ved

$d(a,b)=\sqrt{(b_x-a_x{)}^2+(b_y-a_y{)}^2}$,

som kaldes den euklidiske metrik (eller den form, den tager i to dimensioner). Dette er imidlertid ikke den eneste mulige metrik. F.eks. er

$d(a,b)=|b_x-a_x|+|b_y-a_y|$

en metrik, da den opfylder kriterierne ovenfor.

Se også

• Norm (matematik)