本页面只读。您可以查看源文件，但不能更改它。如果您觉得这是系统错误，请联系管理员。 ====== 数系 ====== ===== 一、数系总体框架 ===== 数系(Number System)是数学中按运算规律分类的数集,从自然数出发,为解决运算不封闭的问题不断扩展,最终到复数乃至超复数。 <code mermaid> N[自然数 ℕ 计数] -->|为减法封闭| Z[整数 ℤ] Z -->|为除法封闭| Q[有理数 ℚ] Q -->|为开方与完备性| R[实数 ℝ] R -->|为负数开方| C[复数 ℂ] C --> H[四元数 ℍ] H --> O[八元数 𝕆] </code> 核心包含链:ℕ ⊂ ℤ ⊂ ℚ ⊂ ℝ ⊂ ℂ ===== 二、自然数 ℕ ===== * **定义**:用于计数的数,一般记作 ℕ = {0, 1, 2, 3, ...}(部分教材不含 0,记为 ℕ⁺) * **引入原因**:计数与排序的需求 * **理论基础**:[[math:皮亚诺公理|皮亚诺公理]](0 是自然数、后继运算、归纳原理) * **运算封闭性**:加法、乘法封闭;减法、除法不封闭。 * **分类**: * 按奇偶:奇数、偶数 * 按因子:质数(素数)、合数、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:数学分析#20260804155925-5v9my28|确界存在性]],空隙被填满 * **运算封闭性**:四则运算、[[math:实数极限运算封闭|极限运算封闭]](柯西列收敛) * **性质**:构成有序完备域,满足[[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$ * **重要概念**: * [[math:共轭复数|共轭复数]]:$\bar{z} = a - bi$ ; **详细笔记**:[[math:共轭复数|共轭复数:讲解与应用]] * 模:$|z| = \sqrt{a^2 + b^2}$ (详细笔记:[[math:复数的模|复数的模]]) * 辐角 $\theta$ 与三角形式:$z = r(\cos\theta + i\sin\theta)$ * 欧拉公式:$e^{i\theta} = \cos\theta + i\sin\theta$,由此 $e^{i\pi} + 1 = 0$(最美数学公式) (详细笔记:[[math:欧拉公式|欧拉公式:全讲解]]) * **代数基本定理**:n 次多项式方程在复数域中恰有 n 个根(含重根),复数域是代数封闭的 * **复数域内分类**: * **代数数**:整系数代数方程的复根(包含全体有理数和代数无理数) * **超越数**:非代数数的复数,如 $e$、$\pi$、$e^{\pi}$ * **代数闭包**:ℝ 的代数闭包是 ℂ——每个实系数多项式在 ℂ 中都有根(代数基本定理);而 ℂ 自身代数封闭,是数系"代数扩展"的终点(再往上的四元数、八元数反而失去交换律/结合律,不再满足域的封闭扩展) ===== 八、超复数(复数之外的扩展) ===== * **四元数 ℍ**(哈密顿,1843 年):形如 $a + bi + cj + dk$,乘法不满足交换律 * 用途:三维空间旋转、计算机图形学、航天姿态控制 * **八元数 𝕆**(凯莱数):乘法不满足结合律 * 是赋范可除代数中最大的一类 * **扩展链条**:ℝ → ℂ → ℍ → 𝕆,每扩展一次丢失一条代数性质(有序性 → 交换律 → 结合律) * **超复数族其他成员**:二元数、双曲复数、克利福德代数、格拉斯曼代数等(通常不再保持除法封闭) ===== 九、其他扩展数系 ===== * **基数(势数)** :衡量集合大小,如 $\aleph_0$、$\aleph_1$、$2^{\aleph_0}$ * **序数**:衡量良序集合的位置,如 $\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$ | > 小结:数系扩展的本质是**在保证既有运算规律的前提下,为新的运算(减法→除法→开方→...)寻找"可逆解"** 。到复数 ℂ 为止,代数运算完全封闭;再往后扩展(四元数等)则以牺牲交换律、结合律为代价。
