验证M.A.Armstrong《基础拓扑》中闭曲面三角剖分的组合曲面特性

嘿，我来帮你一步步拆解阿姆斯特朗《基础拓扑》里这个关于闭曲面三角剖分的证明——要证h: |K| → S这个闭曲面的三角剖分对应的单纯复形K是组合曲面，咱们就对着四个条件逐一验证：

i) K的维数不可能为1 #

首先得明确：闭曲面S是2维紧致连通豪斯多夫空间，并且每一点都有同胚于开圆盘的邻域。如果K的维数是1，那它的多面体|K|就是由线段拼接成的1维图，这类空间的局部同胚只能是1维的（比如线段内部同胚于开区间），根本不可能存在2维开圆盘的邻域，这直接和S的2维曲面性质矛盾。所以K的维数绝不可能是1。

ii) K不包含维数大于2的单形 #

假设K里存在3维（或更高维）单形，那这个单形的内部在|K|里是3维拓扑空间，但S是2维曲面——拓扑空间的维度是拓扑不变量，3维空间的任何子集都不可能同胚于2维的开圆盘，这就和三角剖分h是同胚映射（局部也得是同胚）矛盾。因此K里不可能有维数大于2的单形。

iii) K中的每条边恰好属于两个三角形 #

闭曲面的关键性质之一是无边界。咱们取K中任意一条边e，考虑e内部点在|K|中的邻域：

• 如果e只属于1个三角形，那这个邻域会是一个“半圆盘”，相当于出现了边界，和闭曲面无边界的性质冲突；
• 如果e属于3个或更多三角形，那这个邻域会是3个以上半圆盘的拼接，这种空间在e内部点处的局部，和开圆盘并不同胚（开圆盘去掉中心是连通的，而后者去掉对应点后会分成多个连通分支）。
  只有当e恰好属于两个三角形时，它们拼接出的邻域才是完整的开圆盘，完全符合闭曲面的局部性质。

iv) 每个顶点v至少属于三个三角形，且这些三角形的并集构成以v为顶点的锥面 #

第一部分：每个顶点v至少属于三个三角形 #

闭曲面每个点的邻域都同胚于开圆盘，开圆盘中心处的“环绕角度”是2π。而单纯复形里的三角形，每个顶点处的内角都是小于π的（单纯三角形的顶点处不会出现平角或优角）。如果v只属于1个三角形，邻域会是带边界的扇形；如果只属于2个三角形，两个小于π的角加起来最多接近2π，但拼出的局部空间无法形成完整的开圆盘邻域——只有至少3个小于π的角加起来才能凑出2π，对应开圆盘的局部结构。

第二部分：这些三角形的并集构成以v为顶点的锥面 #

因为每条边恰好属于两个三角形，围绕v的三角形会形成一个循环排列：T₁, T₂, ..., Tₖ，其中Tᵢ和Tᵢ₊₁共享一条包含v的边（Tₖ和T₁也共享）。把这些三角形中除v之外的顶点按顺序连起来，会形成一个简单闭多边形，而这些三角形的并集正好是v到这个多边形的锥面——这个锥面同胚于闭圆盘，内部就是v的邻域，完美匹配闭曲面局部同胚开圆盘的要求。

内容的提问来源于stack exchange，提问作者Polymorph