仿射

仿射（Affine）是数学中一个基础而核心的概念，它描述了几何对象之间保持平行性和比例关系的变换。仿射空间可以看作向量空间的推广——它去掉了原点这一特殊点的概念，从而更一般地描述几何结构。"仿射"一词源自拉丁语"affinis"，意为"相关的"或"邻近的"，由欧拉首次引入数学领域。

在仿射空间中，点与点之间的差构成向量，但空间本身不再要求有一个固定的原点。一个仿射空间 $A$ 关联着一个向量空间 $V$，并定义了一个自由传递的加法运算：给定一个点 $P$ 和一个向量 $v$，可以唯一确定另一个点 $Q$，记作 $Q = P + v$。任意两点 $P$ 和 $Q$ 也唯一确定一个向量 $\overrightarrow{PQ} = Q - P$。这种结构使得仿射空间能够在不依赖原点的情况下讨论几何关系，这是它区别于向量空间的关键特征。仿射空间中的子集如果本身也是仿射空间，则称为仿射子空间，其维数等于其关联向量空间的维数。点、直线、平面分别是零维、一维和二维的仿射子空间。

仿射变换是仿射空间中最重要的映射，其一般形式为 $f(x) = Ax + b$，其中 $A$ 是一个线性变换矩阵，$b$ 是一个平移向量。这意味着仿射变换由两部分组成：线性部分和平移部分。常见的仿射变换包括平移、旋转、缩放、剪切、反射以及它们的任意复合。在二维平面上，仿射变换可以用 $3 \times 3$ 的齐次坐标矩阵表示，这使得多个变换的复合可以简单地通过矩阵乘法实现。具体而言，二维仿射变换矩阵为 $\begin{pmatrix} a_{11} & a_{12} & b_1 \\ a_{21} & a_{22} & b_2 \\ 0 & 0 & 1 \end{pmatrix}$，其中左上角的 $2\times2$ 子矩阵是线性部分，右上角的 $2\times1$ 向量是平移部分。

仿射变换具有若干重要性质。首先，它保持直线（即仿射子空间）的直线性——直线在经过仿射变换后仍然是直线，不会变为曲线。其次，它保持平行性——两条平行直线经过仿射变换后仍然平行。第三，它保持线段的比例关系——在同一条直线上，点之间的分割比例保持不变。具体而言，如果点 $C$ 在线段 $AB$ 上且满足 $AC:CB = \lambda:\mu$，那么经过仿射变换后，像点 $C'$ 仍然在 $A'B'$ 上且保持相同的比例。此外，仿射变换还保持图形面积的比例关系，即变换后的面积与变换前的面积之比是一个常数，等于线性部分矩阵的行列式的绝对值。然而，仿射变换一般不保持角度和长度，这是它区别于欧几里得等距变换的关键。例如，一个正方形经过一般的仿射变换会变成平行四边形，其角度发生改变但邻边仍然平行。

仿射几何的研究对象正是这些在仿射变换下保持不变的性质。与欧氏几何不同，仿射几何不关心角度和距离，而是关注更加基础的几何结构，如平行性、共线性、重心坐标和共线点的交比等。重心坐标是仿射几何中一个重要的工具：给定仿射空间中的 $n+1$ 个仿射无关点（构成一个仿射标架），任意点都可以唯一表示为这些点的仿射组合，即系数之和为 $1$ 的线性组合。这种表示方法在计算几何和计算机图形学中有着广泛的应用。交比（Cross ratio）是射影几何中的核心不变量，但它在仿射几何中也有重要的地位。

在数学的各个分支中，仿射概念都扮演着重要角色。在代数几何中，仿射空间 $\mathbb{A}^n$ 是构建代数簇的基本构件，仿射代数簇定义为仿射空间中多项式方程组的零点集。在微分几何中，仿射联络是研究流形上平行移动和测地线的重要工具，黎曼几何中的列维-奇维塔联络就是仿射联络的一个重要特例。在代数拓扑中，仿射空间与单纯复形和CW复形的构造密切相关。在泛函分析中，仿射函数和仿射算子出现在凸分析和优化理论的各个角落，例如凸函数的次梯度就是利用仿射函数来定义的。

在计算机图形学和计算机视觉中，仿射变换有着极其重要的应用。二维图像中的平移、旋转、缩放等操作都可以用仿射变换表示，图像配准和纹理映射也大量依赖仿射变换。在三维图形渲染中，仿射变换用于将模型坐标变换到世界坐标，再变换到相机坐标，最终投影到屏幕。此外，仿射变换在字体渲染、计算机动画、增强现实和医学图像处理等领域也发挥着关键作用。在机器人学中，机械臂的正向运动学分析本质上就是一系列仿射变换的复合，每个关节的变换都可以用仿射矩阵来表示。

仿射变换的群结构也是一个重要的研究课题。所有可逆的仿射变换构成仿射群 $\operatorname{Aff}(n)$，它是线性群 $\operatorname{GL}(n)$ 与平移群 $\mathbb{R}^n$ 的半直积，记作 $\operatorname{Aff}(n) \cong \mathbb{R}^n \rtimes \operatorname{GL}(n)$。仿射群的李代数结构及其表示理论在李群理论中具有基础性的地位。不变量的研究也是仿射几何的重要内容——仿射变换下的不变量有平行性、共线性、面积比和体积比等。这些不变量在计算机视觉中用于物体识别和图像匹配，因为它们对于视角变化具有鲁棒性。

总之，仿射概念是连接线性代数与几何学的桥梁，它提供了一种既保留线性结构又允许平移的灵活框架。从纯数学的抽象理论到工程实践的具体应用，仿射思想渗透在现代科学的方方面面，是理解空间结构和变换规律的不可或缺的工具。无论是研究代数簇的几何性质，还是实现计算机动画中的骨骼绑定，仿射理论都提供了坚实的数学基础。