拓扑图
拓扑图（topological graph）是一类特殊的拓扑空间，由有限个顶点和有限条边组成。其中，顶点是一些点，而边则是 \(\mathbb{R}\) 中有限条两两互不相交的闭区间。通过将这些区间的端点按照一定规则与顶点连接（更准确地说是进行识别），便可以构造出一个新的拓扑空间。
与普通图论中的图类似，拓扑图也描述了不同顶点之间的连接关系。不过，拓扑图不仅关注"哪些顶点相连"，还把边看作真正的拓扑空间，因此兼具几何直观性和拓扑学意义。
从本质上说，拓扑图是将若干简单空间通过粘接操作组合在一起后得到的一个整体空间。
注：拓扑图是商拓扑的重要应用之一。在构造过程中，我们先从一些简单的拓扑空间（如闭区间）出发，然后通过等价关系把它们的部分点识别在一起，从而得到新的空间。简单来说，就是把若干线段的端点"粘接"到指定顶点上，最终形成具有图结构的拓扑空间。
如何构造拓扑图
构造拓扑图并不复杂，通常可以分为两个步骤。
- 确定顶点：首先选取有限个点作为顶点。例如，可以将它们记为 A、B、C、D、E 和 F。
- 添加边：然后取若干区间（线段），并将每个区间的两个端点与指定顶点进行识别。这样便建立起顶点之间的连接关系。这些区间称为边。
换句话说，我们把若干线段连接到一些点上，从而得到一个图结构。
之所以称其为"拓扑图"，是因为它的本质特征并不依赖于边的长度、形状或绘制方式，而取决于各部分之间是如何连接的。
一个具体例子
下面通过一个简单例子来说明拓扑图的构造过程。
首先，在 \(\mathbb{R}\) 中取三个闭区间：
$$ I_1 = [0,1], \quad I_2 = [0,1], \quad I_3 = [0,1] $$
每个区间都是一条线段，其两个端点分别为 \(0\) 和 \(1\)。
接下来，定义一个由三个顶点组成的集合：
$$ G=\{A,B,C\} $$
这些顶点将作为各条边的连接点。
然后按照以下规则，将区间的端点与顶点进行识别：
- 将区间 \(I_1\) 的端点 \(0\) 与顶点 \(A\) 识别，端点 \(1\) 与顶点 \(B\) 识别。
- 将区间 \(I_2\) 的端点 \(0\) 与顶点 \(B\) 识别，端点 \(1\) 与顶点 \(C\) 识别。
- 将区间 \(I_3\) 的端点 \(0\) 与顶点 \(A\) 识别，端点 \(1\) 与顶点 \(C\) 识别。
完成这些识别后，就得到一个包含三个顶点 \(A\)、\(B\)、\(C\) 和三条边 \((A,B)\)、\((B,C)\)、\((A,C)\) 的图。
从拓扑学的角度来看，我们原本拥有三个彼此独立的区间。通过把它们的端点与顶点进行识别，这些独立的空间被连接成了一个新的整体空间，即拓扑图。
可以把这个过程直观地理解为：将若干线段的端点"粘接"到指定顶点上，从而形成一个连通的网络结构。
这种构造方法不仅适用于简单的三角形结构，还可以推广到更复杂的图。许多拓扑学中的重要对象，都可以通过类似的粘接思想来构造。
