- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
数学分析郇中丹02实数理论
* 加法定义 定义: 设x,y?R. 定义x与y的和为 x+y=sup{sn(x)+sn(y) | n?N} 这个定义是有意义的: 集合{sn(x)+sn(y) | n?N} ??, 且有上界[x]+[y]+2. 当x,y?Q为有限小数时, 上述加法与有理数的加法一致. * 负元和减法 负元: 设x?R. 若x为有限小数,即存在k: x(k)0, 而?nk, x(n)=0. 负元-x定义为: k=0时, (-x)(0)=-x(0), (-x)(n)=0 k0时, (-x)(0)=-x(0)-1, (-x)(k)=10- x(k); ?n?{1,…,k-1}, (-x) (n) =9-x(n); ?nk, x(n)=0; 即k=0时-x=-[x]; k0时-x=-[x]-1+0.(9-x1)…(9-xk-1)(10-xk) 若x为无穷小数, 负元-x定义为: (-x)(0)=-x(0)-1, ?n0, (-x)(n)=9-x(n). 定义: 设x,y?R. 定义x与y的差x-y为x+(-y). 命题1: ?x?R, -(-x)=x, x+(-x)=0. * 实数的符号和绝对值 符号函数sgn: ?x?R, 若x0, sgn(x)=1; 若x0, sgn(x)=-1, sgn(0)=0. 绝对值函数: ?x?R, 如果x?0, x的绝对值|x|=x, 否则|x|= -x 定义: 1?x=x?1=x, (-1)?x=x?(-1)=-x, 0?x= x?0=0 命题: (1) |x|=x sgn(x)=x?sgn(x); (2) x=|x|sgn(x) =x?sgn(x) sn(x) ? A?? A?若?b?R?? * 乘法定义 非负实数的乘法: ?x, y?R, x?0, y?0, 定义x与y的乘积为: xy=x?y=sup{sn(x)?sn(y) | n?N} 这个定义是有意义的: 集合{sn(x)?sn(y) | n?N} ??, 且有上界([x]+1)([y]+1). 一般情形: xy=x?y=sgn(x)sgn(y)|x|?|y| 当x,y?Q为有限小数时, 上述乘法与有理数的乘法一致. * 倒数和除法 倒数: 对于x?R, x?0. 当x0时, x的倒数定义为: 1/x=sup{sn[1/(sn(x)+10^{-n})]|n?N}; 当x 0时, x的倒数为: 1/x=-1/|x|. 除法: 对于x, y?R, y?0, 定义x与y的商为x?y=x?1/y. 命题 2: ? x?R, x?0, x?1/x=1. * 实数的运算性质 加法和乘法满足交换律: a+b=b+a, a?b= b?a与结合律:a+(b+c)=(a+b)+c, a?(b?c)= (a?b)?c 乘法与加法之间满足分配律: a?(b+c)= a?b+a?c 0是加法零元: ?a: a+0=a 1是乘法单位元: ?a: a?1=a 每个数a有负数-a: a+(-a)=0 每个非零数a有倒数1/a: a?(1/a)=1 * 实数序的三歧性和稠密性 实数序的三歧性: ?a,b?R, 则ab, a=b, ab中有且仅有一种情形成立 序与加法和乘法的关系: ?a,b,c?R, ab? a+cb+c ?a,b,c?R且c0, ab? a?cb?c 记号: a?b表示ab或a=b; a?b表示ab或a=b 实数的稠密性: ?a,b?R, ab, ?c?R\Q, d?Q, acdb. * 实数的运算性质的证明 系统的证明留作讨论班的内容,作为同学有余力时研究的一个问题 实数运算性质的证明(附录) 实数序性质的证明(附录) * 习题三 (I) 1. 证明: {a?Q | a0, a^22}是Q中的有上界的非空集合, 但在Q中没有上确界. 2.设x,y?R. 证明{sn(x)+sn(y) | n?N}??, 且有上界[x]+[y]+2. 3. 证明: ?x?R, -(-x)=x, x+(-x)=0. 4. 证明实数的稠密性: ?a,b?R, ab, ?c?R\Q, d?Q, acdb. 5. 证明有上界的非空整数子集有在其中的上确界. * 习题三 (II) 6. 设x?R, x?0. 证明: x ? (1/x)=1. 7. 证明确界的惟一性、上确界是最小上界和下确界是最大下界. 8. 设A, B是R的非空子集. 证明: (1) 若A?B, 则sup A?sup B; (2)若x?A,?y?B满足x?y,则supA?supB;特别若A= {xa|a?I}和B={ya|a?I}满足xa?ya |,则supA?supB; * 习题三 (III) (3)infA=-sup(-A),supA=-inf(-A), 其中-A={-x|x?A}; (4)i
您可能关注的文档
最近下载
- 2025年从优秀村主干中考试录用乡镇街道机关公务员模拟试卷.docx VIP
- 微生物检验技士专业实践模拟试题1知识.doc VIP
- Unit 4 Seasons (说课稿)-2024-2025学年鲁科版五四制英语四年级上册.docx VIP
- 【工程文档】亮化工程技术交底.pdf VIP
- 客专联络线隧道临近既有线控制爆破施工专项方案116(分部控爆法 2013年).doc VIP
- 2025高考信息技术真题及答案2025.doc VIP
- 《自动化生产线安装与调试》课件——项目四 分拣站的安装与调试.pptx VIP
- 合同终止通知函8篇.docx VIP
- 华为公司人力资源管理纲要 总纲.docx VIP
- 川教版可爱的四川7至8年级 主题二 第5课《遍布四川的三国遗迹》 课件.pptx
原创力文档


文档评论(0)