陶哲轩实分析 3.1节 习题试解
来源:互联网 发布:淘宝怎么购买东西 编辑:程序博客网 时间:2024/05/22 04:24
陶哲轩实分析 3.1节 习题试解
3.1.1 证明集合相等的定义是自反、对称和传递的。
(1) 先证明自反性
(2)对称性 若
因为
所以
(3)传递性
因为
因为
所以
同理
所以
3.1.2 仅使用定义3.1.4 、定理 3.2、定理3.3 证明 ∅,{∅},{{∅}} 以及 {∅,{∅}} 全是不同的
(1) 先证明
(2) 证明
(3) 证明
3.1.3 证明引理 3.1.13 中未证明的结论
(1) 证明集合的并集运算是交换的
所以
(2) 证明
所以:
所以
同理
3.1.4 证明命题 3.1.18
(1) 如果
所以
(2) 证明
所以
因为
所以
所以
因为
所以
3.1.5 A 、B 是集合,证明三个命题 A⊆B 、A∪B=B 、A∩B=A 是等价的
(1)证明
首先
同时
所以
(2)证明
至此,证明了
(3)证明
另外,显然
所以
(4)证明
至此,证明了
因为
所以
3.1.6 证明命题 3.1.28
(a) 证明
由并集定义有
所以
所以
所以
由交集定义有
所以
所以
(b) 证明
显然
只需证明
因为
因为
所以
(c) 证明
显然
所以
显然
所以
(d) 证明
习题 3.1.3 已经证明
这里只证明
所以
所以
所以
(e) 证明
书中已经证明了
也就是要同时满足
也就是要同时满足
也就是要满足
所以
类似的,也可证明
所以
(f) 证明
先证明
(1)
(2)
所以
所以
当
当
所以
所以
所以
类似方法可以证明
(g) 证明
先证明
所以
所以
所以
再证明
反证法,假设
对
(1)
(2)
所以
(h) 证明
先证明
所以
类似可证
所以
证明
所以
类似的
所以
3.1.7 证明方法类似,这里省略了
3.1.8 证明 A∩(A∪B)=A 和 A∪(A∩B)=A
先证明
显然
因此只需证明
所以
再证明
显然
只需证明
其中
所以
所以
所以
3.1.9 A∪B=X,A∩B=∅ 证明 A=X∖B,B=X∖A
因为
所以
所以
所以
类似可证
3.1.10 证明 A∖B 、A∩B 、B∖A 是不交的。他们的并是 A∪B
这里只证明他们的并是
3.1.11 证明替换公理蕴涵分类公理
设分类公理中的命题为
那么可以构造替换公理中的命题
- 陶哲轩实分析 3.1节 习题试解
- 陶哲轩实分析 2.2节 习题试解
- 陶哲轩实分析 2.3节 习题试解
- 陶哲轩实分析 3.2 节 习题试解
- 陶哲轩实分析 3.3 节习题试解
- 陶哲轩实分析 5.1 节习题试解
- 陶哲轩实分析 5.2 节习题试解
- 陶哲轩实分析 5.3 节习题试解
- 陶哲轩实分析 4.1 节习题试解
- 陶哲轩实分析 4.2 节习题试解
- 陶哲轩实分析 4.3 节习题试解
- 陶哲轩实分析 4.4 节习题试解
- 陶哲轩实分析 5.5 节习题试解
- 陶哲轩实分析 5.6 节习题试解
- 陶哲轩实分析 6.1 节习题试解
- 陶哲轩实分析 6.2 节习题试解
- 陶哲轩实分析 6.3 节习题试解
- 陶哲轩实分析 6.4 节习题试解
- 《笨办法学Python》 第34课手记
- Dom15(让图片飞)
- 操作构件
- HYSBZ/BZOJ 1040 [ZJOI2008] 骑士 - 基环树&树形dp
- 深入理解JVM之内存区域与内存溢出
- 陶哲轩实分析 3.1节 习题试解
- LeetCode77. Combinations
- 操作SQL构件
- Windows 7下硬盘安装Ubuntu 13.04图文教程
- Object-C--->Swift之(十一)属性观察者
- HDU-1253 胜利大逃亡 (BFS)
- 【slighttpd】基于lighttpd架构的Server项目实战(7)—http-parser
- [Leetcode]211. Add and Search Word - Data structure design @python
- jQuery1(jQuery介绍及$)