Johnson–Lindenstrauss lemma
= Johnson–Lindenstrauss lemma
{c}
{wiki=Johnson–Lindenstrauss_lemma}
For $0<\varepsilon<1$ and any $n$ points in a Hilbert space, there is a linear map into Euclidean dimension $O(\varepsilon^{-2}\log n)$ that multiplies every pairwise distance by a factor between $1-\varepsilon$ and $1+\varepsilon$.