Scienco pri la versaj metroj:
metriko estas la scienca analizo de la versa materialo de unu lingvo
[1].
versfarado
[2]
(en aro M)
Tia bildigo
d de M×M al la aro de
pozitivaj reeloj, ke por ĉiuj elementoj
x, y, z∈M veras, ke:
(1) d(x,y) = 0,
se kaj nur se x = y;
(2) d(x,y) = d(y,x);
(3) d(x,z) ≤
d(x,y)+d(y,z):
la absoluta valoro de la diferenco
inter du nombroj estas metriko en la aro de la koncernaj nombroj.
distanco,
metrika spaco,
normo.
Rim.: Metriko estas matematika formaligo de la nocio distanco. La valoron d(x,y) oni kutime nomas distanco inter „punktoj“ x kaj y. La tria aksiomo, foje nomata „triangula neegalaĵo“, signifas, ke la „rekta“ vojo de iu punkto al alia estas ankaŭ la malplej longa.