你其实已经接触过拓扑学，只是自己没意识到。图论是拓扑学更年轻、更实用的兄弟。它们的本能相同，关注的是连接，而不是距离。
先来说说曲面。
曲面是一种形状，其中每个点都有一个看起来平坦的小邻域，就像一小块平面。放大到足够近的距离，它看起来就像普通的二维空间。但缩小视角，整体形状可能变得很奇特。
假设我们在球面上选取两个相邻点，使它们的方向一致。这两个点位于同一圆周上，其方向即为该圆的切线。接着出现第三个相邻点，它必然位于先前圆周上或相邻圆周上。
若如此，整个空间便被分割成无数同心圆。问题在于这些圆面不断缩小...在赤道附近，圆的形状完美无瑕，一切都流畅，一切都排列整齐。但随着你向两极移动，圆的形状逐渐缩小。到了极点，圆甚至坍缩成了一个点。一个点没有大小，没有空间，箭头也找不到任何与周围所有箭头都一致的方向。
那里必然存在某种断裂。一个不连续点。一个旋涡。一个梳子无法梳理的点。
毛球定理指出：这并非想象力或技巧的缺陷，而是必然的。球面上任何连续的向量场都至少存在一个向量为零的点，箭头完全消失的点。你不可能把一个毛球梳平。
圆在表面上的位置，它们如何收缩以及在哪里卡住，当你试图将它们收缩成一个点时会发生什么，这实际上是基本群fundamental group的起源。数学家通过研究表面上的环loops来识别表面特征。
在球面上，每个环都可以收缩成一个点。拉紧它，它会完全收缩。没有任何东西可以阻止它。
在甜甜圈上，有些环不行。穿过圆孔的环，拉紧它，它会卡住。它无法收缩到圆孔之外。
这就是区分表面的方法。不是通过测量，而是通过提问：你的环在做什么？
双孔形状，双环面的环路会卡在每个孔里，也会在孔间穿梭，以及这些环路的各种组合。孔越多，无法收缩的环路家族就越丰富。
而这正是数学家计算孔洞数量的方法。他们不是直接观察形状，而是记录环路的行为。环路承载着形状结构的信息。
这里有个奇妙之处，通过持续存在的事物来记忆表面。孔洞并非可见的属性，而是缺失。然而，环路却能感知到它们，围绕着它们盘旋，被它们捕获。
即使你无法直接看到孔洞，也能通过环路的行为感受到孔洞的存在。
毛球定理在数学中有一个正式名称：庞加莱-霍普夫定理。它还有一个姊妹结论：在环面上，你可以把它梳平。甜甜圈的环状结构保护了它。所有那些围绕着孔洞平滑运行的圆，它们让每个点都有了指向的地方。