−
−
−
−
−
−
−
以
下
为
原
文
第
7
页
内
容
−
−
−
−
−
−
−
\quad\quad\quad\quad -------以下为原文第7页内容-------
−−−−−−−以下为原文第7页内容−−−−−−−
并
且
我
们
可
以
假
设
u
是
满
足
这
个
条
件
的
最
小
正
整
数
:
其
平
方
乘
以
D
后
,
是
一
个
正
数
t
的
平
方
。
因
为
显
然
并且我们可以假设u是满足这个条件的最小正整数:其平方乘以D后,是一个正数t的平方。因为显然
并且我们可以假设u是满足这个条件的最小正整数:其平方乘以D后,是一个正数t的平方。因为显然
λ
u
<
t
<
(
λ
+
1
)
u
,
\quad\quad\quad \lambda u <t<(\lambda +1)u,
λu<t<(λ+1)u,
数
字
u
′
=
t
−
λ
u
是
一
个
正
整
数
,
当
然
小
于
u
。
如
果
我
们
进
一
步
设
数字u'=t-\lambda u 是一个正整数,当然小于u。如果我们进一步设
数字u′=t−λu是一个正整数,当然小于u。如果我们进一步设
t
′
=
D
u
−
λ
t
,
\quad\quad\quad t'=Du-\lambda t,
t′=Du−λt,
t
′
同
样
是
一
个
正
整
数
,
并
且
我
们
有
t'同样是一个正整数,并且我们有
t′同样是一个正整数,并且我们有
t
′
2
−
D
u
=
(
λ
2
−
D
)
(
t
2
−
D
u
2
)
=
0
\quad\quad t'^2-Du=(\lambda^2-D)(t^2-Du^2)=0
t′2−Du=(λ2−D)(t2−Du2)=0
这
显
然
与
我
们
对
u
的
假
设
矛
盾
。
这显然与我们对u的假设矛盾。
这显然与我们对u的假设矛盾。
\quad\quad
这样,由D产生的分割中的第一类和第二类中的每个有理数x的平方或者<D,或者>D。由此可见,A1中无最大数,A2中无最小数。因为我们可以设
y
=
x
(
x
2
+
3
D
)
3
x
2
+
D
y=\frac{x(x^2+3D)}{3x^2+D}
y=3x2+Dx(x2+3D)
我们得到
y
−
x
=
2
x
(
D
−
x
2
)
3
x
2
+
D
y-x=\frac{2x(D-x^2)}{3x^2+D}
y−x=3x2+D2x(D−x2)
并且
y
2
−
D
=
(
x
2
−
D
)
3
(
3
x
2
+
D
)
2
y^2-D=\frac{(x^2-D)^3}{(3x^2+D)^2}
y2−D=(3x2+D)2(x2−D)3
\quad\quad
此时,如果x是属于
A
1
A_{1}
A1的正数,那么
x
2
x^2
x2<D,此时y>x,且
y
2
y^2
y2<D。则y属于
A
1
A_{1}
A1。但是,如果我们假设x属于
A
2
A_{2}
A2,则有
x
2
x^2
x2>D,y>0,于是y<x,y>0,且
y
2
y^2
y2>D。因此,y属于
A
2
A_{2}
A2。由此可见,这个分割是由非有理数产生的。
\quad\quad
并非所有的分割都是由有理数产生这个事实,说明有理数域R是不完备的,或者是说不连续的。
\quad\quad
只要我们遇到一个由非有理数产生的分割,我们就创造出了一个新的,一个无理数
α
\alpha
α,我们认为其完全由分割cut(A1,A2)产生;我们应该说这个新数
α
\alpha
α对应于这个分割,或者说它产生了这个分割。从现在开始,每一个确定的分割都对应于一个确定的有理数或无理数,只要两个分割本质上不同,我们就说产生这两个分割的数不等。
\quad\quad
为了获得全体实数,即有理数和无理数的有序排列的基础,我们必须研究分别由
α
\alpha
α和
β
\beta
β产生的两个分割
(
A
1
,
A
2
)
(A_{1},A_{2})
(A1,A2)
和
(
B
1
,
B
2
)
(B_{1},B_{2})
(B1,B2)中间的关系。显然,当分割
(
A
1
,
A
2
)
(A_{1},A_{2})
(A1,A2)中的一个,例如
A
1
A_{1}
A1给定之后,这个分割就完全确定了,因为
A
2
A_{2}
A2就是有理数去掉
A
1
A_{1}
A1后剩下的全体有理数。分割中的第一个类,具有这样的特性,如果
a
1
a_{1}
a1是第一类的元素,那么所有小于
a
1
a_{1}
a1的数,都包含在第一类中。(接下页)
戴德金--连续性和无理数--我自己做的中文翻译第7页
最新推荐文章于 2024-07-12 18:02:43 发布