Metrika ili razdaljinska funkcija je matematička formalizacija intuitivnog geometrijskog koncepta udaljenosti dviju točaka.
Uređen par
(
X
,
d
)
{\displaystyle (X,d)}
nepraznog skupa
X
{\displaystyle X}
i funkcije
d
:
X
×
X
→
R
{\displaystyle d:X\times X\to \mathbb {R} }
naziva se metrički prostor , a funkcija
d
{\displaystyle d}
razdaljinska funkcija ili metrika na
X
{\displaystyle X}
ako su ispunjeni ovi uvjeti:[1] :str. 399.
d
(
x
,
y
)
≥
0
,
∀
x
,
y
∈
X
{\displaystyle d(x,y)\geq 0,\forall x,y\in X}
d
(
x
,
y
)
=
0
⟺
x
=
y
{\displaystyle d(x,y)=0\iff x=y}
d
(
x
,
y
)
=
d
(
y
,
x
)
,
∀
x
,
y
∈
X
{\displaystyle d(x,y)=d(y,x),\forall x,y\in X}
d
(
x
,
y
)
≤
d
(
x
,
z
)
+
d
(
z
,
y
)
,
∀
x
,
y
,
z
∈
X
{\displaystyle d(x,y)\leq d(x,z)+d(z,y),\forall x,y,z\in X}
Jedna od metrika na
R
n
{\displaystyle \mathbb {R} ^{n}}
dana je formulom:[1] :str. 26.
d
(
P
,
Q
)
=
(
x
1
−
y
1
)
2
+
.
.
.
+
(
x
n
−
y
n
)
2
{\displaystyle d(P,Q)={\sqrt {(x_{1}-y_{1})^{2}+...+(x_{n}-y_{n})^{2}}}}
gdje je
P
=
(
x
1
,
.
.
.
,
x
n
)
,
Q
=
(
y
1
,
.
.
.
,
y
n
)
∈
R
n
{\displaystyle P=(x_{1},...,x_{n}),Q=(y_{1},...,y_{n})\in \mathbb {R} ^{n}}
. Za
n
=
1
{\displaystyle n=1}
i točke
P
(
a
)
,
Q
(
b
)
∈
R
{\displaystyle P(a),Q(b)\in \mathbb {R} }
dobiva se
d
(
P
,
Q
)
=
|
a
−
b
|
{\displaystyle d(P,Q)=|a-b|}
, za
n
=
2
{\displaystyle n=2}
i točke
P
(
x
1
,
y
1
)
,
Q
(
x
2
,
y
2
)
∈
R
2
{\displaystyle P(x_{1},y_{1}),Q(x_{2},y_{2})\in \mathbb {R} ^{2}}
metrika prelazi u udaljenost dviju točaka u ravnini, tj.
d
(
P
,
Q
)
=
(
x
2
−
x
1
)
2
+
(
y
2
−
y
1
)
2
{\displaystyle d(P,Q)={\sqrt {(x_{2}-x_{1})^{2}+(y_{2}-y_{1})^{2}}}}
. Treba napomenuti da je metrika svaka funkcija koja zadovoljava gornja četiri uvjeta, bez obzira da li se u posebnim slučajevima poklapa s pojmom udaljenosti.
Primjer metrike na
C
n
{\displaystyle \mathbb {C} ^{n}}
dan je formulom:
d
(
x
,
y
)
=
|
x
1
−
y
1
|
2
+
.
.
.
+
|
x
n
−
y
n
|
2
{\displaystyle d(x,y)={\sqrt {|x_{1}-y_{1}|^{2}+...+|x_{n}-y_{n}|^{2}}}}
gdje su
x
k
,
y
k
,
k
=
1
,
2
,
.
.
.
,
n
∈
N
{\displaystyle x_{k},y_{k},k=1,2,...,n\in \mathbb {N} }
koordinate dvaju točaka iz
C
n
{\displaystyle \mathbb {C} ^{n}}
.
Na skupu
C
[
a
,
b
]
{\displaystyle C[a,b]}
svih realnih (kompleksnih) funkcija neprekidnih na segmentu
[
a
,
b
]
{\displaystyle [a,b]}
jedna od metrika definirana je s:
d
(
f
,
g
)
=
∫
a
b
|
f
(
t
)
−
g
(
t
)
|
2
d
t
{\displaystyle d(f,g)={\sqrt {\int _{a}^{b}|f(t)-g(t)|^{2}dt}}}
gdje su
f
,
g
∈
C
[
a
,
b
]
{\displaystyle f,g\in C[a,b]}
.
↑ a b Kurepa, Svetozar, Matematička analiza 3, funkcije više varijabli , Tehnička knjiga, Zagreb, 1975.