可视化微分几何和形式

翻开这本五百多页的书之前，你可能需要先做一件事：去厨房拿一个柚子、一个榴梿、一个南瓜、一个土豆，再找几根牙签。物理学家迈克尔·贝里说，尼达姆就是用这些东西来讲微分几何的。

这个建议听起来像玩笑，但恰好道出了这本书最特别的地方——它让你“看见”数学。

尼达姆是旧金山大学数学系教授，牛津大学博士，导师是与霍金齐名的物理学家罗杰·彭罗斯。二十多年前，他写过一本《复分析：可视化方法》，颠覆了复变函数的教学方式。这本新书延续了同样的理念——把抽象的理论变成可以“看见”的东西。

全书以五幕数学剧的形式展开，符合莎士比亚戏剧的经典结构。第一幕讲空间的本质——从欧几里得几何到非欧几何，从古希腊人关于平行公理的争论一路讲到高斯曲率。第二幕讲度量——如何用数学描述曲面的形状。第三幕讲曲率——全书的戏剧高潮是全局高斯-博内定理，并由此引入黎曼曲率张量。第四幕讲平行移动——这是爱因斯坦广义相对论的核心数学工具。第五幕讲微分形式——首次以直观、几何的方式向本科生介绍这个通常只在研究生阶段才会触及的高级主题。

这本书的“可视化”体现在三个层面。

第一，插图。 全书235幅手绘示意图，几乎每页一幅。有些画的是水果——用牙签插在柚子上演示测地线，用刀切下一圈果皮展开后变成直线。有些是几何构造图，把抽象的数学符号变成可以“看”的形状。

第二，方法。 尼达姆刻意回归牛顿在《自然哲学的数学原理》中使用的几何证明方法。不用代数推演，用几何直观。他引用了菲尔兹奖得主迈克尔·阿蒂亚的话——代数是魔鬼的工具，它用不加思考的计算取代了几何思维。这句话或许有些极端，但恰好说明了这本书的立场：先看见，再计算。

第三，叙事。 它不像普通教材那样堆砌定义、引理、定理。它讲故事——从平行公理的争论讲到爱因斯坦发现时空弯曲，从自由落体的数学讲到黑洞的几何、引力波的数学。读它不需要你先掌握一大堆抽象概念，只需要基本的微积分和几何学知识。

物理学家迈克尔·贝里为这本书写的推荐语，大概说出了很多人的心声：“我真希望当我还是学生的时候就有尼达姆的这本书。”

这本书不是写给专家看的。它是写给那些“被23个定义、52个命题、46个引理和17个定理挡在门外”的人看的。它是写给那些“愿意用严格的 rigor 换取更直观的理解”的人看的。

如果你曾被微分几何的抽象符号劝退过，这本书或许能帮你找回最初的直觉——那个从一根绳子、一个柚子和一把水果刀开始的几何直觉。