实数的十进表示.PPT

实数的十进表示沿Cantor之路多走一步 王昆扬 北京师范大学数学科学学院 (100875) 信箱: wangky@ 主页: /~wangky 问题的提出 “实数”用什么样的数学工具表示？ 《古今数学思想》（M. Kline, 中译本，上海科技出版社，1981年第一版，第四册，以下简称此书此册为《思想》， 41页）： “数学史上最使人惊奇的事实之一，是实数系的逻辑基础竟迟至十九世纪后叶才建立起来。” 1833、1835年“W.R.Hamilton提出了无理数的第一个处理”（《思想》46页） 做这件事的还有：Dedekind，Cantor，Weierstrass等一大批数学家 Dedekind的分割（cut） D氏理论发表于“他的1872年的书中，但他的思想来源却回朔到1858年”（《思想》48页） 介绍Dedekind分割的原文 Dedekind’s language in introducing irrational numbers leaves a little to be desired. He introduces the irrational α as corresponding to the cut and defined by the cut. But he is not too clear about where α comes from. He should say that the irrational number α is no more than the cut. In fact Heinrich Weber told Dedekind this, and in a letter of 1888 Dedekind replied that the irrational number α is not the cut itself but is something distinct, which corresponds to the cut and which brings about the cut. Likewise, while the rational numbers generate cuts, they are not the same as the cuts. He says we have the mental power to create such concepts. --From the page 986 of the book 《Mathematical Thought From Ancient to Modern Times》 by Morris Kline, Oxford University Press, 1972 ) Dedekind于1872年发表“cut”而1888年给Weber回信 说“无理数α并不是分割本身而是某些不同的东西，它对应于这个分割而且产生这个分割。”他说“我们有创造这种概念的脑力”（两段引文见《思想》49页） Cantor的贡献 在他的1883年的文章中， “他从有理数序列开始，这种序列满足如下条件：对于任何一个给定的正有理数ε﹥0，序列中除去有限以外，彼此相差都小于ε，… 。这样的序列它叫做基本序列。每一个这样的序列定义为一个实数,…。两个这样的序列(aν)与(bν)是同一个实数当且仅当| aν- bν|在ν趋向于无穷时趋向于零。” 换言之，Cantor把每个有理数的基本列叫做一个实数，等价的基本列为同一个实数。 《古今数学思想》对上述工作的评价（原文） The irrational number, logically defined, is an intellectual monster （智慧的怪物）, and we can see why the Greeks and so many later generations of mathematicians found such numbers difficult to grasp. ——From the page 987 of the book 《Mathematical Thought From Ancient to Modern Times》 (by Morris Kline, Oxford University Press, 1972 ) Cantor认为分割在分析中出现并不自然 虽然Dedekind的无理数理论，经过上面指出的一些少量修改之后，是完全符合逻辑的，但Cantor认为分割在分析中出现并不自然而加以批评。（《思想》50页） Dedekind