作者qazStarStar (我不是派大星)
看板Grad-ProbAsk
标题[理工] [离散] 集合证明两题
时间Tue Apr 27 17:01:52 2021
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
以及为何这样就算证明完成
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 1.200.28.64 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1619514115.A.92A.html
1F：推 sososlee: x属於A交集(B连集C)，那x当然也属於A 04/27 18:45
2F：→ sososlee: 至於为什麽证明完成不太懂你的意思，就是若且唯若左推 04/27 18:47
3F：→ sososlee: 到右然後右推到左 04/27 18:47
4F：→ qazStarStar: 谢谢，我了解了 04/27 19:48
5F：→ mathtsai: 你的证明方法完全不是证明 06/20 19:43
6F：→ mathtsai: 你应该先了解iff，再了解怎麽证明 06/20 19:44