二次型与合同变换：从代数到几何的数学桥梁

1. 二次型与合同变换：从代数到几何的桥梁

在数学的世界里，二次型就像一位多面手，它既是代数表达式，又能描绘几何图形，还能解决优化问题。我第一次接触这个概念是在研究机器学习中的损失函数时，当时就被它强大的表达能力所震撼。二次型本质上是一种特殊的多元函数，它只包含变量的二次项，比如x₁²、x₁x₂这样的形式。

想象一下，你面前有一块橡皮泥，用手随意揉捏它，形状会不断变化。二次型就好比描述这块橡皮泥在不同方向上的"弯曲程度"的数学工具。而合同变换，就是我们对这块橡皮泥进行各种旋转、拉伸的操作，目的是看清它最本质的形状特征。

1.1 二次型的矩阵表示：化繁为简的艺术

二次型最精妙的地方在于它可以用矩阵简洁地表示。比如一个二元二次函数f(x₁,x₂)=2x₁²+4x₁x₂+3x₂²，我们可以把它写成：

f(x) = [x₁ x₂] [2 2] [x₁]
[2 3] [x₂]

这个表示不仅简洁，更重要的是打开了线性代数工具箱的大门。矩阵A的对角线元素对应平方项的系数，非对角线元素则是交叉项系数的一半。这种对称矩阵的表示方式，让我们可以运用矩阵理论的各种强大工具来分析二次型。

注意：在构造这个矩阵时，交叉项的系数要平分到两个对称位置。这是初学者常犯的错误之一。

1.2 合同变换：改变视角的魔法

合同变换的核心思想是找到一个合适的坐标系，使得在这个新坐标系下，二次型的表达式尽可能简单。数学上，这对应于找到一个可逆矩阵C，使得经过变换x=Cy后，新的二次型矩阵B=CᵀAC成为对角矩阵。

我第一次应用这个概念是在图像处理中，需要将一组数据点旋转到它们"自然"的坐标方向上。通过合同变换，我们能够消除变量之间的耦合（交叉项），让每个变量独立地贡献到最终的函数值中。

2. 二次型标准化的三大方法

2.1 正交变换法：保持形状的优雅解法

正交变换法是我在实际项目中最常用的方法，特别是在需要保持几何特性的场合。它的核心是利用实对称矩阵总是可以对角化的性质，通过特征值和特征向量来构造变换矩阵。

具体步骤：

1. 计算矩阵A的特征值λ₁,λ₂,...,λₙ
2. 对每个特征值，求出对应的特征向量并正交化
3. 将正交化的特征向量单位化，组成矩阵P
4. 作变换x=Py，得到标准形f=λ₁y₁²+λ₂y