艾布拉姆•贝塞克维奇和赫尔曼•外尔
现在,我介绍我所知道的几位著名的鸟和青蛙。
1941年,我作为一名学生来到英国剑桥大学,极其幸运地受教于俄罗斯数学家艾伯拉姆•萨莫罗维奇•伯西柯维奇(Abram Samoilovich Besicovitch)。时值第二次世界大战,剑桥只有很少的学生,几乎没有研究生。尽管当时我只有17岁,而伯西柯维奇已是一位著名教授,但是,他给了我相当多的时间和关注,我们成为终身朋友。在我开始从事和思考数学时,他塑造了我的性格。他在测量理论和积分方面上了许多精彩的课程,在我们因他大胆地滥用英语而哈哈大笑时,他只是亲切地笑笑。我记得仅有一次,他被我们之间的玩笑惹怒。在沉默了一会后,他说:“先生们,有5000万英国人讲你们所讲的英文。有1.5亿俄罗斯人讲我所讲的英文。”
伯西柯维奇是一只青蛙,年轻时,因解决一个名为挂谷问题(Kakeya Problem)的初等本平面几何问题而出名。挂谷问题是这样描述的:让一条长度为1的线段按360度的角度在一个平面上自由转动,这条线扫过的最小面积是多少?日本数学家挂谷宗一(Soichi Kakeya)在1917年提出这个问题,并成为之后十年内未解决的著名问题。当时,美国数学界领袖乔治•伯克霍夫(George Birkhoff)公开声称,挂谷问题和四色问题是最著名的未解决问题。数学家们普遍相信,最小的面积应该是π/8,即棒在三尖点内摆线的面积(three-cusped hypocycloid)。三尖点内摆线是一条优美的三尖点曲线,它是一个半径为四分之一的小圆圈在一个半径为四分之三的定圆内滑动时,动圆圆周上的一个点所绘制的轨迹。长度为1的线段在旋转时始终与内摆线相切,它的两端也在内摆线上。一条线段在旋转时与内摆线的三个点相切,这是一幅多么优美的画,绝大多数人相信它一定给出了最小面积。然后,伯西柯维奇给了大家一个惊喜:他证明,对任何正∈(positive ∈)来说,这一线段在旋转时所扫过的面积小于∈。
实际上,在挂谷问题成为著名问题之前,伯西柯维奇已经在1920年解决了这个问题,但在当时,伯西柯维奇本人甚至不知道挂谷提出了这个问题。1920年,他将解决方案用俄文发表在《彼尔姆物理和数学学会期刊》(Journal of the Perm Physics and Mathematics Society)上,这是一份不被广泛阅读的期刊。彼尔姆大学位于距离莫斯科东面1100公里的彼尔姆城,在俄罗斯**之后,这个城市成为许多著名数学家的短暂避难所。他们出版了两期《彼尔姆物理和数学学会期刊》,之后,期刊便在**和内战的混乱中停刊了。在俄罗斯之外,这份期刊不仅不为人知,而且不可获取。1925年,伯西柯维奇离开俄罗斯,来到哥本哈根,并在这里获知到他已经在5年前解决的著名挂谷问题。他将解决方案重新出版,这一次,论文用英文发表在德国著名的《数学期刊》(Mathematische Zeitschrift)上。正如伯西柯维奇所说,挂谷问题是一个典型的青蛙问题,一个与数学的其它方面没有太多联系的具体问题。伯西柯维奇给出了一个优雅、深刻的解决方案,揭示出它与平面中点集结构的一般定理之间的联系。
伯西柯维奇的风格体现在他的三篇最好的经典文章中,这些文章的标题是:“平面点集之线性可测量的基本几何性质”(On the fundamental geometric properties),它们分别发表在1928年、1938年和1939年的《数学年鉴》(Mathematische Annalen)上。在这些论文中,他证明:平面上的每个线性可测量集可被分解为有规则和无规则的分支,规则分支在每个地方几乎都有一个切线,而无规律分支都有一个零测量投射向几乎所有方向。简而言之,规则分支看起来像连续曲线,而无规则分支看起来不像连续曲线。无规则分支的存在和性质与挂谷问题的伯西柯维奇解有联系。他给我的工作之一是,在高维空间中将可测量集分为规则分支组件和无规则分支。虽然我在这个问题上一事无成,却永远被烙上了伯西柯维奇风格。伯西柯维奇风格是建筑学风格。他用简单元素建造出精美、复杂的建筑结构,通常情况下有层次计划;当大厦建成时,通过简单的论证就可从完整结构中推导出意外的结论。伯西柯维奇的每项工作都是一件艺术品,像巴赫的赋格曲一样精心构成。