在几何代数（Geometric Algebra / Clifford Algebra）的语境下，共型（Conformal）特指共型几何代数（Conformal Geometric Algebra，简称 CGA）。这是一个强大的数学框架，核心思想是通过增加两个特殊维度，将欧几里得空间嵌入到一个更高维的空间中，从而用统一的代数方式处理共型变换和几何实体。
以下是关键要点：
---
1. 构造方式：添加两个"特殊"基向量
CGA 在标准的 3D 欧几里得空间基础上，添加了两个具有零范数（null）性质的基向量：
- $e_0$（或 $\mathbf{o}$）：代表原点
- $e_\infty$（或 $\boldsymbol{\infty}$）：代表无穷远点
这样，3D 欧氏空间就变成了 5D 的共型空间（3维欧氏 + 2维额外）。
---
2. 为什么叫"共型"？
在 CGA 中，共型变换群（Conformal Group）包括：
- 刚体运动：旋转、平移
- 均匀缩放（各向同性缩放）
- 反演（Inversion，关于球面的反射）
关键洞察：在 CGA 中，平移被表示为关于无穷远点的"旋转"，这使得平移和旋转可以在同一代数框架下统一处理。
---
3. 几何实体的统一表示
CGA 的魔力在于，点、线、面、圆、球等几何实体都可以用多向量（multivectors）统一表示为某类几何对象的"外积"（wedge product）结果：
| 几何实体 | CGA 表示（外积构造） |
|---|---|
| 点 | $P = \mathbf{x} + \frac{1}{2}\mathbf{x}^2 e_\infty + e_0$ |
| 点对 | $P_1 \wedge P_2$ |
| 直线 | $P_1 \wedge P_2 \wedge e_\infty$ |
| 平面 | $P_1 \wedge P_2 \wedge P_3 \wedge e_\infty$ |
| 圆 | $P_1 \wedge P_2 \wedge P_3$（三个点的外积） |
| 球 | $P_1 \wedge P_2 \wedge P_3 \wedge P_4$（四个点的外积） |
---
4. 变换的统一性：Versor 表示
所有共型变换（旋转、平移、缩放、反射、反演）在 CGA 中都可以用Versor（特定形式的多向量）表示：
$$X \mapsto V X V^{-1}$$
这种 sandwich 乘积 （夹心乘积）统一了：
- 旋转：由双矢量（bivector）生成
- 平移：由 $e_\infty$ 方向的矢量生成
- 缩放：由原点与无穷远点构成的双矢量生成
5. 直观理解：双曲空间中的欧氏几何
从几何上看，CGA 相当于将欧氏空间共型地嵌入到一个 5D 的闵可夫斯基空间（Minkowski space）的双曲平面上。欧氏空间中的几何关系，变成了这个高维空间中线性代数的问题。
---
总结
几何代数中的"共型"不是简单的"保角映射"，而是指一个特定的代数构造（CGA），它通过： 1. 引入零范数基向量 $e_0, e_\infty$ 2. 统一表示所有共型变换（旋转、平移、缩放、反演） 3. 将圆、球提升为与直线、平面同级的基本实体
从而实现了欧几里得几何的线性化和计算统一。这使得 CGA 在计算机图形学、机器人学、计算机视觉等领域有重要应用。