对调和级数悖论的深度思考.doc

调和级数悖论的再思考蒋晓云1 黄汉那2 秦桂毅1（1桂林师专数学系 广西 桂林 541001； 2 百色学院数学系 广西 百色 533000）【摘要】文献1宣称证明了调和级数是一个既收敛又发散的级数，经过剖析发现调和级数收敛性证明是一个由直觉和不完全归纳导出的错误。并通过计算几类特殊自然数集合的密度，“巨大的自然数”的分布不能凭单纯的枚举归纳和直觉，必须付诸逻辑（证明、计算）的手段。【关键词】调和级数，直觉，密度，悖论。文献1的作者凭借经常接触的1位数、2位数和3位数的直觉和经验加以类推，得到“含有9的n位自然数”远少于“不含9的n位自然数”，从而得出“含有9的自然数”的倒数级数是收敛的，最终得出一个数学悖论：调和级数是一个既收敛又发散的级数。我们平时很少接触“巨大”的自然数，事实上绝大多数“巨大自然数（位数很多）”都含有9，而不是“含有9的n位自然数”远少于“不含9的n位自然数”，这和人们的直观感觉正好相反。因为所有的n位数共有个，不含数字9的n位数为，所以不含数字9的n位数所占比例为，而，这表明当n较大时，不含9的整数相对地要非常的稀少，或者说当n充分大时，几乎所有的n位整数都含有数字9。因此，文献1导出的悖论其实是一个直觉导出的错误。这个错误告诉我们：单纯的枚举归纳法和直觉可能会欺骗我们，从而导致错误。对于“巨大的自然数（位数很多）”，我们必须付诸逻辑（证明、计算）的手段。1 自然数密度含有9的自然数在全体自然数中到底占有多大的比例？如果要研究这样的问题，我们首先借鉴数论方法中的密率论，引进自然数集合的统计密度概念：定义1 考虑自然数的无穷子集合，表示中不超过的元素个数（即前个自然数中有个是的元素），则如果极限存在，我们就称之为的统计密度，记为。为了有效地计算一些特殊的自然数集合的密度，我们得出了如下结论。定理1 （这里都是自然数）的倒数级数收敛，则集合的统计密度。证明 设，则，作者简介: 蒋晓云(1963 ) ,男,广西桂林市人,桂林师专数学系副教授,主要从事数学教育研究。黄汉那(1954 ) ,男,广西百色市人,百色学院数学系副教授,主要从事数学教育研究。秦桂毅(1961 ) ,男,广西桂林市人, 桂林师专数学系讲师，主要从事数学教育研究。由于收敛，根据柯西收敛准则，即有，又，由阿贝尔变换，有能，即。对固定的，有于是取有，即所以。2 含有9的自然数设是不含有数码9的自然数集合，其倒数级数为： 级数是正项级数，所以是收敛的。由定理1知，不含数码9的自然数集合的密度，这也说明不含9的自然数非常稀疏。反之，含有数码9的自然数集合，设表示不超过的含数码9的自然数个数，表示不超过的不含数码9的自然数个数，则，所以，说明含有数码9的自然数“几乎”与全体自然数一样多。完全相同的方法，我们可以得出：定理2 不含数码的自然数集合的统计密度，而含数码的自然数集合的统计密度。3 完全包含数一个自然数如果同时包含数字，我们称之为完全包含数。在我们日常经常接触的自然数中，几乎没有完全包含数，人们凭直觉也许会认为完全包含数是很稀小的，果真如此吗？我们用逻辑（证明、计算）的手段来论证一下。含数码的自然数集合记为，完全包含数的集合记为，不含数码的自然数集合记为，非完全包含数的集合记为。则这里为自然数集合为空集合，所以。而，即，从而。这表明，几乎所有的自然数都是完全包含数。4 单调不减数码自然数一个自然数的各位数字是单调不减的，我们称之为单调不减数码自然数。设单调不减数码自然数集合是其倒数级数为：由组合数学知识很容易算出：位的单调不减数码自然数共有个，这里,所以，这里所以。由比较判别法知，级数是收敛的，级数和是正项级数，所以收敛，。解决数学问题的信念一般是将经验和直觉加以类推（类比和推广）而得到，一切理论和逻辑推理奠基于人们的直接经验。然而，直觉把握不了的东西也很多，一般地，太大、太小、太快、太慢、太远等等，都是人们感觉难以把握的。这里的“巨大的自然数”，我们必须付诸逻辑（证明、计算）的手段。参考文献：1 张慧. 既收敛又发散的无穷级数J. 陕西科技大学学报,2004,22(4).2 蒋晓云，罗国湘. 调和级数悖论的剖析J. 桂林航天工业高等专科学校,2006,11(2).3 刘玉琏，傅沛仁.数学分析(第三版)M.北京：高等教育出版社，1999.作者简介: 蒋晓云(1963 ) ,男,汉，广西桂林市人,桂林师范高等专科学校数学与计算机科学系副教授,主要从事数学教育研究。黄汉那(19？ ) ,男,广西百色市人,百色学院数学系副教授,主要从事数学教育研究。秦桂毅(1961 ) ,男,汉，广西桂林市人,主要从事数学教育研究。联系电话0