差别

这里会显示出您选择的修订版和当前版本之间的差别。

--- public:math:mathematical_analysis:chapter_2 [2020/09/25 12:06] – [与实数集的完备性有关的基本引理] oakfire
+++ public:math:mathematical_analysis:chapter_2 [2024/06/02 17:14] (当前版本) – [2. 连续统的势] oakfire
@@ 行 59: / 行 59: @@
   * **定义3**： 既有上界又有下界的集合叫做**有界集**
   * **定义4**:  对于 \(X\subset\mathbb{R},a\in X\), 如果\(\forall x\in X(x\leqslant a)\)，则称 \(a\) 为 \(X\)的**最大元**或**极大元**，（反之则是**最小元**或**极小元**）；形式写法为\[(a=\max X):=(a\in X\land \forall x\in X(x\leqslant a)),\\ (a=\min X):=(a\in X\land \forall x\in X(a\leqslant x))\] \(\max X\)读作“\(X\) 的极大元”，有时也用 \(\max_{x\in X}x \) 表示; 有界集不一定有极大元（极小元），比如 \(X=\{x\in\mathbb{R}|0\leqslant x < 1\}\) 有极小元0，但没有极大元。
-  * **定义5**： 集合 \(X\subset\mathbb{R}\) 的上界中的最小者，叫做 \(X\) 的**上确界**，写做 \(\sup X\) 或 \(\sup_{x\in X} x\),即\[(s=\sup X) := \forall x \in X((x\leqslant s)\land(\forall s' <s \exists x'\in X(s'<x')))\]
+  * **定义5**： 集合 \(X\subset\mathbb{R}\) 的上界中的最小者，叫做 \(X\) 的**上确界**，写做 \(\sup X\) 或 \(\sup\limits_{x\in X} x\)，即\[(s=\sup X) := \forall x \in X((x\leqslant s)\land(\forall s' <s \exists x'\in X(s'<x')))\]
-  * **定义6**: 与**定义5**类似，得到**下确界**概念，写做  \(\inf X\) 或 \(\inf_{x\in X} x\),即\[(i=\inf X) := \forall x \in X((i\leqslant x)\land(\forall i <i' \exists x'\in X(x'<i')))\]
+  * **定义6**: 与**定义5**类似，得到**下确界**概念，写做  \(\inf X\) 或 \(\inf\limits_{x\in X} x\)，即\[(i=\inf X) := \forall x \in X((i\leqslant x)\land(\forall i <i' \exists x'\in X(x'<i')))\]
   * **引理（上确界原理）** 实数集的任何非空有上界的子集有唯一的上确界
   * **引理** 类似的，有 \((X \textrm{下有界})\Rightarrow(\exists!\inf X)\)
@@ 行 76: / 行 76: @@
   * \((m\in\mathbb{N})\land(n\in\mathbb{N})\land(n<m)\Rightarrow(n+1\leqslant m)\)
   * 数 \((n+1)\in\mathbb{N} \) 是 \(\mathbb{N}\) 中紧跟着 \(n\) 的一个自然数，亦即，当 \(n\in\mathbb{N}\) 时，没有任何自然数 \(x\) 能满足条件 \( n<x<n+1 \)
-  * 如果 \(n\in\mathbb{N},n\neq 1 \), 那么数 \((n-1) \in\mathbb{N}\),并且是紧挨着 \(n\) 之前的自然数.
+  * 如果 \(n\in\mathbb{N} \land n\neq 1 \), 那么数 \((n-1) \in\mathbb{N}\),并且是紧挨着 \(n\) 之前的自然数.
   * 自然数集的任何非空子集有最小元
@@ 行 92: / 行 92: @@
   * 超越数集的势与实数集的势相同
   * \(\pi\) 是超越数;
-  * 希尔伯特(D.Hilbert 1862-1943)第七问题: \(\alpha^{\beta}\) 为超越数，其中 \(\alpha\) 是个代数数 \((\alpha \neq 0)\land(\alpha\neq 1)\),\(\beta\) 为代数无理数,例如 \(\alpha = 2, \beta = \sqrt{2}\), 即 \(2^{\sqrt{2}}\) 为超越数
+  * 希尔伯特((D.Hilbert 1862-1943 德国数学家，在1900年巴黎数学国际会议上总结提出了23个数学领域问题，叫做希尔伯特问题))第七问题: \(\alpha^{\beta}\) 为超越数，其中 \(\alpha\) 是个代数数 \((\alpha \neq 0)\land(\alpha\neq 1)\),\(\beta\) 为代数无理数,例如 \(\alpha = 2, \beta = \sqrt{2}\), 即 \(2^{\sqrt{2}}\) 为超越数
 ==== 3. 阿基米德原理 ====
@@ 行 100: / 行 100: @@
   * 自然数集的任何非空有界子集有极小元
   * 整数集既没有上界又没有下界
-  * **阿基米德(Archimedes, bce.287-212)原理**: 如果 \(h\) 是任意一个固定的正数，那么，对于任何实数 \(x\)，必能找到唯一的整数 \(k\), 使得 \((k-1)h \leqslant x < kh \)
+  * **阿基米德((Archimedes, bce.287-212 天才希腊学者))原理**: 如果 \(h\) 是任意一个固定的正数，那么，对于任何实数 \(x\)，必能找到唯一的整数 \(k\), 使得 \((k-1)h \leqslant x < kh \)
   * 对于任意的正数 \(\varepsilon\), 存在着自然数 \(n\) 使得 \( 0<\frac{1}{n} <\varepsilon\)
   * 如果 \(x\in\mathbb{R},x\geqslant 0\)，且对于任何 \(n\in\mathbb{N}\) 有 \(x<\frac{1}{n}\), 那么 \( x=0 \)
@@ 行 115: / 行 115: @@
   * 无界区间：无界集，例如：\(]a,+\infty[\; :=\{x\in\mathbb{R}|a<x\}\)
   * **定义7**：称含有 \(x\in\mathbb{R}\) 的开区间为 \(x\) 的一个**邻域**
-  * 数 \(x\) 的**模**或**绝对值**,记作\(|x|\):\[|x|=\left\{ \begin{array}{ll} x,\quad \textrm{when }x>0,\\0,\quad \textrm{when }x=0,\\-x,\; \textrm{when }x<0.  \end{array} \right. \]
+  * 数 \(x\) 的**模**或**绝对值**,记作\(|x|\):\[|x|=\left\{ \begin{array}{ll} \;\;\; x,\quad \textrm{when }x>0,\\ \;\;\; 0,\quad \textrm{when }x=0,\\-x,\quad \textrm{when }x<0.  \end{array} \right. \]
   * **定义8**：称 \(|x-y|\) 为 \(x,y\in\mathbb{R}\) 之间的距离。
   * 三角形不等式：\(|x-y|\leqslant |x-z|+|z-y|\); 由此也可推 \(|x+y|\leqslant |x|+|y|\)
@@ 行 136: / 行 136: @@
   * **定义1**：以自然数为变量的函数 \(f:\mathbb{N}\to X\) 叫做**序列**，完整说法为**集合 \(X\) 中的元素序列**
   * **定义2**：设 \(X_1,X_2,\cdots,X_n,\cdots \) 是集合的序列，如果 \(X_1 \supset X_2 \supset \cdots \supset X_n \supset \cdots \), 即 \(\forall n \in \mathbb{N}(X_n \supset X_{n+1})\), 那么，就说它是**套列集**
-  * 引理：对于任何闭区间套 \(I_1 \supset I_2 \supset \cdots \supset I_n、supset \cdots \), 存在一点 \(c\in\mathbb{R}\),属于这些闭区间的每一个。此外，如果对于任何 \(\varepsilon > 0 \), 在序列中能找到闭区间 \(I_k\)，使其长 \(|I_k|<\varepsilon\)，那么 \(c\) 就是所有闭区间的唯一公共点
+  * 引理：对于任何闭区间套 \(I_1 \supset I_2 \supset \cdots \supset I_n \supset \cdots \), 存在一点 \(c\in\mathbb{R}\),属于这些闭区间的每一个。此外，如果对于任何 \(\varepsilon > 0 \), 在序列中能找到闭区间 \(I_k\)，使其长 \(|I_k|<\varepsilon\)，那么 \(c\) 就是所有闭区间的唯一公共点
-==== 2. 有限覆盖引理（博雷尔-勒贝格原理） ====
+==== 2. 有限覆盖引理 ====
+  * 有限覆盖引理又名 博雷尔-勒贝格((博雷尔 Borel 1871-1956, 勒贝格 A.Lebesgue 1875-1941, 法国数学家，函数论专家))原理
+  * **定义 3**：设 \(S = \{X\} \) 是由一些集合 \(X\) 构成的集族。 如果 \( Y \subset \bigcup\limits_{X \in S} X\) (即集合 \(Y\) 的每个元素 \(y\), 至少含在集族 \(S\) 中的一个集合 \(X\) 中），就说 \(S\) **覆盖** 集合 \(Y\).
+  * 引理：在覆盖一个闭区间的任何开区间族中，存在着覆盖这一闭区间的有限子族
+==== 3. 极限点引理 ====
+  * 又名 波尔察诺-魏尔斯特拉斯((波尔察诺 B.Bolzano 1781-1848 捷克数学家与哲学家. 魏尔斯特拉斯 K.Weierstrass 1815-1897 德国数学家，关注数学分析的逻辑基础))原理
+  * **定义 4**：假如点 \(p \in \mathbb{R} \) 的任何**邻域**都包含 \( X \subset \mathbb{R} \) 的一个无穷子集，就称点 \(p \in \mathbb{R} \) 为集合 \(X\) 的**极限点**
+  * **引理**(波尔察诺-魏尔斯特拉斯) 每个无穷有限集至少有一个极限点
+===== \(\S\)4. 可数集与不可数集 =====
+==== 1. 可数集 ====
+  * **定义 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}\) 也叫做**数的连续统**，而它的势叫做**连续统的势**
+  * **定理（康托尔）**: \( \textrm{card } \mathbb{N} < \textrm{card } \mathbb{R}\)
+  * 推论 1): \(\mathbb{Q} \neq \mathbb{R} \) 且无理数存在.
+  * 推论 2): 因为代数数之集可数，所以存在超越数
-FIXME