用数学抓狮子此文编译自一篇1938年发表在《美国数学月刊》上的真实论文,原文的题目是《关于狩猎大型猎物的数学定理的研究》,虽然题目有点“雷”,但它极具传播效率地向有兴趣的读者介绍了当时数学和物理学的发展分支
因为版面有限,我们做了删节,如果您感兴趣,请到果壳网查阅原文
Petard是数学家E
Pondiczery的笔名
更有意思的是,E
Pondiczery本身也是一个笔名,是数学家RalphP
Boas,Jr
和同事们长期合作发表论文时虚构的人物
为了叙述简便,我们不妨将提到的“大型猎物”限定为居住在撒哈拉沙漠上的狮子
显然,只需要在形式上加以修改,文中列举的方法便可以自然地扩展到其他的野兽和其他的地域上
数学方法希尔伯特方法:我们将一个锁住的笼子放在沙漠的一个已知位置上,然后引入以下的逻辑系统:公理一:撒哈拉沙漠中的狮子集不是空集;公理二:如果撒哈拉里有一头狮子,那么笼子里就有一头狮子;推理规范:如果P是一个定理,同时有“P蕴含了Q”,那么Q是一个定理;定理一:笼子里有一头狮子
反演几何学方法:我们在沙漠里放一个球形的笼子,然后走进去,之后对笼子进行反演变换
于是狮子在笼子里面,我们在外面
射影几何学方法:我们可以不失一般性地将整个沙漠看成是一个平面
我们将这个平面投影到一条线上,接着将这条线投影到笼子的一个内点
因此目标狮子便也被投影到这个内点上――也就是笼子里
波尔察诺-魏尔斯特拉斯方法:用一条南北走向的线将这个沙漠分成两部分
那么狮子不是在东边就是在西边,不妨设它在西边;再用一个东西方向的线分割狮子所在的部分,于是狮子不是在这部分的南边就是在北边……无限次地进行这个过程,每一步都布下一个足够结实的围栏,而且所围区域的直径趋向于0
于是这头狮子最终被包围在一个周长任意小的围栏里面了
集合论方法:沙漠是一个可分空间,所以它包含一个可数的稠密点集,可以以