- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
单调有界定理数学术语
01相关概念证明注意事项定理应用目基本信息单调有界定理,是一个数学术语,是指单调有界数列必收敛(有极限),只能用于证明数列极限的存在性。
相关概念
有界性单调性相关概念
单调性对任一数列{xn},如果从某一项xk开始,满足则称数列(从第k项开始)是单调递增的。特别地,如果上式全部取小于号,则称数列是严格单调递增的。同样地,如果从某一项k开始,满足则称数列(从第k项开始)是单调递减的。特别地,如果上式全部取大于号,则称数列是严格单调递减的。单调递增数列和单调递减数列统称单调数列。 ?
有界性对任一数列{xn},如果存在某个实数A使数列的所有项都满足不等式恒成立,即,使得则称这个数列是有下界的,实数A是数列的一个下界,记做;同样地,如果存在某个实数B使数列的所有项都满足不等式恒成立,即,使得则称这个数列是有上界的,实数B是数列的一个上界,记做。如果一个数列既有上界又有下界,则称这个数列是有界的。此时,存在一个正数M,使不等式成立。数列有界性的几何解释是:数列的所有项都包含在零点的M-邻域内。 ?
定理
定理单调有界数列必有极限。具体地说:(i)若数列递增且有上界,则(ii)若数列递减且有下界,则?
证明
证明设数列{xn}单调递增且有上界,接下来用戴德金定理证明{xn}必有极限。分类讨论,如果{xn}从第N项开始所有的项都相等(即数列有无穷多个相等的项),那么由于数列是单调递增的,当nN时,有xn=xN,因此对。即{xn}收敛到xN。如果{xn}中只有有限项相等,即数列从某项开始严格单调递增,那么因为{xn}有上界,可取所有{xn}的上界组成一个数集B,并取A=R/B。则:①由取法可知数集B非空,而{xn}为严格单调递增数列,故。∴。②。③∵A中任何元素都不是{xn}的上界,∴。又∵B中任何元素都是{xn}的上界,∴。故必有。∴由戴德金定理可知,存在唯一实数η,使得η要么是A中的最大值,要么是B中的最小值。但无论是哪种情况,。
应用
应用在一般的教科书中,单调有界定理是通过确界原理来证明的,即通过确界原理知道{xn}有上(下)确界α,再证明{xn}收敛于α。事实上,单调有界定理与确界原理等价,既可以由确界原理得到单调有界定理,也可以由单调有界定理得到确界原理。以下是其证法。问题:试通过单调有界定理证明确界原理。解:不妨设数集S非空有上界,将所有不小于S中的任一元素的有理数排成一个数列{rn},并令{xn}=min{r1,r2,r3...rn}。为更直观理解{xn},举例如下:设S=[1,2]。第一次,取r1=3,则x1=min{3}=3。第二次,取r2=5,则x2=min{3,5}=3。第三次,取r3=2.5,则x3=min{3,5,2.5}=2.5。第四次,取r4=2.2,则x4=min{3,5,2.5,2.2}=2.2……以此类推。显然{xn}单调递减并且有下界(S中任何元素都是{xn}的下界),因此{xn}收敛。设极限为η,并且由上述构造可知,η≤xn≤rn。利用反证法,①若η不是S的上界,即存在p∈S,使pη。取,根据极限的几何意义,存在正整数N,使不等式ηxNη+ε成立。而,从而xNp。这与xN不小于S中的任一元素矛盾。
注意事项
注意事项(1)单调有界定理只能用于证明数列极限的存在性,如何求极限需用其他方法;(2)数列从某一项开始单调有界的话,结论依然成立,这是因为增加或去掉数列有限项不改变数列的极限。
谢谢观看
原创力文档


文档评论(0)