数学的边界—无穷的递增及连续统假设

数集的可数性

希尔伯特旅馆

希尔伯特旅馆(Hilbert’s Hotel)是德国数学家大卫·希尔伯特(David Hilbert)于1924年提出的著名思想实验,用以阐明无限集合的反直觉性质。这个悖论揭示了可数无限集合的一个惊人特性:部分可以等于整体。在有限世界中,”客满”意味着无法容纳更多客人;但在无限的领域,”客满”的旅馆却总能为新客人腾出空间。

实数的稠密性和完备性的表述

实数的稠密性和完备性说明

问题起点:稠密性中的“洞”

在有理数的直觉世界里,毕达哥拉斯曾认为“万物皆可公度”,即任何长度都可以用整数比例(有理数)来衡量。虽然有理数在实数轴上是稠密的——这意味着在任意两个不同的实数之间,你总能塞进无数个有理数——但这种稠密性并不意味着“填满”。

从实数的小数及连分数表示说起

实数的进一步划分

翻开历史的画卷,古希腊的 毕达哥拉斯学派 曾坚定地相信 “万物皆数”,而他们所理解的 “数” 主要就是整数和整数比——即有理数(或称比例数 ratio number)。对他们而言,宇宙的和谐都可以通过这些比例来表达,这种思想是如此优美,以至于当毕氏学派门徒希帕索斯发现正方形的对角线与其边长不可公度(即 $\sqrt{2}$ 不是有理数)时,传说他被惊恐的同伴扔进了大海。这个“数学史上的第一次危机”,实际上为我们推开了实数世界更广阔的大门。如今我们知道,实数的版图远比毕达哥拉斯时代想象的要大的多:

拉格朗日连分数定理的完整证明

证明所需前置定义或结论

定义1:完全余项(完全商)

完全余项(或称完全商)表示从第 $n$ 项开始包含后面所有尾巴的那部分实数的值。

设 $\alpha = [a_0; a_1,a_2, \dots]$,定义第n个完全余项为 $\alpha_n = [a_{n}; a_{n+1},a_{n+2}, \dots] = a_n + \cfrac{1}{a_{n+1} + \cfrac{1}{a_{n+2}+ \dots}}$