角谷猜想 课程分享16
这是通识选修课《经济研究中的计算方法》第六讲《不动点定理》的一个例子。
一、角谷静夫
1941年日本数学家角谷静夫又将布劳威尔的结果推广到点列集映射上去。
以前所有不动点定理的证明都是存在性证明。20世纪60年代中期逐渐发展起构造性证明,其方法不断发展和改进。这些定理可以从单值映射推广到集值映射,除微分方程理论外还常用于对策论和数理经济学。
Kakutani Fixed Point Theorem,现在一般的经济学书籍都翻译成卡库塔尼不动点定理,实际上Kakutani是一个著名的日本数学家,名字叫做角谷静夫(Shizuo Kakutani),所以按照数学界翻译方法译成角谷不动点定理比较合适。
角谷静夫(1911年8月28日 - 2004年8月17日 ),日本著名数学家。耶鲁大学教授。毕业于东北帝国大学理学部数学科。大阪府出生。
二、角谷猜想
角谷静夫在不动点领域做出了非常杰出的贡献,并且以角谷猜想而闻名于世。角谷猜想是这样的:“一个自然数反复进行下列两种运算,最后结果总会是1:对于偶数,除以2;对于奇数,乘3加上1。”
例如,N=6,反复进行上述两种运算,依次得到的数分别是:6,3,10,5,16,8,4,2,1。
1976年的一天,《华盛顿邮报》于头版头条报道了一条数学新闻,说的事就是上面这个题:
1970年代中期,美国各所大学校园内,人们都像着魔一般,废寝忘食地玩弄一种数学游戏。这个游戏十分简单:
任意写出一个(非零)自然数N,并且按照以下的规律进行变换:
如果是个奇数,则下一步变成3N+1;
如果是个偶数,则下一步变成N/2。
不止是学生,甚至连教授与学究都纷纷加入这场吸引人的游戏中。为什么这个游戏的魅力经久不衰?因为人们发现,无论N是怎样一个数字,最终都无法逃脱回到1。准确地说,无论N是什么数字,最终都会经历4-2-1循环,最后得到的数字1,从没有那个自然数逃出这样的宿命。
此猜想亦被称为3N+1猜想、冰雹猜想。但至今无人证明,也无人推翻。1996年,B.Thwaites悬赏1100英镑来解决这个猜想。
多年前,有人向匈牙利数论学家保尔·厄尔多斯(Paul Erdos, 1913-1996)介绍了这个问题,并且问他怎么看待现代数学对这问题无能为力的现象,厄尔多斯回答说:“数学还没有准备好来回答这样的问题。”
角谷静夫曾用计算机验算到700亿,并未出现反例。1992年李文斯(G.T.Leavens)和孚门南(M.Vermeulen)也以计算机对小于5.6万亿的正整数进行验证,也未发现反例。
那么,这个猜想与不动点定理有什么关系呢?且看,猜想就是,有一个整数函数f(N)=1,那么设F(N)=Nf(N)=N,即F(N)在整数域中的每个点都是不动点。这是很奇特的函数。
三、角谷猜想的来历
版本1.这个猜想大约是在20世纪30年代被提出来的。在西方,它常被称为西拉古斯(Syracuse)猜想,因为据说这个猜想首先是在美国的西拉古斯大学研究的。
而在东方,这个猜想由将它带到日本的美籍日本数学家角谷静夫(Shizuo Kakutani)的名字命名,被称做角谷猜想。除此之外,它还有着一大堆其他各种各样的名字,这些名字大概都和传播、研究它的数学家或者地点有关,如,克拉兹(Collatz)问题,哈斯(Hasse)问题,乌拉姆(Ulam)问题,等等。
版本2.1940-1950年代,日本一位中学生发现这个奇妙的“定理”,请角谷教授证明,而教授无能为力,于是产生角谷猜想。
版本3.角谷静夫自己在1950年代发现的。
四、角谷猜想与蝴蝶效应
与角谷猜想相反的是蝴蝶效应,初始值极小误差,会造成巨大的不同;而3N+1恰恰相反,无论多么大的误差,都是会自行的恢复。
同时冰雹猜想与蝴蝶效应的逻辑关系恰好相悖。蝴蝶效应蕴含的原理是:极小差异,会造成结果的巨大不同。而冰雹猜想恰恰相反,无论刚开始存在多么大的误差,最后都会自行修复。这也是冰雹猜想最为神奇之处。
第七讲将介绍蝴蝶效应。
注:2019年有人说已证明了角谷猜想,但这个说法未见正式期刊发表。