我在大学学习拓扑时,总是不可避免地会遇到朋友和亲戚们的提问:“拓扑到底是什么?”这个问题很难回答,每次我都会给出略有不同的答案,但是答案总是不那么令人满意。如果你曾经在网上搜索过拓扑,你肯定会遇到将甜甜圈变成咖啡杯的动画,同样,我给出的答案也都与此相关:为什么甜甜圈跟咖啡杯在拓扑结构上是一样的,立方体和球体拓扑上也是一样的。
但是这样的答案并不能真正解释真实的拓扑是什么,拓扑怎么应用以及其真正的价值是什么。
如果你有学到一般拓扑学的本科课程,可能会难以将所学的东西跟熟悉的甜甜圈和咖啡杯动画联系起来。这篇文章的目的是建立一般拓扑的基本概念,并说明拓扑跟熟悉的动画以及其他几何思想之间的联系。接下来,我们来了解,为什么将甜甜圈和咖啡杯视为一样的东西会是有用、有价值的。
总的来说,我发现很多人(包括我自己)都在努力尝试去理解:怎么才能将抽象的数学应用到实际的现实中。在了解拓扑的基本思想之后,我们可以重新思考真实世界,也许会产生出乎意料的结果。在此之前,我们将介绍拓扑的基本概念,这也是了解拓扑必不可少的定义。
拓扑空间是具有最基本的结构的一组数学对象。数学中的结构通常意味着:数学对象之间的相加、相乘、距离或其他的概念。显然,这些结构适用于我们日常中遇到的数字。但是,拓扑空间的结构比加法、乘法和距离的思想更加基本。事实上,这些数字所在的空间是拓扑空间的一个特定情况,也就是说,实数实际上是拓扑空间的一个特殊情况。
拓扑空间上的结构称为空间拓扑。所有的拓扑都是数学对象的子集的集合,称为空间的“开集”。
拓扑中包含的特定集合定义了空间的结构,这概念似乎很模糊和抽象,这是因为事实就是如此,这是数学中最抽象的结构形式。当然,你不必完全理解此定义,只需记住拓扑及其内部的“开集”可以确定空间的结构。同样重要的是,使一个拓扑空间与另一个拓扑空间区分开的,是我们选择放入该空间拓扑中的集合。如果你感兴趣的话,以下是拓扑更加正式的定义。
通常,拓扑空间可以通过几何对象(例如球体)可视化:表示球体的拓扑空间是一些点的集合,如果将它们绘制在三维空间中,它们将构成一个球体以及一个拓扑。如前所述,拓扑定义了空间的结构,正是空间拓扑让这个球聚在一起不散开。我们可以将拓扑想象为“使所有点都不会掉落到地面上的事物”,它让球体保持单个物体的状态,而不仅仅是两个半球挤在一起。
现在,设想一个如下图所示的拓扑空间:假设上面的球体(图1)是用橡皮泥制成的,那么我们可以轻松地将球体拉伸变成另一个对象椭球(图2)。三维对象能够执行此操作意味着这两个对象在拓扑上是相同(等价)的。这可能看起来很奇怪,但是仔细想一想,这两种形状有什么不同?虽然它们看起来不同,但是如果我们可以轻松地将它们挤压或拉伸实现形状的变化,它们是否真的是独特的?
这两个对象具有相同的拓扑,这意味着,即使这两个对象在几何形状上有所不同,但它们在拓扑上完全等价。我们可以将橡皮泥拉伸成可以想象的任何奇怪形状,但在拓扑结构世界中,所有这些形状都完全相同。也许你对拉伸的形状没有什么概念,但是关于如何拉伸橡皮泥的游戏有一些规则:1. 不允许在橡皮泥上打洞;2. 不允许将橡皮泥上的两点捏合在一起(我们没法将球形的橡皮泥做成甜甜圈的形状)。
如果我们在拉伸时违反了这些规则,那么这两个对象在拓扑上将不再等价。拓扑学家称这种不破坏既定规则的拉伸为同胚,这只是一种数学上精确地描述如何让橡皮泥的形状保持相同拓扑性质的方法。因此,如果我们可以得出两个拓扑空间之间的同胚性,则这些空间具有相同的拓扑,这就说到了咖啡杯和甜甜圈动画。
我们可以提供一个描述甜甜圈的拓扑空间,然后想象我们的甜甜圈是由橡皮泥制成的,然后在不破坏规则的情况下,将其拉伸到咖啡杯的形状。所以,是的,在拓扑结构上,咖啡杯和甜甜圈是同一件事。
现在,我们知道了如何判断两个对象在拓扑中的一致性,现在我们来看一下如何判断其在拓扑中的差异性。拓扑空间具有许多可以区分它们的不同属性。对于三维对象,例如球体和甜甜圈,我们可以用来区分二者的主要是它们具有的孔数。
如果一个对象比另一个对象具有更多的孔,则二者在拓扑上是不同的。这是因为它们违反了我们先前建立的拉伸橡皮泥的规则。要造出一个孔,我们要么在橡皮泥上撕出一个洞,要么将橡皮泥拉伸成一个甜甜圈形状,然后将两端合并在一起。
在拓扑上区分三维对象的另一种常用方法是,想象在三维对象上面行走。例如,在球体上行走。假设你从某个点开始,一直绕着球体上的一个大圆圈行走,当你再次到达同一点后,可以沿任一方向旋转90度,然后绕着另一个大圆圈走。在绕球的第二圈中,你将穿越第一条路径。无论你在球面上的哪一点上执行此操作,都会发生这种情况。
在与球体拓扑等价的任何三维对象上也会发生这种现象。但是,在某些拓扑上与球体不等价的对象上,有方法可以做到这一点而不穿越第一条路径,你可以在甜甜圈上看到这个现象。
对于拓扑等价的对象,他们的许多拓扑性质都是相同的;对于拓扑不等价的对象,这些拓扑性质则不一定相同。这些拓扑性质,就是用于确定两个对象拓扑等价与否的重要工具。
到目前为止,我们仅讨论了可以在3维中可视化的拓扑空间,但拓扑的一个优势是,它允许我们使用同样的方法轻松地描述4、5或更高维中存在的对象。此类拓扑结构中经常出场的是克莱因瓶:严格来说,我们实际上无法在三维空间中观察到真正的克莱因瓶,但是通过允许其自身交叉,我们可以对它的性质有所了解。
在四维空间中,该对象实际上并不与自身交叉。很难想象的是,它会在第四维度弯曲以重新连接到自身。克莱因瓶看起来像有内外两侧,但是你可以从一个特定点沿一条连续的路径走,你将经过克莱因瓶的“外部”和“内部”,最后回到原始点,这说明克莱因瓶的3D表示在拓扑上是同一个面。因此,克莱因瓶没有容积。
但是,关于克莱因瓶上的路径的一个有趣的事情是,如果沿着上述路径行走,当你返回到原始位置时,你实际上将成为自己的镜像。这是与克莱因瓶在拓扑上等效(或同胚)的对象的拓扑属性。显然,克莱因瓶对球体或甜甜圈不是同胚的,因为无论我们在球体或甜甜圈上行走的方式如何,当我们回到起点时,我们都不会成为自己的镜像。如果对象具有成为自己镜像的这种属性,则将它们称为不可定向的。克莱因瓶不可定向,球形和甜甜圈可定向。
另一个著名的不可定向表面是莫比乌斯带,这个很容易用纸条制作,网上也有很多教程。尽管莫比乌斯带不可定向,但它在拓扑结构上不等同于克莱因瓶,而且其结构是一个整体。虽然可以通过将两个莫比乌斯条的边缘粘合在一起来构造克莱因瓶,但实际上在三维空间中这样做是不可能的(你可以尝试)。
研究在三维空间中难以可视化的对象(例如克莱因瓶)的拓扑的一种更实用的方法是考虑其粘合图,粘合图通过拉伸和粘合2D形状的边缘的方式,来指导我们如何构造具有特定拓扑的对象。在考虑复杂形状的粘合图之前,首先考虑一个更简单形状的粘合图,甜甜圈:我们假设图中的正方形是用橡皮泥制成的,然后想象一下拉伸正方形让对侧的边缘附着在一起或粘贴起来。当我们将这些边缘粘合在一起时,我们需要箭头指向同一方向。
粘合图是查看对象是否可定向的简单方法。我们可以想象在粘合图上行走与在“吃豆人”中的原理类似,当吃豆人到达世界的一侧时,它可以从另一侧出来。如果我们想象吃豆人在粘合图上移动,当它进入一侧时,它将从同一颜色的另一侧冒出来,而箭头确定了它前进的方向。假设吃豆人进入圆环粘合图的右侧,那么它将从左侧出现。这就是正常“吃豆人”世界的拓扑工作方式。
实际上,拓扑在统计领域中非常有用。
统计学中一个新兴的研究领域是拓扑数据分析。有用的数据通常具有某种结构,这些结构具有某种规律或趋势,而数据分析本质上是揭示此结构的过程。在数据中寻找结构通常取决于我们如何看待数据,即:使用什么统计检验,将哪些变量与其他变量进行比较以及使用哪些可视化表示。从拓扑结构中,我们知道看起来完全不同的事物实际上可以具有相同的结构。
这个想法也可以应用于数据,因为即使在处理相同的数据,若看待数据的角度不同,它们看起来也可能完全不同。
在拓扑数据分析中,数据的结构将会进行拓扑处理。我们知道,拓扑属性是在不改变其拓扑性质的变换过程中保持不变的属性。因此,在对数据进行拓扑数据分析时,我们主要寻找在经过各种处理方式之后保持不变的属性,这个过程可以类比于像拉伸橡皮泥一样拉伸数据。
通过这种方式,我们可以确定数据的真实结构,并且不再依赖数据的观察方式。这只是所谓的“现实世界”中许多拓扑应用之一。其他拓扑应用程序还涉及看起来不同的事物实际上是否是相同的问题,这个问题在处理经由不同的人、不同方式表述的同样的信息中非常重要。具有不同的表示方式的几种情况有:分子结构、地理图、DNA结构和绳结等等。
虽然最初可能很难看清,但是拓扑是大多数数学领域的基础。确切定义拓扑的“使用方式”非常困难,因为它的存在在数学的工作方式中根深蒂固,以至于我们甚至都没有注意到我们正在使用它。直到最近,拓扑学才成为独立于其他数学领域的学科,不断涌现出新的研究成果和应用。