作者henry781114 (期王)
看板Math
標題[分析] 空集合的交集是宇集合?
時間Fri Sep 27 12:22:58 2013
拓樸學第一堂課教到這個觀念
證明沒問題(是用反證法證)
但是直觀好難想像
有人對這結果有直觀的想法嗎?
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 140.136.208.186
※ 編輯: henry781114 來自: 140.136.208.186 (09/27 12:52)
推 APM99 :題目是啥? 09/27 13:17
→ CaptainH :應該是沒那種記號... 09/27 17:23
推 APM99 :這當然是錯的 你要怎證? 09/27 18:02
→ suhorng :可能理解有誤喔 09/27 18:02
推 tandem :應該是 index set 為空集合吧 09/27 22:55
推 tandem :www.proofwiki.org/wiki/Intersection_of_Empty_Set 09/27 22:57
推 lin6613 :請問樓上 這網址的題目不是跟原PO說的一樣嗎?? 09/28 06:34
推 lin6613 :∩ψ=U 09/28 06:36
推 itai :它用到真值表FTT的性質 09/28 10:18
→ itai :真值表P is false, 則不管Q對錯與否P→Q都是true 09/28 10:19
→ itai :我一直難以理解這個性質 09/28 10:19
推 Linethan :因為 當P為假的時候 你永遠無法推翻若P則Q 09/28 12:07
推 itai :樓上,那「若P則Q是錯的」無法推翻,又是什麼呢? 09/28 13:37
→ suhorng :古典的世界, 就有「若P則Q」是真的 09/28 13:43
推 Linethan :"若P則Q是錯的" 不是一個conditional statement阿XD 09/28 17:52
推 itai :好吧謝謝樓上,總之接受真值表這個證明就沒那麼奇怪 09/28 20:44
推 recorriendo :這是對的 研究集合論的應該都知道 09/29 00:46
→ recorriendo :當然在正式ZFC集合論裡宇集不存在 所以一般會限制不 09/29 00:48
→ recorriendo :能取空集合的交集(∩S的S限定非空) 09/29 00:49
推 LPH66 :只有我覺得這個結果從某個角度看很自然嗎? 09/29 02:19
→ LPH66 :我是這樣看的: 一集合跟另一集合取交集時 09/29 02:20
→ LPH66 :會把不在另一集合裡的東西給拿掉 09/29 02:20
→ LPH66 :那麼在最開始還沒有跟第一個集合取交集時的那東西 09/29 02:21
→ LPH66 :自然就該是宇集了...有點像是加法的單位元素是 0 09/29 02:21
→ LPH66 :乘法的單位元素是 1 那交集的"單位元素"就是宇集了 09/29 02:22
→ LPH66 :推了半天才想到這或許可以提供給原 PO 當"直觀想法" 09/29 02:23
推 APM99 :也是 要先說明一下U是什麼 09/29 12:53
→ henry781114 :謝謝大家! 09/30 00:07