数系

anonymous@undisclosed.example.com (Anonymous) — Wed, 16 Sep 2026 08:00:48 +0000

数系

一、数系总体框架

数系(Number System)是数学中按运算规律分类的数集,从自然数出发,为解决运算不封闭的问题不断扩展,最终到复数乃至超复数。

    N[自然数 ℕ 计数] -->|为减法封闭| Z[整数 ℤ]
    Z -->|为除法封闭| Q[有理数 ℚ]
    Q -->|为开方与完备性| R[实数 ℝ]
    R -->|为负数开方| C[复数 ℂ]
    C --> H[四元数 ℍ]
    H --> O[八元数 𝕆]

核心包含链:ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ

二、自然数 ℕ

定义:用于计数的数,一般记作 ℕ = {0, 1, 2, 3, …}(部分教材不含 0,记为 ℕ⁺)
引入原因:计数与排序的需求
理论基础:[math:皮亚诺公理|皮亚诺公理]
运算封闭性:加法、乘法封闭;减法、除法不封闭。
分类:
- 按奇偶:奇数、偶数
- 按因子:质数(素数)、合数、1
- 0 的特殊性:既非质数也非合数,是加法单位元
  - 为什么是加法单位元:对任意数 $a$,均有 $a+0=0+a=a$,0 参与加法但不改变任何数,符合“单位元”定义;对称地,1 是乘法单位元($a\times 1=a$)
  - 唯一性:若 $e$ 也满足 $a+e=a$,则 $e=e+0=0$,所以加法单位元有且只有一个,就是 0
  - 深层意义:$a+(-a)=0$ 赋予每个数加法逆元,是减法封闭(从 ℕ 扩展到 ℤ)的基石

三、整数 ℤ

定义:ℤ = {…, -3, -2, -1, 0, 1, 2, 3, …}
引入原因:解决减法不封闭(如 1 - 3 无自然数解)
运算封闭性:加法、减法、乘法封闭;除法不封闭
分类:
- 正整数(自然数ℕ含0)ℕ⁺
- 零 0
- 负整数 ℤ⁻
性质:构成交换环(有加法和乘法,乘法未必可逆)

四、有理数 ℚ

定义:可表示为分数 $p/q$ 的数,其中 $p,q \in \mathbb{Z}$,且 $q \neq 0$
引入原因:解决整数除法不封闭(如 1 ÷ 3)
运算封闭性:有理数四则运算封闭(除数不为 0),构成数域
小数特征:有限小数或无限循环小数
稠密性:任意两个有理数之间总存在有理数(可无限细分),但仍留有“空隙”
分类:
- 整数(分母为 1 的特例)
- 非整数分数
- 正有理数 / 负有理数 / 零

五、无理数

定义:不能表示为分数 $p/q$ 形式的实数
引入原因:毕达哥拉斯学派发现正方形对角线长 $\sqrt{2}$ 无法用有理数度量,引发第一次数学危机
小数特征:无限不循环小数
分类:
- 代数无理数:某个整系数代数方程的根,如 $\sqrt{2}$、$\sqrt{3}$、$\sqrt[3]{5}$
- 超越无理数:不是任何整系数代数方程的根,如 $\pi$、$e$、$\ln 2$

六、实数 ℝ

定义:有理数 ∪ 无理数
引入原因:有理数虽稠密但不“连续”,需要无理数填补空隙;同时解决 $\sqrt{2}$ 等开方问题
几何表示:与数轴上的点一一对应
完备性(连续性) :实数集具有确界存在性,空隙被填满
运算封闭性:四则运算、[math:实数极限运算封闭|极限运算封闭]
性质:构成有序完备域,满足阿基米德性质
分类:
- 有理数(整数 / 分数)
- 无理数(代数无理数 / 超越无理数)
- 正实数 / 负实数 / 零

七、复数 ℂ

定义:形如 $a + bi$ 的数,其中 $a, b \in \mathbb{R}$,$i$ 为虚数单位且 $i^2 = -1$
引入原因:方程 $x^2 + 1 = 0$ 在实数范围内无解,引入虚数单位 $i$
组成部分:
- 实部 $a = \mathrm{Re}(z)$
- 虚部 $b = \mathrm{Im}(z)$
分类:
- 实数:虚部 $b = 0$(是复数的子集)
- 虚数:虚部 $b \neq 0$
- 纯虚数:实部 $a = 0$ 且虚部 $b \neq 0$,如 $2i$
重要概念:
- 共轭复数:$\bar{z} = a - bi$ ; 详细笔记:共轭复数:讲解与应用
- 模:$|z| = \sqrt{a^2 + b^2}$ (详细笔记:复数的模)
- 辐角 $\theta$ 与三角形式:$z = r(\cos\theta + i\sin\theta)$
- 欧拉公式:$e^{i\theta} = \cos\theta + i\sin\theta$,由此 $e^{i\pi} + 1 = 0$(最美数学公式) (详细笔记:欧拉公式:全讲解)
代数基本定理:n 次多项式方程在复数域中恰有 n 个根(含重根),复数域是代数封闭的
复数域内分类:
- 代数数:整系数代数方程的复根(包含全体有理数和代数无理数)
- 超越数:非代数数的复数,如 $e$、$\pi$、$e^{\pi}$
- 代数闭包:ℝ 的代数闭包是 ℂ——每个实系数多项式在 ℂ 中都有根(代数基本定理);而 ℂ 自身代数封闭,是数系“代数扩展”的终点(再往上的四元数、八元数反而失去交换律/结合律,不再满足域的封闭扩展)

八、超复数(复数之外的扩展)

四元数 ℍ(哈密顿,1843 年):形如 $a + bi + cj + dk$,乘法不满足交换律
- 用途:三维空间旋转、计算机图形学、航天姿态控制
八元数 𝕆(凯莱数):乘法不满足结合律
- 是赋范可除代数中最大的一类
扩展链条:ℝ → ℂ → ℍ → 𝕆,每扩展一次丢失一条代数性质(有序性 → 交换律 → 结合律)
超复数族其他成员:二元数、双曲复数、克利福德代数、格拉斯曼代数等(通常不再保持除法封闭)

九、其他扩展数系

基数(势数) :衡量集合大小,如 $\aleph0$、$\aleph1$、$2^{\aleph0}$ * 序数:衡量良序集合的位置,如 $\omega$、$\omega + 1$ * 超现实数(Conway):包含实数与所有超限数的统一推广 * p 进数 $\mathbb{Q}_p$:在数论中按质数 p 的 p 进距离完备化得到 ===== 十、数系扩展逻辑总结表 ===== ^ 数系 ^ 记号 ^ 解决的核心问题 ^ 运算封闭性 ^ 典型元素 ^ | 自然数 | $\mathbb{N}$ | 计数与排序 | 减法、除法不封闭 | 0, 1, 2 | | 整数 | $\mathbb{Z}$ | 减法不封闭 | 除法不封闭 | -3, 0, 5 | | 有理数 | $\mathbb{Q}$ | 除法不封闭 | 开方不封闭 | 1/3, -2/7 | | 实数 | $\mathbb{R}$ | 开方与连续性(完备性) | 负数开方不封闭 | $\sqrt{2}$, $\pi$ | | 复数 | $\mathbb{C}$ | 负数开方 | 代数封闭(四则+开方均可) | $i$, $1 + 2i$ | > 小结:数系扩展的本质是在保证既有运算规律的前提下,为新的运算(减法→除法→开方→…)寻找“可逆解” 。到复数 ℂ 为止,代数运算完全封闭;再往后扩展(四元数等)则以牺牲交换律、结合律为代价。

吉彬Wiki - math

数系

数系

一、数系总体框架

二、自然数 ℕ

三、整数 ℤ

四、有理数 ℚ

五、无理数

六、实数 ℝ

七、复数 ℂ

八、超复数(复数之外的扩展)

九、其他扩展数系