← 返回 安德烈·尼古拉耶维奇·柯尔莫哥洛夫 简介档案 深度档案
概率论动力系统信息论拓扑

安德烈·尼古拉耶维奇·柯尔莫哥洛夫(Андрей Николаевич Колмогоров / Andrey Nikolaevich Kolmogorov)

20 世纪数学的「通才」与最后的博学家——他用一本小册子把概率论从赌桌上的直觉变成测度论的严格分支,又用最短程序长度给「随机性」下了一个不依赖概率的定义;他写下湍流的 −5/3 律、动力系统的 KAM 定理、上同调环的乘积,还顺手解决了希尔伯特第 13 问题。从傅里叶级数、直觉主义逻辑到普希金诗歌的格律统计,他让「广博」与「深刻」在同一个人身上罕见地共存。

一、生平与时代背景

安德烈·尼古拉耶维奇·柯尔莫哥洛夫于 1903 年 4 月 25 日生于俄国坦波夫(Tambov)。这纯属偶然:他的母亲玛丽亚·雅科夫列夫娜·科尔莫戈罗娃(Maria Yakovlevna Kolmogorova)正从克里米亚返回雅罗斯拉夫尔附近的家乡图诺什纳(Tunoshna)的旅途中在坦波夫停留,却在分娩时去世。父亲尼古拉·马特维耶维奇·卡塔耶夫(Nikolai Matveevich Kataev,一译 Katayev)是神父之子、农学家,因革命活动被流放;革命后回国出任农业部某部门负责人,1919 年死于战斗,从未参与抚养。安德烈随外祖父姓「科尔莫戈罗夫」而非父姓,由母亲的妹妹薇拉·雅科夫列夫娜·科尔莫戈罗娃(Vera Yakovlevna Kolmogorova)抚养长大,在外祖父雅科夫·斯捷潘诺维奇·科尔莫戈罗夫(Yakov Stepanovich Kolmogorov)的图诺什纳庄园度过童年。外祖父出身贵族——这在当时的俄国是个「麻烦」的身份;MacTutor 记载「有传说称其家中曾运营秘密印刷所」,但属传言,存疑。薇拉终身未嫁,将全部心血倾注于外甥,柯尔莫哥洛夫对她怀有极深的感情(她于 1950 年去世,见证了他的许多成就)。

中学毕业后,柯尔莫哥洛夫曾短期担任铁路列车员,业余时间写了一篇关于牛顿力学定律的论文。1920 年入莫斯科大学,此时他尚未决心以数学为业——同时修习数学、冶金学与俄国史,甚至就15—16 世纪诺夫哥罗德的土地所有制写过一篇严肃的史学论文。D. G. 肯德尔(D. G. Kendall)转述了一则轶事:他的史学老师说「你只给了一个证明,在你们数学里也许够了,但我们史家至少要十个证明」(这个笑话据说出自柯尔莫哥洛夫本人之口)。

在数学上,他早期受斯捷潘诺夫(V. V. Stepanov)的三角级数课影响最深;卢津(N. N. Luzin)与叶戈罗夫(D. F. Egorov)主持的研究小组被学生戏称为「卢西塔尼亚号」(Luzitania),成员包括苏斯林(M. Ya. Suslin)、乌雷松(P. S. Urysohn)、亚历山德罗夫(P. S. Aleksandrov)。1922 年春,尚在本科的他完成了一篇关于集合运算的论文,大幅推广了苏斯林的结果;到 1922 年 6 月,他构造出一个勒贝格可和(L¹)函数,其傅里叶级数几乎处处发散——这出乎所有专家意料,柯尔莫哥洛夫的名字随即传遍世界数学界。1923 年他又证明可和函数的傅里叶余弦系数不存在最慢的收敛于零的速度。

1925 年他从莫斯科大学毕业(这一年他发表了 8 篇论文,全部写于本科期间),同年起在卢津指导下做研究生(aspirant)。1925 年他与辛钦(A. Ya. Khinchin)联名发表第一篇概率论论文,含三级数定理与随机变量部分和不等式(后者成为鞅不等式与随机分析的基础)。1929 年研究生毕业时已有 18 篇论文,涵盖强大数定律、重对数律、微分积分运算的推广,以及对直觉主义逻辑的贡献——肯德尔指出,他在俄文全集中为后一组论文写的回顾性注释,显然视其为自己哲学观的重要发展。

1929 年夏,他与帕维尔·亚历山德罗夫的友谊开始:两人在伏尔加河上乘船、越过高加索到亚美尼亚的塞凡湖共度三周,亚历山德罗夫撰写他与霍普夫合著的拓扑学教材,柯尔莫哥洛夫则研究连续状态、连续时间的马尔可夫过程——其成果 1931 年发表,标志着扩散理论的开端。1931 年夏两人又长途旅行,访问柏林、哥廷根、慕尼黑、巴黎,在巴黎柯尔莫哥洛夫与保罗·莱维(Paul Lévy)长谈,随后与弗雷歇(Fréchet)在海边共处一个月。

1931 年柯尔莫哥洛夫任莫斯科大学教授,这被视为他「第二创造阶段」的开端:此后他以宽广的一般性概念同时推进多个分支。1933 年,他在德国斯普林格出版了奠定现代概率论的《概率论基础》(Grundbegriffe der Wahrscheinlichkeitsrechnung),用测度论把概率论建成严格学科,并给出条件期望的严格定义(借助拉东—尼科迪姆定理)。1938 年《概率论中的解析方法》奠定马尔可夫随机过程基础。在拓扑方面,他几乎与亚历山大(J. W. Alexander)同时、独立引入上同调群:1934 年研究有限胞腔复形的链、上链、同调与上同调,1936 年对任意局部紧空间定义上同调群,并在1935 年莫斯科国际拓扑学会议上宣布了上同调环(cup 积)的定义——亚历山大也在同次会议上报告了独立工作。

1935 年他与亚历山德罗夫在莫斯科郊外小镇科马罗夫卡(Komarovka)合购了一栋房子,阿达马、弗雷歇、巴拿赫、霍普夫、库拉托夫斯基等都曾到访;学生们(如格涅坚科 B. V. Gnedenko)周日远足常在科马罗夫卡结束,由两位老师请客,满载数学想法而归。1938—1939 年,他与亚历山德罗夫、盖尔范德、彼得罗夫斯基、辛钦等加入苏联科学院斯捷克洛夫数学研究所(仍保留大学职位),研究所设立概率统计研究室,他任主任。

1941 年他发表了关于湍流的奠基性论文(K41 理论,详见下文);同年获苏联首批国家奖之一。1939 年他当选苏联科学院院士,1965 年获列宁奖,六次获列宁勋章,1987 年获罗巴切夫斯基奖,1962 年获巴尔赞国际奖(Balzan Prize);还获巴黎、斯德哥尔摩、华沙等大学荣誉博士,以及罗马尼亚科学院(1956)、伦敦皇家统计学会(1956)、德国利奥波第那科学院(1959)、美国艺术与科学院(1959)、伦敦数学会(1959)、美国哲学学会(1961)、印度统计研究所(1962)、荷兰皇家科学院(1963)、伦敦皇家学会(1964)、美国国家科学院(1967)、法国科学院(1968)等外籍院士/会士头衔。

晚年他把大量心血投入天才儿童的特殊教育:1963 年起在莫斯科大学创办数理寄宿学校(第 18 寄宿学校/柯尔莫哥洛夫学校),亲自编写教学大纲与教材、授课,带孩子们远足、读文学、听音乐;他并不要求每个孩子都成为数学家,只希望他们保持广博的视野与未被扼杀的好奇心。他对普希金诗歌的形式与结构也有深入研究(曾用统计方法分析诗律)。

1987 年 10 月 20 日,柯尔莫哥洛夫在莫斯科逝世,享年 84 岁。

二、学术生涯年表

年份 事件
1903 4 月 25 日生于俄国坦波夫(母亲旅途中分娩后去世),由姨母薇拉抚养于图诺什纳外祖父庄园
1919 父亲卡塔耶夫死于战斗(革命后任农业部职务)
约 1920 中学毕业后短期任铁路列车员,业余撰牛顿力学论文
1920 入莫斯科大学,兼修数学、冶金学、俄国史(写诺夫哥罗德土地所有制史学论文)
1922 春:论文推广苏斯林的集合运算;6 月:构造 L¹ 可和函数其傅里叶级数几乎处处发散,一举成名
1923 证明可和函数的傅里叶余弦系数不存在最慢收敛速度
1925 从莫斯科大学毕业(本科期间已发表 8 篇论文);起在卢津指导下做研究生;与辛钦联名发表首篇概率论论文(三级数定理等)
1928—1929 得到强大数定律、重对数律;推广微分与积分运算;研究直觉主义逻辑
1929 研究生毕业(已 18 篇论文);夏与亚历山德罗夫在塞凡湖共处三周,研究连续马尔可夫过程
1930 发表独立同分布情形的强大数定律(期望有限 ⇒ 强大数成立)
1931 任莫斯科大学教授;发表扩散理论奠基论文;夏与亚历山德罗夫访柏林、哥廷根、巴黎(与莱维长谈)
1933 出版《概率论基础》,以测度论公理体系确立现代概率论,给出条件期望严格定义
1934—1936 引入上同调群与上同调环(与亚历山大独立),研究胞腔复形同调/上同调
1935 与亚历山德罗夫购科马罗夫卡住宅;在莫斯科国际拓扑学会议报告上同调环
1938—1939 加入斯捷克洛夫数学研究所,任概率统计研究室主任;发表《概率论中的解析方法》
1939 当选苏联科学院院士
1941 发表湍流 K41 理论(−5/3 能谱律);获首批国家奖
1953—1954 发表两篇关于哈密顿动力系统的短文,开创 KAM 理论;1954 年阿姆斯特丹 ICM 作相关全会报告
1957 与学生阿诺德解决希尔伯特第 13 问题(连续函数叠加表示定理,证明希尔伯特猜错)
1958—1959 在遍历论中提出度量熵(柯尔莫哥洛夫—西奈熵),作为动力系统同构不变量;西奈 1959 年推广
1962 提出湍流的间歇性修正(K62,与 Obukhov 相关);获巴尔赞国际奖
1963 创办莫斯科大学数理寄宿学校(柯尔莫哥洛夫学校),长期倾心英才教育
1965 发表《信息的定量定义的三种方法》,提出算法复杂度(柯尔莫哥洛夫复杂度),开创算法信息论
1987 10 月 20 日卒于莫斯科,享年 84 岁;同年获罗巴切夫斯基奖(逝世后追授)

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

1. 概率论的公理化——《概率论基础》(1933)

问题背景:到 20 世纪初,概率论在统计力学、人口学、赌博中积累了大量结果,却始终没有统一的严格基础。拉普拉斯的古典定义只适用于等可能有限情形;「概率」到底是什么,一直众说纷纭。希尔伯特 1900 年第 6 问题明确要求「把数学在其中起重要作用的物理科学(首先是概率论与力学)公理化」。

关键思想:柯尔莫哥洛夫把概率论嵌入勒贝格测度论(1902 年勒贝格已建立积分与测度的严格理论)。他的核心洞察是:随机事件就是样本空间的子集,概率就是定义在这些子集上的可数可加测度,且总测度为 1。

精确表述:一个概率空间是三元组 $(\Omega,\mathcal F,P)$,其中 $\Omega$ 是样本空间,$\mathcal F$ 是 $\Omega$ 上的 $\sigma$-代数(对补与可数并封闭的事件族),$P:\mathcal F\to[0,1]$ 满足: 1. 非负性:$P(A)\ge 0$; 2. 规范性:$P(\Omega)=1$; 3. 可数可加性:若 $A_1,A_2,\dots$ 两两不交,则 $P(\bigcup A_n)=\sum P(A_n)$。

由此一切古典概率概念获得严格意义:随机变量是 $\mathcal F$-可测函数,期望是勒贝格积分。条件期望 $E(X\mid\mathcal G)$ 被定义为 $\mathcal G$-可测函数 $Y$,使对任意 $G\in\mathcal G$ 有 $\int_G X\,dP=\int_G Y\,dP$——由拉东—尼科迪姆定理保证存在且 a.s. 唯一。这一定义不再要求离散或密度情形,是现代概率论(鞅、随机过程、随机微分方程)的基石。

与前人关系:博雷尔、勒贝格、隆莱(Lomnicki)、斯坦豪斯等已暗示测度与概率的联系;但柯尔莫哥洛夫首次给出完整、可操作的公理体系,并明确把「条件期望」「条件概率」建立在拉东—尼科迪姆定理之上。保罗·莱维后来感慨地写道,他看到《基础》时才意识到自己错过了一个本可以抓住的机会。

意义:概率论从此成为与测度论、泛函分析并立的严格数学分支,直接孕育了现代随机过程与数理统计。这也是希尔伯特第 6 问题在概率论部分最成功的解答。

2. 三级数定理与部分和不等式(1925,与辛钦)

背景:独立随机变量级数 $\sum X_n$ 的几乎处处收敛性判别,是概率论极限定理的核心。

结果(柯尔莫哥洛夫—辛钦三级数定理):设 ${X_n}$ 独立,则 $\sum X_n$ 几乎处处收敛,当且仅当存在常数 $A>0$,使截断变量 $X_n^A=X_n\mathbf 1_{|X_n|\le A}$ 满足以下三个级数同时收敛: $$\sum_n P(|X_n|>A),\qquad \sum_n E(X_n^A),\qquad \sum_n \operatorname{Var}(X_n^A).$$ 此外,柯尔莫哥洛夫还证明了关于部分和最大值的不等式(柯尔莫哥洛夫不等式),它是鞅不等式与随机分析的起点。

3. 强大数定律与重对数律

强大数定律(1930):若 $X_1,X_2,\dots$ 独立同分布且 $E|X_1|<\infty$,则 $S_n/n\to E(X_1)$ 几乎处处成立。此前辛钦证明了弱大数律(依概率收敛),柯尔莫哥洛夫给出几乎处处收敛的最优条件,并证明若 $E|X_1|=\infty$ 则 $S_n/n$ 几乎处处无界发散。

重对数律(LIL,1929):若 $X_i$ 独立同分布、均值 0、方差 1,则 $$\limsup_{n\to\infty}\frac{S_n}{\sqrt{2n\log\log n}}=1\quad\text{a.s.},$$ $\liminf$ 为 $-1$。它精确刻画了随机游走的振幅——比中心极限定理更精细地描述了波动的上极限。这是概率论极限理论的巅峰之作之一。

4. 直觉主义逻辑的解释(1925 / 1932)

背景:20 世纪初布劳威尔的直觉主义挑战古典数学(拒绝排中律),但缺乏清晰的语义。

结果:1925 年《论排中律》(O principe tertium non datur)中,柯尔莫哥洛夫用双重否定翻译证明:古典算术若不一致则直觉主义算术亦不一致——即直觉主义并非比古典更「安全」地避免矛盾,只是更弱。1932 年《直觉主义逻辑的解释》提出「问题演算」:把命题解释为「待解决的问题」,逻辑连接词对应问题的复合,证明即给出解法——这是后来 BHK 解释(布劳威尔—海廷—柯尔莫哥洛夫)的直接先驱,也是构造主义语义学的源头。

5. 湍流的柯尔莫哥洛夫理论——−5/3 律(1941,K41)

背景:湍流是流体力学的百年难题。理查森(Lewis Fry Richardson)提出「能量级联」图像:大涡旋破碎成小涡旋,能量逐级传递直到黏性耗散,但缺少定量理论。

关键思想与结果:柯尔莫哥洛夫在高雷诺数、均匀各向同性湍流的假设下,用量纲分析 + 局部各向同性导出:在惯性区(尺度介于含能大涡与耗散小涡之间),能量仅以平均耗散率 $\varepsilon$ 为参数从大尺度向小尺度传递,统计性质普适。

精确表述: - 能谱:$E(k)=C\,\varepsilon^{2/3}\,k^{-5/3}$($k$ 为波数,$C$ 为柯尔莫哥洛夫常数,约 1.5),即著名的−5/3 律(文献常略去负号称「5/3 定律」)。 - 二阶结构函数:$S_2(r)=\langle |u(x+r)-u(x)|^2\rangle \propto (\varepsilon r)^{2/3}$。 - 柯尔莫哥洛夫微尺度:$\eta=(\nu^3/\varepsilon)^{1/4}$,是黏性开始主导的最小尺度。

与前人关系:理查森给出级联的物理图像,柯尔莫哥洛夫给出第一个定量、可检验的普适预言。

局限:K41 假设各向同性、忽略间歇性(小尺度能量耗散的阵发性)。柯尔莫哥洛夫本人 1962 年(K62)与奥布霍夫(Obukhov)提出对数正态间歇修正,但间歇性的完整理论至今仍是开放问题。尽管如此,−5/3 律在大气、海洋、工程湍流中被反复验证,是 20 世纪物理最成功的普适律之一。

6. KAM 理论——近可积哈密顿系统的不变环面(1954)

背景:自牛顿以来,太阳系是否稳定(行星轨道是否会永远保持近周期、还是会混沌逃逸)是经典力学的核心问题,也是希尔伯特第 6 问题的一部分。庞加莱证明摄动级数中出现小分母($|\langle k,\omega\rangle|$ 可任意小),使传统级数发散,问题似乎无解。

结果(KAM 定理,由 Kolmogorov 1954 提出、Arnold 1963 对解析情形证明、Moser 1962 对光滑扭转映射证明):对近可积哈密顿系统 $H(I,\theta)=H_0(I)+\varepsilon H_1(I,\theta)$,若 $H_0$ 满足非退化条件(频率映射 $I\mapsto\omega(I)=\partial H_0/\partial I$ 的雅可比非零),则当 $\varepsilon$ 足够小时,频率满足丢番图(小分母)条件 $$|\langle k,\omega\rangle|\ge c\,|k|^{-\tau}\quad(\forall k\in\mathbb Z^n\setminus{0})$$ 的那些不变环面中,绝大多数(一个正测度的康托尔集)会残存下来,只是略微变形,系统在其上仍作准周期运动;只有测度趋于零的环面被破坏、可能导致混沌。

意义:KAM 是 20 世纪力学与动力系统最深刻的成果之一,它说明混沌并非不可避免——在小摄动下有序结构「幸存」。它把太阳系稳定性从定性哲学问题变成了可定量分析的定理(对行星系统实际参数的严格应用至今技术上仍困难,但思想已渗透天体力学、等离子体物理、加速器物理等)。「KAM」即柯尔莫哥洛夫—阿诺德—莫泽三人姓名的缩写。

7. 柯尔莫哥洛夫—西奈熵(1958—1959)

背景:遍历论中如何区分两个测度保持动力系统是否同构?冯·诺依曼曾证明具有纯点谱的遍历系统由其谱完全分类,但对具有连续谱的系统(如伯努利移位)长期缺乏不变量。

结果:柯尔莫哥洛夫 1958 年对具有生成元的系统定义了度量熵(西奈 1959 年推广到一般系统,故称 KS 熵): $$h(T)=\sup_{\alpha}\lim_{n\to\infty}\frac1n H\Big(\bigvee_{i=0}^{n-1}T^{-i}\alpha\Big),$$ 其中 $\alpha$ 取遍有限可测划分,$H$ 为香农熵。同构的系统必有相同的 KS 熵,因此熵是同构不变量。

后续:柯尔莫哥洛夫用它证明了不同参数的伯努利移位可以不同构;奥恩斯坦(Ornstein)1970 年证明其逆对伯努利移位成立(奥恩斯坦同构定理:熵相同的伯努利移位必同构),完成了伯努利系统的完全分类。KS 熵今天是混沌程度的标准度量(「正熵 ⇒ 混沌」)。

8. 解决希尔伯特第 13 问题——叠加表示定理(1957)

背景:希尔伯特第 13 问题猜测:存在不能表示为二元连续函数叠加的三元连续函数(尤其与七次方程 $x^7+x^3+ax^2+bx+c=0$ 的根有关)。

结果(柯尔莫哥洛夫叠加定理,1957;学生阿诺德参与并改进):每个连续函数 $f:[0,1]^n\to\mathbb R$($n\ge 2$)都可表示为 $$f(x_1,\dots,x_n)=\sum_{q=0}^{2n}\chi_q!\left(\sum_{p=1}^{n}\psi_{q,p}(x_p)\right),$$ 其中 $\chi_q,\psi_{q,p}$ 都是一元连续函数,且 $\psi_{q,p}$ 可选为 Lipschitz。即只用一元连续函数与加法就能表示任意多元连续函数——希尔伯特猜错了。

争议与局限:该定理解决的是「连续函数」版本。希尔伯特原始问题的窄读法(限制为解析/代数函数的叠加、或直接针对七次方程根的可解性)是否被完全解决,学界有不同看法——严格的解析/代数叠加版本至今仍被部分人视为开放。此外,定理的构造高度非构造性、函数极不规则,在数值表示上实用性有限,但近年在神经网络表示理论(Kolmogorov-Arnold Networks)中重新受到关注。

9. 柯尔莫哥洛夫复杂度——算法信息论(1965)

背景:香农 1948 年的信息论用概率分布定义信息,但无法回答「单个对象(如一串数字)本身含有多少信息」「什么是真正的随机序列」——这些问题需要不依赖概率的定义。

结果:在《信息的定量定义的三种方法》(1965)中,柯尔莫哥洛夫提出算法方法:对象 $x$ 的柯尔莫哥洛夫复杂度 $K(x)$,定义为在一台通用前缀图灵机上输出 $x$ 并停机的最短二进制程序的长度。

不变性/最优性定理:$K(x)$ 至多差一个依赖于机器、不依赖于 $x$ 的常数,因此是「最短有效编码」的稳定刻画(此定理所罗门诺夫 1964 年、蔡廷 1969 年分别独立得到,故算法信息论由三人共同开创)。

意义: - $K(x)$ 远小于 $|x|$ ⇒ $x$ 有规律、可压缩;$K(x)\approx|x|$ ⇒ $x$ 不可压缩 ⇒ 算法随机。这给出了「随机性」的不依赖概率的客观定义(进而有马丁—勒夫随机序列)。 - 它是算法信息论、算法随机性、归纳推理(所罗门诺夫)、元数学(蔡廷用它证明哥德尔式不完备)的基础;并与香农熵在平均意义下相洽($E K(X)\approx H(X)$)。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源