数学分析原理答案——第二章习题7

最新推荐文章于 2024-10-07 19:22:32 发布

书中玉

最新推荐文章于 2024-10-07 19:22:32 发布

阅读量654

点赞数 12

文章标签：数学分析原理鲁丁 rudin 习题答案闭包闭集

本文链接：https://blog.csdn.net/tianwangwxm/article/details/141301415

版权

【第二章习题7】

令 $A_{1},A_{2},A_{3},\ldots\ldots$ 是某度量空间的子集。

a. 如果 $B_{n} = \cup_{i = 1}^{n}A_{i}$ ，证明 ${\overline{B}}_{n} = \cup_{i = 1}^{n}{\overline{A}}_{i}$ ， $1,2,3,\ldots\ldots$ 。

b. 如果 $\cup_{i = 1}^{\infty}A_{i}$ ，证明 $\overline{B} \supset \cup_{i = 1}^{\infty}{\overline{A}}_{i}$ 。举例表明这个包含符号能够是真子集包含。

【证明】

a. 首先，由于 $A_{i}$ 的极限点必然是 $B$ 的极限点，所以 $\cup_{i = 1}^{n}{\overline{A}}_{i} \subset {\overline{B}}_{n}$ 。

下面证明 ${\overline{B}}_{n} \subset \cup_{i = 1}^{n}{\overline{A}}_{i}$ 。

由于 $B_{n} = \cup_{i = 1}^{n}A_{i}$ ， $B_{n}$ 中任意极限点 $b$ 的邻域的半径 $r$ ，可与满足条件的 $A_{i}$ 组成的集族，建立函数关系

$\left\{ A_{i} \middle| A_{i} \cap \left\{ x \middle| |x - b| < r \right\} \neq \varnothing \right\}$

该函数的定义域为

$r > 0$

根据极限点的定义，每个半径 $r$ 的邻域中的点必定属于 $A_{i}$ 中的一个，所以函数值始终满足表达式 $(1)$

$\begin{array}{r} f\left( r_{*} \right) \neq \varnothing\ \end{array}$

并且

$r_{1} > r_{2} \Rightarrow f\left( r_{1} \right) \supset f\left( r_{2} \right)$

结合上面两个结论，可知表达式 $(2)$ 成立

$\begin{array}{r} \exists 1 \leq i \leq n,\forall r > 0\left( A_{i} \in f(r) \right)\ \end{array}$

否则，利用反证法

$\forall 1 \leq i \leq n,\exists r > 0\left( A_{i} \notin f(r) \right)$

于是，对于每个 $i$ ，可得到一个 $r_{i}$ ，满足 $A_{i} \notin f(r)$ ，令

$r_{*}: = \frac{\min\left\{ r_{1},r_{2},r_{3}\ldots\ldots r_{n} \right\}}{2}$

此时

$f\left( r_{*} \right) = \varnothing$

这与 $(1)$ 矛盾，所以 $(2)$ 成立，也就是说 $B_{n}$ 中任意极限点 $b$ ，必然是某个 $A_{i}$ 的极限点，从而有

${\overline{B}}_{n} \subset \cup_{i = 1}^{n}{\overline{A}}_{i}$

b. 由于 $A_{i}$ 的极限点必然是 $B$ 的极限点，所以 $\overline{B} \supset \cup_{i = 1}^{\infty}{\overline{A}}_{i}$ 。

下面举例说明真包含关系，令

$(0,1\rbrack$

$A_{i} = \left\lbrack \frac{1}{i},1 \right\rbrack$

那么

$\overline{B} = \lbrack 0,1\rbrack$

$\cup_{i = 1}^{\infty}{\overline{A}}_{i} = (0,1\rbrack$

这样的定义满足题设