[理工] [离散] 集合证明两题

楼主: qazStarStar (我不是派大星)   2021-04-27 17:01:52
1.
静宜资工
Ai={i,i+1,i+2.....}
问i=1 to ∞ 对Ai取交集
这题我在想应该会有一个无限大的数字
但是课本写说取交集后会是空集合
想请问这个观念
2.
清大资应 师大资工 北科资工
令ABC三集合被包含于U
prove that
(A交集B)联集C=A交集(B联集C)
if and only if
C被包含于A
这题我的证法是用文氏图解释
如果相等的话C会被包含于A
https://i.imgur.com/qwOzzVr.jpg
请问这样可行吗?
课本的证法是这样
https://i.imgur.com/7hT4j3I.jpg
但我不太懂为何第五行会让x属于A
以及为何这样就算证明完成
作者: sososlee (尧)   2021-04-27 18:45:00
x属于A交集(B连集C),那x当然也属于A至于为什么证明完成不太懂你的意思,就是若且唯若左推到右然后右推到左
楼主: qazStarStar (我不是派大星)   2021-04-27 19:48:00
谢谢,我了解了
作者: mathtsai (mathtsai)   2021-06-20 19:43:00
你的证明方法完全不是证明你应该先了解iff,再了解怎么证明

Links booklink

Contact Us: admin [ a t ] ucptt.com