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

一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九
当我们给直线设置了原点和单位长度，那么这条直线上的各点与数的对应关系就是\quad\quad\quad 当我们给直线设置了原点和单位长度，那么这条直线上的各点与数的对应关系就是当我们给直线设置了原点和单位长度，那么这条直线上的各点与数的对应关系就是
完全精确的实际对应。于是，每个有理数a都可以根据其数字代表的线段长度，在直线上完全精确的实际对应。于是，每个有理数a都可以根据其数字代表的线段长度，在直线上完全精确的实际对应。于是，每个有理数a都可以根据其数字代表的线段长度，在直线上
找到对应的点，正数在原点右侧，负数在原点左侧。有理数零，对应于原点。于是，系统找到对应的点，正数在原点右侧，负数在原点左侧。有理数零，对应于原点。于是，系统找到对应的点，正数在原点右侧，负数在原点左侧。有理数零，对应于原点。于是，系统
R中的每个有理数，都对应且只对应于直线上的一个点。设a，b分别对应于点p，q，且R中的每个有理数，都对应且只对应于直线上的一个点。设a，b分别对应于点p，q，且R中的每个有理数，都对应且只对应于直线上的一个点。设a，b分别对应于点p，q，且
a>b，那么p在q之右。本节的定律1,2,3分别对应于上节的定律1,2,3。a>b，那么p在q之右。本节的定律1,2,3分别对应于上节的定律1,2,3。a>b，那么p在q之右。本节的定律1,2,3分别对应于上节的定律1,2,3。
\quad
三、直线的连续性\quad\quad\quad\quad\quad\quad\quad 三、直线的连续性三、直线的连续性
很显然，直线上有无穷多的点，没有与其对应的有理数。若点p对应于有理数a，那\quad\quad\quad 很显然，直线上有无穷多的点，没有与其对应的有理数。若点p对应于有理数a，那很显然，直线上有无穷多的点，没有与其对应的有理数。若点p对应于有理数a，那
么，众所周知，op的长度是可以利用固定不变的单位长度进行度量的，即，存在一个第三么，众所周知，op的长度是可以利用固定不变的单位长度进行度量的，即，存在一个第三么，众所周知，op的长度是可以利用固定不变的单位长度进行度量的，即，存在一个第三
长度，所谓的“公共度量”，op的长度，以及单位长度，都恰好是这个第三长度的正数倍长度，所谓的“公共度量”，op的长度，以及单位长度，都恰好是这个第三长度的正数倍长度，所谓的“公共度量”，op的长度，以及单位长度，都恰好是这个第三长度的正数倍
(译注，我自己的理解，例如，op=1.3,则第三长度为0.1,单位长度1，是0.1的10倍，而op是0.1的13倍)。
但是古希腊人早已知道并且证明了在给定单位长度的情况下，有些长度是无法公度的（译注，因为这些
点并不位于十进制的固定刻度位置），例如：边长为单位长度的正方形的对角线。如果我们把这个对角
线线段移动到直线上，我们得到一个线段,其长度不是有理数。由此易知，直线上的点的个数无穷多于有
理数域R的有理数的个数。
\quad\quad如果现在，像我们所期待的，从数学角度进一步观察直线的所有现象，就会发现有理数是
缺乏的。必须对有理数构建的工具R，通过创造新数进行升级，使之具备跟直线相同的完备性，或者
说连续性。
\quad\quad上面这些讨论对所有人来说都是非常熟悉的，所以很多人会觉得多余。但是我依然认为这些强调性
的思考是必须的，是在为后面的主要问题做正确的准备。因为，通常的无理数的定义是直接放在其他定
义的扩展概念上-----无理数自身并没有一个严谨的定义-----通过把一种数，解释为另外一种同类数之间
的比较的结果。与之相反，我要求算术要从自身出发，定义出自身。

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

戴德金--连续性和无理数--我自己做的中文翻译第6页
-----------------------------------原文第6页---------------------------------- 即使我们确定直线上的空隙是断续的,也没有什么能阻挡 ...
戴德金--连续性和无理数--我自己做的中文翻译第10页
−−−−−−原文第10页−−−−−\quad\quad\quad ------原文第10页-----−−−−−−原文第10页−−−−− 注意:下面的证明中用IR表示实数域,以区别于表示有理数域的R. ...
戴德金--连续性和无理数--我自己做的中文翻译第7页
−−−−−−−以下为原文第7页内容−−−−−−−\quad\quad\quad\quad -------以下为原文第7页内容-------−−−−−−−以下为原文第7页内容−−−−−−− 并且我们可以 ...
戴德金--连续性和无理数--我自己做的中文翻译第9页
−−−−−−−−−−−−−−−下面是原文第9页−−−−−−−−−−−−−−− \quad\quad如果我们再稍微仔细些研究α>β的情况,显然,小的这个数β如果是有理数,那么当然属于A1A_{1 ...
戴德金--连续性和无理数--我自己做的中文翻译第8页
\quad\quad\quad\quad -----原文第8页------ 第一类中.如果此时,我们对两个分割中的第一类A1和B1进行比较,会有如下结果第一类中.如果此时,我们对两个分割中的第一类A_ ...
戴德金--连续性和无理数--我自己做的中文翻译第3页
一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二三四五六七八九零一二三四五六七八九一二三四五六七八九零一二三四五六七八九零一二 ...
戴德金定理-我自己做的中文翻译第13页
---------------------原文第13页------------------- 那么必然存在一个确定的数α产生了实数系统R的这个分割(δ1,δ2),我称这个α为x的上限, 它总是有限的. ...
数字阅读与创造——读戴德金之三
标题数字阅读与创造--读戴德金之三 17世纪末叶,德国学者莱布尼兹在设想普遍语言可能的时候,从算术加想到了逻辑加.逻辑大概从这个时候开始,就和数学有了一种天然的联系.莱氏的这个设想经历一个半世纪,大 ...
哥德尔定理的背景知识1：戴德金的数观念——哥德尔逻辑与哲学之3
哥德尔定理的背景知识1:戴德金的数观念--哥德尔逻辑与哲学之3 哥德尔的东西有点难度,但既然有了做的念头,也不能轻言放弃.有了这个目标,你就朝着这个目标逐渐逼近好了,即使到不了终点,在这个逼近的过程中 ...
关于戴德金分割的几点思考
谨以此文纪念杨振宁.李政道先生获得诺贝尔物理学奖60周年. 由无理数引发的数学危机一直延续到19世纪,直到1872年,德国数学家戴德金从连续性的要求出发,用有理数的"分割"来定义无 ...

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

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

最新文章

热门文章