差别
这里会显示出您选择的修订版和当前版本之间的差别。
| 两侧同时换到之前的修订记录 前一修订版 后一修订版 | 前一修订版 | ||
| 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: | ||
| ===== §4. 可数集与不可数集 ===== | ===== §4. 可数集与不可数集 ===== | ||
| ==== 1. 可数集 ==== | ==== 1. 可数集 ==== | ||
| - | * **定义 1**： 如果集合 X 与自然数集 N 等势， 即 \cardX=\cardN，就称 X 为**可数集** | + | * **定义 1**： 如果集合 X 与自然数集 N 等势， 即 \( \textrm{card } X = \textrm{card } \mathbb{N}\)，就称 X 为**可数集** |
| + | * 命题 a): 可数集的无穷子集是可数集 | ||
| + | * 命题 b): 有限个或可数个可数集的并集是可数集 | ||
| + | * 推论 1): card Z=card N | ||
| + | * 推论 2): card N2=card N，即可数集的直积也是可数集 | ||
| + | * 推论 3): card Q=card N，集有理数集是可数的 | ||
| + | * 推论 4): 代数数集是可数集 | ||
| + | |||
| + | ==== 2. 连续统的势 ==== | ||
| + | * **定义 2**: 实数集 R 也叫做**数的连续统**，而它的势叫做**连续统的势** | ||
| + | * **定理（康托尔）**: | ||
| + | * 推论 1): Q≠R 且无理数存在. | ||
| + | * 推论 2): 因为代数数之集可数，所以存在超越数 | ||
| - | FIXME | ||
oakfire