Lemma 23.4 (Johnson–Lindenstrauss): for finite Q and ε = √(6 log(2|Q|/δ)/n) ≤ 3/4, a random N(0,1/n) matrix has sup_{x∈Q} |‖Wx‖²/‖x‖² − 1| < ε with probability ≥ 1 − δ

Initializing...

Lemma 23.4 (Johnson–Lindenstrauss): for finite Q and ε = √(6 log(2|Q|/δ)/n) ≤ 3/4, a random N(0,1/n) matrix has sup_{x∈Q} |‖Wx‖²/‖x‖² − 1| < ε with probability ≥ 1 − δ · Prove2Me