作者jacksoncsie (Nov)
看板Grad-ProbAsk
标题[理工] [高等离散数学] 清大离散对角论证法
时间Mon Nov 29 20:58:35 2021
想问一下这题，
虽然明天可能会公布解答
但想知道我的想法是正确的吗?
https://i.imgur.com/65LRlwN.jpg
我认为的确证明有理数是要透过其digital一对一至x
但题目对映的方式应该是检查所有对映点1~j
应该是这部分有问题 我的想法不知道有没有错?
----------------------------------------------------------
结果是错在最後一句，x is not listed by the correspondence,
and a contradiction accords
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 114.37.61.43 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Grad-ProbAsk/M.1638190717.A.9A7.html
※ 编辑: jacksoncsie (114.37.61.43 台湾), 11/29/2021 20:59:33
1F：推 VF84: 我连题目的证明都看得不是很懂... 11/29 21:54
2F：→ VF84: 他的意思是 x 的第一位小数不同於 x1 的第一位小数、第二位 11/29 21:54
3F：→ VF84: 小数不同於 x2 的第二位小数，以此类推？ 11/29 21:54
4F：→ VF84: 以此类推直到第 k 位？ 11/29 21:56
5F：→ VF84: 如果是这样的话，那它证明的最後一句就只是凭空想像出来的 11/29 21:58
6F：→ VF84: 吧，跟前文毫无逻辑关系可言，很轻易地就能举出反例 11/29 21:58
7F：→ VF84: 所以我在想是不是我没读懂它的证明...( ･胬･ﴠ) 11/29 21:58
8F：→ VF84: 顺便请教一下，这是哪一年那个系所的题目？ 11/29 22:01
9F：推 foogty: 我也认为是最後一句 X是rotation number 那里有问题 11/29 22:01
10F：→ jacksoncsie: 这某堂课的作业，不是考古 :) 11/29 22:09
11F：→ jacksoncsie: 了解，前面题目证好像是针对0~1之间为不可数无穷集 11/29 22:12
12F：→ jacksoncsie: 跟题目要证此为可数的最後论述无关 是吧 11/29 22:13
※ 编辑: jacksoncsie (114.37.61.43 台湾), 11/29/2021 22:58:00
13F：→ TaiwanFight: 错的地方在 最後那一句结论", and a contradic...." 11/30 09:21
14F：→ TaiwanFight: 下结论前必须再证 创造出来的小x属於X 11/30 09:22
15F：→ TaiwanFight: (这是原对角线证法能成立之处) 11/30 09:23
16F：推 BusterButter: 推T大，造出来的x不在大X里 11/30 11:29
17F：推 VF84: 方便请教为什麽不在大 X 里吗？他的证明又是什麽意思？谢谢 11/30 11:40
※ 编辑: jacksoncsie (114.37.61.43 台湾), 11/30/2021 14:27:51
18F：推 kronze7109: 造出来的x每一个digit都与大X里的某xi的i digit不同 12/02 20:45
19F：→ kronze7109: 所以不会在大X 12/02 20:45