陶哲轩实分析 3.4 补充

liyuanbhu

于 2019-05-18 14:38:39 发布

阅读量1.2k

点赞数 2

分类专栏：陶哲轩实分析习题解答陶哲轩实分析习题解答

本文链接：https://blog.csdn.net/liyuanbhu/article/details/90315147

版权

陶哲轩实分析习题解答同时被 2 个专栏收录

33 篇文章 12 订阅

订阅专栏

陶哲轩实分析习题解答

24 篇文章 185 订阅

订阅专栏

前段时间太忙，一直没有更新。今天有点空闲，再更新两道题。

陶哲轩实分析 3.4.10 和 3.4.11

3.4.10

(1)
$\forall x \in (\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha)$ 有 $\in (\cup_{\alpha \in I} A_\alpha)$ 或者 $\in (\cup_{\alpha \in J} A_\alpha)$

分两种情况讨论：
当 $\in (\cup_{\alpha \in I} A_\alpha)$ 时， $\in (\cup_{\alpha \in I \cup J} A_\alpha)$
当 $\in (\cup_{\alpha \in J} A_\alpha)$ 时， $\in (\cup_{\alpha \in I \cup J} A_\alpha)$

所以
$(\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha) \subseteq (\cup_{\alpha \in I \cup J} A_\alpha)$

$\forall x \in (\cup_{\alpha \in I \cup J} A_\alpha)$ 有 $\in (\cup_{\alpha \in I} A_\alpha)$ 或 $\in (\cup_{\alpha \in J} A_\alpha)$
所以 $\forall x \in (\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha)$

所以

$(\cup_{\alpha \in I \cup J} A_\alpha) \subseteq (\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha)$

所以
$(\cup_{\alpha \in I \cup J} A_\alpha) = (\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha)$

(2) $\forall x \in ( \cap_{\alpha \in I }A_\alpha) \cap ( \cap_{\alpha \in J }A_\alpha)$
表明：

$\in \cap_{\alpha \in I }A_\alpha$ 同时 $\in \cap_{\alpha \in J }A_\alpha$

表明：
$\forall \alpha \in I , x \in A_\alpha$ ，同时 $\forall \alpha \in J , x \in A_\alpha$
所以 $\forall \alpha \in I \cup J , x \in A_\alpha$
所以 $\forall x \in ( \cap_{\alpha \in I \cup J }A_\alpha)$

所以 $\cap_{\alpha \in I }A_\alpha) \cap ( \cap_{\alpha \in J }A_\alpha) \subseteq ( \cap_{\alpha \in I \cup J }A_\alpha)$

$\forall x \in \cap_{\alpha \in I \cup J }A_\alpha$
表明： $\forall \alpha \in I \cup J, x \in A_\alpha$
所以：
$\forall \alpha \in I, x \in A_\alpha$ 同时 $\forall \alpha \in J, x \in A_\alpha$
所以 $\in ( \cap_{\alpha \in I }A_\alpha)$ 同时 $\in ( \cap_{\alpha \in J }A_\alpha)$
所以 $\in ( \cap_{\alpha \in I }A_\alpha) \cap ( \cap_{\alpha \in J }A_\alpha)$

所以： $\cap_{\alpha \in I \cup J }A_\alpha)\subseteq ( \cap_{\alpha \in I }A_\alpha) \cap ( \cap_{\alpha \in J }A_\alpha)$

所以 $\cap_{\alpha \in I }A_\alpha) \cap ( \cap_{\alpha \in J }A_\alpha) = ( \cap_{\alpha \in I \cup J }A_\alpha)$

3.4.11

设 X 是一个集合，I 是一个不空的集合，并且对于每个 $\alpha \in I$ ， $A_\alpha$ 是 $X$ 的一个子集。证明

$\ ∪ α ∈ I A α = ∩ α ∈ I ( X \ A α ) X \ ∩ α ∈ I A α = ∪ α ∈ I ( X \ A α ) X \backslash \cup_{\alpha \in I} A_\alpha = \cap_{\alpha \in I} (X \backslash A_\alpha)\\ X \backslash \cap_{\alpha \in I} A_\alpha = \cup_{\alpha \in I} (X \backslash A_\alpha)$

（1） $\ ∪ α ∈ I A α \forall x \in X \backslash \cup_{\alpha \in I} A_\alpha$ 有 $\in X$ 同时 $\forall \alpha \in I, x \notin A_\alpha$
所以： $\ A α \forall \alpha \in I, x \in X \backslash A_\alpha$
所以： $\ A α x \in \cap_{\alpha \in I} X \backslash A_\alpha$
所以：

$\ ∪ α ∈ I A α ⊆ ∩ α ∈ I ( X \ A α ) X \backslash \cup_{\alpha \in I} A_\alpha \subseteq \cap_{\alpha \in I} (X \backslash A_\alpha)$

$\ A α ) \forall x \in \cap_{\alpha \in I} (X \backslash A_\alpha)$
有： $\ A α \forall \alpha \in I, x \in X \backslash A_\alpha$
所以： $\in X$ 和 $ \forall \alpha \in I , x \notin A_\alpha$
所以 $\notin \cup_{\alpha \in I} A_\alpha$
所以 $\ ∪ α ∈ I A α x \in X \backslash \cup_{\alpha \in I} A_\alpha$
所以
$\ A α ) ⊆ X \ ∪ α ∈ I A α \cap_{\alpha \in I} (X \backslash A_\alpha) \subseteq X \backslash \cup_{\alpha \in I} A_\alpha$

所以：
$\ A α ) = X \ ∪ α ∈ I A α \cap_{\alpha \in I} (X \backslash A_\alpha) = X \backslash \cup_{\alpha \in I} A_\alpha$

（2） $\ ∩ α ∈ I A α \forall x \in X \backslash \cap_{\alpha \in I} A_\alpha$
有 $\in X$ 同时 $\notin \cap_{\alpha \in I} A_\alpha$
所以 $\exists \beta \in I, x \notin A_\beta$
所以 $\ A β x \in X \backslash A_\beta$
所以 $\ A α x \in \cup_{\alpha \in I} X \backslash A_\alpha$
所以
$\ ∩ α ∈ I A α ⊆ ∪ α ∈ I ( X \ A α ) X \backslash \cap_{\alpha \in I} A_\alpha \subseteq \cup_{\alpha \in I} (X \backslash A_\alpha)$

$\ A α ) \forall x \in \cup_{\alpha \in I} (X \backslash A_\alpha)$
所以 $\ A β \exists \beta \in I , x \in X \backslash A_\beta$
所以 $\in X, x \notin A_\beta$
所以 $\notin \cap_{\alpha \in I} A_\alpha$
所以 $\ ∩ α ∈ I A α x \in X \backslash \cap_{\alpha \in I } A_\alpha$
所以
$\ A α ) ⊆ X \ ∩ α ∈ I A α \cup_{\alpha \in I} (X \backslash A_\alpha) \subseteq X \backslash \cap_{\alpha \in I} A_\alpha$
所以
$\ A α ) = X \ ∩ α ∈ I A α \cup_{\alpha \in I} (X \backslash A_\alpha) = X \backslash \cap_{\alpha \in I} A_\alpha$

liyuanbhu

关注

2
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
陶哲轩实分析 3.4 补充

前段时间太忙，一直没有更新。今天有点空闲，再更新两道题。陶哲轩实分析 3.4.10 和 3.4.113.4.10(1) $ \forall x \in (\cup_{\alpha \in I} A_\alpha) \cup (\cup_{\alpha \in J} A_\alpha)$ 有 x∈(∪α∈IAα)x \in (\cup_{\alpha \in I} A_\alpha)x∈(∪α...
复制链接

扫一扫