一、数集符号
| 符号 | 数集 | 一句话含义 | 示例 |
|---|---|---|---|
| ℕ | 自然数集 | 用来数数的数 | 0、1、2、3…… |
| ℤ | 整数集 | 正整数、0、负整数 | ……−2、−1、0、1、2…… |
| ℚ | 有理数集 | 能写成两个整数之比的数 | 1/2、−3、0.5、0.333…… |
| ℝ | 实数集 | 数轴上所有点对应的数 | π、0.5、−100 |
| 𝕀 | 虚数集 | 带虚数单位 i 的那一半数 | 2i、−i、3 + i（虚部不为 0） |
| ℂ | 复数集 | 包含实数和虚数的最大数集 | 2 + i、−i、3 |
搭档符号：
∈表示「属于」。2 ∈ ℕ就是「2 是自然数里的一员」。
词源与读音速查表
| 符号 | 数集 | 词源 | 音标（ˈ 表重音） | 记忆点 |
|---|---|---|---|---|
| ℕ | 自然数集 | 英文 Natural | /ˈnætʃrəl/ | natural 就是「自然的」，最直观 |
| ℤ | 整数集 | 德语 Zahlen（发音为「擦冷」） | /ˈtsaːlən/ | Zahlen 指「数」，不是 Zero，最易错 |
| ℚ | 有理数集 | 拉丁语 Quotient（发音为「阔申特」） | /ˈkwəʊʃnt/ | Quotient 是「商」，两个整数之比 |
| ℝ | 实数集 | 英文 Real | /ˈriːəl/ | real 就是「真实的」 |
| 𝕀 | 虚数集 | 英文 Imaginary | /ɪˈmædʒɪnəri/ | imaginary 是「想象的」，与 real 正好相对 |
| ℂ | 复数集 | 英文 Complex | /ˈkɒmpleks/ | complex numbers 的首字母 |
| ℕ*、ℕ₊ | 正整数集 | 英文 Positive | /ˈpɒzətɪv/ | 星号、加号都表示「正的」 |
虚数集 𝕀：紧挨着 ℝ 的另一半
ℝ 装的是数轴上所有的点，可有一类数怎么也挤不上数轴——负数开平方。比如方程 x² = −1，在实数里根本没有解。数学家的办法是引入一个新单位i（虚数单位），规定i² = −1，于是 √−1 = i 就有了着落，这一类数就叫虚数。
- 符号：虚数集常记作𝕀（也写作 I），取英文 Imaginary 的首字母。
- 词源：英文Imaginary，音标 /ɪˈmædʒɪnəri/，本意是「想象的、虚构的」。这个词是 1637 年笛卡尔起的，当时他真觉得这种数"不真实"；而虚数单位i也是欧拉 1777 年从它的首字母借来的。
- 含义：形如a + bi（b ≠ 0）的数，也就是复数里虚部不为 0、偏不在数轴上的那一部分。
- 举几个例：2i、−i、3 + i 都是虚数；而 0、5、π 都是实数，不算虚数。
和 ℝ 的关系：两者没有交集（ℝ ∩ 𝕀 = ∅）——一个数要么落在数轴上（实数），要么带着虚部（虚数），不会两边都算；但它们合起来正好铺满复数集 ℂ。
虚数不能比大小。我们可以说 3 > 2，却没法说 2i > i——虚数之间没有「谁大谁小」。
顺带一提：𝕀 不像 ℕ、ℤ、ℚ、ℝ、ℂ 那样有全球统一的标准字母，有的书上就写 I，或干脆说「复数里去掉实数」。原因是虚数集对加减乘除不「封闭」（比如 i + (−i) = 0 又跳回了实数），算不上自成一体的运算体系，所以没混上统一记号。
三条最容易踩的坑
- ℤ 来自德语 Zahlen「数」，不是英语 Zero（零）。顺便记一下读音：Zahlen 发音为「擦伦」（z 读作「刺」的声母，a 要拉长）。它既有正、负整数又有 0。正好和汉语拼音“zhengshu”的首字母一致，是方便记忆的一点。
- ℚ 取的是「商」Quotient，不是 rational。Quotient 发音为「阔申特」。因为 R 早被实数集占用了，只好退一步用更本质的「商」。
- 0 算不算自然数？不同教材约定不同，做题前先确认。想避开争论，直接用 ℕ* 或 ℕ₊ 表示正整数集。
它们谁包含谁？
ℝ 与 𝕀 互不相交（ℝ ∩ 𝕀 = ∅）合起来铺满 ℂ（实数 ∪ 虚数 = 全部复数）
ℕ ⊊ ℤ ⊊ ℚ ⊊ ℝ ⊊ ℂ（自然数 ⊊ 整数 ⊊ 有理数 ⊊ 实数 ⊊ 复数）\
⊊是「真包含于」。自然数一定是整数，整数一定是有理数，有理数一定是实数，实数一定是复数；反过来不一定（比如 1/2 是有理数，却不是整数）。而 ℝ 和 𝕀 是并肩的两半：一个数要么是实数，要么是虚数，不会有数同时属于两边。
二、∀ 和 ∃：数学里的「所有」与「存在」
∀ —— 全称量词
- 长相：一个倒过来的 A，写作 ∀。
- 念法：中文读「任意」「对所有」；英文读for all。
- 含义：后面的话，对范围内每一个对象都成立。
- 写法：
∀x ∈ ℳ, p(x)，读作「对 ℳ 中的任意一个 x，p(x) 都成立」。
例子：
∀x ∈ ℝ, x² ≥ 0：对任意实数 x，x² 都 ≥ 0。（真）∀x ∈ ℝ, x² > x：对任意实数 x，x² 都 > x。（假！x = 0.5 时 0.25 < 0.5）
∃ —— 存在量词
- 长相：一个反过来的 E，写作 ∃。
- 念法：中文读「存在」「至少有一个」；英文读there exists。
- 含义：范围内至少有一个对象能让结论成立。
- 写法：
∃x ∈ ℳ, p(x)，读作「在 ℳ 中存在一个 x，使 p(x) 成立」。
例子：
∃x ∈ ℝ, x > 5：存在一个实数大于 5。（真，如 x = 6）∃x ∈ ℝ, x² < 0：存在一个实数，平方小于 0。（假！实数平方都 ≥ 0，一个都找不出）
⚠️ 常见误会：∃ 说的是「至少有一个」，不是「只有一个」。若「恰好一个」，要用
∃!。
一眼对比
| 对比项 | ∀ 全称量词 | ∃ 存在量词 |
|---|---|---|
| 念法 | 任意、对所有 | 存在、至少有一个 |
| 英文 | for all | there exists |
| 外形联想 | 倒过来的 A（All） | 反过来的 E（Exists） |
| 判为真 | 全部满足才算真 | 找到一个例子就算真 |
| 判为假 | 找到一个反例就够 | 全部不满足才算假 |
| 生活类比 | 全班同学都及格了 | 班上有人考了满分 |
###否定规律
- 否定：全称变存在，存在变全称，结论加个「非」，真假必翻转。
写成式子（¬ 表示「非」）：
¬(∀x ∈ ℳ, p(x))等价于∃x ∈ ℳ, ¬p(x)¬(∃x ∈ ℳ, p(x))等价于∀x ∈ ℳ, ¬p(x)
比如「所有人都到了」的否定，不是「所有人都没到」，而是「有人没到」。这也是德摩根律在量词上的推广。
三、把两套符号连起来用
∀x ∈ ℝ, x² ≥ 0—— 对实数里的任意一个 x，x² 都 ≥ 0。∃n ∈ ℕ, n 是偶数—— 在自然数里存在一个是偶数的 n。∀x ∈ ℤ, ∃y ∈ ℤ, x + y = 0—— 对整数里的任意一个 x，都存在一个整数 y，使 x + y = 0（每个整数都有相反数）。
读法顺序记住：先看量词（∀ 还是 ∃）→ 再看∈ 后面的数集→ 最后看结论。
四、量词符号速记
| 符号 | 一句话记忆 |
|---|---|
| ∀ | 倒过来的 A（All）→ 所有、任意 |
| ∃ | 反过来的 E（Exists）→ 存在、至少有一个 |
| ∄ | 不存在 |
| ∃! | 存在且唯一 |
| ¬ | 非，对结论取反 |
这些符号其实都「有故事」：有的从另一种语言的字母借来，有的是把字母掰弯。
