1 基本概念
1.1 仿射变换的定义与表示
仿射变换是仿射空间上的一种坐标变换，其形式可写为 \[ x \mapsto A x + b, \] 其中 \(A\) 为线性变换（矩阵），\(b\) 为平移向量。仿射变换把直线映到直线，把平行性保持在相应意义下，并将重心（加权平均点）等依赖仿射结构的概念保持同构关系。
在坐标表示中，若空间为 \(\mathbb{R}^n\)，则 \(A\in GL(n,\mathbb{R})\)（可逆时为双射仿射变换）。在仿射几何里，仿射变换常作为“等价变形”的基本操作：研究某种几何或代数性质是否与坐标系选择无关，而仿射变换正是最自然的“坐标无关”候选。
1.2 不变性与“按规则变换”的区分
“仿射不变”并不总意味着数值完全不变。常见有两类情形：
- 严格不变：对任意仿射变换 \(x\mapsto Ax+b\)，某个量 \(I(x)\) 满足 \(I(T(x))=I(x)\)。例如，某些几何关系可能在仿射变换下完全保持其真值。
- 按规则变换：某个量在仿射变换下会改变，但变化遵循确定规律。此时称其为“仿射协变”或“按权变换”。例如，若某表达式在仿射变换下乘上一个由 \(A\) 决定的因子，那么它仍然可以用作仿射结构下的判别工具：虽然数值变了，但不同几何对象之间的相对对应关系仍可追踪。
在实际应用中，区分“严格不变”与“按规则变换”非常关键：前者直接提供不变量；后者则更适合建立等价分类或在方程推导中消去坐标依赖。
1.3 仿射不变与其他不变性的对比（如平移、旋转、尺度）
仿射不变性介于更“强”的度量不变性（如欧氏旋转不变）与更“弱”的一般性变换之间。其对比可概括为：
- 平移不变：只允许 \(x\mapsto x+b\)。仿射不变包含平移，但还允许一般线性形变。
- 旋转/正交不变：旋转通常对应 \(A\) 为正交矩阵，保持长度与角度。在仿射变换中，长度与角度一般不再保持。
- 尺度变化：若仅考虑整体缩放 \(x\mapsto \lambda x\)，则可视为仿射变换的特例。仿射不变更宽，允许各方向不同缩放与剪切。
因此，仿射不变强调的是“直线结构、平行关系、重心与仿射组合”等与度量无关的几何信息；它更适合处理需要消除坐标选择影响、而不依赖距离或角度的情形。
2 代数表述方式
2.1 多项式/方程在仿射变换下的像
考虑仿射变换 \(T(x)=Ax+b\)。若有一个多项式 \(f(x)\) 或方程 \(f(x)=0\)，其在新坐标下的形式可通过代入来获得“像”： \[ f(T^{-1}(y))=0 \quad \Leftrightarrow \quad \text{在坐标 } y \text{ 中对应的方程}. \] 等价地，也可直接把变量进行代换：从几何角度，一个代数集合（零点集）在仿射变换下的像仍是某类代数集合，只是其方程系数会以 \(A,b\) 的方式重写。
当讨论不变性时，核心在于比较“同一几何对象在不同坐标表示下的方程形式”：仿射变换应当给出可控的系数变化，而不是任意改变多项式阶次或结构。
2.2 仿射不变量的形式化定义
设仿射群作用于某集合或对象族（例如点集、超曲面、参数化曲线等）。若对对象 \(S\) 的指标 \(I(S)\) 满足 \[ I(T\cdot S)=I(S) \] 则称 \(I\) 为仿射不变量。这里的“对象”可以是几何子集、参数向量、或由方程系数构成的等价类。
更一般的版本是协变或相对不变量：存在从变换 \(T\) 到某因子（如权重）的映射，使得 \[ I(T\cdot S)=\chi(T)\,I(S), \] 其中 \(\chi(T)\) 由线性部分 \(A\) 给出。这类量在判别分类、构造不变量的过程中常被用作“基元”，再组合成严格不变量。
2.3 雅可比行列式与代数层面的影响（体积因子等）
仿射变换的雅可比行列式由线性部分决定。对 \(x\mapsto Ax+b\)，有 \[
| \left | \det\left(\frac{\partial(Ax+b)}{\partial x}\right)\right | = | \det A | . |
|---|
\] 因此，涉及“体积、面积、密度”的量在仿射变换下通常会出现 \(\det A\) 或其幂次因子。
在代数与几何结合的表述中，这类因子解释了为什么某些以行列式构造的对象天然和仿射结构相关：它们衡量了变换对多维体积的缩放，从而成为仿射下的相对不变量，或通过进一步归一化得到严格不变量。
3 几何与构型角度
3.1 仿射几何中的直线、平面与重心性质
仿射变换的几何本质体现在它保持“仿射组合”的结构。若把点写成向量表示，则对任意权重满足 \(\alpha+\beta=1\) 的仿射组合 \[ \alpha x+\beta y \] 在仿射变换后对应为同样的组合结构： \[ T(\alpha x+\beta y)=\alpha T(x)+\beta T(y). \] 由此可得：
- 直线保持为直线：仿射组合只在一维参数化上变化。
- 平面保持为平面：更高维仿射子空间同理。
- 重心性质保持：若点 \(G\) 是某组点的加权平均，则其像点仍是像组点的同权加权平均。
这种保持性使得很多“只看仿射结构、不需要测量尺度”的几何事实在不同坐标系下仍成立。
3.2 共线性、平行性与仿射保持的关系
共线与平行都属于仿射几何的基本判别属性。一般而言：
- 若三点（或更多点）共线，那么在仿射变换下它们的像也共线。
- 若两条直线平行，则它们在仿射变换下仍保持“指向同一方向的等价关系”（在仿射几何中，平行的具体定义与直线的方向向量有关，而仿射变换通过线性部分把方向作线性映射）。
因此，共线性、平行性常用作构造仿射不变性的直观“测试”：一条几何陈述只要能完全用仿射组合刻画，就通常能在仿射变换下获得保持。
3.3 仿射变换下的分类与约化思想
仿射不变思想常用于“先化简再分类”。典型策略是：在允许的仿射变换下，把对象移动到更便利的标准位置，再研究其剩余自由度。
例如，若研究某个由若干点构成的构型，在仿射变换下可把部分点选为基准点，从而减少参数个数。随后剩下的差异往往可以由若干不变量来刻画。该思路在几何分类和代数推导中都很常见：仿射变换提供了“坐标规约”，不变量提供了“区分标记”。
4 应用与典型问题类型
4.1 通过仿射变换简化方程（降维与对称化）
许多方程在仿射变换下可以化为更简单的形式。常见情形包括：
- 消去交叉项：通过线性变换（在仿射中平移并不改变二次部分结构）将多项式中的混合项调整到便于分析的形式。
- 标准化零点集形状：把曲线或曲面在仿射下转化为更规则的模型，再用不变量检验其等价性。
- 降维或参数重排：在含有对称性的方程组中，选择合适坐标系可以显著减少耦合，使证明或计算更直接。
这种做法的核心是：证明所选化简是由允许的仿射变换实现的，并且所用的判别准则本身是仿射不变或协变的。
4.2 二次曲线/二次型的仿射分类
二次曲线与二次型是仿射不变性应用最典型的领域之一。二次型在一般线性变换下的分类依赖其秩与退化程度；在仿射框架中，还可通过平移调整线性项，从而把二次曲线化为标准方程形式。
在仿射分类的语言里，常见结论可概括为：通过仿射变换，二次曲线可以归到若干标准类型（非退化与退化之间差异明显），而这些类型的判别可以用代数不变量（如与矩阵秩、行列式相关的量）来完成。需要注意的是，相比欧氏分类（更强调角度与正定性），仿射分类更“宽”，因此标准形式数量通常与度量无关的结构紧密相关。
4.3 线性代数视角：从坐标选择到不变量判别
从线性代数看，仿射不变问题常转化为矩阵问题。若对象由某些系数矩阵或张量描述，那么仿射变换通常表现为：
- 线性部分 \(A\) 对相应系数作共变/反变变换；
- 平移部分 \(b\) 只影响含常数项或一次项的部分；
- 某些组合（如行列式、秩、特征多项式等在相应意义下的量）在变换下保持或按确定规则变换。
因此，判别不变量往往是寻找“在该群作用下对等价类保持不变”的代数表达式。最终的证明通常围绕“如何表示变换作用”“哪些矩阵运算不会改变所需信息”展开。
4.4 常见“仿射不变量”的构造思路（行列式、商不变量等）
构造不变量常用的思路包括：
- 行列式构造：利用 \(\det A\) 的乘法性质，构造在变换下吸收缩放因子的量。通过归一化可得到严格不变量，或保留为相对不变量。
- 秩与退化指标：把几何退化（如某些点共线、某些二次型退化）转化为矩阵秩条件；秩在可逆线性变换下保持不变。
- 商不变量与归一化：当某量在变换下乘上同一类因子时，可通过取比值、取幂次校正等方式消去因子，得到严格不变量。
- 几何组合量：如利用重心关系、平行投影下保持的构型特征，把“几何保持”直接转成可计算表达式。
这些方法的共同点在于：先识别变换对“基本代数块”的作用方式，再设计让多余因子抵消或固定的组合。
5 相关主题与拓展
5.1 仿射不变与等价变换/范畴观点
在更抽象的视角中，仿射不变可以理解为“在某类等价关系下保持不变”。将仿射变换视为对象间的态射（映射），则不变量就是对等价类的函数；而等价变换越宽，越能强调对象中与坐标/度量无关的本质信息。
范畴语言并不改变事实本身，但提供了统一组织方式：哪些结构被保留、哪些被丢弃、以及不变量如何作为对等价类的可计算表征，都可以以更系统的方式描述。
5.2 仿射不变性在模理论或表示理论中的类比（概念性）
在模理论或表示理论中，人们常讨论“在群作用下的结构不变性”。虽然具体对象与仿射几何不同，但概念上可以作类似理解：群（或等价变换）作用于某个对象族，不变量或不变量集合用于区分轨道或分类对象。
仿射不变在这里的类比价值主要体现在方法论：如何把“几何可见的变化”转化为“代数上群作用下的等价”，并寻找可在计算中使用的判别量。
5.3 从仿射到其他结构不变（如射影不变、欧氏不变）的联系
仿射不变性是更大谱系中的一个层级：当允许的变换集合扩大或缩小时，不变性的范围与对应不变量类型会随之调整。
- 射影不变：允许更一般的变换（核心思想是直线保持为直线，但点之间的度量关系被进一步放宽），因此能保留的几何细节与仿射不同。
- 欧氏不变：把允许变换收紧到保持距离与角度的范围，因此不变量更“严格”，能区分的结构也更细。
- 层级关系：从仿射到射影再到欧氏，可以理解为不变性逐步增强或逐步放宽的不同语境。研究问题时需明确：你想保留的是哪种几何信息，从而选择对应的不变性框架。