∑ 数学名人档案库
← 返回 莫里斯·弗雷歇 简介档案 深度档案
泛函分析拓扑

莫里斯·弗雷歇（Maurice René Fréchet）

抽象空间的创始人——他在 28 岁的博士论文中第一次把「距离」「极限」「连续」从实数轴和欧氏空间中解放出来，定义了一般的度量空间与紧性，让函数、曲线、曲面都能作为「点」被分析；他的抽象方法为巴拿赫空间、拓扑学和现代泛函分析铺好了路，但他的贡献在很长时间里被豪斯多夫更流行的教材所遮蔽。

一、生平与时代背景

勒内·莫里斯·弗雷歇（René Maurice Fréchet，习惯称 Maurice Fréchet）于 1878 年 9 月 2 日出生在法国马利尼（Maligny，约讷省）。父亲 雅克·弗雷歇（Jacques Fréchet） 时任马利尼新教孤儿院院长；母亲 佐埃（Zoé）。这是一个新教（加尔文宗）家庭，家中六个孩子，莫里斯排行第四。

他出生时，法兰西第三共和国的宪法已定。共和党虽分两翼，但在「政教分离、教育世俗化」上立场一致。1880—1885 年，朱尔·费里（Jules Ferry） 推行新法：初等教育免费、义务、世俗，宗教教学被「公民教育」取代。雅克·弗雷歇因此丢了校长职位、一度失业。母亲在巴黎开了一家外国留学生寄宿公寓以维持家计——这使莫里斯从小在多种语言环境中长大，养成了终生的国际视野（后来一战中他凭语言能力担任英军翻译）。待教育体制稳定后，父亲在新的世俗体系中重新找到教职，家庭经济重回稳定，但始终谈不上富裕。

莫里斯在巴黎的布丰中学（Lycée Buffon） 读中学，数学教师正是 雅克·阿达马（Jacques Hadamard）——阿达马 1890—1893 年在此任教，1894 年赴波尔多大学任教授。阿达马一眼看出这个少年的数学潜力，开始对他进行个别辅导；即使迁居波尔多后，仍不断给他寄数学题、严厉批改他的解答。弗雷歇后来坦言，这段关系让他「始终活在解不出题的恐惧中」，但他对阿达马的提携深怀感激。

中学毕业后服兵役。1900 年，他在数学与物理之间犹豫——最终选数学，不是因为更爱数学，而是因为学物理必须修他讨厌的化学。同年入巴黎高等师范学校（École Normale Supérieure）。1903 年通过数学教师资格考试（agrégation），同年已发表 4 篇论文；1904 年 7 篇，1905 年 11 篇——在阿达马指导下全力准备博士论文。与在巴黎的几位美国数学家（尤其是埃德温·威尔逊 Edwin Wilson，时任《美国数学会汇刊》编辑）的接触，使他的早期论文不少发表在美国数学会刊物上。1903—1904 年冬，他还整理了博雷尔的讲义，1905 年出版为《实变函数论与多项式级数展开讲义》。

1906 年 4 月 2 日他提交了划时代的博士论文 《论泛函演算的若干点》（Sur quelques points du calcul fonctionnel），在其中引入了度量空间（但「度量空间 metric space」这一名称是后来豪斯多夫所起）、紧性等概念。这篇论文开创了抽象空间理论。

此后他在多所学校任教：1907—1908 年贝桑松中学数学教授，1908—1909 年南特中学；1908 年与 苏珊娜·卡里夫（Suzanne Carrive，1881—1945） 结婚，育有四子（埃莱娜、亨利、德尼丝、阿兰）。1910—1919 年任普瓦提埃大学理学院力学教授。

1914 年，他已安排好去美国伊利诺伊大学访学一年，全家打包完毕正准备登船，一战爆发，他被征召。8 月 4 日动员。因语言能力，他被派往英国陆军任翻译，但仍在前线或前线附近度过约两年半——法国的平等主义理念使学者也多在战壕中服役，许多法国学者在战争中丧生（有证据表明弗雷歇曾与美国数学家安排，若他未能生还就出版他的全部著作）。令人惊叹的是，在如此环境中他仍持续发表前沿数学论文。

1919—1927 年，他被选去斯特拉斯堡协助重建大学，任高等分析教授兼数学研究所所长。尽管行政负担极重，他研究产出依旧惊人——1924—1925 两年就发表了 36 篇论文。1920 年他组织了在斯特拉斯堡举行的国际数学家大会（ICM）——这是一届因政治原因而困难重重的大会（德、奥数学家被禁止参会，引发诸多争论）。正是在斯特拉斯堡时期，他开始对统计学感兴趣（但当时仅发表少量概率论文，多数论文仍是一般分析与拓扑）；他开设了概率、统计与保险数学课程。

1928 年（11 月起）在博雷尔的鼓励与支持下回巴黎任职。他先在高等研究院（École des Hautes-Études）任研究主任，后在巴黎理学院任教；1929 年起兼任巴黎高师分析与力学教授。1933 年升任普通数学讲席，1935 年升任微积分讲席；1941 年继博雷尔之后任概率与数学物理讲席，直至 1949 年退休。1928—1935 年他在巴黎高师指导了一大批年轻人走向概率论研究，包括沃尔夫冈·德布林（Wolfgang Doeblin）、罗贝尔·福尔泰（Robert Fortet）、米歇尔·洛埃夫（Michel Loève）、让·维勒（Jean Ville）。

1934—1936 年，他在国际统计学会发起了一场针对相关系数滥用的运动：他向全世界同行发问卷、发表系列论文与谴责动议，要求为统计学最基本的概念奠定严格的数学基础。这显示了他对应用数学的尊重与好斗性格。

尽管成就卓著，弗雷歇在法国长期未受充分赏识——他多次被提名，却直到78 岁（1956 年）才当选法国科学院院士。1929 年当选波兰艺术与科学院外籍院士，1950 年当选荷兰皇家艺术与科学院外籍院士。他是活跃的世界语（Esperanto）使用者，1950—1953 年任国际科学世界语者协会主席，部分论文以世界语发表。

1973 年 6 月 4 日在巴黎去世，享年 94 岁。

二、学术生涯年表

年份 事件
1878 9 月 2 日生于法国约讷省马利尼；新教家庭，父为孤儿院院长
约 1880s 全家迁巴黎；父因费里教育世俗化法丢职，母开外国留学生公寓
1890s 入巴黎布丰中学，受阿达马个别辅导（阿达马 1894 年赴波尔多后仍通信指导）
1900 服兵役后入巴黎高等师范学校，选数学（因讨厌化学而弃物理）
1903 通过数学 agrégation；发表 4 篇论文；整理博雷尔讲义
1904—1905 1904 年 7 篇、1905 年 11 篇论文；在阿达马指导下准备博士论文
1905 出版博雷尔讲义整理本《实变函数论与多项式级数展开讲义》
1906 4 月 2 日提交博士论文《论泛函演算的若干点》，引入度量空间、紧性
1907 独立发现 L² 上泛函的积分表示定理（与里斯独立）
1907—1908 贝桑松中学数学教授
1908 与苏珊娜·卡里夫结婚；转南特中学任教
1910—1919 普瓦提埃大学理学院力学教授
1914 原计划赴伊利诺伊大学访学，因一战爆发被征召；任英军翻译，前线两年半
1919—1927 斯特拉斯堡大学高等分析教授兼数学所所长；组织 1920 年 ICM；开始转向统计
1924—1925 两年发表 36 篇论文
1928 在博雷尔支持下回巴黎任职
1929 巴黎高师分析与力学教授；当选波兰艺术与科学院外籍院士
1933 升任巴黎大学普通数学讲席
1934—1936 发起反对相关系数滥用的国际统计学会运动
1935 升任微积分讲席
1937—1938 出版《概率论现代理论研究》
1941 继博雷尔任概率与数学物理讲席
1942 1—2 月在葡萄牙里斯本讲学
1946 与樊畿（Ky Fan）合著《组合拓扑学引论》
1949 退休
1950—1953 任国际科学世界语者协会主席；1950 年当选荷兰皇家学院外籍院士
1953 出版《一般分析文选》
1955 出版《数学与具体》
1956 78 岁当选法国科学院院士
1973 6 月 4 日逝于巴黎，享年 94 岁

三、核心成果（逐条技术解析）

1. 度量空间与抽象空间理论的创立（1906 博士论文）——一般拓扑 / 泛函分析

问题背景：19 世纪末，分析的研究对象已从实数、函数扩展到「函数的集合」「曲线的空间」（如变分法研究的是函数空间上的泛函极值）。但「极限」「连续」「邻域」等概念只在欧氏空间中有严格定义。阿达马、沃尔泰拉已开始研究「泛函（functional）」——即把函数映到数的映射——但缺乏统一的抽象框架。

关键思想：弗雷歇在 1906 年博士论文中，仿照群论对代数系统的抽象，提出用公理刻画极限：他定义了一类抽象集合（他称为 «classes (L)»，即满足某种极限公理的集合），在其中可以谈论序列极限与连续性。最重要的是，他引入了「距离（écart）」的概念——给集合中任意两点 $x,y$ 赋一个非负数 $d(x,y)$，满足： 1. $d(x,y)=0$ 当且仅当 $x=y$； 2. $d(x,y)=d(y,x)$（对称性）； 3. $d(x,y)\le d(x,z)+d(z,y)$（三角不等式）。 （注：现代教科书把 $d(x,x)=0$ 与 $d(x,y)=0\Rightarrow x=y$ 分列，弗雷歇的原始表述包含这些。）

这样，任何对象——点、数、函数、曲线、曲面——只要能定义一个满足上述公理的距离，就都可以谈论极限、连续、柯西列、完备性。这就是度量空间（metric space）的雏形。（「metric space」这一英文名称由豪斯多夫在 1914 年的《集合论基础》中正式采用。）

精确表述：在度量空间中，$x_n\to x$ 定义为 $d(x_n,x)\to 0$；映射 $T:E\to F$ 在 $x$ 连续定义为 $x_n\to x\Rightarrow T(x_n)\to T(x)$。他还引入了紧性（当时称为 «compact»，用「任意无穷子集必有聚点」刻画，即现代的序列紧性）和完备性（柯西列收敛）。

与前人关系：沃尔泰拉（Volterra）、阿达马研究过函数空间上的泛函，但都在具体函数空间上工作；弗雷歇是第一个把「空间」抽象为公理化对象、使极限与连续脱离具体背景的人。这一步与黎曼把几何从三维空间解放为任意维流形同等重要——分析从此可以在任意「空间」上做。

局限性：弗雷歇的原始表述用序列极限（«classes (L)»），未涉及一般拓扑（开集、邻域），后者由豪斯多夫（1914）与库拉托夫斯基等人发展；度量空间只能描述「可度量化」的拓扑，更一般的拓扑空间概念由豪斯多夫系统化。

2. L² 上线性泛函的积分表示定理（1907，与里斯独立）——泛函分析

精确表述：1907 年，弗雷歇证明（独立于弗里杰什·里斯 Frigyes Riesz）：若 $F$ 是平方可积函数空间 $L^2[a,b]$ 上的连续线性泛函，则存在唯一的 $g\in L^2[a,b]$，使 $$F(f)=\int_a^b f(x)g(x)\,dx \quad \forall f\in L^2[a,b].$$ 这是里斯表示定理在 $L^2$ 情形的早期版本。它揭示了希尔伯特空间的自对偶性，是泛函分析作为独立学科的奠基性结果之一。

与前人关系：里斯几乎同时得到相同结果；两人都被视为这一定理的发现者。这一结果后来推广为一般希尔伯特空间的里斯表示定理，是量子力学数学基础的核心工具。

3. 弗雷歇导数与弗雷歇空间——非线性泛函分析 / 拓扑线性空间

弗雷歇导数：弗雷歇把微积分中的导数推广到一般赋范线性空间之间的映射。设 $E,F$ 是赋范空间，$f:U\subset E\to F$，若存在有界线性算子 $A:E\to F$ 使 $$\lim_{|h|\to 0}\frac{|f(x+h)-f(x)-Ah|}{|h|}=0,$$ 则称 $A$ 为 $f$ 在 $x$ 处的弗雷歇导数，记作 $f'(x)=A$。这是现代非线性分析、变分法、偏微分方程（弱解理论）和无限维优化的基本工具，比加托导数（Gâteaux derivative）更强。

弗雷歇空间（Fréchet space）：以他命名的一类局部凸、可度量化、完备的拓扑线性空间（如 $\mathbb R^\mathbb N$、$\mathcal C^\infty(\mathbb R)$、 Schwartz 分布空间的对偶）。它们是巴拿赫空间的自然推广，在分布理论（施瓦茨）和无限维分析中占据核心地位。注意：弗雷歇空间的现代定义是后人整理命名的，但其思想源于弗雷歇对可度量化完备局部凸空间的研究。

4. 曲线长度理论与弗雷歇距离——几何测度论 / 计算几何

问题背景：如何在「所有连续曲线」的集合上定义距离，从而研究曲线的收敛与变形？

精确表述：弗雷歇发展了一般抽象空间中曲线长度的理论，并引入了今天以他命名的弗雷歇距离（Fréchet distance）：对两条参数化曲线 $f,g:[0,1]\to M$， $$d_F(f,g)=\inf_{\varphi,\psi}\max_{t\in[0,1]} d_M(f(\varphi(t)),g(\psi(t))),$$ 其中 $\varphi,\psi$ 是保向重参数化。直观上，弗雷歇距离是「一个人牵着狗走两条路径所需的最短狗链长度」（人走一条、狗走另一条，可各自调速）。

历史意义：弗雷歇距离至今是计算几何、形状匹配、曲线聚类的标准度量，广泛用于 GIS、计算机视觉与生物信息学中的轨迹比较。

5. 概率论、统计学与弗雷歇分布——应用数学

转向概率统计：1928 年回巴黎后，弗雷歇在博雷尔的影响下集中研究概率与统计。1937—1938 年出版《概率论现代理论研究》。他的贡献包括： - 弗雷歇分布（Fréchet distribution）：极值理论中的一类极端值分布（II 型），用于建模罕见大值事件，在水文、金融、保险中应用广泛。它是极值分布三大类型之一（与 Gumbel、Weibull 并列），由他在 1927 年的工作中引入。 - 弗雷歇不等式（Fréchet inequalities）：对事件 $A,B$，联合概率的上下界 $P(A)+P(B)-1\le P(A\cap B)\le \min(P(A),P(B))$ 的一般化，是概率界与不确定性量化的基本工具。 - 弗雷歇均值（Fréchet mean）：在一般度量空间（而非向量空间）中推广「平均值」——使到各点距离平方和最小的点，用于流形上的统计（如形状空间、对称正定矩阵空间）。 - 相关系数滥用运动：1934—1936 年在国际统计学会推动为相关系数奠定严格基础。

与前人关系：博雷尔鼓励他转向概率统计；他培养了德布林、洛埃夫、维勒等概率论学者，是法国概率学派（博雷尔→弗雷歇→保罗·莱维→…）的重要一环。有说法认为他在 1940 年代的讲义中已引入后来的克拉美—劳界（Cramér–Rao bound），但讲义已佚，存疑。

6. 抽象空间中的多项式级数展开与一般分析

在《抽象空间》（1928）与《一般分析文选》（1953）中，弗雷歇系统整理了他在抽象空间上的工作：连续函数的多项式逼近（抽象空间中的魏尔斯特拉斯逼近定理）、几乎周期函数、渐近几乎周期函数在伯克霍夫遍历定理中的应用等。他自认属于「提出新研究方向」而非「解决大问题」的数学家——事实也确实如此：他开创的抽象空间框架养活了整个 20 世纪的泛函分析与拓扑学。

四、代表著作与文献

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

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

七、身后影响与学术谱系

八、延伸阅读与权威来源