Skip to content

正交规范基

Orthonormal basis

由单位长度且两两正交的向量组成的基。

条目类型
定义

形式陈述

V内积空间。向量族 (ei)iI 若满足

ei,ej=δij,

就称为正交规范组:不同向量彼此正交,每个向量的范数都是 1。若它在代数意义下张成 V,即每个向量都是其中有限多个向量的线性组合,就称为正交规范 Hamel ;有限维正交规范基是最常见的情形。对这样的基,按照本库“第一变量共轭线性、第二变量线性”的内积约定,任意 vV 都有有限展开

v=iei,vei,v2=i|ei,v|2.

第一式给出坐标展开,第二式是 Parseval 等式。系数的槽位不能随意交换:在复空间中,v,ei=ei,v,交换后一般会得到错误坐标。

在 Hilbert 空间 H 中,正交规范族若满足

span{ei:iI}=H,

则称为完备正交系或 Hilbert 基。对可数完备正交系,展开式仍成立,但级数是在范数意义下收敛;它不是 Hamel 基所要求的有限线性组合。

直觉

正交规范基把坐标轴调整为彼此垂直且长度为一:正交性消除方向间干扰,归一化消除尺度因子。一般基需要解线性方程组才能取得坐标,正交规范基却让第 i 个坐标直接由 ei,v 读出。若把 v 想成一段信号,这个内积就是信号沿方向 ei 的分量;所有分量的能量相加,恰好还原原向量的平方范数。

例子与边界

标准基是 RnCn 的正交规范基。在 R2 中,u1=(1,1)/2u2=(1,1)/2 也构成正交规范基,任意 v 满足

v=u1,vu1+u2,vu2.

例如 v=(3,1) 时,两个系数分别为 222,代回便得到 (3,1)。在复空间中槽位差异会真正显现:若 e=(1,0)v=(i,0),则正确系数 e,v=i,而 v,e=i

正交但非单位的向量仍需除以自身范数才能归一化;两两正交的向量族若含零向量,便不能成为正交规范组。无限维时,“完备”只保证有限线性组合在空间中稠密,不保证每个向量本身是有限和;因此 Fourier 展开属于范数收敛的 Hilbert 空间展开,不是 Hamel 坐标。

推论与应用

Gram–Schmidt 正交化从线性无关组构造正交规范组,正交投影则把这些坐标分量加回目标子空间。正交或酉坐标变换保持二范数,因此坐标误差不会被换基本身放大;QR 分解用这种基组织列空间,Schur 分解则用酉基把一般方阵化为上三角谱结构。Fourier 展开把函数投到一族正交频率上;有限维 谱定理为正规算子选择正交规范特征基,SVD 也借两端的正交坐标分离方向。

参考资料
关系图谱13 个相邻概念 · 1 类关系

拖动节点调整位置。

显示关系

显示:依赖

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