What is the Johnson-Lindenstrauss lemma?

It states that high-dimensional points can be embedded into low dimensions while preserving distances approximately.

The lemma guarantees that pairwise distances are preserved within small distortion using random projections, forming theoretical basis for random dimensionality reduction.