环面：修订间差异

2026年9月20日 (日) 07:16的最新版本

环面（torus）是一种没有边界的二维曲面，常见的形状是甜甜圈的表面。表面本身与它包围的三维实体不同，后者称为实心环面。环面的一个基本特点是有两个独立的绕行方向：沿中央孔绕一周，或沿管子的截面绕一周。

越过画面边缘以后，到了哪里

设一个小点在正方形画面内移动：走出右边时，从左边同样高度进入；走出上边时，从下边同样横坐标进入。画面尺寸都为一，点 $(0.95, 0.40)$ 向右走 $0.10$ ，便到达显示为 $(0.05, 0.40)$ 的位置。它并没有跳跃，只是跨过了画面的接缝。

这个规则把左右边的对应点看成同一个点，也把上下边的对应点看成同一个点。特别是四个角，在识别后代表同一个位置。

正方形两对相对边分别使用同向箭头标识，说明按对应方向粘合得到环面 — 相对边上的箭头表示同名点的识别方向。粘边后，纸面上的边不是环面的边界。

沿图中一组相同箭头，把左右两边配起来，可想成先形成一个圆筒；再把另一组边配起来，圆筒两端接合，就形成环面。图上的边负责标记接缝，接合后不再是曲面的边界。在边上的点附近，左右两个半邻域拼成一整块；在角点附近，四个小角也拼成一整块。因此接缝上的点与其他点一样，都有类似平面小圆盘的邻域。

写成符号，就是把平面中 $(x, y)$ 与 $(x + m, y + n)$ 识别，其中 $m, n$ 为整数，记作 $T^{2} = ℝ^{2} / ℤ^{2} .$ 斜线表示按整数平移识别，不是数值除法。横向位置有一个周期，纵向位置有另一个周期；每个位置等价于同时指定两个圆周上的点，所以也写作 $S^{1} \times S^{1}$ ，其中 $S^{1}$ 表示圆周。

怎样在三维空间中画出它

在三维空间中，取一个半径为 $r$ 的圆，让它的圆心离旋转轴 $R$ ，其中 $R > r > 0$ 。让这个圆绕轴转一圈，得到圆环面。

用 $v$ 表示截面圆上的角度。该点高出水平面的高度是 $r \sin v$ ，到旋转轴的水平距离是 $R + r \cos v$ 。再用 $u$ 表示绕旋转轴的角度，便得到 $\begin{matrix} x & = (R + r \cos v) \cos u, \\ y & = (R + r \cos v) \sin u, \\ z & = r \sin v . \end{matrix}$ 两个角度都按 $2 π$ 为周期，正好对应上一节的两个周期方向。

大半径为三小半径为一的圆环面三维网格，两组网格分别展示两个周期方向 — 圆环面是抽象环面的一种嵌入。外侧纬圈更长、内侧纬圈更短，这一长度差属于具体几何结构。

图中采用 $R = 3, r = 1$ 。沿管子绕行的一组网格对应固定 $u$ 、改变 $v$ ；围绕中央孔的一组对应固定 $v$ 、改变 $u$ 。当 $v = 0$ 时，点在外侧，到旋转轴的距离为四；当 $v = π$ 时，点在内侧，距离为二。因此图中内侧的纬圈较短、外侧较长。

条件 $R > r$ 保证截面圆不碰到旋转轴。给定曲面上的空间点，可以由其方位角找回 $u$ ，再由水平半径与高度找回 $v$ ，只差整周的重复。若 $R = r$ ，表面在轴上收缩到奇点；若 $R < r$ ，旋转图形会自交。这两种情况不再是这里的光滑无自交圆环面。

为什么矩形环面与圆环面的距离不同

回到画面中的两点 $P = (0.95, 0.40)$ 、 $Q = (0.05, 0.40)$ 。直接在正方形里连线，长度是 $0.90$ ；跨越接缝，长度只有 $0.10$ 。若我们把局部平面距离保留下来，这个粘边模型称为平坦环面。

计算最短距离时，可先把终点的所有周期副本铺在平面上，再找离起点最近的一个。对于边长 $L_{x}, L_{y} > 0$ 的矩形，公式为 $d (P, Q) = min_{m, n \in ℤ} \sqrt{(x_{Q} - x_{P} + m L_{x})^{2} + (y_{Q} - y_{P} + n L_{y})^{2}} .$ 开头的例子取 $m = 1, n = 0$ ，横向差由 $- 0.90$ 变成 $0.10$ 。

平坦环面与图中的空间圆环面具有相同的拓扑形状，但长度结构不同。平坦环面上固定纵坐标后横向走一圈，周长处处相同；空间圆环面的纬圈周长却是 $2 π (R + r \cos v)$ 。把正方形想象成弯曲后粘起，只是在说明点怎样识别，并不表示能把真实纸面不拉伸地变成这个圆环面。

圆环面的面积怎样计算

取很小的角度增量 $d u, d v$ 。固定截面角 $v$ ，沿纬圈走 $d u$ ，弧长约为 $(R + r \cos v) d u$ ；固定 $u$ ，沿截面圆走 $d v$ ，弧长约为 $r d v$ 。两个方向互相垂直，所以一小块面积为 $d A = r (R + r \cos v) d u d v .$ 这一局部比例也可由参数方程的两个导向量直接验证：它们点积为零，长度分别为 $R + r \cos v$ 与 $r$ 。

先对截面角积分： $\int_{0}^{2 π} r (R + r \cos v) d v = 2 π R r,$ 因为一整周的余弦积分为零。再让 $u$ 走一整周，得到 $A = 4 π^{2} R r .$ 当 $R = 3, r = 1$ 时，面积为 $12 π^{2}$ 。内侧缩短的部分与外侧增长的部分，在积分中恰好抵消。

若要求实体的体积，要把截面圆内部也填满。用 $s$ 表示截面内部到截面圆心的距离， $0 \leq s \leq r$ 。体积元为 $s (R + s \cos v) d s d v d u$ ，所以 $V = \int_{0}^{2 π} \int_{0}^{2 π} \int_{0}^{r} s (R + s \cos v) d s d v d u = 2 π^{2} R r^{2} .$ 同一例子的体积为 $6 π^{2}$ 。面积的单位是长度平方，体积是长度立方；把两个半径都放大两倍，前者变为四倍，后者变为八倍。

在表面上走一圈，能否缩成一点

在粘边画面中，从原点向右走一单位，回到同一个环面点；向上走一单位，也回到原点。两条闭合路线都不能在环面表面上连续缩成一点。

可以把画面在平面上不断复制，来追踪这件事。跨过接缝后，不把路线折回原画面，而是继续画到相邻副本中。环面上的闭合路线，在这个展开的平面里会从 $(0, 0)$ 走到某个整数点 $(m, n)$ 。整数 $m, n$ 分别记录两个方向绕了多少圈；反向绕行记为负数。

变形路线时固定起终点，平面展开后的终点必须仍为整数点。它不能连续地从一个整数点移到另一个整数点，所以 $(m, n)$ 不变。常值路线的终点为 $(0, 0)$ ，因此 $(1, 0)$ 或 $(0, 1)$ 对应的路线无法缩成它。反过来，如果展开后终点也是原点，平面中的闭合路线可用直线收缩，投影回环面便给出所需收缩。

更一般地，两个展开路线若有相同终点，可以在平面中连续变形为彼此，再投影回环面；终点不同则不能。因此闭合路线的这些变形类别由整数对分类。先走一条再走一条，整数对相加，用群的记号写成 $π_{1} (T^{2}) ≅ ℤ \times ℤ .$ 这里的基本群记录带固定基点的路线类别；路径提升随变形连续的正式论证见 Hatcher 第一章。

路线的点集与走法也不同。直线方向 $(1, 1)$ 在平坦环面上走完一次闭合路线，方向总位移 $(2, 2)$ 可以沿同一轨迹走两遍；两者留下同样的痕迹，绕行数却不同。若填入实心环面，截面圆周又可以在内部圆盘里收缩，只有绕中央孔的方向保留下来。允许路线经过哪些点，会改变答案。

沿两条环路转动观察

先分别隐藏一条环路，沿另一条走完一周，再转动模型查看它背面的部分。改变 $R$ 与 $r$ 时，圆环面的长度、面积会变，但只要始终满足 $R > r > 0$ ，这种连续改变不会填上中间的洞。滑条只提供满足这个条件的参数；它展示几何尺寸的变化，并不是环路不能收缩的证明。

转动环面，追踪两条环路

转动模型，改变大半径与小半径，比较经线、纬线和曲面的面积。

静态配图与完整推导见本节正文；交互演示需浏览器启用 JavaScript。

从粘边图数出一个整体量

在正方形图里，四个角接合后只算一个顶点，两对边接合后只算两条边，内部只算一个面。顶点数减边数再加面数，得到 $χ = 1 - 2 + 1 = 0.$ 这个量称为欧拉示性数。细分不会改变它：在一条边中间加一个顶点，顶点和边各增加一；把一个面分成两面，则边和面各增加一。两种情况下差额都抵消。

球面的欧拉示性数为二，环面为零，因而两者不可能同胚。这里计数的是接合后的结构，不能把未粘好的正方形四个顶点、四条边直接代入。对于连通、紧致、可定向且无边界的曲面，更一般的关系是 $χ = 2 - 2 g$ ，其中 $g$ 为亏格；环面对应 $g = 1$ 。

圆环面的局部弯曲还能提供另一个看法。它的高斯曲率为 $K (u, v) = \frac{\cos v}{r (R + r \cos v)} .$ 因此外侧为正，内侧为负，管的顶部和底部为零。这个公式由曲面的第一、第二基本形式求得，详细推导见 Durham 曲面讲义习题解答。将它乘以上面已算出的面积元，得到 $K d A = \cos v d u d v$ ，整张曲面的曲率积分为零，符合高斯—博内关系 $\int K d A = 2 π χ$ 。长度和曲率取决于所选几何模型，欧拉示性数则保留了曲面的整体拓扑信息。

历史

旋转曲面提供了环面的直观模型，周期运动提供了两个独立角度的模型。十九世纪发展的拓扑学把这些模型中的整体性质与具体长度分开研究。庞加莱在 1895 年《Analysis situs》中引入基本群并发展同调观点，为用路径和整体不变量研究环面等曲面提供了系统工具。MacTutor：拓扑学史

参考资料与知识联系

Allen Hatcher，Algebraic Topology，Cambridge University Press，2002，第一章及第二章的曲面胞腔例子。讨论基本群与胞腔结构。
J. J. O'Connor、E. F. Robertson，A history of Topology，MacTutor，University of St Andrews。讨论现代拓扑学与 1895 年庞加莱工作的背景。
Norbert Peyerimhoff，Riemannian Geometry，习题解答 6，Durham University：圆环面的高斯曲率与总曲率计算。
前置：拓扑空间、连续映射；相关：群、积分、欧氏几何、数学建模。

@@ 第1行： / 第1行： @@
-'''环面'''（torus）是与两个圆的乘积 <math>S^1\times S^1</math> 同胚的拓扑曲面，通常记为 <math>T^2</math>。三维空间中常见的“甜甜圈表面”是它的一种几何实现。环面指二维表面；表面所围住的三维区域叫作'''实心环面'''，两者的维数、路径性质和所讨论的测量量不同。
+'''环面'''（torus）是一种没有边界的二维曲面，常见的形状是甜甜圈的表面。表面本身与它包围的三维实体不同，后者称为实心环面。环面的一个基本特点是有两个独立的绕行方向：沿中央孔绕一周，或沿管子的截面绕一周。
-环面同时连接几何与拓扑：几何问题关心某种具体模型中的长度、面积、曲率；拓扑问题关心连续变形下保持的整体结构。两个对象可以同胚，却不具有相同的距离或面积。因此，“环面长什么样”需要与“给环面配了什么几何结构”分开回答。
+== 越过画面边缘以后，到了哪里 ==
+设一个小点在正方形画面内移动：走出右边时，从左边同样高度进入；走出上边时，从下边同样横坐标进入。画面尺寸都为一，点 <math>(0.95,0.40)</math> 向右走 <math>0.10</math>，便到达显示为 <math>(0.05,0.40)</math> 的位置。它并没有跳跃，只是跨过了画面的接缝。
-== 两个独立的周期：从角度到粘边 ==
+这个规则把左右边的对应点看成同一个点，也把上下边的对应点看成同一个点。特别是四个角，在识别后代表同一个位置。
-圆周上的位置可以用一个角度描述，角度增加一个整周后回到原点。若一个状态同时包含两个独立角度，那么把第一个角度加一个整周、把第二个角度加一个整周，都不会改变状态。这样的状态空间就是两个圆的乘积，而不是一个圆周：指定其中一个角度还不足以确定一个点。
-把每个角度缩放到单位长度后，可把环面写为
+[[File:Gezhi-torus-identification-theme.svg|frame|center|alt=正方形两对相对边分别使用同向箭头标识，说明按对应方向粘合得到环面|相对边上的箭头表示同名点的识别方向。粘边后，纸面上的边不是环面的边界。]]
+沿图中一组相同箭头，把左右两边配起来，可想成先形成一个圆筒；再把另一组边配起来，圆筒两端接合，就形成环面。图上的边负责标记接缝，接合后不再是曲面的边界。在边上的点附近，左右两个半邻域拼成一整块；在角点附近，四个小角也拼成一整块。因此接缝上的点与其他点一样，都有类似平面小圆盘的邻域。
+写成符号，就是把平面中 <math>(x,y)</math> 与 <math>(x+m,y+n)</math> 识别，其中 <math>m,n</math> 为整数，记作
 <math display="block">T^2=\mathbb R^2/\mathbb Z^2.</math>
-这里的商符号表示等价关系：<math>(x,y)</math> 与 <math>(x+m,y+n)</math> 表示同一个点，其中 <math>m,n</math> 是整数。它不是普通数值除法。选取单位正方形作为基本区域，就必须把左边与右边的对应点、下边与上边的对应点识别起来；四个角最后都代表同一个点。
+斜线表示按整数平移识别，不是数值除法。横向位置有一个周期，纵向位置有另一个周期；每个位置等价于同时指定两个圆周上的点，所以也写作 <math>S^1\times S^1</math>，其中 <math>S^1</math> 表示圆周。
-[[File:Gezhi-torus-identification.svg|frame|center|alt=正方形两对相对边分别使用同向箭头标识，说明按对应方向粘合得到环面|相对边上的箭头表示同名点的识别方向。粘边后，纸面上的边不是环面的边界。]]
+== 怎样在三维空间中画出它 ==
+在三维空间中，取一个半径为 <math>r</math> 的圆，让它的圆心离旋转轴 <math>R</math>，其中 <math>R>r>0</math>。让这个圆绕轴转一圈，得到圆环面。
-先粘左右边可以想象成圆筒，再把圆筒两端粘起来得到环面。这个过程是帮助理解商空间的模型，不必要求一张真实纸在不拉伸的前提下完成最后一步。实物材料是否可无应变弯曲属于几何与力学问题，商空间的定义只规定哪些点被当作同一点以及哪些集合是开集。
+用 <math>v</math> 表示截面圆上的角度。该点高出水平面的高度是 <math>r\sin v</math>，到旋转轴的水平距离是 <math>R+r\cos v</math>。再用 <math>u</math> 表示绕旋转轴的角度，便得到
+<math display="block">\begin{aligned}x&=(R+r\cos v)\cos u,\\y&=(R+r\cos v)\sin u,\\z&=r\sin v.\end{aligned}</math>
+两个角度都按 <math>2\pi</math> 为周期，正好对应上一节的两个周期方向。
-在粘边后的任何点附近，包括原先画在边上和角上的点附近，都能找到与平面小圆盘同胚的邻域。边上的两个半邻域拼成完整邻域，角上的四块邻域同样拼成一个圆盘。这解释了环面为什么是'''没有边界'''的二维曲面；正方形图中出现了边，不等于最终对象保留了这些边。商空间的准确语言可接着阅读[[拓扑空间]]与[[连续映射]]。
+[[File:Gezhi-torus-surface-theme.svg|frame|center|alt=大半径为三小半径为一的圆环面三维网格，两组网格分别展示两个周期方向|圆环面是抽象环面的一种嵌入。外侧纬圈更长、内侧纬圈更短，这一长度差属于具体几何结构。]]
-== 空间圆环面：参数方程与无自交条件 ==
+图中采用 <math>R=3,r=1</math>。沿管子绕行的一组网格对应固定 <math>u</math>、改变 <math>v</math>；围绕中央孔的一组对应固定 <math>v</math>、改变 <math>u</math>。当 <math>v=0</math> 时，点在外侧，到旋转轴的距离为四；当 <math>v=\pi</math> 时，点在内侧，距离为二。因此图中内侧的纬圈较短、外侧较长。
-在三维欧氏空间中，把半径为 <math>r</math> 的圆绕同平面内一条轴旋转，圆心到旋转轴的距离为 <math>R</math>。当 <math>R>r>0</math> 时，得到通常的无自交圆环面。一个参数表示是
-<math display="block">\begin{aligned}x&=(R+r\cos v)\cos u,\\y&=(R+r\cos v)\sin u,\\z&=r\sin v,\end{aligned}\qquad 0\le u,v<2\pi.</math>
-角度 <math>u</math> 控制绕中央孔的方向，角度 <math>v</math> 控制沿管截面的方向。两个角度都具有周期，因而参数自然来自 <math>S^1\times S^1</math>。角度区间采用半开写法仅为避免重复记录接缝，不表示接缝处发生断裂。
-[[File:Gezhi-torus-surface.svg|frame|center|alt=大半径为三小半径为一的圆环面三维网格，两组网格分别展示两个周期方向|圆环面是抽象环面的一种嵌入。外侧纬圈更长、内侧纬圈更短，这一长度差属于具体几何结构。]]
+条件 <math>R>r</math> 保证截面圆不碰到旋转轴。给定曲面上的空间点，可以由其方位角找回 <math>u</math>，再由水平半径与高度找回 <math>v</math>，只差整周的重复。若 <math>R=r</math>，表面在轴上收缩到奇点；若 <math>R<r</math>，旋转图形会自交。这两种情况不再是这里的光滑无自交圆环面。
-条件 <math>R>r</math> 确保 <math>R+r\cos v>0</math>。这既避免旋转截面穿过旋转轴，也保证两个参数方向的导向量始终独立。若 <math>R=r</math>，表面在轴上出现奇点；若 <math>R<r</math>，旋转图形发生自交。它们可以被称作不同类型的旋转环状曲面，但不能不加说明地继续视为此处的光滑嵌入环面。
+== 为什么矩形环面与圆环面的距离不同 ==
+回到画面中的两点 <math>P=(0.95,0.40)</math>、<math>Q=(0.05,0.40)</math>。直接在正方形里连线，长度是 <math>0.90</math>；跨越接缝，长度只有 <math>0.10</math>。若我们把局部平面距离保留下来，这个粘边模型称为平坦环面。
-给出参数方程后，还应确认它是否遗漏点或把不同点过度识别。对于 <math>R>r</math>，空间点的方位角确定 <math>u</math>，其到旋转轴的距离与高度又确定 <math>v</math>，唯一性仅差两个整周。因此这个模型的点识别恰好符合两周期结构，而非产生额外的自交。
+计算最短距离时，可先把终点的所有周期副本铺在平面上，再找离起点最近的一个。对于边长 <math>L_x,L_y>0</math> 的矩形，公式为
+<math display="block">d(P,Q)=\min_{m,n\in\mathbb Z}\sqrt{(x_Q-x_P+mL_x)^2+(y_Q-y_P+nL_y)^2}.</math>
+开头的例子取 <math>m=1,n=0</math>，横向差由 <math>-0.90</math> 变成 <math>0.10</math>。
-== 面积和体积：两种对象、两种积分 ==
+平坦环面与图中的空间圆环面具有相同的拓扑形状，但长度结构不同。平坦环面上固定纵坐标后横向走一圈，周长处处相同；空间圆环面的纬圈周长却是 <math>2\pi(R+r\cos v)</math>。把正方形想象成弯曲后粘起，只是在说明点怎样识别，并不表示能把真实纸面不拉伸地变成这个圆环面。
-对参数映射分别沿 <math>u,v</math> 求导，两切向量互相垂直，长度分别是 <math>R+r\cos v</math> 与 <math>r</math>。小参数矩形在曲面上形成近似平行四边形，所以面积元为
+== 圆环面的面积怎样计算 ==
+取很小的角度增量 <math>du,dv</math>。固定截面角 <math>v</math>，沿纬圈走 <math>du</math>，弧长约为 <math>(R+r\cos v)du</math>；固定 <math>u</math>，沿截面圆走 <math>dv</math>，弧长约为 <math>r\,dv</math>。两个方向互相垂直，所以一小块面积为
 <math display="block">dA=r(R+r\cos v)\,du\,dv.</math>
-在两个整周上积分，含余弦的项平均为零，得到
+这一局部比例也可由参数方程的两个导向量直接验证：它们点积为零，长度分别为 <math>R+r\cos v</math> 与 <math>r</math>。
-<math display="block">A=\int_0^{2\pi}\int_0^{2\pi}r(R+r\cos v)\,dv\,du=4\pi^2Rr.</math>
-面积恰好等于大圆周长与小圆周长的乘积，但这是积分推导后的结果；不同纬圈实际有不同长度，不能把曲面本身当作未经改变距离的平面长方形。
-实心环面的体积可以直接用圆盘截面的柱坐标积分计算。用 <math>s</math> 表示距截面圆心的径向距离，有 <math>0\le s\le r</math>，体积元为 <math>s(R+s\cos v)\,ds\,dv\,du</math>。于是
+先对截面角积分：
+<math display="block">\int_0^{2\pi}r(R+r\cos v)\,dv=2\pi Rr,</math>
+因为一整周的余弦积分为零。再让 <math>u</math> 走一整周，得到
+<math display="block">A=4\pi^2Rr.</math>
+当 <math>R=3,r=1</math> 时，面积为 <math>12\pi^2</math>。内侧缩短的部分与外侧增长的部分，在积分中恰好抵消。
+若要求实体的体积，要把截面圆内部也填满。用 <math>s</math> 表示截面内部到截面圆心的距离，<math>0\le s\le r</math>。体积元为 <math>s(R+s\cos v)\,ds\,dv\,du</math>，所以
 <math display="block">V=\int_0^{2\pi}\int_0^{2\pi}\int_0^r s(R+s\cos v)\,ds\,dv\,du=2\pi^2Rr^2.</math>
-也可用帕普斯形心定理：截面圆盘面积乘以形心走过的圆周长度。旋转轴不能穿过截面内部，是这个直观算法的必要条件；当前的 <math>R>r</math> 正好满足它。
+同一例子的体积为 <math>6\pi^2</math>。面积的单位是长度平方，体积是长度立方；把两个半径都放大两倍，前者变为四倍，后者变为八倍。
-例如 <math>R=3,r=1</math> 时，表面积为 <math>12\pi^2</math>，实心部分体积为 <math>6\pi^2</math>。若把所有长度都放大两倍，面积变为原来的四倍，体积变为原来的八倍。若只把管半径增加一倍而固定大半径，则必须重新检查仍有 <math>R>r</math>，不能只机械代入公式而忽略嵌入条件。
+== 在表面上走一圈，能否缩成一点 ==
+在粘边画面中，从原点向右走一单位，回到同一个环面点；向上走一单位，也回到原点。两条闭合路线都不能在环面表面上连续缩成一点。
-== 两个绕行方向为何不能缩成一点 ==
+可以把画面在平面上不断复制，来追踪这件事。跨过接缝后，不把路线折回原画面，而是继续画到相邻副本中。环面上的闭合路线，在这个展开的平面里会从 <math>(0,0)</math> 走到某个整数点 <math>(m,n)</math>。整数 <math>m,n</math> 分别记录两个方向绕了多少圈；反向绕行记为负数。
-固定一个基点。沿中央孔方向走一整周得到一个闭合路径，沿管截面方向走一整周得到另一个闭合路径。它们虽然都回到出发点，却不能在环面表面内连续收缩成常值路径；收缩时允许曲线形变，但所有中间曲线都必须留在表面上。
-在覆盖平面 <math>\mathbb R^2</math> 中，可以把基点提升为原点。环面上的闭合路径提升后可能从 <math>(0,0)</math> 走到某个整数点 <math>(m,n)</math>。终点的两个整数记录两个基本方向的绕行次数。连续变形无法让整数终点连续跳到另一个整数点，所以绕行数保持不变。若终点是原点，提升路径在平面中可收缩，再投影回环面便得到收缩。这给出分类的核心理由。
+变形路线时固定起终点，平面展开后的终点必须仍为整数点。它不能连续地从一个整数点移到另一个整数点，所以 <math>(m,n)</math> 不变。常值路线的终点为 <math>(0,0)</math>，因此 <math>(1,0)</math> 或 <math>(0,1)</math> 对应的路线无法缩成它。反过来，如果展开后终点也是原点，平面中的闭合路线可用直线收缩，投影回环面便给出所需收缩。
-闭合路径首尾相接对应整数对相加，因此环面的基本群为
+更一般地，两个展开路线若有相同终点，可以在平面中连续变形为彼此，再投影回环面；终点不同则不能。因此闭合路线的这些变形类别由整数对分类。先走一条再走一条，整数对相加，用[[群]]的记号写成
 <math display="block">\pi_1(T^2)\cong\mathbb Z\times\mathbb Z.</math>
-这是一条带指定基点的路径分类结论，而不是说环面只有两条闭合曲线。一般闭合路径可以弯折、自交，也可以绕两个方向任意整数次；群记录的是连续变形后的等价类别。更完整的覆盖空间论证见 Hatcher 的第一章。[https://pi.math.cornell.edu/~hatcher/AT/ATpage.html 教材入口]
+这里的基本群记录带固定基点的路线类别；路径提升随变形连续的正式论证见 [https://pi.math.cornell.edu/~hatcher/AT/ATpage.html Hatcher 第一章]。
-实心环面的情形不同。绕管截面的圆周可在内部圆盘中收缩，但绕中央孔的路径仍不能收缩。填入内部改变了允许变形的空间，因此不能把表面与实体的路径结论混为一谈。“里面有没有材料”在此不是视觉细节，而是改变了数学对象。
+路线的点集与走法也不同。直线方向 <math>(1,1)</math> 在平坦环面上走完一次闭合路线，方向总位移 <math>(2,2)</math> 可以沿同一轨迹走两遍；两者留下同样的痕迹，绕行数却不同。若填入实心环面，截面圆周又可以在内部圆盘里收缩，只有绕中央孔的方向保留下来。允许路线经过哪些点，会改变答案。
-== 数粘合后的顶点：欧拉示性数 ==
+=== 沿两条环路转动观察 ===
-正方形粘边模型提供一个胞腔分解：四个角合为一个顶点，两对边合为两条边，内部是一张二维胞腔。于是
+先分别隐藏一条环路，沿另一条走完一周，再转动模型查看它背面的部分。改变 <math>R</math> 与 <math>r</math> 时，圆环面的长度、面积会变，但只要始终满足 <math>R>r>0</math>，这种连续改变不会填上中间的洞。滑条只提供满足这个条件的参数；它展示几何尺寸的变化，并不是环路不能收缩的证明。
-<math display="block">\chi(T^2)=V-E+F=1-2+1=0.</math>
-这里数的是识别后的胞腔，不是纸上尚未粘合的正方形零件。将表面进一步细分，不会改变这个交错和；例如在一条边上插入一个顶点，顶点数与边数各增加一，差保持不变。
-球面的欧拉示性数是二，所以球面与环面不可能同胚。这个不变量比“看起来有一个孔”更准确：形状可以弯曲，图可以从不同视角绘制，而计数结果在合法细分及拓扑等价下保持。另一方面，不变量相同并不总能证明两个空间同胚；用它排除等价与用它完整分类是不同强度的结论。
+<math-experiment type="torus" />
-对连通、紧致、可定向、无边界曲面，曲面分类定理给出 <math>\chi=2-2g</math>，其中 <math>g</math> 是亏格。环面的亏格为一。这里的一组假设不能随意删除：有边界的曲面、不可定向曲面和非紧曲面的分类形式不同。环面只是分类体系中的一个基本对象，而不是所有“有孔物体”的总称。
-== 平坦环面与嵌入环面：同胚不等于等距 ==
-把平面上边长为 <math>L_x,L_y</math> 的矩形相对边按平移粘合，并把局部欧氏长度一同继承下来，得到平坦环面。在这个模型中，从右边离开会从左边进入，从上边离开会从下边进入，越过接缝无需支付额外距离。它是周期边界条件的几何表达。
-例如边长都为一，点 <math>P=(0.95,0.40)</math> 与 <math>Q=(0.05,0.40)</math> 的纸面横向距离为零点九，但环面最短距离是零点一，因为可以跨越左右接缝。一般距离由整数平移中最短的一条给出：
-<math display="block">d(P,Q)=\min_{m,n\in\mathbb Z}\sqrt{(x_Q-x_P+mL_x)^2+(y_Q-y_P+nL_y)^2}.</math>
-这条公式解释了周期模拟中为何不能直接使用未修正的坐标差，也说明一个存储在矩形中的位置并不等于一个带墙的矩形空间。
-空间圆环面与平坦环面同胚，但通常并不等距。前者的面积元随管角变化，外侧和内侧的局部曲率不同；后者继承局部平面度量，处处平坦。通过弯曲纸面理解粘边只是在说明拓扑识别，不能据此声称在普通三维空间中得到的光滑圆环面仍保留所有平面距离。
+== 从粘边图数出一个整体量 ==
+在正方形图里，四个角接合后只算一个顶点，两对边接合后只算两条边，内部只算一个面。顶点数减边数再加面数，得到
+<math display="block">\chi=1-2+1=0.</math>
+这个量称为欧拉示性数。细分不会改变它：在一条边中间加一个顶点，顶点和边各增加一；把一个面分成两面，则边和面各增加一。两种情况下差额都抵消。
-在平坦环面的覆盖平面中，直线投影形成测地线。方向比例为有理数时会周期性闭合，例如方向 <math>(2,1)</math> 绕两个基本方向后返回；方向斜率无理时轨迹不会闭合，并在环面上稠密。这里的稠密结论是线性流的性质，不应直接套到空间圆环面的任意测地线上，因为改变度量会改变测地线方程。
+球面的欧拉示性数为二，环面为零，因而两者不可能同胚。这里计数的是接合后的结构，不能把未粘好的正方形四个顶点、四条边直接代入。对于连通、紧致、可定向且无边界的曲面，更一般的关系是 <math>\chi=2-2g</math>，其中 <math>g</math> 为亏格；环面对应 <math>g=1</math>。
-== 局部弯曲与整体绕行是不同层次的信息 ==
+圆环面的局部弯曲还能提供另一个看法。它的高斯曲率为
-对上述圆环面，一组单位法向量可取为 <math>N=(\cos v\cos u,\cos v\sin u,\sin v)</math>。把参数一阶、二阶变化投影到法向，可以计算高斯曲率
 <math display="block">K(u,v)=\frac{\cos v}{r(R+r\cos v)}.</math>
-它在外侧为正，在内侧为负，在管的最高与最低圆周处为零。外侧像局部碗面，内侧像局部鞍面；它们出现在同一个无自交曲面上。曲率的正负属于小邻域中的度量信息，绕一个基本方向不能收缩则属于整体拓扑信息，两者不应互相替代。
+因此外侧为正，内侧为负，管的顶部和底部为零。这个公式由曲面的第一、第二基本形式求得，详细推导见 [https://maths.dur.ac.uk/users/norbert.peyerimhoff/riemgeom1011/sol6.pdf Durham 曲面讲义习题解答]。将它乘以上面已算出的面积元，得到 <math>K\,dA=\cos v\,du\,dv</math>，整张曲面的曲率积分为零，符合高斯—博内关系 <math>\int K\,dA=2\pi\chi</math>。长度和曲率取决于所选几何模型，欧拉示性数则保留了曲面的整体拓扑信息。
-把曲率乘以面积元后，分母消去，得到 <math>K\,dA=\cos v\,du\,dv</math>。遍历整张曲面，正曲率与负曲率的带符号贡献相抵，故总积分为零。这个计算与紧致可定向曲面上高斯—博内定理的结论 <math>\int K\,dA=2\pi\chi</math> 相符，因为环面欧拉示性数为零。这里给出的是这一具体模型的独立核算与定理的联系，并非借一个例子证明全部高斯—博内定理。[https://maths.dur.ac.uk/users/norbert.peyerimhoff/riemgeom1011/sol6.pdf Durham University：圆环面曲率核算]
-路径分类也需要区别“绕了几次”和“是否是一条没有自交的简单曲线”。在平坦环面上，方向整数对 <math>(m,n)</math> 若有共同因子，直线路径可能只是把同一条闭合曲线重复走多遍；若两个数互素，则相应直线投影的一次周期给出一条本原闭合曲线。例如 <math>(2,2)</math> 与 <math>(1,1)</math> 的轨迹点集可以相同，但前者作为带参数路径走了两遍，其基本群元素不同。
-这一区别在描述周期系统时也有实际意义：同一条状态轨迹与沿轨迹运行一次所需的时间不是同一个量。改变速度不一定改变路径的拓扑类别，重复次数却会改变绕行数。若再研究轨迹上的结或嵌入三维空间的方式，还会引入额外结构，不能仅凭抽象环面的两个整数把所有空间细节都分类完毕。
-因此，环面的不同公式各有明确任务：参数映射定位空间点，度量计算长度，曲率描述局部弯曲，基本群分类闭合路径，欧拉示性数提供整体不变量。把这些公式放到各自问题旁边，能看出它们如何互相联系，又在哪些地方不能替代对方。
-== 历史与知识位置 ==
-旋转曲面和周期运动的研究有各自的历史，抽象环面则属于现代拓扑语言。十九世纪拓扑学逐步从几何位置关系与分析中的连续性发展出来；庞加莱在 1895 年的《Analysis situs》中引入基本群并发展同调观点，为区分曲面的整体结构提供了系统工具。把环面归给一个唯一“发现者”，会混淆一个可见几何模型与后来用于分析它的理论。[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ MacTutor：Topology history]
-学习路径可从[[集合]]和[[连续映射]]理解点识别，再用[[群]]整理路径的复合，用[[积分]]计算具体嵌入中的面积。参数公式、商空间与基本群不是三套互不相关的术语：它们分别回答“怎样放进空间”“哪些点应被识别”“哪些闭合绕行可以相互变形”。掌握这三个问题的区别，比记住甜甜圈的外观更接近环面的数学内容。
-== English overview ==
-<div lang="en" class="math-english-summary">
-A torus is a topological surface homeomorphic to the product of two circles. The familiar doughnut-shaped surface is one embedding in three-dimensional Euclidean space. It must be distinguished from the solid torus enclosed by that surface: allowing paths to pass through the interior changes their possible contractions.
-The quotient of the plane by integer translations gives an abstract model. A square is a fundamental region whose opposite edges are identified. After identification, the apparent edges and corners are ordinary surface points, so the torus has no boundary. Two independent periodic coordinates also explain the product-of-circles description.
-For an embedded circular torus, the major radius must exceed the tube radius. Surface area follows by integrating the parameter area element, while enclosed volume is a different integral. Topologically, a loop lifts to a path in the covering plane with an integer displacement. These displacements classify based loops up to homotopy and give a fundamental group isomorphic to the product of two integer groups. A one-vertex, two-edge, one-face decomposition gives Euler characteristic zero. A flat torus and a circular torus have the same topology but different metrics, so distances, curvature, and geodesics cannot be transferred without checking the chosen geometric structure.
-</div>
-== 编者评注（AI 辅助） ==
+== 历史 ==
-<div class="math-editorial-note">
+旋转曲面提供了环面的直观模型，周期运动提供了两个独立角度的模型。十九世纪发展的拓扑学把这些模型中的整体性质与具体长度分开研究。庞加莱在 1895 年《Analysis situs》中引入基本群并发展同调观点，为用路径和整体不变量研究环面等曲面提供了系统工具。[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ MacTutor：拓扑学史]
-本条目保留了两幅图，因为粘边图与空间图承担不同任务：前者定义点的识别，后者展示一种具体嵌入。本站认为环面入门最需要澄清的是表面与实体、拓扑与度量这两组区别。面积推导、路径绕数和周期最短距离分别检验这两组区别是否真正被理解。这样的教学安排有意避免把“甜甜圈有一个孔”当作全部解释，也不要求初学者立即掌握完整的曲面分类证明。
-</div>
 == 参考资料与知识联系 ==
-* Allen Hatcher，[https://pi.math.cornell.edu/~hatcher/AT/ATpage.html Algebraic Topology]，Cambridge University Press，2002，第一章及第二章的曲面胞腔例子。核对基本群与胞腔结构。
+* Allen Hatcher，[https://pi.math.cornell.edu/~hatcher/AT/ATpage.html Algebraic Topology]，Cambridge University Press，2002，第一章及第二章的曲面胞腔例子。讨论基本群与胞腔结构。
-* J. J. O'Connor、E. F. Robertson，[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ A history of Topology]，MacTutor，University of St Andrews。核对现代拓扑学与 1895 年庞加莱工作的背景。
+* J. J. O'Connor、E. F. Robertson，[https://mathshistory.st-andrews.ac.uk/HistTopics/Topology_in_mathematics/ A history of Topology]，MacTutor，University of St Andrews。讨论现代拓扑学与 1895 年庞加莱工作的背景。
 * Norbert Peyerimhoff，[https://maths.dur.ac.uk/users/norbert.peyerimhoff/riemgeom1011/sol6.pdf Riemannian Geometry，习题解答 6]，Durham University：圆环面的高斯曲率与总曲率计算。
 * 前置：[[拓扑空间]]、[[连续映射]]；相关：[[群]]、[[积分]]、[[欧氏几何]]、[[数学建模]]。
 [[分类:拓扑]]
 [[分类:几何]]