Kort display

Kort kortlægning - en kortlægning fra et metrisk rum til et andet kaldes kort , hvis det ikke øger afstanden, dvs. kort, hvis for nogen $f\kolon X\til Y$ $x,y\i X$

d_{Y}(f(x),f(y))\leqslant d_{X}(x,y)

Her og betegner metrikken på og hhv. $d_{X}$ $d_{Y}$ $x$ $Y$

Med andre ord, kort hvis og kun hvis det er 1- Lipschitz . $f$

Se også

Komprimerende kortlægning
Kategori af metriske rum