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

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. 选择公理：任意集合族都存在一个选择函数。

Lipschitz 连续是数学分析中的一种函数连续性条件，常用于微分方程、最优化等领域。

定义

• 存在常数 ，使得对任意 ，有 。

应用

• 保证解的唯一性（如微分方程）
• 最优化中的收敛性分析

参考资料

• Lipschitz 连续 - math.fandom

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

基本概念

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

典型应用

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

参考资料

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

微分方程是描述变量之间变化关系的方程，是数学、物理、工程等领域的基础工具。

基本类型

• 常微分方程（ODE）
• 偏微分方程（PDE）

典型应用

• 物理建模、工程仿真、金融建模等

参考资料

• 知乎：微分方程入门

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

基本定义

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

原理

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

应用

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

模形式是数论和复分析中的重要对象，广泛应用于椭圆曲线、分圆函数、数学物理等领域。

基本定义

• 模形式是定义在上半平面上的全纯函数，满足特定变换性质。

应用

• 费马大定理证明
• 自守形式、L-函数
• 现代密码学

---

模形式是现代数论与数学物理的桥梁。

留数是复变函数积分理论中的核心概念，广泛用于计算积分、级数和物理问题。

基本定义

• 留数：复函数在孤立奇点处的系数，记作 。

应用

• 计算复积分
• 解析延拓、级数求和
• 物理中的场论、信号处理

---

留数理论是复分析和物理中的重要工具。

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

常见范数类型

• L1 范数（曼哈顿距离）：
• L2 范数（欧几里得距离）：
• 无穷范数：

应用场景

• 机器学习中的正则化
• 最优化问题
• 信号处理、图像处理

参考资料

• 范数 - math.fandom