丢番图逼近

title: 实数的最佳丢番图逼近.
title: 有理数与实数的距离.
content: 无论何种丢番图逼近问题, 都需要定义“距离”。对于实数的有理逼近,要考虑的是有理数 "formula_2" 与实数 "formula_1" 的距离。对此一般有两种定义方式,其一是非常自然的欧氏距离 formula_14,其二是 formula_7 第二种定义方式是有理数所独有的,在丢番图逼近的理论和实践中都很常用,不过这样定义的距离并非一个度量。  这两种距离也可看作只由分母 "formula_4" 决定的。此时,上述第二种定义变为 上式右端的记号在丢番图逼近中很常用。沿用此记号,第一种定义变为 此时不要求 "formula_19" 互素。  对于实数的最佳逼近问题,依“距离”的定义不同,有第一类和第二类之分,二者的结论有所不同。未加限定时,“最佳逼近”一词一般指的是第一类最佳逼近。
title: 问题的提法.
content: 在本节中,对有理数 "formula_2",我们用“优”一词形容它与给定实数 "formula_1" 的距离更接近,此处的“距离”一般是按照1.1节给出的两种定义方式之一。当 "formula_1" 为无理数时,无论按上述哪一种距离,只要分母 "formula_4" 足够大,"formula_2" 总能与 "formula_1" 任意接近。因此,单纯讨论“最优”(意即与 "formula_1" 最接近的)有理数意义不大,还需要对有理数的范围,主要是分母的范围加以限制。这样,给定一个实数 "formula_1" 后,就产生了以下三个自然的问题:  问题1正是经典丢番图逼近领域的一个核心问题,也是后两个问题的基础;问题2可视作问题1的扩展,从某些角度看它的提法甚至更为自然;问题3则可看作问题2的某种反问题。  丢番图逼近领域的最佳逼近一词,一般就指符合问题1中条件的有理数。两种距离都可以考虑,分别对应两类最佳逼近。具体来说,给定一个实数 "formula_1",称有理数 "formula_2" 为 "formula_1" 的第一类最佳逼近,当且仅当对每个与 "formula_2" 不同的有理数 "formula_34",在 formula_35 时恒有 如果其余条件不变,最后的不等式变为 则称 "formula_2" 为 "formula_1" 的第二类最佳逼近。显然,第二类最佳逼近一定是第一类的,反之则未必。例如对于2/3来说,1/2是第一类最佳逼近,但不是第二类的。  对于问题2, 3,依“距离”的定义不同,也有类似的第一类和第二类之分。问题1解决后,不难得到问题2, 3的结论。事实上,后两个问题中所求的有理数一定是一个最佳逼近。
title: 结论.
content: 实数最佳逼近问题与连分数理论有密切联系,后者提供了计算最佳逼近的理论依据和具体算法。下面总假设实数 "formula_1" 的简单连分数表达式为 再设"C" = "p/q"为 "formula_1" 的k阶渐进分数(即"收敛子"),"C" = "p/q"的第t个k阶中间渐近分数(简称"中间分数",又名"半收敛子",参见连分数#半收敛),其中 习惯上认为中间分数不包括渐近分数,因此,上述记号中一般要求 formula_44 此时 formula_45 总在 formula_46 和 formula_47 之间。
title: 第二类最佳逼近.
content: 第二类最佳逼近的结论比较简单:实数的第二类最佳逼近恰是它的简单连分数的所有渐近分数。此时需要注意:"formula_1" 为有理数时,它的简单连分数展开要取最后一位不是1的那个。例如2/3的连分数要写成[0; 1, 2]而不是[0; 1, 1, 1],故此时[0; 1, 1]=1/2不是2/3的渐近分数。事实上,1/2确实不是2/3的第二类最佳逼近。另外,此论断有一个平凡的例外:若formula_49",formula_1" 的第0个渐近分数并非第二类最佳逼近。  对于问题2,给定正整数 formula_51,设 formula_52,则在分母不超过M的有理数中,最优的是第 formula_53 个渐近分数 formula_46  对于问题3,给定一个第二类最佳逼近,它一定是某个渐近分数 "formula_46"("formula_1" 为半整数时有例外,此时 formula_57 也第二类最佳逼近,但对结论没有本质影响),那么比它更优的有理数中分母最小的是 "formula_47"。
title: 第一类最佳逼近.
content: 对于第一类最佳逼近,问题要复杂一些。此时渐近分数当然仍是最佳逼近,但某些中间分数亦是。具体来说,  另一方面,第一类最佳逼近一定是渐近分数或中间分数。为使此论断无例外,需补充定义-1阶渐进分数为1/0,这样可以考虑0阶的中间分数。这里还需要特别注意: "formula_1" 为有理数时,它的简单连分数展开要取最后一位是1的那个。例如2/3的连分数要写成[0;1, 1, 1]而不是[0;1, 2],故此时[0; 1, 1]=1/2是2/3的渐近分数。事实上,1/2确实是2/3的第一类最佳逼近。  总结起来,"formula_1" 的第一类最佳逼近恰有三类:  问题2, 3的结论与上一小节类似。
title: 例子.
content: 考虑自然对数底 e=2.718281828459045235......,其连分数表达式为 它的第二类最佳逼近依次是: 它的第一类最佳逼近依次是: 和渐近分数一样,最佳逼近一般也按分母由小到大排列。  又如圆周率 π=3.145926535897......,其连分数表达式为 它的前几个渐近分数如下: 其中的22/7正是约率,而355/113正是密率。按上面的结论,由于292为偶数,且 故355/113之后的下一个第一类最佳逼近是formula_81。这说明355/113比分母小于16604的任何有理数都更接近π(依欧氏距离),可见密率的精确性。
title: 刘维尔定理与Roth定理.
content: 丢番图逼近理论的基础之一是刘维尔的一个关于代数数逼近的定理:  定理:设无理数formula_1是一个整系数formula_83次多项式的根,则存在常数formula_84,使得对任意两整数 formula_85 恒有  刘维尔定理可用于构造超越数。在这之前,数学家们已利用连分数导出关于平方根与其它二次无理数的许多逼近性质。这个结果后来由Axel Thue等人改进,并导致Roth定理:对于代数数formula_1,将刘维尔定理中的指数由其次数formula_83缩至任意的formula_89(其中formula_90)。之后Schmidt又将此结果推广到一致逼近。这些命题的证明颇为困难,而且不能得到formula_91的确切数值,在应用上有所缺憾。
title: 均匀分布.
content: 另一个主题是模1的均匀分布理论。取一实数序列 formula_92 并考虑其真分数部分;或抽象地说,将其看作 formula_93,即拓扑学中所说的一维圆环 formula_94上的数列。对圆环上的任一段区间,我们研究有限集 formula_95 中有多大比例落在该区间内,并考虑这个比例与区间长度之间的关系。一个序列均匀分布意味着当 formula_96 时,此比例收敛于我们所“期望”的值。赫尔曼·外尔证明了一个基本结论:均匀分布等价于该序列元素的指数和有上界。这表明丢番图逼近与指数和相消的一般问题密切相关,而后者在解析数论的误差项估计中无处不在。
title: 其它.
content: 在Roth定理以后,丢番图逼近论的主要进展与超越理论相关。均匀分布关乎分布的不规则性,因而带有组合学的本性。丢番图逼近论中仍有陈述简单却悬而未解的问题,例如李特尔伍德猜想:对任意两个实数 formula_97,  其中formula_99表示到最近整数的距离。

Summary: 丢番图分析是数论的一个分支。最经典的丢番图逼近主要用于有理数逼近实数,亦即实数的有理逼近相关问题。其中有理数一般用分数形式表达,且一律要求分子为整数,分母为正整数,通常要求是既约分数。

Diophantine approximation: In number theory, the study of Diophantine approximation deals with the approximation of real numbers by rational numbers. It is named after Diophantus of Alexandria.