返回 数理基础 思维导图
中文·English
📐 数理基础ID: projection-least-squares

投影与最小二乘

Projection & Least Squares
🎯核心定义
线性最小二乘 minwXwy2\min_w \Vert Xw - y \Vert^2 的几何本质是正交投影: 当 yC(X)y \notin C(X) 时无精确解, 最优解要求 XwXw 等于 yy 在列空间 C(X)C(X) 上的正交投影 y^=Py\hat{y} = Py, 残差 r=yXwr = y - XwC(X)C(X) 正交, 即 XT(yXw)=0X^T(y - Xw) = 0, 展开得正规方程 XTXw=XTyX^TXw = X^Ty; XX 列满秩时 w=(XTX)1XTyw = (X^TX)^{-1}X^Ty。投影矩阵 P=X(XTX)1XTP = X(X^TX)^{-1}X^T 满足幂等 P2=PP^2 = P 与对称 PT=PP^T = P, IPI - P 是到 N(XT)N(X^T) 的投影。当 XX 秩亏或 XTXX^TX 病态时, 改用伪逆 X+=VΣ+UTX^+ = V\Sigma^+U^T (由 SVD 定义, Σ+\Sigma^+ 对非零奇异值取倒数), 解 w=X+yw = X^+y 给出最小范数解。
💡使用场景
线性回归的闭式解; 数据点拟合 (直线/多项式); 推荐系统、信号估计、超定方程组求解; 特征共线或高维 (列相关) 时正规方程失效的替代; 也是 Ridge 正则化 (XTX+λIX^TX + \lambda I) 的出发点。
解决的核心痛点
方程数多于未知数时 yy 常不在 C(X)C(X) 中, 方程组无解; 投影定理保证"残差与列空间正交"的 y^\hat{y} 是唯一的最优近似, 且正交投影在欧氏范数下误差最小; 秩亏时 (XTX)1(X^TX)^{-1} 不存在, 伪逆自动退化为最小范数解; 直接解正规方程还会把条件数平方 (κ(XTX)=κ(X)2\kappa(X^TX) = \kappa(X)^2), 伪逆/QR/SVD 路径数值上更稳。
🎯5 个高频面试考点 (Exam Points)
1
推导: 从残差正交条件 XT(yXw)=0X^T(y - Xw) = 0 手推正规方程 w=(XTX)1XTyw = (X^TX)^{-1}X^Ty, 画出投影几何示意图?
2
证明 P=X(XTX)1XTP = X(X^TX)^{-1}X^T 是正交投影矩阵 (P2=PP^2 = P, PT=PP^T = P), 并说明 IPI - P 投影到哪个子空间?
3
手算: 给定 3 个数据点拟合直线 y=w0+w1xy = w_0 + w_1x, 构造 XXyy, 用正规方程解出 ww?
4
XTXX^TX 何时不可逆? 秩亏时伪逆 X+=VΣ+UTX^+ = V\Sigma^+U^T 如何给出最小范数解, 与 (XTX)1XT(X^TX)^{-1}X^T 有何区别?
5
为什么正规方程数值不稳 (κ(XTX)=κ(X)2\kappa(X^TX) = \kappa(X)^2)? 共线特征时如何缓解 (伪逆/正则化/QR)?
📖 关联深度指南:📄 linear-algebra-for-ai
更新于 2026-08-12
🎯
检验攻克程度:针对「投影与最小二乘」专属刷题排雷
做单选排雷题、推导选项机制,答错自动收录进专属错题本。
🚀 开始本考点专项刷题
上一个知识点SVD 与特征值分解下一个知识点矩阵分解应用

🔗 更多 数理基础 知识点卡片

Adam/AdamW 偏差修正推导贝叶斯推断偏差方差分解Bootstrap