| 后一修订版 | 前一修订版 |
| math:数系 [2026/09/02 04:29] – Imported from SiYuan Markdown itopidea | math:数系 [2026/09/16 08:00] (当前版本) – [一、数系总体框架] itopidea |
|---|
| |
| <code mermaid> | <code mermaid> |
| N[自然数 ℕ<br/>计数] -->|为减法封闭| Z[整数 ℤ] | N[自然数 ℕ 计数] -->|为减法封闭| Z[整数 ℤ] |
| Z -->|为除法封闭| Q[有理数 ℚ] | Z -->|为除法封闭| Q[有理数 ℚ] |
| Q -->|为开方与完备性| R[实数 ℝ] | Q -->|为开方与完备性| R[实数 ℝ] |
| ===== 二、自然数 ℕ ===== | ===== 二、自然数 ℕ ===== |
| |
| * **定义**:用于计数的数,一般记作 ℕ = {0, 1, 2, 3, ...}(部分教材不含 0,记为 ℕ⁺) | * **定义**:用于计数的数,一般记作 ℕ = {0, 1, 2, 3, ...}(部分教材不含 0,记为 ℕ⁺) |
| * **引入原因**:计数与排序的需求 | * **引入原因**:计数与排序的需求 |
| * **理论基础**:[[math:皮亚诺公理|皮亚诺公理]](0 是自然数、后继运算、归纳原理) | * **理论基础**:[[math:皮亚诺公理|皮亚诺公理]](0 是自然数、后继运算、归纳原理) |
| * **运算封闭性**:加法、乘法封闭;减法、除法不封闭。 | * **运算封闭性**:加法、乘法封闭;减法、除法不封闭。 |
| * **分类**: | * **分类**: |
| * 按奇偶:奇数、偶数 | * 按奇偶:奇数、偶数 |
| * 按因子:质数(素数)、合数、1 | * 按因子:质数(素数)、合数、1 |
| * 0 的特殊性:既非质数也非合数,是加法单位元 | * 0 的特殊性:既非质数也非合数,是加法单位元 |
| * **为什么是加法单位元**:对任意数 $a$,均有 $a+0=0+a=a$,0 参与加法但不改变任何数,符合"单位元"定义;对称地,1 是乘法单位元($a\times 1=a$) | * **为什么是加法单位元**:对任意数 $a$,均有 $a+0=0+a=a$,0 参与加法但不改变任何数,符合"单位元"定义;对称地,1 是乘法单位元($a\times 1=a$) |
| * **唯一性**:若 $e$ 也满足 $a+e=a$,则 $e=e+0=0$,所以加法单位元有且只有一个,就是 0 | * **唯一性**:若 $e$ 也满足 $a+e=a$,则 $e=e+0=0$,所以加法单位元有且只有一个,就是 0 |
| * **深层意义**:$a+(-a)=0$ 赋予每个数加法逆元,是减法封闭(从 ℕ 扩展到 ℤ)的基石 | * **深层意义**:$a+(-a)=0$ 赋予每个数加法逆元,是减法封闭(从 ℕ 扩展到 ℤ)的基石 |
| |
| ===== 三、整数 ℤ ===== | ===== 三、整数 ℤ ===== |
| |
| * **定义**:ℤ = {..., -3, -2, -1, 0, 1, 2, 3, ...} | * **定义**:ℤ = {..., -3, -2, -1, 0, 1, 2, 3, ...} |
| * **引入原因**:解决减法不封闭(如 1 - 3 无自然数解) | * **引入原因**:解决减法不封闭(如 1 - 3 无自然数解) |
| * **运算封闭性**:加法、减法、乘法封闭;除法不封闭 | * **运算封闭性**:加法、减法、乘法封闭;除法不封闭 |
| * **分类**: | * **分类**: |
| * 正整数(自然数ℕ含0)ℕ⁺ | * 正整数(自然数ℕ含0)ℕ⁺ |
| * 零 0 | * 零 0 |
| * 负整数 ℤ⁻ | * 负整数 ℤ⁻ |
| * **性质**:构成交换环(有加法和乘法,乘法未必可逆) | * **性质**:构成交换环(有加法和乘法,乘法未必可逆) |
| |
| ===== 四、有理数 ℚ ===== | ===== 四、有理数 ℚ ===== |
| |
| * **定义**:可表示为分数 $p/q$ 的数,其中 $p,q \in \mathbb{Z}$,且 $q \neq 0$ | * **定义**:可表示为分数 $p/q$ 的数,其中 $p,q \in \mathbb{Z}$,且 $q \neq 0$ |
| * **引入原因**:解决整数除法不封闭(如 1 ÷ 3) | * **引入原因**:解决整数除法不封闭(如 1 ÷ 3) |
| * **运算封闭性**:有理数四则运算封闭(除数不为 0),构成数域 | * **运算封闭性**:有理数四则运算封闭(除数不为 0),构成数域 |
| * **小数特征**:有限小数或无限循环小数 | * **小数特征**:有限小数或无限循环小数 |
| * **稠密性**:任意两个有理数之间总存在有理数(可无限细分),但仍留有"空隙" | * **稠密性**:任意两个有理数之间总存在有理数(可无限细分),但仍留有"空隙" |
| * **分类**: | * **分类**: |
| * 整数(分母为 1 的特例) | * 整数(分母为 1 的特例) |
| * 非整数分数 | * 非整数分数 |
| * 正有理数 / 负有理数 / 零 | * 正有理数 / 负有理数 / 零 |
| |
| ===== 五、无理数 ===== | ===== 五、无理数 ===== |
| |
| * **定义**:不能表示为分数 $p/q$ 形式的实数 | * **定义**:不能表示为分数 $p/q$ 形式的实数 |
| * **引入原因**:毕达哥拉斯学派发现正方形对角线长 $\sqrt{2}$ 无法用有理数度量,引发第一次数学危机 | * **引入原因**:毕达哥拉斯学派发现正方形对角线长 $\sqrt{2}$ 无法用有理数度量,引发第一次数学危机 |
| * **小数特征**:无限不循环小数 | * **小数特征**:无限不循环小数 |
| * **分类**: | * **分类**: |
| * **代数无理数**:某个整系数代数方程的根,如 $\sqrt{2}$、$\sqrt{3}$、$\sqrt[3]{5}$ | * **代数无理数**:某个整系数代数方程的根,如 $\sqrt{2}$、$\sqrt{3}$、$\sqrt[3]{5}$ |
| * **超越无理数**:不是任何整系数代数方程的根,如 $\pi$、$e$、$\ln 2$ | * **超越无理数**:不是任何整系数代数方程的根,如 $\pi$、$e$、$\ln 2$ |
| |
| ===== 六、实数 ℝ ===== | ===== 六、实数 ℝ ===== |
| |
| * **定义**:有理数 ∪ 无理数 | * **定义**:有理数 ∪ 无理数 |
| * **引入原因**:有理数虽稠密但不"连续",需要无理数填补空隙;同时解决 $\sqrt{2}$ 等开方问题 | * **引入原因**:有理数虽稠密但不"连续",需要无理数填补空隙;同时解决 $\sqrt{2}$ 等开方问题 |
| * **几何表示**:与数轴上的点一一对应 | * **几何表示**:与数轴上的点一一对应 |
| * **完备性(连续性)** :实数集具有[[/数学分析.md#20260804155925-5v9my28|确界存在性]],空隙被填满 | * **完备性(连续性)** :实数集具有[[math:数学分析#20260804155925-5v9my28|确界存在性]],空隙被填满 |
| * **运算封闭性**:四则运算、[[math:实数极限运算封闭|极限运算封闭]](柯西列收敛) | * **运算封闭性**:四则运算、[[math:实数极限运算封闭|极限运算封闭]](柯西列收敛) |
| * **性质**:构成有序完备域,满足[[math:阿基米德性质|阿基米德性质]] | * **性质**:构成有序完备域,满足[[math:阿基米德性质|阿基米德性质]] |
| * **分类**: | * **分类**: |
| * 有理数(整数 / 分数) | * 有理数(整数 / 分数) |
| * 无理数(代数无理数 / 超越无理数) | * 无理数(代数无理数 / 超越无理数) |
| * 正实数 / 负实数 / 零 | * 正实数 / 负实数 / 零 |
| |
| ===== 七、复数 ℂ ===== | ===== 七、复数 ℂ ===== |
| |
| * **定义**:形如 $a + bi$ 的数,其中 $a, b \in \mathbb{R}$,$i$ 为虚数单位且 $i^2 = -1$ | * **定义**:形如 $a + bi$ 的数,其中 $a, b \in \mathbb{R}$,$i$ 为虚数单位且 $i^2 = -1$ |
| * **引入原因**:方程 $x^2 + 1 = 0$ 在实数范围内无解,引入虚数单位 $i$ | * **引入原因**:方程 $x^2 + 1 = 0$ 在实数范围内无解,引入虚数单位 $i$ |
| * **组成部分**: | * **组成部分**: |
| * 实部 $a = \mathrm{Re}(z)$ | * 实部 $a = \mathrm{Re}(z)$ |
| * 虚部 $b = \mathrm{Im}(z)$ | * 虚部 $b = \mathrm{Im}(z)$ |
| * **分类**: | * **分类**: |
| * **实数**:虚部 $b = 0$(是复数的子集) | * **实数**:虚部 $b = 0$(是复数的子集) |
| * **虚数**:虚部 $b \neq 0$ | * **虚数**:虚部 $b \neq 0$ |
| * **纯虚数**:实部 $a = 0$ 且虚部 $b \neq 0$,如 $2i$ | * **纯虚数**:实部 $a = 0$ 且虚部 $b \neq 0$,如 $2i$ |
| * **重要概念**: | * **重要概念**: |
| * [[math:共轭复数|共轭复数]]:$\bar{z} = a - bi$ ; **详细笔记**:[[math:共轭复数|共轭复数:讲解与应用]] | * [[math:共轭复数|共轭复数]]:$\bar{z} = a - bi$ ; **详细笔记**:[[math:共轭复数|共轭复数:讲解与应用]] |
| * 模:$|z| = \sqrt{a^2 + b^2}$ (详细笔记:[[math:复数的模|复数的模]]) | * 模:$|z| = \sqrt{a^2 + b^2}$ (详细笔记:[[math:复数的模|复数的模]]) |
| * 辐角 $\theta$ 与三角形式:$z = r(\cos\theta + i\sin\theta)$ | * 辐角 $\theta$ 与三角形式:$z = r(\cos\theta + i\sin\theta)$ |
| * 欧拉公式:$e^{i\theta} = \cos\theta + i\sin\theta$,由此 $e^{i\pi} + 1 = 0$(最美数学公式) (详细笔记:[[math:欧拉公式|欧拉公式:全讲解]]) | * 欧拉公式:$e^{i\theta} = \cos\theta + i\sin\theta$,由此 $e^{i\pi} + 1 = 0$(最美数学公式) (详细笔记:[[math:欧拉公式|欧拉公式:全讲解]]) |
| * **代数基本定理**:n 次多项式方程在复数域中恰有 n 个根(含重根),复数域是代数封闭的 | * **代数基本定理**:n 次多项式方程在复数域中恰有 n 个根(含重根),复数域是代数封闭的 |
| * **复数域内分类**: | * **复数域内分类**: |
| * **代数数**:整系数代数方程的复根(包含全体有理数和代数无理数) | * **代数数**:整系数代数方程的复根(包含全体有理数和代数无理数) |
| * **超越数**:非代数数的复数,如 $e$、$\pi$、$e^{\pi}$ | * **超越数**:非代数数的复数,如 $e$、$\pi$、$e^{\pi}$ |
| * **代数闭包**:ℝ 的代数闭包是 ℂ——每个实系数多项式在 ℂ 中都有根(代数基本定理);而 ℂ 自身代数封闭,是数系"代数扩展"的终点(再往上的四元数、八元数反而失去交换律/结合律,不再满足域的封闭扩展) | * **代数闭包**:ℝ 的代数闭包是 ℂ——每个实系数多项式在 ℂ 中都有根(代数基本定理);而 ℂ 自身代数封闭,是数系"代数扩展"的终点(再往上的四元数、八元数反而失去交换律/结合律,不再满足域的封闭扩展) |
| |
| ===== 八、超复数(复数之外的扩展) ===== | ===== 八、超复数(复数之外的扩展) ===== |
| |
| * **四元数 ℍ**(哈密顿,1843 年):形如 $a + bi + cj + dk$,乘法不满足交换律 | * **四元数 ℍ**(哈密顿,1843 年):形如 $a + bi + cj + dk$,乘法不满足交换律 |
| * 用途:三维空间旋转、计算机图形学、航天姿态控制 | * 用途:三维空间旋转、计算机图形学、航天姿态控制 |
| * **八元数 𝕆**(凯莱数):乘法不满足结合律 | * **八元数 𝕆**(凯莱数):乘法不满足结合律 |
| * 是赋范可除代数中最大的一类 | * 是赋范可除代数中最大的一类 |
| * **扩展链条**:ℝ → ℂ → ℍ → 𝕆,每扩展一次丢失一条代数性质(有序性 → 交换律 → 结合律) | * **扩展链条**:ℝ → ℂ → ℍ → 𝕆,每扩展一次丢失一条代数性质(有序性 → 交换律 → 结合律) |
| * **超复数族其他成员**:二元数、双曲复数、克利福德代数、格拉斯曼代数等(通常不再保持除法封闭) | * **超复数族其他成员**:二元数、双曲复数、克利福德代数、格拉斯曼代数等(通常不再保持除法封闭) |
| |
| ===== 九、其他扩展数系 ===== | ===== 九、其他扩展数系 ===== |
| |
| * **基数(势数)** :衡量集合大小,如 $\aleph_0$、$\aleph_1$、$2^{\aleph_0}$ | * **基数(势数)** :衡量集合大小,如 $\aleph_0$、$\aleph_1$、$2^{\aleph_0}$ |
| * **序数**:衡量良序集合的位置,如 $\omega$、$\omega + 1$ | * **序数**:衡量良序集合的位置,如 $\omega$、$\omega + 1$ |
| * **超现实数**(Conway):包含实数与所有超限数的统一推广 | * **超现实数**(Conway):包含实数与所有超限数的统一推广 |
| * **p 进数** **$\mathbb{Q}_p$**:在数论中按质数 p 的 p 进距离完备化得到 | * **p 进数** **$\mathbb{Q}_p$**:在数论中按质数 p 的 p 进距离完备化得到 |
| |
| ===== 十、数系扩展逻辑总结表 ===== | ===== 十、数系扩展逻辑总结表 ===== |
| |
| > 小结:数系扩展的本质是**在保证既有运算规律的前提下,为新的运算(减法→除法→开方→...)寻找"可逆解"** 。到复数 ℂ 为止,代数运算完全封闭;再往后扩展(四元数等)则以牺牲交换律、结合律为代价。 | > 小结:数系扩展的本质是**在保证既有运算规律的前提下,为新的运算(减法→除法→开方→...)寻找"可逆解"** 。到复数 ℂ 为止,代数运算完全封闭;再往后扩展(四元数等)则以牺牲交换律、结合律为代价。 |
| |
| | |
| |
