Bi-Lipschitz distortion (source code)

= Bi-Lipschitz distortion
{title2=$\operatorname{dist}(f)$}
{wiki=Distortion_(metric_space)}

For an injective map $f:X\to Y$, its bi-Lipschitz distortion is
$$
\operatorname{dist}(f)=\operatorname{Lip}(f)\operatorname{Lip}(f^{-1}).
$$
The distortion $c_Y(X)$ is the infimum over embeddings into $Y$; $c_p(X)$ denotes the distortion into an $L^p$ space.