1 基本概念
1.1 定义
正交基是内积空间中的一组基向量，满足任意两个不同向量彼此正交，且它们的线性组合能够生成整个空间。也就是说，这组向量既具有“互不干扰”的几何关系，又具备“覆盖空间”的生成能力。正交基常用于简化向量表示与空间分解，是线性代数中的基础工具之一。
1.2 正交与标准正交
1.2.1 正交基的判定条件
判断一组向量是否构成正交基，通常要检查两点：其一，任意两两向量的内积为零；其二，这组向量能够张成所在空间。若仅满足正交而不能生成整个空间，则只能称为正交集，不能称为正交基。
1.2.2 标准正交基的额外要求
标准正交基是在正交基的基础上进一步要求每个向量长度都等于 1。由于长度被统一为单位值，标准正交基在坐标计算中更为简洁，常见于欧几里得空间以及许多数值算法中。
1.3 几何直观
1.3.1 向量夹角与垂直关系
在几何意义上，正交对应于夹角为 90 度的关系。若两个向量互相垂直，则它们在方向上彼此独立，一个向量不会在另一个向量方向上产生分量。这种“互不重叠”的特性，使正交基具有明显的分解优势。
1.3.2 空间中的坐标轴类比
正交基可类比为平面或空间中的坐标轴。以二维平面为例，横轴与纵轴互相垂直，任意点都可以通过沿这两个方向的分量表示。正交基正是这种坐标轴思想在更一般空间中的抽象推广。
2 性质
2.1 唯一表示性
2.1.1 基于正交基的展开
若一组向量构成正交基，则空间中的任意向量都能唯一表示为这些基向量的线性组合。展开形式清晰，且每个方向上的贡献彼此独立，便于分析向量的结构。
2.1.2 系数的求法
在正交基下，展开系数可通过内积直接计算。对于标准正交基，某个系数等于待表示向量与对应基向量的内积；若基向量未归一化，则还需除以该基向量长度的平方。这一性质显著降低了求解坐标的复杂度。
2.2 线性无关性
2.2.1 正交向量组的线性无关
任何非零正交向量组都线性无关。原因在于，若若干彼此正交的向量线性组合为零向量，则逐个与某一基向量取内积即可推出对应系数为零，从而证明线性无关。
2.2.2 标准正交基的独立性
标准正交基不仅线性无关，而且每个向量都具有统一的单位长度，进一步增强了计算上的规范性。这种结构使其在矩阵分解、信号表示和坐标变换中尤为常用。
2.3 长度与内积公式
2.3.1 勾股定理的推广
在正交基中，向量长度的平方等于各分量长度平方之和，这可看作勾股定理在高维空间中的自然推广。它反映出正交分量之间不会相互“叠加”出额外长度。
2.3.2 内积展开与能量守恒
对于标准正交基，向量的内积与坐标分量之间具有直接对应关系。许多场景中，这种分解也被解释为“能量”在各个正交方向上的分配，整体量值可由分量平方和保持一致地表达。
3 构造方法
3.1 从一般基到正交基
3.1.1 Gram-Schmidt 正交化过程
Gram-Schmidt 正交化是将一组线性无关向量转换为正交向量组的经典方法。其基本思路是：依次从新向量中减去它在前面向量张成空间中的投影，从而保留与前面方向正交的部分。
3.1.2 正交化后的归一化
完成正交化后，若进一步将每个向量除以自身长度，就可得到标准正交基。归一化步骤不会改变向量的方向，却能使计算公式更加统一，便于后续应用。
3.2 低维空间中的构造示例
3.2.1 二维空间中的正交基
在二维空间中，选取一个非零向量后，可以构造一个与其垂直的向量作为第二基向量。若再将两者都归一化，便得到标准正交基。二维情形最直观，也最适合展示正交的几何意义。
3.2.2 三维空间中的正交基
三维空间中的正交基通常可由三个两两垂直的向量组成。一个常见做法是先确定一个方向，再在其垂直平面内选取第二个方向，最后通过叉积或正交化方法确定第三个方向，使三者构成完整基底。
3.3 矩阵方法
3.3.1 正交矩阵与列向量
正交矩阵的列向量构成标准正交基，这是正交矩阵的重要特征之一。矩阵的这种结构使得线性变换既保持正交性，又方便进行坐标转换与几何解释。
3.3.2 通过变换生成正交基
对已有基进行适当线性变换，也可生成新的正交基。若变换由正交矩阵表示，则变换后的向量组仍保持长度与角度关系，因而在几何上相当于旋转或镜像式的重排。
4 计算与应用
4.1 坐标表示
4.1.1 正交基下的坐标分解
在正交基下，向量坐标的获得十分直接：只需分别计算它在各基向量方向上的投影即可。这样的分解方式减少了求解联立方程的步骤，提高了表示的清晰度。
4.1.2 标准正交基下的简化公式
若基为标准正交基，则坐标系数可直接由内积给出，形式更简洁。许多理论推导和工程计算都偏好这种基，因为公式结构简单，误差传播也更容易分析。
4.2 投影与最小二乘
4.2.1 向量投影到子空间
正交基使向量投影问题变得容易处理。一个向量投影到由若干正交向量张成的子空间时，只需分别求出其在每个基方向上的投影，再将结果相加即可。
4.2.2 最小平方近似
在最小二乘问题中，正交基可将复杂拟合问题转化为分量独立的计算。这样不仅便于求得近似解，也能更清楚地看出误差在各方向上的分布情况。
4.3 典型应用领域
4.3.1 计算机图形学
在计算机图形学中，正交基常用于建立局部坐标系、描述物体姿态以及进行相机变换。由于正交结构稳定且易于计算，它在渲染与建模中具有很高的实用性。
4.3.2 信号处理
信号处理中经常利用正交基对信号进行分解，以便提取频率成分、压缩信息或去除噪声。正交性有助于减少分量之间的相互干扰，使表示更为高效。
4.3.3 物理中的正交分解
在物理学中，力、速度、场量等常被分解到若干正交方向上，以便分别分析不同分量的作用。正交基提供了一种自然的分解框架，便于建立模型与解释现象。
5 相关概念
5.1 正交集
5.1.1 正交集与正交基的区别
正交集仅要求向量两两正交，并不必然生成整个空间；正交基则还必须满足张成性。换言之，正交基是更强条件下的正交集。
5.1.2 完备性要求
所谓完备性，指的是这组向量足以覆盖整个空间中的所有方向。缺少完备性时，即使向量彼此正交，也无法用于完整表示任意元素，因此不能作为基使用。
5.2 正交补空间
5.2.1 正交补的定义
给定一个子空间，其正交补是指与该子空间中所有向量都正交的向量集合。它本身也是一个子空间，常用于描述“剩余方向”或“垂直方向”的结构。
5.2.2 与正交基的关系
若一个空间被分解为某子空间及其正交补，则可分别在两个部分选取正交基，再合并为整个空间的正交基。这种分解方式在理论分析和算法设计中都很常见。
5.3 正交矩阵
5.3.1 列向量构成正交基
正交矩阵的每一列都可看作一条标准正交向量，整体列向量组构成标准正交基。因而，正交矩阵不仅是代数对象，也对应着一组规范的几何方向。
5.3.2 保长度与保角性质
正交矩阵代表的变换会保持向量长度与夹角不变，因此也被称为等距变换的一类重要形式。这种性质使其在旋转、反射和坐标变换中尤为重要。
6 常见例子
6.1 欧几里得空间中的标准基
6.1.1 二维标准基
二维欧几里得空间中的标准基通常记为两个互相垂直、长度为 1 的向量。它们分别对应横向与纵向坐标轴，是最基础的标准正交基。
6.1.2 三维标准基
三维空间中的标准基由三个两两正交且长度为 1 的向量组成，分别对应三个坐标轴方向。它们为三维向量的表示、旋转和空间定位提供了基本框架。
6.2 多项式空间中的正交基
6.2.1 勒让德多项式
勒让德多项式在特定权函数下彼此正交，常作为多项式空间中的一组正交基候选。它们在近似计算与数学物理中有广泛应用。
6.2.2 切比雪夫多项式
切比雪夫多项式也具有良好的正交性质，适用于函数逼近和数值分析。由于其极值分布特征，它在插值与误差控制中表现突出。
6.3 函数空间中的正交基
6.3.1 三角函数系
在函数空间中，正弦与余弦组成的三角函数系是一类经典正交系统。它们按不同频率排列后，可以用于表示周期函数的主要波动成分。
6.3.2 傅里叶展开中的基函数
傅里叶展开中的基函数本质上利用了正交分解思想，将复杂函数表示为若干简单振荡函数的组合。借助这种结构，函数的频谱特征得以清晰呈现。