CCG 模块 1:曲面拓扑——洞、边界和网格结构

模块问题

在谈长度、角度和曲率之前,先回答:输入究竟是哪一种曲面?有几块、几条边界、几个洞?能否直接映到圆盘?

本模块把原先一篇 600 多行的拓扑章拆成 11 课。每课只增加一个概念层级。

前置检查

至少先完成:

阅读顺序

课次页面本课唯一主问题
01-01集合、开集与拓扑怎样只描述邻近而不测距离?
01-02同胚与拓扑不变量什么条件下两个空间算同一种形状?
01-03流形与坐标图弯曲曲面为何局部可用两个坐标?
01-04边界与定向内部点、边界点与正面方向怎样定义?
01-05商空间与边粘合怎样精确定义“粘边”?
01-06闭路、同伦与基本群怎样记录不能收缩的绕圈方式?
01-07覆盖空间怎样把绕圈展开成直线运动?
01-08三角剖分与 Euler 示性数怎样第一次从网格算出拓扑量?
01-09边界算子为什么边界的边界为零?
01-10同调与 Betti 数为什么洞等于循环模去边界?
01-11网格拓扑体检代码怎样把定义实现为可检查的程序?

概念依赖图

flowchart LR
    A[开集与连续] --> B[同胚]
    B --> C[流形]
    C --> D[边界与定向]
    B --> E[闭路与同伦]
    E --> F[基本群与覆盖]
    C --> G[三角剖分]
    G --> H[边界算子]
    H --> I[同调与 Betti 数]
    D --> J[网格体检]
    I --> J

出口标准

完成后应能独立解释:

  1. 球面为何不能无切缝地一一铺到平面;
  2. 圆柱、圆盘和环面的边界与基本群有何不同;
  3. 为什么B1B2=0B_1B_2=0;
  4. 为什么H1=ker⁡B1/im⁡B2H_1=\ker B_1/\operatorname{im}B_2 表示一维洞;
  5. 如何用V−E+FV-E+F、边界边计数和连通分支检查网格。

长篇参考

掌握短课后,可把旧文章 代数拓扑:从曲面分类到同调算法 当作集中复习材料,而不是第一次接触概念的入口。