差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
| public:math:mathematical_analysis:chapter_2 [2024/06/02 16:57] – [3. 极限点引理] oakfire | public:math:mathematical_analysis:chapter_2 [2024/06/02 17:14] (当前版本) – [2. 连续统的势] oakfire | ||
|---|---|---|---|
| 行 149: | 行 149: | ||
| ===== \(\S\)4. 可数集与不可数集 ===== | ===== \(\S\)4. 可数集与不可数集 ===== | ||
| ==== 1. 可数集 ==== | ==== 1. 可数集 ==== | ||
| - | * **定义 1**： 如果集合 \(X\) 与自然数集 \(\mathbb{N}\) 等势， 即 \( \card X = \card \mathbb{N}\)，就称 \(X\) 为**可数集** | + | * **定义 1**： 如果集合 \(X\) 与自然数集 \(\mathbb{N}\) 等势， 即 \( \textrm{card } X = \textrm{card } \mathbb{N}\)，就称 \(X\) 为**可数集** |
| + | * 命题 a): 可数集的无穷子集是可数集 | ||
| + | * 命题 b): 有限个或可数个可数集的并集是可数集 | ||
| + | * 推论 1): \( \textrm{card } \mathbb{Z} = \textrm{card } \mathbb{N}\) | ||
| + | * 推论 2): \( \textrm{card } \mathbb{N}^2 = \textrm{card } \mathbb{N}\)，即可数集的直积也是可数集 | ||
| + | * 推论 3): \( \textrm{card } \mathbb{Q} = \textrm{card } \mathbb{N}\)，集有理数集是可数的 | ||
| + | * 推论 4): 代数数集是可数集 | ||
| + | |||
| + | ==== 2. 连续统的势 ==== | ||
| + | * **定义 2**: 实数集 \(\mathbb{R}\) 也叫做**数的连续统**，而它的势叫做**连续统的势** | ||
| + | * **定理（康托尔）**: | ||
| + | * 推论 1): \(\mathbb{Q} \neq \mathbb{R} \) 且无理数存在. | ||
| + | * 推论 2): 因为代数数之集可数，所以存在超越数 | ||
| - | FIXME | ||
oakfire