既然加法已经定义,那么其他的基础运算就可以定义了。即,减、乘、除、乘方、根,对数,
这样我们就到了对加减乘除等这些基本运算的真正证明(如,(√2)⋅(√3)=(√6)),据我所知,这
些证明此前尚未建立。更复杂的运算定义会长的令人恐惧,虽然这些定义都是其固有的,但
是大部分是可以避免的。与之相关的一个非常有用的概念是区间,即,一个有理数组成的系
统A具有下面的特点,如果a和a′在A中,那么所有位于a和a′之间的有理数,都包含在A内。包
含全部有理数的系统R和任何分划的两类都是区间。假设存在有理数a1<A含全部有理数的系统R和任何分划的两类都是区间。假设存在有理数a_{1}<A含全部有理数的系统R和任何分划的两类都是区间。假设存在有理数a1​<A
内的所有数,存在有理数a2>A内的所有数,那么A称为闭区间。可知,存内的所有数,存在有理数a_{2}>A内的所有数,那么A称为闭区间。可知,存内的所有数,存在有理数a2​>A内的所有数,那么A称为闭区间。可知,存
在无穷多这样的a1和a2;整个域R被分为三部分,A1,A,A2,于是有了两在无穷多这样的a_{1}和a_{2};整个域R被分为三部分,A_{1},A,A_{2},于是有了两在无穷多这样的a1​和a2​;整个域R被分为三部分,A1​,A,A2​,于是有了两
个数字,a1,a2,既可以是有理数,也可以是无理数,称为区间的下限和上个数字,a_{1},a_{2},既可以是有理数,也可以是无理数,称为区间的下限和上个数字,a1​,a2​,既可以是有理数,也可以是无理数,称为区间的下限和上
限。下限a1由产生第一类A1的分割产生,上限由产生第二类A2的分割,称限。下限a_{1}由产生第一类A_{1}的分割产生,上限由产生第二类A_{2}的分割,称限。下限a1​由产生第一类A1​的分割产生,上限由产生第二类A2​的分割,称
每个位于a1和a2之间的数为位于区间A内。如果所有A内的数,都是B内的数,每个位于a_{1}和a_{2}之间的数为位于区间A内。如果所有A内的数,都是B内的数,每个位于a1​和a2​之间的数为位于区间A内。如果所有A内的数,都是B内的数,
称A为B的一部分。称A为B的一部分。称A为B的一部分。
当我们试图把有理数的大量算术定理(如乘法结合律(a+b)c=ac+bc)\quad\quad 当我们试图把有理数的大量算术定理(如乘法结合律(a+b)c=ac+bc)当我们试图把有理数的大量算术定理(如乘法结合律(a+b)c=ac+bc)
应用于任意实数时,那些冗长的考虑就会冒出来。但是,实际并非如此。很容易看出,这些
操作都简化为某种连续性的体现。上述讨论可以归纳为下面的通用定理:
“若数字λ是α,β,γ等数字运算的结果,且λ位于区间L内,那么可以得到A,\quad\quad “若数字\lambda 是\alpha,\beta,\gamma等数字运算的结果,且\lambda位于区间L内,那么可以得到A,“若数字λ是α,β,γ等数字运算的结果,且λ位于区间L内,那么可以得到A,
B,C等区间,分别包含数字α,β,γ等数字,这样,这些数字的运算,转为区B,C等区间,分别包含数字\alpha,\beta,\gamma等数字,这样,这些数字的运算,转为区B,C等区间,分别包含数字α,β,γ等数字,这样,这些数字的运算,转为区
间的运算,运算结果是区间L中的一个数字”。如此笨拙的过程,让我们不得不寻找一个方法简
化这些表达式。于是,无极变幅,函数,极限值,这些概念被引入。即使是最简单的算术运算
最好也建立在这些概念之上,这里不再深入讨论。

戴德金--连续性和无理数--我自己做的中文翻译第11页相关推荐

  1. 戴德金--连续性和无理数--我自己做的中文翻译第6页

    -----------------------------------原文第6页---------------------------------- 即使我们确定直线上的空隙是断续的,也没有什么能阻挡 ...

  2. 戴德金--连续性和无理数--我自己做的中文翻译第10页

    −−−−−−原文第10页−−−−−\quad\quad\quad ------原文第10页-----−−−−−−原文第10页−−−−− 注意:下面的证明中用IR表示实数域,以区别于表示有理数域的R. ...

  3. 戴德金--连续性和无理数--我自己做的中文翻译第7页

    −−−−−−−以下为原文第7页内容−−−−−−−\quad\quad\quad\quad -------以下为原文第7页内容-------−−−−−−−以下为原文第7页内容−−−−−−− 并且我们可以 ...

  4. 戴德金--连续性和无理数--我自己做的中文翻译第9页

    −−−−−−−−−−−−−−−下面是原文第9页−−−−−−−−−−−−−−− \quad\quad如果我们再稍微仔细些研究α>β的情况,显然,小的这个数β如果是有理数,那么当然属 于A1A_{1 ...

  5. 戴德金--连续性和无理数--我自己做的中文翻译第8页

    \quad\quad\quad\quad -----原文第8页------ 第一类中.如果此时,我们对两个分割中的第一类A1和B1进行比较,会有如下结果第一类中.如果此时,我们对两个分割中的第一类A_ ...

  6. 戴德金--连续性和无理数--我自己做的中文翻译第3页

    一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二 ...

  7. 戴德金定理-我自己做的中文翻译第13页

    ---------------------原文第13页------------------- 那么必然存在一个确定的数α产生了实数系统R的这个分割(δ1,δ2),我称这个α为x的上限, 它总是有限的. ...

  8. 数字 阅读与创造——读戴德金之三

    标题数字 阅读与创造--读戴德金之三 17世纪末叶,德国学者莱布尼兹在设想普遍语言可能的时候,从算术加想到了逻辑加.逻辑大概从这个时候开始,就和数学有了一种天然的联系.莱氏的这个设想经历一个半世纪,大 ...

  9. 哥德尔定理的背景知识1:戴德金的数观念——哥德尔逻辑与哲学之3

    哥德尔定理的背景知识1:戴德金的数观念--哥德尔逻辑与哲学之3 哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃.有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中 ...

  10. 关于戴德金分割的几点思考

    谨以此文纪念杨振宁.李政道先生获得诺贝尔物理学奖60周年. 由无理数引发的数学危机一直延续到19世纪,直到1872年,德国数学家戴德金从连续性的要求出发,用有理数的"分割"来定义无 ...

最新文章

  1. R语言编写自定义函数自定义ggplot图像中的图例(legend)的位置、图例标题、键值、文本字体大小(title、text、key)、颜色标识的大小、点形状pch的大小
  2. mysql无法插入行_在mysql中数据才插入20多行就报错,求救啊!!!
  3. RHEL-5搭建SSH服务器
  4. Silve37.Silverlight和ASP.NET相互传参的两种常用方式(QueryString,Cookie)
  5. Docker: 解决Centos 7中Permission Denied的问题
  6. 提升PHP性能的21种方法
  7. 云南大学计算机网络期中考试刘春花,实验九基于CRC编码的检错程序的实现.doc...
  8. zabbix3 mysql_mysql分表-zabbix3.x
  9. Js中对id和class属性进行模糊查询
  10. 190811每日一句
  11. 非越狱iPad实现外接键盘全APP五笔输入(IOS14已自带五笔)
  12. qtableview 查询_QTableView 操作SQLite
  13. Linux 磁盘清理
  14. directadmin安装多个php,DirectAdmin安装记录(2018更新)
  15. win怎么在计算机里按日期搜索文件,通用win7系统搜索某时间段内的文件的方法...
  16. 操作系统二轮复习(进程的同步与互斥)
  17. 我对INFOR WMS实施的一些感想
  18. win10 任务栏全透明一步直达
  19. YESCIO:谷歌SEO优化排名的8个核心因素
  20. The Relationship Cure

热门文章

  1. Linux 30岁了,你知道吗?
  2. 计算机四级少选给分吗,计算机四级:考高分的有效途径(转载)
  3. ITellYou结合软碟通安装Win10系统指南
  4. 7-55 查询水果价格
  5. 笔试面试题集(java)
  6. 海龟画图 python太阳花_python海龟绘图实例教程
  7. Game Master(思维 + 贪心)
  8. ESP32-C3编译问题
  9. 忘记准考证号获取四六级成绩的方法
  10. 城市记忆(3)灵州----灵武