Lemma von Johnson-Lindenstrauss

Unter dem Lemma von Johnson-Lindenstrauss versteht man in der Mathematik ein Resultat über die verzerrungsarme Einbettung von Punkten aus einem hochdimensionalen in einen niedrig-dimensionalen euklidischen Raum. Nach diesem Lemma ist es möglich, eine Menge von Punkten eines hochdimensionalen Raumes so in einem Raum mit deutlich niedriger Dimension einzubetten, dass die Distanzen zwischen den Punkten bis auf einen Faktor erhalten bleiben.

Benannt ist das Lemma nach den beiden Mathematikern William B. Johnson und Joram Lindenstrauss, die das Lemma erstmals im Jahr 1984 bewiesen.

Lemma

Sei $0<\epsilon <1$ und $n\in \mathbb{N}$ beliebig. Sei $k\in \mathbb{N}$ so, dass

$k\ge 4({\epsilon }^2/2-{\epsilon }^3/3{)}^{-1}\ln (n)$.

Dann gilt: Für jede aus $n$ Punkten bestehende Menge $𝒫\subset {ℝ}^d$, existiert eine lineare Abbildung $f:{ℝ}^d\to {ℝ}^k$, so dass für alle $v,w\in 𝒫$

$(1-\epsilon )\Vert v-w{\Vert }_2^2\le \Vert f(v)-f(w){\Vert }_2^2\le (1+\epsilon )\Vert v-w{\Vert }_2^2$.

Kurz formuliert zeigt das Lemma, dass eine Menge von $n$ Punkten in einem hochdimensionalen Raum linear in einen $𝒪({\epsilon }^{-2}\ln (n))$-dimensionalen Raum eingebettet werden kann, so dass sich die Distanz zwischen zwei Punkten höchstens um einen Faktor $(1\pm \epsilon )$ ändert.

Anwendungen

Das Lemma spielt vor allem im Bereich der Data-Science-Mathematik eine fundamentale Rolle. Dies liegt darin begründet, dass viele auf Computern verwendete Daten wie Bilder und Texte als Punkte in einem hochdimensionalen Raum betrachtet werden können.