lasso 的理论证明
在证明估计误差界后,我们将对预测误差界进行证明,这也是lasso理论性质的最后一个点,相关证明链接:
lasso 预测误差界的证明
这里,我们对拉格朗日形式lasso的预测误差界 ∥ X v ∥ 2 \|Xv\|^2 ∥Xv∥2 进行证明。
定理1:假设 λ ≥ 2 ∥ X T w ∥ ∞ / N \lambda \geq 2\|X^Tw\|_{\infty}/N λ≥2∥XTw∥∞/N, 其最优解 β ^ \widehat{\beta} β
,如果 ∥ β ∗ ∥ 1 ≤ R \|\beta^{*}\|_1 \leq R ∥β∗∥1≤R,则
∥ X β ^ − X β ∗ ∥ 2 ≤ 12 R N λ . \left\|X\widehat{\beta}-X\beta^{*}\right\|^{2} \leq 12RN\lambda. ∥∥∥Xβ
−Xβ∗∥∥∥2≤12RNλ.
证明:由基础不等式,可以看到预测误差界与 ∥ v ∥ 1 \|v\|_1 ∥v∥1 有关,因此我们仅需建立 ∥ v ∥ 1 \|v\|_1 ∥v∥1 与某个数之间的大小关系。
回到基本不等式:
0 ≤ λ ∥ β ∗ ∥ 1 − λ ∥ β ∗ + v ∥ 1 + 1 N ∥ X T w ∥ ∞ ∥ v ∥ 1 ≤ ( 1 N ∥ X T w ∥ ∞ − λ ) ∥ v ∥ 1 + 2 λ ∥ β ∗ ∥ 1 ≤ λ 2 ( − ∥ v ∥ 1 + 4 ∥ β ∗ ∥ 1 ) . 0 \leq \lambda\|\beta^{*}\|_1-\lambda\|{\beta^{*}+v}\|_1+\frac{1}{N}\left\|{X}^{T} {w}\right\|_{\infty}\|v\|_{1} \\ \leq (\frac{1}{N}\left\|{X}^{T} {w}\right\|_{\infty}-\lambda)\|v\|_{1}+2\lambda\|\beta^{*}\|_1 \\ \leq \frac{\lambda}{2}(-\|v\|_{1}+4\|\beta^{*}\|_1).