大一萌新问下吧里大佬确界定理的证明，我顺了一遍以后，举了个反
数学吧
全部回复
仅看楼主
level 9
派大星不爱吃香菜 楼主
大一萌新问下吧里大佬确界定理的证明，我顺了一遍以后，举了个反例[泪][泪]
2021年09月29日 00点09分 1
吧务
level 13
斯普林格拉斯
写明确一点
2021年09月29日 00点09分 2
派大星不爱吃香菜
下面书上的内容写的挺明确的[滑稽]我上面的部分，你只需要看红色框框就好
2021年09月29日 00点09分
派大星不爱吃香菜
红色框框是我举了一个反例[泪]我感觉我把自己玩进去了
2021年09月29日 00点09分
斯普林格拉斯
@派大星不爱吃香菜 S是个集合，它怎么大于0？
2021年09月29日 01点09分
派大星不爱吃香菜
@斯普林格拉斯 定理给定的范围就是存在一个集合，它里面有一个或多个非负数
2021年09月29日 01点09分
level 11
Sun_12357
这个东西别学...国内数学分析用无限小数证明确界定理的过程全都是耍流氓
2021年09月29日 01点09分 3
派大星不爱吃香菜
不管证明过程怎样结论，肯定是正确的，但。。好像被我举了反例？[喷]
2021年09月29日 01点09分
派大星不爱吃香菜
第二张图我发错了，我在楼下补了一张这部分的图
2021年09月29日 01点09分
level 9
派大星不爱吃香菜 楼主
@斯普林格拉斯 上面图好像发错了，应该是这一张
2021年09月29日 01点09分 4
斯普林格拉斯
证明错的，别看了
2021年09月29日 01点09分
派大星不爱吃香菜
@斯普林格拉斯 呃，真假？[喷]我这本是华东师范编的，是错的吗？
2021年09月29日 01点09分
斯普林格拉斯
@派大星不爱吃香菜 他只是让你们好理解。正规的证明与实数定义有关
2021年09月29日 01点09分
level 11
玛耶
这个呢？
2021年09月29日 02点09分 5
玛耶
@斯普林格拉斯
2021年09月29日 02点09分
level 13
MOLAUNCHER
确界存在是实数的性质，取决于定义实数的方式，如果用公理法定义实数就是公理或者定理(用其他的完备公理)，如果用无限小数定义就得用无限小数证明
2021年09月29日 04点09分 6
吧务
level 12
Mirion
用无限小数的证明基本上错的。正式的证明需要用到实数定义相关的内容，例如戴德金分割或柯西序列
2021年09月29日 07点09分 7
派大星不爱吃香菜
那课本上对于无理数幂函数的定义是不是也是有问题的？书上说，无理数幂的函数，去寻找最接近该无理数的有理数，作为该无理数函数的幂
2021年09月29日 12点09分
Mirion
@派大星不爱吃香菜 x^n，其中n∈𝐑，由实数定义得n=q(∞)，q是一个柯西数列。定义x^n=(x^q)(∞)，其中x^q，q是有理数，已经过定义。
2021年09月29日 14点09分
吧务
level 12
Mirion
2021年09月29日 07点09分 8
派大星不爱吃香菜
我去搜了柯西数列，还是看不懂定义[委屈]
2021年09月29日 12点09分
1