通过视频自学确界原理证明的学习笔记完整整理版zfy.docVIP

“R”指的是全体实数集合 “”一切 “”，表示对一切属于集合A的元素a 用定义证明没有最大上界 确界存在理证明学习笔记 北京师范大学 郇中丹 这是我的学习笔记，里面有些证明是王峻老师给出的。 确界存在定理是初学数学分析遇到的第一个难度大的定理，一是理解难度比较大，还有就是定理重要性的认识不是到位。 在看郇中丹的教学视频之前我反复看过这个定理两个不同版本数学分析教材中的证明，一个是陈纪修版，高等教育出版社的《数学分析第二版》（2004年6月第2版），一个是张筑生编著，北京大学出版社的《数学分析新讲》（1990年1月第1版）当时我认为自己弄懂了这个定理的证明，但当我看到北京师范大学郇中丹的课堂教学视频实录（2006年9月25日的两节课，100分钟）后才发现自己还没有完全明白。郇中丹证明严谨，当然也就更难理解。我花了自己近一个月的业余时间，揣摩他的证明，明白了这个定理证明。 采取双栏（左窄右宽）的方式是因为这个定理的证明非常长，当你从起点出发走的比较远时，你会发现已经忘了自己到哪里了，又该去哪里，左边的窄栏帮你快速了解自己现在所处的位置，方便你继续前进。 一、．1．上界R，A不是空集，R，如果，都有，称b是集合A的上界．．．，则，都有，即，那么也是集合A的上界．．．．2．上确界R，，如果存在一个实数b，同时满足下面的两个条件： (1) b是集合A的上界； (2)，，并且ac．．．．．．和，则和只有下面两种大小关系： 或者．是集合A的上确界，则根据上确界的定义，任何小于的数都不是集合A的上界，也就是说不可能是集合A的上界，这与假设冲突，则不成立，即．．．，同时，所以，即集合A的上确界如果有，则至多有一个．就没有上界，也就不可能有上确界，所以上面命题的表述是严谨的．，并且集合A有上界，则集合A有上确界，并且supA．，有．．．．，则，令（这样可以保证是整数，并且也是集合A的上界），有，设m=（和都是整数，则m也是整数，并且是正整数），则数列有m+1项，即集合A中大于的元素最多有m项，显然这中间有最大的元素，它就是集合A的上确界．．，都有，并且Mm（因为M是集合A中最大的元素），即m不是集合A的上界，于是M就是集合A的上确界．．，，若集合A有上界，则集合A有上确界．．．，，也就是把集合A中所有元素取整．显然有上界．是整数集，并且由上界，由前面证明的命题2可得集合有最大数，记为，就是说是集合A中所有元素整数部分最大的．，．，而就是集合A的上确界．．． 上确界是无限小数的情况 情况2：．．的元素，所以上面的集合不为空．的元素的第一位小数．……,9，所以有下面的一系列过程： （集合A所有元素整数部分的最大数） （集合A中大于数小数部分第一位的最大数） …… 这个过程用的是数学归纳法．的元素，在这些元素中再找第一位小数的最大值，如此重复下去，直到．，意思是上面的过程没法继续了，因为集合A的上确界是有限小数，找到第k位小数时就结束了，显然这个元素b就是集合A的上确界，而且集合A的上确界就存在于集合A本身．，考虑集合，并且总是不空的，可以一直进行下去．即从第n位起开始了 无限小数出现9循环 9循环．． 如果n1，则令．．．”由的定义可知，，有，利用不等式的缩放，有，有，可推出b是集合A的上界．．．，则，则 再证明两种情况下（无限小数9循环），b是集合A的上确界．，而（因为此时都是9）．．的构造，， 同时．yc，b=supA．．，考虑集合，并且总是不空的，可以一直进行下去．令b=．．则这与的构造矛盾，因此b是集合A的上界．． 若n=0，有的定义，b是集合A的上确界．的定义， ，即yc，总之b=supA．．