超越数存在性证明与判断研究-张莹.pdfVIP

， 2009 年第36 期 经济研究导刊 No．36 2009 总第74 期 ECONOMIC RESEARCH GUIDE Serial No．74 超越数存在性证明与判断研究 张 莹 （无锡机电高等职业技术学校 机电工程系，江苏无锡 214028） 摘 要：由于有理数域在无限这方面存在不完备，CANTOR 构造了实数系统，使实数域完备。从而引起人们对超 越数的观察，在证明了超越数的存在性后，CANTOR 给出了一种简单构造超越数的方法，刘维尔和林德曼也做了相 关研究，e 和π 是目前所发现的大量超越数中最常接触到的两个。 关键词：超越数；代数数；CANTOR 证明；构造判断；超越性 （ ） 中图分类号：G642.0 文献标志码：A 文章编号：1673－291X 2009 36－0276-03 - q |+ |q - q | ε + ε =ε。所以｛q ｝也是一个有理数基本 引言 n 0 m 0 2 2 n 序列。 数起源于数，一个一个地数，也就有了自然数。然而，自 现在要问：“如果｛q ｝是一个有理数基本序列，是否也一 从人类从原始社会开始计数起，直到 19 世纪以前的漫长历 n 史中，几乎没有人感到需要给数加以严格的定义。随着数学 定收敛到一个确定的有理数呢？”回答是否定的。 的发展———尤其是十七八世纪，数学分析蓬勃发展———到了 考察有理数基本序列 {q *}，其中：q *=1+ 1 + 1 + n n 1 ！ 2 ！ 19 世纪，由于分析学本身逻辑基础不严密，在前进中出现了 1 +…… 1 ，n=1,2,3,这里给出的{q *}是一个有理数的 困境，特别是B.Bolzano，K.Weierstrass ，B.Riemann 等人先后举 3 ！ n ！ n 出了处处连续而不可微函数的例子，使数学界大为震惊。人 基本序列，但是不收敛于任何一个有理数。 们感到不能把分析学的理论系统建筑在不可靠的几何与物 （二）CANTOR 实数系统的构造 理的直观臆想上，而必须建立在严密的逻辑基础上。也就是 正因为有理数域有着本质上的缺隙———“不完备”性，就 说，数学分析的理论奠基，必须有严格的实数理论。1889 年， 决定了有理数域不能作为分析学立论的基础，而必须寻求新 在