- 1、本文档共22页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
自然数的序数理论 序数理论 皮亚诺从“集合”、“后继”及“1是自然数”这3个原始概念和4条公理(即皮亚诺系统)出发,运用公理化方法建立自然数的序(顺序)数理论。 1.皮亚诺公理 定义6:一个非空集合N的元素叫做自然数, 如果N元素间有一个基本关系后继/,并满足下列公理: (1)1∈N,对任意a∈N,a/≠1。 (2)对a∈N,有唯一的后继元素a/, (即a=b→a/=b/)。 (3)1以外的任何元素,只能是一个元素的后继元素(即a/=b/→a=b)。 (4)(归纳公理)若集合M是自然数集N的子集,且10 1∈M;20 a∈M→a/∈M,则M=N。 选取适当的记号(习惯上用阿拉伯数码及十进位记数法)表示自然数,得自然数列 1,1+=2,(1+)+=3,3+=4,…… 数学归纳法的标准形式(也称第一数学归纳法) 设P(n)是关于自然数n的命题,若 10(奠基)P(n)在n=1时成立; 20(归纳)在P(k)(k是任意自然数)成立的假定下可以推出P(k+1)成立, 则P(n)对一切自然数n都成立。 证明思路:设集合M是使P(n)成立的所有自然数n组成的集合,证M=N即可。?? 2.自然数运算:加法和乘法的归纳定义 定义7:加法定义:(1)设a∈N,则a+1=a/; (2)设a,b∈N,则a+b/=(a+b)/, a+b叫做a和b的和。a和b叫做加数。 定义8 :乘法定义:(1)设a∈N,则a·1=a; (2)设a,b∈N,则a·b/=a·b+a, a·b叫做a和b积。a叫被乘数,b叫乘数。 该定义给出了自然数乘法和加法的关系: a·b=a+a+ …+a(b个a相加) 例 、计算3+7和3 ·7。 加法与乘法的五条运算律 a+b=b+a a+(b+c)= (a+b)+c (a+b)c=ac+bc ab=ba a(bc)=(ab)c。 序数理论的运算律 例.自然数的加法满足结合律: 设a,b,c∈N,则a+(b+c)=(a+b)+c。① 证明加法交换律:a+b=b+a. 证明加法交换律:a+b=b+a. ① 1)首先证明对于任意的a ∈N,有a+1=1+a; 2)取定a,设M是使等式①成立的所有b的集合,那么当b=1时,由1)知1∈M; 假设b∈M,即a+b=b+a, 如何证明b/ ∈M呢? 根据归纳公理,M=N. 即①对a,b∈N都成立。 3.序数理论下的自然数顺序 1)自然数大小定义 定义9 若a,b∈N,且存在k∈N使a+k=b,则称a小于b,记作ab;也称b大于a,记ba。 2)以上顺序具有对逆性、传递性与三分性 三分性 例4.对任何a,b∈N,在ab,a=b,ab中有且只有一个成立。 思路:先证ab,a=b,ab至多有一种成立; 用定义证。 再证在ab,a=b,ab中总有一个成立。 用归纳公理证。 加法和乘法的性质 定理6(加法单调性) 设a,b,c∈N,则 (1)a=b→a+c=b+c; (2)ab→a+cb+c; (3)ab→a+cb+c。 定理7(加法消去律)即加法单调性的反面。 乘法有类似的性质。 自然数集的性质 自然数集的性质1~3 性质1、自然数集是有序集。 何谓有序集?指该集合中规定了顺序关系,且它具有传递性和三分性。 性质2、自然数集具有阿基米德性质: 如果a,b∈N,则存在n∈N,使得nab。。 证明:取n=b+1。 性质3 、自然数集具有离散性: 任意两个相邻的自然数a与a/之间不存在自然数b,使aba/。 自然数集的性质4——最小数原理与数学归纳法 性质4 、最小数原理: 自然数集的任一非空子集中必有一个最小数。 思路:先证自然数集N有最小数1; 再用反证法证N的非空子集有最小数。 设A是自然数集N的非空真子集,假设A内没有最小数,则1不属于A. 设T={x|x∈N,且对任意a∈A,xa},(关键) 则1∈T。 假设n∈T,倘若n+1∈A,则n+1成为A中的最小数,与假设矛盾,所以n+1∈T. 由归纳公理知T=N,从而A=ф,与A非空矛盾。 所以,N的任何非空子集都有一个最小值。 第二数学归纳法 推理格式:设P(n)是关于自然数n的命题, 1)(奠基)P(1)成立; 2)(归纳)假设当n≤k(k为任意自然数)时P(1≤n≤k)成立能推出P(k+1)成立,则P(n)对一切自然数n都成立。 与第一数学归纳法比较,有何不同? 它的归纳假定强化了。 第二数学归纳法的理论基础 (用反证法)假设P(n)不是对一切自然数都成立, 则使P(n)不成立的所有自然数组成的集合M非空。 由最小数原理,M中必有最小数h, 因为P(1)成立,故1不属于M,所以h≠1, 故令h=k+1, 于是p(1),p(2),…,p(k)都成立, 于是由2)知 p(k+1)成立; 但由h属于M,故p(k+1)不成
您可能关注的文档
- 2012河南专升本法学基础复习笔记.doc
- 2012年北京各区县语文九上期末考试试题默写和名著阅读.doc
- 3第二讲老子以弱胜强之道.ppt
- 16MT梁预制后张法预应力施工作业指导书.doc
- 初稿厚板转换层结构设计问题讨论.doc
- 2005年广西壮族自治区普通高中毕业会考政治试卷.doc
- 2012年普通高等学校招生全国统一考试答题适应性训练英语.doc
- 电子商务网站设计原理课程复习题.doc
- 思想道德修养与法律基础复习资料2.doc
- 最新2013年秋湖北民族学院领导职称及机构设置一览表.doc
- (高清版)DB13∕T 5652.7-2023 节水型单位评价导则 第7部分:洗浴场所.docx
- (高清版)DB13∕T 5663-2023 鸟巢蕨设施繁育技术规程.docx
- (高清版)DB13∕T 5706-2023 黄秋葵病虫害综合防控技术规程.docx
- (高清版)DB62∕T 996-2022 绿色食品 双孢蘑菇越冬生产技术规程.docx
- (高清版)DB13∕T 5684-2023 金银花质量调控技术规程.docx
- (高清版)DB13∕T 5699-2023 谷子品种生态适应性评价技术规程.docx
- (高清版)DB13∕T 5341-2021 高水分裹包苜蓿青贮技术规程.docx
- (高清版)DB13∕T 5672-2023 公路路基微型桩加固设计与施工技术规范.docx
- (高清版)DB13∕T 5695-2023 GaN HEM∕T射频器件陷阱效应测试方法.docx
- (高清版)DB62∕T 1161-2022 机修梯田技术规范.docx
最近下载
- 中国慢性阻塞性肺疾病基层诊疗与管理指南(2024年) .pdf
- 跨学科主题学习课程:培养学生高阶思维能力.pptx VIP
- I医院感染人员知识知晓.doc VIP
- TCATAGS84-2024 民航旅客服务数据资源目录与交互.pdf VIP
- 西南18J412 阳台 外廊 楼梯栏杆.pdf VIP
- Q∕CR 749.1-2020 铁路桥梁钢结构及构件保护涂装与涂料 第1部分:钢梁.pdf
- 数控转塔冲床用户使用说明书.pdf
- 广东省肇庆市高要区2025年八年级下学期期末数学试题及答案.docx VIP
- 上海市数学五年级下册期末试卷级(答案).doc VIP
- 机械仿生兽的结构设计及运动实现.docx
文档评论(0)