《凝聚集：两位数学家试图重写拓扑空间的基础语言》

导语

Quanta 这篇文章讲的是一场非常基础也非常抽象的数学重写：Peter Scholze 和 Dustin Clausen 试图用 condensed sets 替代传统拓扑空间，解决拓扑与代数长期“不好配合”的问题。它不是给旧理论加一个工具，而是在地基层面换一种语言，让许多已知结果变得更顺滑，也打开新的研究对象。

1. 拓扑空间强大，却不适合现代数学的一大块工作

拓扑常被用咖啡杯和甜甜圈的笑话介绍：两者都有一个洞，所以在可连续变形的意义下相同。但文章说，这种说法漏掉了关键问题：数学家如何严谨地描述“拉伸、压缩、连续、邻近”这些关系？传统答案是 topological spaces，即拓扑空间。

拓扑空间在 100 多年前诞生，参与了逻辑、集合论和现代数学基础的革命，后来成为巨大数学建筑的地基。可问题是，这个地基对现代数学中大量代数工作并不友好；拓扑空间能表达“接近”，却常让代数操作变得笨重。

Scholze 和 Clausen 过去十年要做的事，就是替换这个最基础概念。他们定义了 condensed sets，一类像“无限细分的点云”的对象，保留拓扑的连续信息，同时更适合和代数、范畴论等工具配合。Stanford 的 Ravi Vakil 说，他们解决的是一个大家原本不知道自己有的问题，因为旧方案看起来已经“够合理”。