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

更新时间:2023-09-23 09:22:01 阅读量: 人文社科 文档下载

说明:文章内容仅供预览,部分内容可能不全。下载后的文档,内容与下面显示的完全一致。下载之前请确认下面内容是否您想要的,是否完整无缺。

“R”指的是全体实数集合 “?”一切 “?a?A”,表示对一切属于集合A的元素a

用定义证明没有最大上界

确界存在原理证明的学习笔记

北京师范大学 郇中丹

这是我的学习笔记,里面的有些证明是王峻老师给出的。

确界存在定理是初学数学分析遇到的第一个学习难度大的定理,一是理解难度比较大,还有就是对定理重要性的认识不是很到位。

在看郇中丹的教学视频之前我反复看过这个定理两个不同版本数学分析教材中的证明,一个是陈纪修版,高等教育出版社的《数学分析第二版》(2004年6月第2版),一个是张筑生编著,北京大学出版社的《数学分析新讲》(1990年1月第1版)。当时我认为自己弄懂了这个定理的证明,但当我看到北京师范大学郇中丹的课堂教学视频实录(2006年9月25日的两节课,100分钟)后才发现自己还没有完全明白。郇中丹证明严谨,当然也就更难理解。我花了自己近一个月的业余时间,揣摩他的证明,弄明白了这个定理证明,整理了这份学习笔记。

采取双栏(左窄右宽)的方式是因为这个定理的证明非常长,当你从起点出发走的比较远时,你会发现已经经常会忘了自己到哪里了,又该去哪里,左边的窄栏帮你快速了解自己现在所处的位置,方便你继续前进。

一、定义上界和上确界

在证明过程中会反复用到这两个定义,尤其是上确界的定义,一定要搞明白. 1.上界

设A?R,A不是空集,b?R,如果?a?A,都有a?b,称b是集合A的上界.

下面的问题是显然的.

(1)非空有上界的实数集合A有最大上界吗? 显然没有最大的上界.理由如下:

因为若b是集合A的上界,有b1?b,则?a?A,都有b1?b?a,即a?b?b1,那么b1也是集合A的上界.所

以集合A没有最大的上界.

问题2即确界存在原理

对任何小于b的数c,在集合A中都存在一个元素a大于c.即任何小于b的数都不是集合A有上界.

supA表示集合A有上确界

(2)非空而有上界的实数集集合A有最小上界吗?

在讲清问题2之前需要先定义什么是最小上界?即什么是上确界?(上确界即最小上界) 2.上确界

集合A是实数非空集合,即A?R,A??,如果存在一个实数b,同时满足下面的两个条件: (1) b是集合A的上界;

(2)?c?b,?a?A,并且a>c. 我们称b是集合A的上确界. 这个定义非常重要,下面的证明就要完全符合这个定义才可以.

先不着急,解决两个非常重要的命题.

命题1:上确界的惟一性:上确界至多有一个. 证明:反证法.

若集合A的上确界不止一个,不妨设有两个,即集合A有两个不同的上确界,M1和M2,则M1和M2只有下面两种大小关系:

或者M1?M2.因为M2是集合A的上确界,则根据上确界的定义,任何小于M2的数都不是集合A的上界,也就是说M1不可能是集合A的上界,这与假设冲突,则M1?M2不成立,即M1?M2.

或者M1?M2.同上,这种情况也不成立,即M1?M2.有M1?M2,同时M1?M2,所以M1?M2,即集合A的上确界如果有,则至多有一个.

注意:不是所有的实数集合都有上界,举个最简单的例子,集合:?xx?2,x?R?就没有上界,也就不可能有上确界,所以上面命题的表述是严谨的.

命题2:若非空实数集A?Z,并且集合A有上界,则集合A有上确界,并且supA?A. 证明:(王峻老师给出的证明)

因为整数集的子集A有上界,不妨设b是集合A的上界,即对?x?A,有x?b.

显然集合A非空,在集合A中找一个元素a1?A.

注意:b是集合A的上界

可简述为:

有上界则必有上确界.

构造阶段

取整的规则: 2.3=2+0.3 -1.2=-2+0.8

注意这里的两种情况,非常细致.

因为a1?A,则a1?b,令b0??b??1(这样可以保证b0是整数,并且b0也是集合A的上界),有a1?b0,设m=b0?a1(b0和a1都是整数,则m也是整数,并且是正整数),则数列a1?a1?1?a1?2?...?b0有m+1项,即集合A中大于a1的元素最多有m项,显然这中间有最大的元素,它就是

集合A的上确界.

注:若一个集合A有最大的元素M,则这个最大的元素M一定是该集合的上确界.证明:对?m?M,都有M?A,并且M>m(因为M是集合A中最大的元素),即m不是集合A的上界,于是M就是集合A的上确界.

这种准备工作显然是欧几里得式的,有两个定义,加命题2,再加上比较两个实数大小的规则,就可以证明确界存在原理了.

确界存在原理: 设A?R,A??,若集合A有上界,则集合A有上确界.证明:

大致的思路,先构造一个数,再证明这个数是集合A的上确界.

设m是集合A的一个上界.(符合命题的题设) 先构造一个集合A的一个子集A0,A0???x?x?A?,也就是把集合A中所有元素取整.集合A0显然有上界. 因为集合A0是整数集,并且由上界,由前面证明的命题2可得集合A0有最大数,记为?0,就是说?0是集合A中所有元素整数部分最大的.

有两种情况:

情况1:?x?A,x??0.

则显然在集合A中存在一个元素,它就等于?0,而?0就是集合A的上确界.

不管是情况1还是情况2-1都指的是上确界为有限小数的情况.

后面还要证明上确界为无限小数的情况.

对应的例子是:

?xx?R,x?1.414?

上确界是无限小数的情况

情况2:?x?A,x??0.?0不是集合A的上界,即集合

?xx?A,x??0???.因为在集合A中存在大于?0的元

素,所以上面的集合不为空.取集合A中所有整数部分等于?0的元素的第一位小数.因为小数数位只能取0,1,2,3,??,9,所以有下面的一系列过程:

?0?sup?[x]x?A?(集合A所有元素整数部分的最大数)

?1?sup?x(1)x?A,x??0?(集合A中大于?0数小数部分第一位的最大数)

?2?sup?x(2)x?A,x??0?0.?1?

?3?sup?x(3)x?A,x??0?0.?1?2? ??

?k?sup?x(k)x?A,x??0?0.?1?2...?k?1?

这个过程用的是数学归纳法.先找集合A中整数部分为?0的元素,在这些元素中再找第一位小数的最大值,如此重复下去,直到?k.

情况2下面还有两种小情况:

情况2-1:?xx?A,x??0?0.?1?2...?k???,意思是上面的过程没法继续了,因为集合A的上确界是有限小数,找到第k位小数时就结束了,显然?b?A,b(i)??i,i?0,1,2,......,k.这个元素b就是集合A

的上确界,而且集合A的上确界就存在于集合A本身.

情况2-2:若?xx?A,x??0?0.?1?2...?k???,考虑集合Ak?1??xx?A,x??0?0.?1?2...?k???,并且总是不空的,可以一直进行下去.

可能会出现两种情况:

情况2-2-1:?n?1,?k?9,?k?n.即?k从第n位起开始了

无限小数出现9循环

9循环.这种情况不可怕,把9进上去就可以了. 如果n=1,则从第1位小数开始9循环,令b??0?1. 如果n>1,则令b??0?0.?1?2...(?n?1?1).

下面证明情况2-2-1中得到的b就是集合A的上确界,当然先证明b是集合A的上界.

证明无限小数并且9循环的情况下b是集合A的上界. “如果n=1,则从第1位小数开始9循环,令b??0?1.”由?0的定义可知,?x?A,有?0?x(0),利用不等式的缩放,有?x?A,有b??0?1??0?x(0),可推出b?x,?x?A.b是集合A的上界.

如果n>1,则令b??0?0.?1?2...(?n?1?1).

还是先证这种情况下b是集合A的上界.

x(i)??i,i?0,1,2,...,n?1,则x(n?1)??n?1??n?1?1,

则x?b,?x?A.

再证明两种情况下(无限小数9循环),b是集合A的上确界.

对于某个c(i)??i,i?0,1,2,...,n?1,而c(n)??n(因为此时?n都是9).这是能找到的最大的比b小的数,如果都可以在集合A中找到一个数比这个最大的比b小的数都大,那b就是集合A的上确界.

由?的构造,?y?A,y(i)??i,i?0,1,2,...,n?1, 同时y(i)?9,i?n,n?1,....有y>c,b=supA. 至此,无限小数9循环的证明结束. 再次回到情况2-2:

无限小数没有出现9循环的情况

?xx?A,x??0?0.?1?2...?k???,考虑集合

并且总是不空Ak?1??xx?A,x??0?0.?1?2...?k???,的,可以一直进行下去.

并且没有出现9无限循环的情况,即情况2-2-2: ?n,?k?n,?k?9.令b=?.

还是先证b是集合A的上界.

这里用到反证法,若b不是集合A的上界,则?x?A,x?b.则?n,x(k)??k,k?n,x(n)??n.这与?n的构造矛盾,因此b是集合A的上界.

再证明b是集合A的上确界.

若c

若n=0,有?0的定义,?y?A,y(0)??0?b(0)?c(0).b是集合A的上确界.

若n>0,由?的定义,?y?A,y(i)??i,i?0,1,...,n?1. y(n)?b(n)??n?c(n),即y>c,总之b=supA.

证毕.

本文来源:https://www.bwwdw.com/article/bh9d.html

Top