作者LandLawrence (Lawrence)
看板Math
標題[代數] 證明空集合是任意集合的子集合
時間Sat Feb 22 18:31:39 2020
感謝這麽多熱烈回應，為了減省討論所需的字數，增加一些定義跟編號方便討論！
A為B的子集合定義:
A所有的元素全都是B的元素，稱為1-1
A不是B的子集合則為：
A的元素不全都是B的元素，稱為1-2
A中存在至少一個元素不為B之元素，為0-2
坊間常看到若要證明空集合｛｝是任意集合S的子集合，出發點是驗證空集合｛｝裡的所
有元素x都是集合S的元素
If x屬於{}, then x屬於S，稱為1-1
然而因為前提x屬於｛｝為假，所以這整個推論為真。
但是我認為同樣
If x屬於{}, then x不屬於S，稱為2-1
這個邏輯推論亦可為真。請問數學及邏輯高手的大大們，是我有誤解了什麼嗎？空集合怎
麼可以是任意集合的子集合也可以不是任意集合的子集合呢？
補充：
存在元素x，x是空集合｛｝的元素且不是S的元素，稱為2-2
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 42.73.37.203 (臺灣)
※ 文章網址: https://webptt.com/m.aspx?n=bbs/Math/M.1582367501.A.564.html
1F：推 annboy : 我有個看法，雖然你寫的兩句都是vacuously true02/22 18:55
2F：推 transk : 你的推論是對的，然而你的推論並不是02/22 18:56
3F：→ transk : 「不是子集合」的滿足條件。02/22 18:56
4F：→ transk : 「空集合不是S的子集合」需要檢查的是02/22 18:56
5F：→ transk : 「空集合裡"存在"某一元素不屬於S」，02/22 18:56
6F：→ transk : 但是空集合裡沒有存在這樣的元素，02/22 18:56
7F：→ transk : 故空集合不滿足「不是S的子集合」02/22 18:56
transik 但是我覺得按照同樣的標準，空集合裡也不存在有在S內的元素，這樣是不是也
不滿足是S子集合的條件。因為我覺得要為S的子集合的條件是，一集合所有的元素都是S
的元素。
8F：→ transk : 抱歉annboy我好像斷到你囧02/22 18:57
9F：→ annboy : 但第二句的contrapositive是FLASE，所以只認第一句02/22 18:57
10F：→ annboy : 沒關係OUO02/22 18:58
11F：→ annboy : 更正一下是FALSE才對 Orz02/22 19:02
annboy 不好意思我不太懂contrapositive，可以說一下怎麼操作嗎～
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 19:34:14
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 19:34:58
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 19:39:19
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 20:08:12
12F：→ annboy : P->Q的contrapositive 是 !Q->!P , google關鍵字就02/22 20:26
13F：→ annboy : 有02/22 20:26
意思是若非Q則非P嗎？如果是，那麼我整理一下。
原文章中，第二個命題的contrapositive 為：
If x屬於S, then x不屬於{}
這不是true嗎？為什麼是false
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 20:37:20
14F：→ annboy : 你說得對，我搞錯了，我想想其他方向 02/22 22:58
謝謝大大，我想好久了想不透這個證明啊～～
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/22/2020 23:00:43
15F：→ Ricestone : 你要連著述詞講，第二個敘述不是用Vacuously True02/22 23:25
16F：→ Ricestone : 一開始的定義是∀x(x∈A→x∈B) 02/22 23:27
17F：→ Ricestone : 而你想表達的第二種是∃x(x∈A and x!∈B) 02/22 23:29
18F：→ Ricestone : 這時第二種不是Vacuouly True，而是它的否定 02/22 23:30
19F：→ Ricestone : 也就是恆為F 02/22 23:31
Ricestone 我好像懂你的意思。我整理一下，原文第二種表達的意思會是
所有在｛｝中的元素，都不屬於S。這句是true，我稱作2-1。
你給的陳述是
存在元素x，x是｛｝的元素且不是S的元素
。這是false，我稱作2-2。
2-2很像非子集合的定義，因為是false，所以不存在元素x是屬於｛｝且不是S的子集合。
但是2-1的推論依然為真，這還是令人很困惑。
甚至我覺得從定義出發，若A為B的子集合，則A所有的元素都是B的元素來看，A非為B之子
集合定義應是並非所有A之元素皆為B之元素，若進而說A至少有一個不為B之元素(0-2)是
有點問題的。因為非子集合定義並沒有明確排除若A不含任何元素是否合並非所有元素皆
為B之元素的範疇。所以我覺得在證明出來空集合是任意集合的子集合前，使用(0-2)不太
妥當。
21F：→ annboy : 這篇是我目前找到最相關的了 可以參考看看02/22 23:46
annboy 這篇好像有講到我的困惑，我邏輯符號運算這兩天才讀，不太流利。待我消化一
下
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 00:44:02
22F：→ Ricestone : 你的問題就是 "不是子集合"的定義錯了02/23 01:56
23F：→ Ricestone : 我寫的第二種才是"不是子集合"的定義，實際上就是02/23 01:57
24F：→ Ricestone : 第一句話的否命題02/23 01:57
25F：→ Ricestone : 講錯了，這不叫否命題，是第一句的否定而已02/23 01:59
26F：→ Ricestone : 你內文講的兩種事情當然都對，但是否子集合不是只看02/23 02:00
27F：→ Ricestone : 你內文這兩句 重點就是你這樣寫沒有量詞02/23 02:00
28F：→ Ricestone : 你要先知道限定範圍之全稱敘述的否定該怎麼變02/23 02:10
29F：→ Ricestone : 我用你的記號，(2-1)我是已經把它寫成容易邏輯推演02/23 02:15
30F：→ Ricestone : 的形式，實際上常見的會是∀x∈A(x∈B)02/23 02:17
31F：→ Ricestone : 而(2-2)常見的敘述就是∃x∈A(~(x∈B))02/23 02:19
32F：→ Ricestone : 你可以看到全稱跟存在這兩種敘述外觀上很像，但其實02/23 02:19
33F：→ Ricestone : 拆開來的樣子是不一樣的，一個是if then，一個是and02/23 02:20
34F：→ Ricestone : 啊我看錯了，我說的(2-1)指的是我給的"子集合"定義02/23 02:49
→ Ricestone : 總之你的2-1無法判斷是否子集合，也就是transk講的 02/23 02:52
Ricestone 是，我們歧異就在非子集合的定義上。因為我認為當引入空集合的定義後，還
應該定義非子集合為：A至少存在一個元素不為B之元素嗎？因為空集合對某些人的直覺來
說顯然也不合子集合的定義：所有A之元素皆為B的元素（1-1）所以我才想應該要有一個
更強的證明是不先以0-2來定義空集合。也就是在有空集合存在的情況下，2-2還能是子集
合定義1-1的否定嗎？
另外2-1雖然不能判斷是否為非子集合，但顯然是非子集合的一種情況，所以我覺得還是
與2-1矛盾。
35F：→ ERT312 : 為何2-1為真會令原po困惑? 2-1的意思不就是空集合是02/23 03:00
36F：→ ERT312 : S的餘集(U\S)的子集。空集是任何集合的子集 自然也 02/23 03:02
37F：→ ERT312 : 會是S'的子集 02/23 03:02
哇哇哇！ERT312高手高手高高手！瞭解！
ERT312 不好意思，我想想又覺得不太對。因為這樣雖然空集合是S'的子集合，但就不是S
的子集了，如此就不是所有集合的子集合
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 08:15:15
38F：推 LPH66 : 所以果然你還是糾結在「子集合」的定義上 02/23 08:17
39F：→ LPH66 : 你的「顯然也不合子集合的定義」即是 Vacaous Truth 02/23 08:18
40F：→ LPH66 : 的概念: 因為前件為假所以整個推論為真 02/23 08:18
41F：→ LPH66 : 而這個推論為真即是子集合的定義 02/23 08:19
42F：推 LPH66 : 也就是說, 這條推論是為 Vacaous Truth 02/23 08:21
43F：→ LPH66 : →空集合符合這個子集合定義→空集合是所有集合子集02/23 08:21
44F：→ LPH66 : 你的問題應該就卡在這個推論串的第二點上吧 02/23 08:21
45F：→ LPH66 : 集合 A 不會既是又不是集合 B 的子集, 所以一旦給了 02/23 08:23
46F：→ LPH66 : 「是 B 的子集合」的定義, 就能得到「不是 B 的子集 02/23 08:24
47F：→ LPH66 : 合」的定義, 這不是你能夠分開另給定義的東西 02/23 08:24
48F：→ Ricestone : 你的符號除了明講2-1跟2-2的以外什麼是什麼？02/23 08:26
49F：→ Ricestone : 是有括號的前面代表你的定義是嗎？ 02/23 08:29
50F：→ Ricestone : 講清楚一點，2-1這定義過強（適用範圍小），當然會02/23 08:32
51F：→ Ricestone : 導致兩種說法中間會不同的狀態啊 02/23 08:32
52F：→ Ricestone : 不對，我被你弄糊塗了 2-1是講空集合不是講子集02/23 08:38
53F：→ Ricestone : 我現在是看不懂你為何說非子集合不應該那樣定義 02/23 08:39
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 08:46:18
54F：→ Ricestone : 不然你可以試著用你的非子集合定義推論子集合定義02/23 08:46
Ricestone 我把編號整理在原文中，我也再想一想你所說。我認為不該以0-2定義是因為1
-1的否定是1-2: A的元素不全都是B之元素。假如有規定一個集合一定至少要有一個元素
，那麼我認為0-2是對的。但是有空集合存在，那麼空集合乍看之下似乎也滿足不全都是B
的元素規範。
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 12:12:28
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 12:36:42
55F：→ Ricestone : 它就同時是S'跟S的子集合 你現在用太多感覺了 02/23 12:23
56F：→ Ricestone : 反正那連結裡面最終想講的跟大家講的一樣 02/23 12:24
57F：→ Ricestone : 你的子集合定義推導出的非子集合的定義不對 02/23 12:24
58F：→ Ricestone : 你這樣大概還會多另一個問題，我先回答 02/23 12:26
59F：→ Ricestone : 屬於跟包含於是不一樣的 02/23 12:26
60F：→ Ricestone : 1-1的否定不是1-2，是0-2 02/23 12:39
61F：→ Ricestone : 你應該要寫成邏輯語言，中文的不放在那邊很尷尬 02/23 12:40
Ricestone 對，我好像知道盲點在哪裡了。
62F：推 Vulpix : 「不全都」就是「有的不是」，要「有」啊…… 02/23 13:49
※ 編輯: LandLawrence (42.73.37.203 臺灣), 02/23/2020 14:03:44