※ [本文转录自 neoneon 信箱] 作者: [email protected] ("爱宕有机奈米负离子猫") 标题: [请问] 庄重明天的高微小考 时间: Sun Jul 10 07:34:17 2016 作者: guestone (羽) 看板: NCTU-Teacher 标题: [请问] 庄重明天的高微小考 时间: 2010/09/27 Mon 23:01:23 关於笔记中 Thm 1.21 後面 claim: y^n=x 接下来要证的是 "y^n不小於x & y^n不大於x => y^n=x" 吗? 如果是我怎麽看不出来他後面在写啥? 有神人可以大略解释一下吗? 囧 -- ※ Origin: 交大次世代(bs2.to) ◆ From: ohya.Dorm8.NCTU.edu.tw 作者从 ohya.Dorm8.NCTU.edu.tw 修改文章於 2010/09/27 Mon 23:01:47 推 roger29：嗯 推荐这个数学之神 09/27 23:10 → roger29：可以来教我随机吗 09/27 23:11 → guestone：酸不用钱 09/27 23:15 推 philo165：印象中 好像是令S={t|t^n < x},y = sup(S) 然後再证 09/27 23:20 推 philo165：(y^n < x or y^n > x) => y not sup(S) 09/27 23:21 推 philo165：然後sup(S)的存在应该是利用S存在上界(如1+x) 09/27 23:24 推 philo165：然後就可以用least upper bound property 09/27 23:24 推 philo165：小弟外行人 只是乱写些sketch 请见谅 <(_ _)> 09/27 23:25 推 sppsorrg：楼上数学之神 09/27 23:28 推 roger29：看不懂QQ 09/27 23:29 → guestone：谢谢ph 但他就是要证y=sup(S)吧? 09/28 00:46 推 philo165：看一下(y^n<x or y^n>x)=> y not sup(S)的contrapositive 09/28 00:57 → philo165：y = sup(S) => (not (y^n<x or y^n>x)) <=> y^n = x 09/28 00:58 → guestone：我想想.. 09/28 01:03 → philo165：小弟猜测结论是sup(S)存在且[sup(S)]^n = x 09/28 01:04 → philo165：也许我会误导你 还是请专家出来解惑比较好 09/28 01:10 推 ppiigg：楼上专家加油 09/28 20:15

※ 发信站: 批踢踢实业坊(ptt.cc) ※ 转录者: neoneon (106.105.175.48), 07/11/2016 22:56:04