关闭 More 保存 重做 撤销 预览

   
关闭   当前为简洁模式,您可以更新模块,修改模块属性和数据,要使用完整的拖拽功能,请点击进入高级模式

重播

上一主題 下一主題
»
太子妃
翻译小组
当前积分:4016
帖子    739
新博币    1 提现
提现    0
     
    1770 0 | 显示全部楼层 |倒序浏览
    希尔伯特旅馆悖论是一个与无限集合有关的数学悖论,由德国数学家大卫·希尔伯特提出。

    [micxp_threadbk] [micxp_title] 旅馆悖论 无限个新客人 无限个客车且每个客车有无限客人 分析 宇宙哲学争论 参见 参考文献 参考资料 外部链接 [/micxp_title] [#] 假设有一个拥有可数无限多个房间的旅馆,且所有的房间均已客满。或许有人会认为此时这一旅馆将无法再接纳新的客人(如同有限个房间的情况),但事实上并非如此。 [##] 另外,我们还能使可数无限个新客人住到旅馆中:将1号房间原有的客人安置到2号房间、2号房间原有的客人安置到4号房间、n号房间原有的客人安置到2n号房间,这样所有的奇数房间就都能够空出来以容纳新的客人。 [###] 我们甚至能够将可数无限个客车上的人(其中每个客车上有可数无限个客人)安排进旅馆。不过,这需要有一个前提条件:所有客车上的每个座位都已经编好了次序(即旅馆管理员对客人的安排满足选择公理)。首先,如同前面一样将所有奇数房间都清空,再将第一辆客车上的客人安排在第3n号房间(n=1, 2, 3, ...)、第二辆客车上的客人安排在第5n号房间,以此类推,将第i辆客车上的客人安排在第pn号房间(其中,p是第i+1个质数)。 另外,还能够通过客车的车牌号与客人的座位号来解决这一问题。先将旅馆设为第0号客车,然后将车牌号与座位号交替书写,即能得到客人的房间号码。如果客人是在1729号房间则移动到01070209号房间,如果客人是在198号客车上的4935座则移到第04199385号房间。 [####] 这一问题虽然被称作“悖论”,但事实上它并不矛盾,而仅仅是与我们直觉相悖而已。在有无限个房间时,“每个房间都客满”与“无法入住新的客人”两者其实并不等价。 无限集合的性质与有限集合的性质并不相同。对于拥有有限个房间的旅馆,其奇数号房间的数量显然总是小于其房间总数的。然而,在希尔伯特所假想的这一旅馆中,奇数号房间数与总房间数是相同的。在数学上可以表述为包含所有房间的集合的势与包含所有奇数号房间的子集的势相同。事实上,无限集合都拥有这样的特点,所有无限集合都与它的某些子集的势相同。对于可数集,其势记为 0 {\displaystyle \aleph _{0}} (阿列夫零)。 另外,我们还可以说,对于任意可数无限集,都存在由这一集合至自然数集的双射,即便这一集合(如有理数集)本身就包含了自然数集。 [#####] 由于希尔伯特的这一悖论违反了我们的直觉,因而经常被用于反对实无穷的存在,如美国哲学家威廉·莱恩·柯莱格(William Lane Craig)就曾这样来证明上帝的存在:
    尽管在数学上这种旅馆(或任何无限的事物)并非是不可能的,但从直觉上这样的事物永远不可能存在,不仅如此,任何实无穷都不可能存在。如果一个时间序列能够无限地回退到过去那就会建立起一个实无穷,既然实无穷不存在,那时间就必然有个“起点”。每个事物都有其发生的原因,而时间起始的原因不可能是其他事物,只能是上帝。[1]
    [######]
    • 鸽巢原理
    • 巴拿赫-塔斯基定理
    • 伽利略悖论(Galileo's paradox)
    [#######] [########]
    • Hilbert infinite hotel. M. Hazewinkel. Encyclopedia of Mathematics, Springer. Accessed May 25, 2007.
    • Welcome to the Hotel Infinity!
    • Francis Casiro: Das Hotel Hilbert. In: Spektrum der Wissenschaft Spezial. Unendlich (plus eins). 2/2005, S. 76–80
    [#########]
    • Hilbert infinite hotel. M. Hazewinkel. Encyclopedia of Mathematics, Springer. Accessed May 25, 2007.
    • Welcome to the Hotel Infinity! — The paradox told as a humorous narrative, featuring a hotel owner and a building contractor based on the feuding 19th-century mathematicians Georg Cantor and Leopold Kronecker.
    分类:
    • 集合论悖论
    • 虚构旅馆
    隐藏分类:
    • 自2015年12月连结格式不正确的条目
    [/micxp_threadbk]
    个人签名

    您需要登录后才可以回帖 登录 | 立即注册

    本版积分规则

    快速回复 返回顶部 返回列表