Skip to content

Gram–Schmidt 正交化

Gram–Schmidt process

把有限线性无关组逐步转化为张成同一子空间的正交规范组。

条目类型
算法

形式陈述

v1,,vk 是内积空间中的线性无关向量。先令

w1=v1,u1=w1w1,

再对 j=2,,k 递归定义

wj=vji<jui,vjui,uj=wjwj.

这里采用本库第一变量共轭线性、第二变量线性的约定,因此 ui,vjui 正是 vj 到方向 ui正交投影。所得 (u1,,uk) 是正交规范组,并且对每个 j 都有

span(u1,,uj)=span(v1,,vj).

线性无关保证每个残差 wj0,所以归一化始终有定义。

直觉

每一步都把新向量拆成两部分:一部分已经能由旧方向解释,另一部分是旧子空间从未见过的新方向。把前者逐项减去便得到残差 wj;它与所有旧的 ui 正交,归一化后成为新的单位坐标轴。这个过程只删除重复方向,没有删除新信息,所以每一步的张成空间都保持不变。

Gram–Schmidt 的投影消去
例子与边界

v1=(1,1)v2=(1,0) 出发,先得到

w1=(1,1),u1=(1,1)2.

第二步为

w2=v2u1,v2u1=(1,0)12(1,1)2=(12,12),

所以 u2=(1,1)/2。若输入向量线性相关,某一步会得到 wj=0;这不是算法偶然失败,而是说明该向量没有新增方向。

上述递推是精确算术中的 classical Gram–Schmidt。浮点运算会把相近向量相减,舍入误差可能破坏正交性。modified Gram–Schmidt 逐次更新残差,通常更稳定;要求更高时,以Householder 反射构造的QR 分解往往是首选。三者在精确算术中表达同一正交化目标,但计算图与数值行为不同。

推论与应用

该过程把线性无关组变成张成同一子空间的正交规范组;若原组是全空间的基,结果才是正交规范基。把输入向量排成矩阵的列便得到 A=QR,其中 Q 的列正交规范、R 为上三角矩阵;完整的 full/economy 维度、Householder 实现与秩亏边界由 QR 页面统一说明。

最小二乘的正规方程保留几何最优性,而QR/SVD 计算路线避免把 AA 作为默认数值入口。

正交多项式、特征值迭代和稳定坐标构造也复用同一过程。

参考资料
关系图谱11 个相邻概念 · 2 类关系

拖动节点调整位置。

显示关系

显示:依赖

  1. 前置三跳
  2. 前置二跳
  3. 前置一跳
  4. 当前条目
  5. 后续一跳
  6. 后续二跳
  7. 后续三跳
文字版关系按与当前条目的最短距离分组
类型化关系