²metrik/o

1.

[metrik.0o.POE]

Scienco pri la versaj metroj: metriko estas la scienca analizo de la versa materialo de unu lingvo [1]. versfarado

2.

[metrik.0o.MAT]

^PIV1 (en aro `bb M`) Tia bildigo `d` de `bb M xx bb M` al la aro de pozitivaj reeloj, ke por ĉiuj elementoj `x,y,z in bb M` veras, ke: (1) `d(x,y)=0`, se kaj nur se `x=y`; (2) `x(x,y)=d(y,x)`; (3) `d(x,z) le 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.