"共轭"和"对偶"，这俩词在数学里出现频率高得离谱——复数共轭、Hermitian 共轭、群中共轭、对偶空间、对偶问题、Legendre 对偶……它们是碰巧同名，还是共享着某种深层结构？

笔者一直隐隐觉得这俩有关系，又说不清楚。

所以我跟 AI 聊了一轮，从复数一路干到范畴论，最后把这两者串起来了。非常"啊哈"。这篇就是整理版。

---

从复数开始

$z = a + bi$，它的共轭是 $\bar{z} = a - bi$。

ZFC（Zermelo-Fraenkel set theory with the Axiom of Choice，策梅洛-弗兰克尔集合论加选择公理）是现代数学最常用的公理化集合论系统，是数学基础理论的核心。

历史背景

• 1908年，策梅洛提出最早的集合论公理系统。
• 后经弗兰克尔和斯科伦等人完善，形成现行的ZFC系统。
• 选择公理（Axiom of Choice, AC）是ZFC的重要组成部分。

ZFC公理体系（简述）

ZFC包含以下九条基本公理：

1. 外延公理：集合由其元素唯一确定。
2. 空集公理：存在不含任何元素的集合（空集）。
3. 配对公理：任意两个对象有唯一的集合包含它们。
4. 并集公理：任意集合的所有元素的并也是集合。
5. 幂集公理：任意集合的所有子集构成的集合（幂集）存在。
6. 替换公理：集合的像也是集合。
7. 无穷公理：存在包含空集且对“加一”封闭的集合（自然数的基础）。
8. 分离公理模式：可用性质从集合中“筛选”出子集。
9. 正则公理：每个非空集合都含有与自身不相交的元素。
10. 选择公理：任意集合族都存在一个选择函数。

傅里叶级数和傅里叶变换是信号处理、图像处理、物理等领域的基础工具。

基本概念

• 傅里叶级数：将周期函数分解为一组正弦和余弦函数的和。
• 傅里叶变换：将非周期信号分解为不同频率的正弦波分量。

典型应用

• 信号频谱分析
• 图像滤波、压缩
• 通信、音频处理
• FFT、NTT、梅森变换等高效算法

参考资料

• CSDN: 傅里叶级数和傅里叶变换
• 腾讯云: 傅里叶变换原理与应用

极点与极线是投影几何中的基本概念，广泛应用于计算机视觉、图像处理等领域。

基本定义

• 极点（Pole）：与给定直线相关的特殊点。
• 极线（Polar）：与给定点相关的特殊直线。

原理

在平面投影几何中，给定一个圆锥曲线（如圆），对于平面上一点 P，存在唯一一条直线 l，使得 l 上任意点到圆锥曲线的切线与 P 的连线共轭，这条直线称为 P 的极线，P 称为 l 的极点。

应用

• 单应变换、相机标定、立体视觉
• 图像几何校正、三维重建

范数是线性代数和数学分析中的基本概念，用于度量向量或矩阵的“大小”或“长度”。

常见范数类型

• L1 范数（曼哈顿距离）：$\|x\|_1 = \sum |x_i|$
• L2 范数（欧几里得距离）：$\|x\|_2 = \sqrt{\sum x_i^2}$
• 无穷范数：$\|x\|_\infty = \max |x_i|$

Lipschitz 连续是比普通连续更强的光滑性条件。它要求函数的变化速率有全局上界——这个上界 $L$ 就是 Lipschitz 常数。

微分方程是描述变量之间变化率关系的方程，是数学建模的基石。从物理（牛顿力学）到经济（增长模型）到工程（电路分析），微分方程无处不在。

模形式（Modular Form）是定义在上半平面上的具有高度对称性的复解析函数。它在数论、复分析和数学物理中扮演核心角色，最出名的事迹是 Wiles 证明费马大定理时用到的谷山-志村猜想。

留数是复变函数积分理论中的核心概念，由柯西（Cauchy）积分公式推广而来。留数定理将复杂的围道积分转化为奇点处留数的计算，在物理、工程中广泛应用。

假设存在一个算数系统的模型满足 Peano 公理，即假定 Peano 公理相容，在此承认次假设的基础之上，我们即可建立如今最常用的算术公理系统。自然数的定义则是构建此算术公理系统的第一步。