← 返回 帕夫努季·利沃维奇·切比雪夫 简介档案 深度档案
数论逼近论概率论

帕夫努季·利沃维奇·切比雪夫(Пафнутий Львович Чебышёв / Pafnuty Chebyshev)

俄罗斯数学的奠基人——他用不等式给素数分布套上了第一圈紧箍(逼近素数定理),用多项式定义了"最佳逼近"的模样,又把概率论从直觉变成了可严格估计的学问;他创立的圣彼得堡学派培养出马尔可夫与李雅普诺夫,使俄国数学第一次跻身世界一流。

一、生平与时代背景

帕夫努季·利沃维奇·切比雪夫于 1821 年 5 月 16 日(俄历 5 月 4 日)生于俄国卡卢加省的奥卡托沃(Okatovo)村。父亲列夫·巴甫洛维奇·切比雪夫(Lev Pavlovich Chebyshev)是退役军官,早年曾率军抗击拿破仑入侵;母亲阿格拉菲娜·伊万诺娃·波兹尼亚科娃(Agrafena Ivanova Pozniakova)。帕夫努季出生在家族的小庄园里,出身有显赫历史的上层家庭;父母共有九个孩子,其中几位继承了父亲的军旅传统。

他成长的时代,俄国因击败拿破仑而弥漫着强烈的民族自豪感,同时也存在"斯拉夫派"(主张俄国优越、应孤立于欧洲)与"西方派"(曾随军出国、通晓法语德语、主张俄国西化)的争论。切比雪夫的早期教育在家中完成:母亲教他读写,表亲阿夫多季娅·克万季利娅诺娃·苏哈列娃(Avdotia Kvintillianova Soukhareva)担任家庭女教师,教他法语与算术。流利的法语日后使他能自然地与欧洲数学界交流。他还有一位音乐老师,切比雪夫后来提到她"把我的心智提升到精确与分析的高度"。

然而他一条腿比另一条长,自幼跛行(特伦德伦堡步态),无法参加许多孩童游戏,也使父母放弃了让他走家族传统的军官道路。他转而把精力投向数学。1832 年全家迁居莫斯科,他继续在家受教,由莫斯科最好的初等数学教师之一、编写过畅销初等数学教材的波戈列尔斯基(P. N. Pogorelsky,也曾教过屠格涅夫)辅导数学。

1837 年秋,切比雪夫考入莫斯科大学物理数学系。对他影响最大的是 1834 年起任应用数学教授的布拉什曼(Nikolai Dmetrievich Brashman)——布拉什曼兴趣广泛,除机械工程与水力学课程外,还教代数函数积分与概率论。切比雪夫始终承认布拉什曼对其研究方向的决定性影响,称二人有过"珍贵的私人交谈"。

1840—1841 学年,系里举办有奖竞赛,切比雪夫提交论文《方程根的计算》,用反函数的级数展开求解 $y=f(x)$。该文当时未发表(20 世纪 50 年代才刊出),只获二等奖而非本应得到的金质奖章。1841 年他取得学士学位,继续在布拉什曼指导下攻读硕士。

切比雪夫从一开始就以国际认可为目标——他晚年曾反对别人称他为"杰出的俄国数学家",说他分明是个"世界级数学家"而非俄国数学家。他的第一篇论文用法语写成(关于多重积分),1842 年底寄给刘维尔,1843 年发表于刘维尔的期刊;其中一个公式未给证明,紧随其后的下一篇论文中卡塔兰(Catalan)给出了证明。存疑:MacTutor 推测他可能于 1842 年随俄国地理学家奇哈乔夫(Chikhachev)访问过巴黎(奇哈乔夫该年 12 月确实见过协助刘维尔办刊的卡塔兰),但没有确凿证据,只能说"极有可能"。

1841 年俄国饥荒改变了家庭经济状况,父母被迫离开莫斯科,无法再资助他;但他仍坚持完成学业。1843 年 10 月通过硕士考试,1846 年答辩硕士论文《概率论初等分析初探》,并在同年于克雷尔杂志发表基于该论文的文章,研究了泊松的弱大数定律。

1847 年,他到圣彼得堡大学任教,提交任职论文《论借助对数的积分》,推广了奥斯特罗格拉茨基(Ostrogradski)的方法,证明了阿贝尔 1826 年关于 $\int f(x)/\sqrt{R(x)}\,dx$($f,R$ 为多项式)积分的一个猜想为真。他在 1852 年访巴黎的报告中写道:"刘维尔和埃尔米特建议我把论文所基于的思想进一步发展……我考虑了被积式含有理函数平方根的情形,但把这些原理推广到任意次根在多方面都是有趣的。"

到圣彼得堡后的最初几年,他发表了若干最著名的数论结果:1848 年关于不超过给定数的素数个数的论文;1849 年博士论文《同余论》(Teoria sravneny,5 月 27 日答辩,获科学院的杰米多夫奖 Demidov Prize 1849);与布尼亚科夫斯基(Bunyakovsky)合作编辑出版了欧拉的 99 篇数论论文全集(两卷,1849)。1850 年他证明了伯特兰猜想。

1850 年切比雪夫晋升圣彼得堡大学编外教授。1852 年 7 月至 11 月,他访问了法国、伦敦与德国——这次考察既包括与刘维尔、比奈梅(Bienaymé)、埃尔米特、塞雷(Serret)、彭赛列(Poncelet)等法国数学家及凯莱、西尔维斯特等英国数学家的讨论,也包括对蒸汽机及其力学的实地研究。正是这次访问激发了他对机构理论与逼近论的兴趣。在柏林他会见了狄利克雷:"结识著名的几何学家勒让德-狄利克雷令我极感兴趣……我每天都有机会与他交谈(关于微积分在数论中的应用及其他纯分析与应用分析问题)……我特别愉快地听了他的一节理论力学课。"

1854 年,他发表《以平行四边形之名为人所知的机构理论》(Théorie des mécanismes connus sous le nom de parallélogrammes),著名的切比雪夫多项式首次出现;此后他发展出一般的正交多项式理论。罗伊(Roy)指出,切比雪夫很可能是第一个认识到正交多项式一般概念的数学家——此前勒让德、拉普拉斯只遇到过个别特例(拉普拉斯还在概率研究中发现了后来以埃尔米特命名的多项式)。他在第一篇正交多项式论文中就已得到了克里斯托费尔—达布公式;还发现了雅可比多项式的离散类似物,但其重要性直到 20 世纪才被认识(由哈恩 Hahn 重新发现并以哈恩命名)。

此后他几乎每年夏天都去西欧旅行,记录在案的访问有 1856、1864、1884、1893 年等;1873—1882 年间他在法国科学促进协会会议上作了 16 场报告(里昂 1873、克莱蒙费朗 1876、巴黎 1878、拉罗谢尔 1882)。1884 年的访问以列日大学为卡塔兰退休举办的庆典作结。他还与卢卡斯(Lucas)、博尔夏特、克罗内克、魏尔斯特拉斯有交往。

在概率论方面,1867 年他发表《论均值》,用比奈梅的不等式给出了大数定律的推广,因此该不等式今常称比奈梅—切比雪夫不等式。20 年后(1887 年),他发表《论概率论中的两个定理》,为把概率论应用于统计数据奠定基础,推广了棣莫弗与拉普拉斯的中心极限定理。柯尔莫哥洛夫评论道:"切比雪夫工作的主要意义在于,他始终力求以对任意试验次数都绝对成立的不等式形式,精确估计偏离极限规律的可能偏差。此外,切比雪夫是第一个清楚地提出并使用'随机量'及其'期望(均值)'概念的人。"

1860 年他成为圣彼得堡大学常任教授,1872 年成为功勋教授,1882 年离开大学专职研究。他还研究了积分(推广 β 函数)、地图绘制、几何体积计算,以及 1870 年代的计算机制造;在力学中研究如何用机械耦合把旋转运动转化为直线运动——切比雪夫平行机构就是用三根连杆近似直线运动。他写了大量关于机械发明的论文,卢卡斯在巴黎国立工艺博物馆展出过其中一些的模型与图纸;1893 年芝加哥世界博览会(纪念哥伦布发现美洲 400 周年)上展出了他的七项发明,包括一辆专为女性设计的自行车。1878 年他还向法国科学促进协会提交了一篇关于服装剪裁的论文(受卢卡斯一次演讲启发)。

切比雪夫于 1894 年 12 月 8 日(俄历 11 月 26 日)在圣彼得堡逝世,享年 73 岁。月球上有以他命名的环形山 Chebyshev,小行星 2010 Chebyshev 也以他命名。

二、学术生涯年表

年份 事件
1821 5 月 16 日(俄历 5 月 4 日)生于俄国卡卢加省奥卡托沃;贵族家庭,父为退役军官
1832 全家迁居莫斯科;在家由波戈列尔斯基等名师辅导
1837 考入莫斯科大学;受布拉什曼决定性影响
1840—1841 竞赛论文《方程根的计算》仅获二等奖(应得金奖),当时未刊
1841 获学士学位;同年家庭因饥荒失去资助,仍坚持学业
1843 首篇论文(多重积分,法语)发表于刘维尔期刊;10 月通过硕士考试
1846 答辩硕士论文《概率论初等分析初探》,在克雷尔杂志发表相关论文
1847 任圣彼得堡大学讲师,提交任职论文《论借助对数的积分》,证明阿贝尔猜想
1848 发表关于不超过给定数的素数个数的论文
1849 5 月 27 日博士论文《同余论》答辩,获杰米多夫奖;与布尼亚科夫斯基合编欧拉数论全集
1850 证明伯特兰猜想($n$ 与 $2n$ 之间必有素数);晋升编外教授
1852 7—11 月访法、英、德;会见刘维尔、埃尔米特、狄利克雷等;激发机构与逼近论兴趣
1854 发表《平行四边形机构理论》,切比雪夫多项式首次出现
1856 当选帝国科学院副院士(adjunkt);同年为编外院士
1858 成为帝国科学院常任院士;莫斯科大学荣誉会员
1860 晋升圣彼得堡大学常任教授
1867 发表《论均值》,推广大数定律(比奈梅—切比雪夫不等式)
1872 成为功勋教授
1874 当选巴黎科学院外籍院士
1882 离开大学,专职研究
1887 发表《论概率论中的两个定理》,推广中心极限定理
1893 七项发明在芝加哥世博会展出;当选圣彼得堡数学学会荣誉会员
1894 12 月 8 日(俄历 11 月 26 日)卒于圣彼得堡,享年 73 岁

三、核心成果(逐条技术解析)

1. 伯特兰猜想的证明与素数分布的界(1848—1852)

问题背景:素数在自然数中如何分布?$\pi(x)$(不超过 $x$ 的素数个数)的增长规律是数论的核心问题。18 世纪末高斯与勒让德通过数值观测猜想 $\pi(x)\sim x/\log x$(素数定理),但无人能证明;1845 年伯特兰(Joseph Bertrand)从研究置换群出发,猜想对任意 $n>3$,区间 $(n,2n)$ 内至少有一个素数。

关键思想:切比雪夫没有用复分析,而是完全用初等方法,引入两个辅助函数 $\vartheta(x)=\sum_{p\le x}\log p$ 与 $\psi(x)=\sum_{p^k\le x}\log p$(今称切比雪夫函数),并仔细分析中心二项式系数 $\binom{2n}{n}$ 的素因子分解来估计这些函数的增长。

精确表述: - 伯特兰—切比雪夫定理(1850 年证明,1852 年发表):对任意整数 $n>1$,存在素数 $p$ 满足 $n<p<2n$。 - 切比雪夫界:存在常数 $c_1,c_2>0$,使得对充分大的 $x$, $$c_1\frac{x}{\log x}<\pi(x)<c_2\frac{x}{\log x}$$ (切比雪夫给出的具体界为 $c_1\approx 0.921$,$c_2\approx 1.106$)。 - 逼近素数定理:他证明了若 $\lim_{x\to\infty}\frac{\pi(x)\log x}{x}$ 存在,则该极限必等于 $1$——但他无法证明极限本身存在(这一步要等黎曼 $\zeta$ 函数与复分析方法,1896 年由阿达马与德拉瓦莱·普桑独立完成,即素数定理)。

与前人关系:超越了欧拉、勒让德、高斯的数值猜想,给出了素数分布的第一个严格不等式;是黎曼 1859 年《论小于给定数值的素数个数》之前数论中最深刻的结果。

局限性:他的初等方法无法证明极限存在;素数定理的最终证明需要复分析。但他的不等式与方法启发了后来塞尔伯格、埃尔德什 1949 年给出的素数定理"初等证明"。

2. 切比雪夫多项式与函数逼近论(1854 起)

问题背景:在区间上用多项式逼近连续函数时,什么样的多项式"最佳"?19 世纪中叶,最小二乘逼近已被使用,但"使最大误差最小"的一致逼近(minimax)尚无理论。这一问题直接源于切比雪夫对机械机构的研究——如何用连杆机构最好地逼近直线运动。

关键思想:切比雪夫在研究平行四边形机构时引入了第一类切比雪夫多项式 $T_n(x)$,并发现它们具有独特的极小极大性质:在所有首项系数为 1 的 $n$ 次多项式中,$2^{1-n}T_n(x)$ 在区间 $[-1,1]$ 上的最大绝对值最小。

精确表述: - 第一类切比雪夫多项式由 $T_n(\cos\theta)=\cos(n\theta)$ 定义,即 $T_n(x)=\cos(n\arccos x)$,满足递推 $T_{n+1}=2xT_n-T_{n-1}$,$T_0=1,T_1=x$。 - 极小极大性质:$\min_{P\text{ 首一 }n\text{ 次}}\max_{x\in[-1,1]}|P(x)|=2^{1-n}$,且唯一的最小化多项式是 $2^{1-n}T_n(x)$。 - 由此引出切比雪夫交错定理:$P$ 是 $f$ 在 $[-1,1]$ 上的最佳一致逼近 $n$ 次多项式,当且仅当误差 $f-P$ 在 $[-1,1]$ 上至少在 $n+2$ 个点处交替取得正负最大绝对值。

与前人关系:切比雪夫是第一个认识到正交多项式与最佳逼近一般理论的人(罗伊)。这一工作开创了函数逼近论这一独立学科,并为 20 世纪的数值分析(谱方法、切比雪夫节点插值)奠基。

意义:切比雪夫多项式与切比雪夫节点是数值分析中减少插值龙格现象、构造高精度求积与谱方法的标准工具,在工程信号处理中也无处不在。

3. 切比雪夫不等式与大数定律的严格化(1867)

问题背景:概率论自伯努利以来有"频率收敛于概率"的大数定律直觉,但严格证明需要对偏差给出可计算的界。泊松 1837 年给出过弱大数定律的一个版本,但证明不严格。

关键思想:切比雪夫把一个简单的不等式——今称切比雪夫不等式——变成了证明概率极限定理的系统工具。该不等式由比奈梅(Bienaymé)1853 年先发表,切比雪夫 1867 年独立重新发现并系统应用,故常称比奈梅—切比雪夫不等式。

精确表述:设随机变量 $X$ 有有限均值 $\mu$ 与方差 $\sigma^2>0$,则对任意 $k>0$, $$P(|X-\mu|\ge k\sigma)\le \frac{1}{k^2}.$$ 用它可立即证明弱大数定律:若 $X_1,X_2,\dots$ 独立同分布、方差有限,则样本均值 $\bar X_n=\frac1n\sum_{i=1}^nX_i$ 依概率收敛于 $\mu$,即对任意 $\varepsilon>0$,$\lim_{n\to\infty}P(|\bar X_n-\mu|\ge\varepsilon)=0$。

与前人关系:推广并严格化了泊松的弱大数定律;柯尔莫哥洛夫指出切比雪夫是第一个系统使用"随机变量"与"期望"概念、并把偏差估计写成对任意试验次数都绝对成立的不等式的人。

意义:切比雪夫不等式至今是概率论、统计与机器学习(如 PAC 学习、集中不等式)中最常用的工具之一。

4. 中心极限定理的推广(1887)

问题背景:棣莫弗(1733)与拉普拉斯(1812)已对二项分布证明了中心极限定理(正态近似),但一般情形(任意分布的独立和)尚无人处理。

关键思想:1887 年论文《论概率论中的两个定理》中,切比雪夫提出把中心极限定理推广到一般独立随机变量之和,并发展了用矩方法(method of moments)证明极限定理的技术路线。

精确表述(雏形):若独立随机变量 $X_i$ 满足适当矩条件,则其标准化和 $\frac{\sum_{i=1}^n(X_i-E[X_i])}{\sqrt{\mathrm{Var}(\sum X_i)}}$ 的分布趋于标准正态。切比雪夫给出了证明框架(矩方法),但严格证明由其学生马尔可夫(1898)和李雅普诺夫(1900—1901,引入特征函数法)完成。

与前人关系:超越了棣莫弗—拉普拉斯的二项情形;由学生马尔可夫、李雅普诺夫完成并深化,形成了圣彼得堡概率学派的传统,直接通向现代概率论(柯尔莫哥洛夫公理化)。

5. 正交多项式的一般理论(1855 起)

问题背景:在最小二乘逼近、数值积分、概率论中,各种正交多项式(勒让德、拉普拉斯/埃尔米特、拉盖尔)零散出现,但缺少统一理论。

关键思想:切比雪夫第一个系统认识到"正交多项式"的一般概念:对区间上的权函数 $w(x)$,多项式族 ${P_n}$ 满足 $\int P_mP_nw\,dx=0$($m\ne n$),具有三项递推、克里斯托费尔—达布公式等共同性质。

精确表述:他在第一篇正交多项式论文中就已得到克里斯托费尔—达布公式(关于 $P_n$ 再生核的恒等式);还发现了雅可比多项式的离散类似物(后由哈恩重新发现,称哈恩多项式),并把正交多项式应用于插值与近似求积。

与前人关系:勒让德、拉普拉斯遇见过特例;切比雪夫建立了一般框架。后世由克里斯托费尔、达布、施蒂尔切斯、法瓦尔等发展为经典正交多项式理论。

6. 数论中的其他工作与"切比雪夫偏差"

7. 力学与机械发明

切比雪夫把数学与工程紧密结合:研究把旋转运动转化为近似直线运动的连杆机构,设计了切比雪夫平行机构(Chebyshev linkage / parallel motion)与切比雪夫 λ 机构;他的机械发明在 1893 年芝加哥世博会展出。这种从实际工程问题中提炼数学理论(逼近论)的风格,是圣彼得堡学派的特色。

四、代表著作与文献

五、师承、学派与同时代交往

六、争议、公案与历史评价

七、身后影响与学术谱系

八、延伸阅读与权威来源