1、定理内容

Dedekind切割定理：设是实数集的一个切割，则或者有最大数，或者有最小数。

2、证明过程

设是中所有有理数所构成的集合，是中所有有理数所构成的集合

从而构成一个有理数集的切割

有三种情况：

（1）中有最大数，中无最小数

（2）中无最大数，中有最小数

（3）中无最大数，中无最小数

对于情况（1）：

下证也是的最大数，而没有最小数

反证，假设不是的最大数，设是的最大数

由有理数的稠密性知，在中必存在有理数

由知，而，与是的最大数矛盾

从而是的最大数    //不是的最大数的反面为什么不考虑无最大数

对于情况（2）：

类似可知没有最大数，的最小数为

对于情况（3）：

切割确定无理数，，有

由于，从而要么，要么

若，下证是的最大数

反证，若不是的最大数，设的最大数是

在中存在有理数，由于，故

又因为，从而，矛盾

故是的最大数

类似的，若，则是的最小数

综上所述，若是实数集的一个切割，则或者有最大数，或者有最小数。  #

最新文章

1. 分布式服务协调技术zookeeper笔记
2. liunx之：ln命令
3. vim 快捷键
4. HTML---总结
5. Ruby On Rails 在线学习好网站
6. Android控件大全(二)——Toolbar
7. How to begin Python learning?
8. Bsie（鄙视IE）
9. Cogs 1709. [SPOJ705]不同的子串 后缀数组
10. Java基础知识强化98：Apache和Tomcat服务器的联系与区别
11. js 跨域的使用
12. vs2010断点使用技巧
13. Ubuntu16.04 server下配置MySQL，并开启远程连接
14. ServerSocket简单例题
15. 还在期待安卓9.0吗？Android 10.0要来了
16. Confluence 6 从一个备份中获得文件附件
17. SpringBoot实现异步
18. Strange Towers of Hanoi POJ - 1958（递推）
19. linux日常命令之二
20. 【Java】 剑指offer(62) 圆圈中最后剩下的数字

热门文章

1. 【刷题-LeetCode】209. Minimum Size Subarray Sum
2. 【解决了一个小问题】golang protocol buffers 3中去掉json标签中的omitempty
3. Spring Boot 3.0.0 发布第一个里程碑版本M1，你的 Java 升到17 了吗？
4. atan2(y,x)和pow(x,y)
5. python14day
6. jsp FN 标签库的使用方法
7. springboot 配置mybatis 配置mapper.xml
8. checklist 编写指南
9. django入门 02 初探app、view、url、templates、static
10. AT3527 [ARC082D] Sandglass