"共轭"和"对偶"，这俩词在数学里出现频率高得离谱——复数共轭、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. 选择公理：任意集合族都存在一个选择函数。

“忙碌的河狸”（Busy Beaver）是理论计算机科学中的一个著名难题：在所有规则数有限、最终会停机的图灵机中，哪台机器能在停机前运行最多步数？

问题简介

• 1962年，数学家拉多提出“忙碌的河狸”问题，旨在寻找运行时间最长的停机程序。
• 忙碌的河狸数 BB(n) 表示 n 条规则下，图灵机在停机前能运行的最大步数。
• 随着规则数增加，图灵机数量呈爆炸式增长，BB(n) 也极其巨大且不可计算。
• 例如，BB(1)=1，BB(2)=6，BB(3)=21，BB(4)=107，BB(5) 已知下界超过4700万。