- 1、本文档共68页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第一讲 数系及扩充1
初等代数研究 第一讲 数系的扩展 一、数系的扩展顺序、方法、原则 在干绳最远的一行一个结代表1,次远的一个结代表10,如此等等. 秘鲁的印第安人的结绳法 (2)由于生产力的发展,在土地丈量、天文观测、水利工程等方面的需要,正分数运应而生。据史书记载,三千多年前埃及纸草卷中已有关于正分数问题的记述。引进正分数是数的概念的第一次扩充。 (二)数系的扩展方法和原则 近代数学关于数的认识,是在总结数的历史发展的基础上,用代数结构(结构主义观点)和公理系统加以整理而建立起来的。 (2)构造法,即从理论上构造一个集合,然后指出这个集合的某个真子集与先前的同构。 二、自然数理论与数学归纳法 1、自然数的基数理论 伽利略的困惑 2、自然数的序数理论 皮亚诺(G.Peano)在1889年提出自然数的公理,建立了自然数的序数理论,以“集合”、“后继”为原始概念,用一组公理刻划: 公理I说明1是自然数, 公理III说明1是最前面的自然数, 公理IV说明N中任何数都有唯一的后继元,且不同数的后继数也不同。 应用数学归纳法证明有关自然数的命题时应注意: 1、第一步是奠基部分,归纳法原理的两步缺一不可,否则将导致矛盾; 2、在证明推导第二步时,一定要用归纳假设的结论作为第二步推理的基础。 3、数学归纳法是建立在“潜无限”的观念基础上,推导过程看似一个有限的过程,但是在逻辑上保证命题对“一切自然数”都正确。用“有限”体现“无限”的过程。 正确理解“潜无限” 三毛悖论:“任何有头发的人都是秃子”。 最小数原理 最小数原理是第二数学归纳法的逻辑基础和理论依据。 “瑞雪兆丰年”与数学归纳法 数学归纳法考察了以下能力倾向: 数学归纳法 数学归纳法涉及三种题型: 1、直接证明型 2、探讨求索型 3、变式演绎型 (探讨求索型问题) 解题思维过程: 尝试——观察——归纳、猜想——证明 即从特殊关系中概括一般规律,建立猜想,给出严格证明。 三、平静地接受一些无理数 (一)无理数的起源和发展 万物皆数 “万物皆数”理论:数是万物的本原;数产生万物,数的规律统治万物。1是最神圣的数字,1生2,2生诸数,数生点,点生线,线生面,面生体,体生万物。 毕达哥拉斯 5、《周易.系辞上》有云:“河出图,洛出书,圣人则之”——“河图”、“洛书”。 公元前500年,古希腊毕达哥拉斯学派的弟子苏帕萨斯发现了一个惊人的事实: (2)毕达哥拉斯学派的徽章 这一发现与毕达哥拉斯学派“万物皆数”的哲学理论极不和谐,引起了该学派领导极度惶恐和恼怒,认为它动摇了他们在学术上的统治,是致命的打击。 苏帕萨斯因此被囚禁,受到百般折磨,最后被抛入大海,葬身鱼腹,为科学献身。 然而,真理是淹没不了的,人们为纪念这位“科学的星座”,就把不可通约的量改名为“无理数”。 (二)无理数的定义 定义1(实数的无限小数说)全体有限小数和无限小数组成的集合称为实数集。无限不循环小数称为无理数。 2、所谓的“证明” 3、极限求和法 定义2 (康托的基本序列说)有理数的基本序列的等价类称为实数. 基本思想:把无限小数看作是一个有限小数序列的极限。 定义3(戴德金分割说)有理数的戴德金分割称为实数,有端点分割称为有理数,无端点分割称为无理数。 (三)一些无理数的证明 实数的鬼魂——虚数 背景:当无理数的位置确定后,人们又发现即使使用全部的有理数和无理数,也不能解决代数方程的求解问题。 12世纪的印度大数学家婆什伽罗都认为这个方程是没有解的。他认为正数的平方是正数,负数的平方也是正数,因此,一个正数的平方根是两重的;一个正数和一个负数,负数没有平方根,因此负数不是平方数。这等于不承认方程的负根的存在。 16世纪,卡尔达诺的《大衍术》第一次大胆使用了负数平方根的概念。使用负数平方根,就有可能解决四次方程的求解问题。虽然他写出了负数的平方根,但他却犹豫不次,他不得不声明,这个表达式是虚构的,想像的,并且称它为”虚数”。 1797年,威赛尔给出了虚线的图像表示才确立了虚数的合理地位。他和阿尔干一起借助于17世纪法国数学家
文档评论(0)