选择公理
断言任何非空集族都能选出代表元，与佐恩引理、良序定理等价，是大量存在性证明（如线性空间的基）的关键工具，也引发了关于非构造性证明的争论。
所属主题：逻辑与集合论 ↗阅读路径
参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。
01定义
选择公理（AC）断言：任何非空集合族都能同时选出一个代表元。它等价于佐恩引理与良序定理，是大量存在性证明（如向量空间的基、吉洪诺夫定理）的引擎，也因非构造性而饱受争议。
02核心要点
01
三位一体
AC、佐恩引理（偏序集的极大元）、良序定理（任何集合可良序）互相等价——三种面目，同一个非构造性力量。
02
不可或缺的场合
任何向量空间都有基、吉洪诺夫定理（紧空间之积仍紧）、代数闭包存在性——这些标准定理都等价或依赖 AC。
03
争议与替代
巴拿赫-塔斯基悖论（球分解重拼为两个球）展示 AC 的狂野推论；构造主义者使用 ZF 或决定性公理（AD）作为替代基础。
03关键公式
04历史沿革
策梅洛 1904 年为证明良序定理显式引入 AC；此后几十年数学家们发现大量定理暗中依赖它；1930 年代确认其与 ZF 的相对一致性。
05应用与延伸
泛函分析的哈恩-巴拿赫定理、环论的极大理想存在性、测度论的扩张定理——现代分析学的基础设施大部分以 AC 为地基。
06交互演示
选择公理：从每个集合挑一个代表元一族互不相交的集合：即使集合无限多，也能同时从每个集合选一个元素