[其他] 有限項集合一定存在最大/最小元嗎？

看板Math作者 (高能兒)時間9年前 (2016/08/11 16:17), 9年前編輯推噓9(9推 0噓 20→)
留言29則, 7人參與, 最新討論串1/1
若S為一有限集合 那是否集合內一定存在一個元素s1滿足 所有的s屬於S都小於等於s1? 如果一定有最大/最小元，請問該如何證明>< ----- Sent from JPTT on my Asus ASUS_Z00AD. -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 180.204.37.55 ※ 文章網址: https://www.ptt.cc/bbs/Math/M.1470903461.A.C33.html
→
08/11 16:34, , 1F
拿一個和其他比 取小的那個 比過丟掉 有限步會做完
08/11 16:34, 1F
我也是這樣想的，我就卡在不知如何證明有限步驟會做完 ※ 編輯: ppu12372 (180.204.37.55), 08/11/2016 16:51:32 我利用三一律，先在集合中任取一個元素，跟所有元素比較(包含取的那個元素)然後刪掉小 首先確定不論我做幾步，做完後新的集合元素量都大於等於1 再來，我做的每一次新集合的元素量減前一個集合的元素量一定大於等於零
推
08/11 16:55, , 2F
用數學歸納法就可以了
08/11 16:55, 2F
※ 編輯: ppu12372 (180.204.37.55), 08/11/2016 17:02:49
推
08/11 17:05, , 3F
08/11 17:05, 3F
哦哦這個證明漂亮！ 謝謝^^
→
08/11 17:06, , 4F
自然數有良序性質: 每個子集合都有最小元素
08/11 17:06, 4F
→
08/11 17:06, , 5F
假設做不完 你會得到一個一直遞減的元素量集合
08/11 17:06, 5F
→
08/11 17:07, , 6F
每個元素量都是自然數 但沒有最小元素就矛盾
08/11 17:07, 6F
推
08/11 17:08, , 7F
補充說明: n 是個數，用數學歸納法就可以得到可數
08/11 17:08, 7F
→
08/11 17:08, , 8F
集合必定有最大元素，所以有限集合一定有最大元素
08/11 17:08, 8F
※ 編輯: ppu12372 (180.204.37.55), 08/11/2016 17:12:25
→
08/11 23:21, , 9F
Well-ordering principle
08/11 23:21, 9F
→
08/12 02:22, , 10F
不用到Well-ordering principle
08/12 02:22, 10F
→
08/12 02:22, , 11F
Well-ordering principle等價Axiom of Choice
08/12 02:22, 11F
→
08/12 02:22, , 12F
但是這有縣級的情況在ZF裡就可以做了
08/12 02:22, 12F
推
08/12 03:31, , 13F
前提有說是自然數的子集合嗎
08/12 03:31, 13F
推
08/12 10:04, , 14F
a811612大的字好漂亮！
08/12 10:04, 14F
→
08/12 11:44, , 15F
自然數的well-ordering property用數歸就行了
08/12 11:44, 15F
→
08/12 11:45, , 16F
S不見得是自然數子集合 但集合大小(元素個數)是
08/12 11:45, 16F
→
08/12 12:30, , 17F
對沒有序的集合這問題沒有意義，直接任取兩元素定
08/12 12:30, 17F
→
08/12 12:31, , 18F
做最大最小，其他的無法比較，不限有限集合。
08/12 12:31, 18F
推
08/12 12:44, , 19F
||
08/12 12:44, 19F
→
08/12 14:40, , 20F
好吧，我又自動補正了...
08/12 14:40, 20F
推
08/13 04:32, , 21F
所以這問題正確問法是:在有限集上定義order 則必有
08/13 04:32, 21F
→
08/13 04:33, , 22F
maximal/minimal element
08/13 04:33, 22F
→
08/13 04:36, , 23F
或者問:在有限集上定義linear order 則必有greatest
08/13 04:36, 23F
→
08/13 04:37, , 24F
/least element
08/13 04:37, 24F
推
08/13 15:16, , 25F
任意的 order 不見得有，例如 discrete order, 只
08/13 15:16, 25F
→
08/13 15:16, , 26F
有自己可以比較，其他都不行。
08/13 15:16, 26F
→
08/13 20:57, , 27F
maximal/minimal elem. 和 greatest/least elem.
08/13 20:57, 27F
→
08/13 20:57, , 28F
定義不一樣啊
08/13 20:57, 28F
推
08/14 03:58, , 29F
啊…對。
08/14 03:58, 29F
‣ 更多 ppu12372 的文章
文章代碼(AID): #1Nh3Ibmp (Math)